Компьютерные и информационные науки список научных статей
-
Введение в технологию концептуализации предметных областей социологии: развертывание теории (на примере родственных отношений)
Представленная статья является второй из двух статей, цель которых познакомить читателя, не имеющего специальной математической подготовки, с возможностями применения математических методов, разработанных в научном направлении “Концептуальный анализ и проектирование систем организационного...
2017 / Иванов Андрей ЮрьевичВАК -
Возможности использования экспертного знания в качестве источника концепций развития организаций
Цель статьи обосновать подход, расширяющий возможности использования экспертного знания в качестве источника формирования частных концепций развития организаций как социально-экономических объектов. Как известно, сегодня не существует общепринятой общей теории развития. Но есть частные теории или...
2017 / Масленников Евгений ВячеславовичВАК -
Перспективы применения структурных математических конструктов как основы инструментальной концептуализации предметных областей социологии (постановка проблемы)
В статье излагается подход к решению проблемы концептуальной интеграции социологии как совокупности теоретического знания, относящегося к типу концептуально сложноорганизованных больших теорий. Математизация социологии, а точнее разработка теоретической социологии с использованием форм...
2016 / Масленников Евгений ВячеславовичВАК -
Инструментальная концептуализация предметных областей социологии: некоторые возможные решения (Окончание)
В статье намечены некоторые возможные пути развертывания интегрирующей инструментальной концептуализации предметных областей социологии на базе аппарата ступеней множеств [78] . Обосновывается актуальность проблемы применения конструктов структурной математики в качестве структурообразующих...
2016 / Масленников Евгений ВячеславовичВАК -
Диагностика способностей к пониманию, моделированию и формализации
Вопрос о диагностике деятельностных способностей является первоочередным при построении стратегической педагогики, то есть раздела педагогики, изучающего закономерности организации процесса обучения, направленного на формирование деятельностных способностей. Центральное место в системе...
2017 / Кудряшова Татьяна Георгиевна, Шуруп Андрей СергеевичВАК -
Data mining techniques: modern approaches to application in credit scoring
Importance This article examines the current state of research in machine learning and data mining, which computational methods get combined with conventional lending models such as scoring, for instance. Objectives The article aims to classify the modern methods of credit scoring and describe...
2017 / Volkova E.S., Gisin V.B., Solov'Ev V.I.ВАК -
The method for forecasting box-office grosses of movies with neural network
Importance The article focuses on the neural network forecasting in the film-making industry. Objectives The article examines what opportunities economic and mathematical modeling provides to forecast revenue and profit from coming movie distribution and identifies factors that determine whether...
2017 / Yasnitskii L.N., Beloborodova N.O., Medvedeva E.Yu.ВАК -
Оценка функциональных характеристик программных подсистем учета товарных запасов
Предмет. Разработка показателей, отражающих качественные характеристики учетной информации и соответствующих программным системам автоматизации бухгалтерского учета, то есть показателей учетной информации, обеспечивающих их ввод в информационную систему и получение от нее на выходе полезной для...
2017 / Казак Е.Н.ВАК -
Об использовании мягких и вероятностных декодеров для восстановления данных при перехвате
Исследуется возможность восстановления зашумленных данных, полученных из канала перехвата с помощью мягких и вероятностных декодеров помехоустойчивых кодов. В работе получены следующие результаты. Построена общая модель информационно-аналитической системы канала наблюдения, включающая в себя двух...
2017 / Деундяк Владимир Михайлович, Могилевская Надежда СергеевнаВАКRSCI -
Оценка времени отклика элементов в модульных информационно-измерительных и управляющих системах, использующих интерфейс can
Выявлены и проанализированы факторы, влияющие на величину времени отклика элементов информационно-измерительных и управляющих систем, использующих интерфейс CAN для организации межмодульного взаимодействия. Описаны причины, по которым распространенные протоколы высокого уровня не всегда...
2017 / Плотников Дмитрий АлександровичВАК -
Использование искусственных нейронных сетей для восстановления пропусков в массиве исходных данных
Рассматривается подход к решению проблемы преобразования таблицы с неполными исходными данными или содержащей значения, не соответствующие ожидаемому результату измерений, в репрезентативную выборку. Проанализированы существующие методы восстановления пропусков, представлен алгоритм восстановления...
2017 / Сташкова Ольга Витальевна, Шестопал Оксана ВикторовнаВАК -
Архитектурная и алгоритмическая модель контроллера движения в системах ЧПУ намоточно-выкладочных станков
Предложен алгоритм опережающего просмотра кадров с целью построения профиля скорости для координатных перемещений намоточно-выкладочных станков, позволяющий избежать рывков на стыке кадров при смене направления движения и гарантированно выполнить остановку через заданное количество кадров....
2017 / Семенченко Иван Гаврилович, Шишков Иван Вячеславович, Сидоренко Андрей АндреевичВАК -
Непроцедурный язык норма и методы его трансляции для параллельных архитектур
Предлагается декларативный подход к созданию прикладного программного обеспечения для высокопроизводительных вычислительных систем. Рассматриваются методы автоматического построения программ для различных параллельных архитектур по непроцедурным спецификациям на языке НОРМА. Описана структура...
2017 / Андрианов Александр Николаевич, Баранова Татьяна Петровна, Бугеря Александр Борисович, Ефимкин Кирилл НиколаевичВАК -
Диалоговый генератор CUDA-кода
Портируя программы на CUDA, программист сталкивается с множеством трудностей. Ему приходится анализировать зависимости в программе, искать распараллеливаемые циклы, трансформировать код так, чтобы достичь наилучшего отображения на архитектуру видеокарты. Избежать ошибок невозможно. Описываемый в...
2017 / Аллазов Афар Назим Оглы, Гуда Сергей Александрович, Морылев Роман ИгоревичВАК -
О промежуточном представлении программ для автоматического создания конвейерных вычислителей
Рассматриваются аспекты реализации компилятора языка С на процессор с программируемой архитектурой. Такой компилятор включает в себя конвертор языка С в язык описания электронных схем и библиотеку (или генератор) драйверов. Компилятор разрабатывается на основе Оптимизирующей распараллеливающей...
2017 / Алымова Елена Владимировна, Баглий Антон Павлович, Дубров Денис Владимирович, Ибрагимов Руслан Айярович, Михайлуц Юрий Вячеславович, Петренко Виктор Владимирович, Штейнберг Борис Яковлевич, Штейнберг Роман Борисович, Яковлев Владислав АндреевичВАК -
Поиск и анализ сквозных функциональностей в размеченной грамматике языка программирования
Сквозной функционал (crosscutting concern) ортогонален существующему разбиению программного кода на единицы модульности. Составляющие сквозной функционал участки кода логически связаны, но физически разбросаны по различным файлам, классам, методам. Разметка кода и построение модели размеченной...
2017 / Головешкин Алексей ВалерьевичВАК -
Семантический интерфейс для программ на с++
Рассматриваются актуальные проблемы, приводящие к необходимости повышения качества и глубины анализа программ на языке С++. Обсуждаются возможные пути решения проблем повышения надежности и безопасности программ. В качестве основы различных систем анализа предлагается концепция семантического...
2017 / Зуев Евгений АлександровичВАК -
Алгоритм синтаксического анализа контекстно-свободной аппроксимации динамически формируемого кода
Многие программы в процессе работы формируют из строк исходный код на некотором языке программирования и передают его для исполнения в соответствующее окружение (пример dynamic SQL). Для статической проверки корректности динамически формируемого выражения используются различные методы, одним из...
2017 / Григорьев Семён Вячеславович, Ковалев Дмитрий АлександровичВАК -
Методы реализации синтаксически сахарных расширений в компиляторах
Рассматривается один из способов расширения языка программирования реализация новых конструкций как синтаксического сахара. Синтаксически сахарные конструкции выражаются через конструкции базового языка. Предложены несколько паттернов реализации синтаксического сахара, отличающихся действиями,...
2017 / Михалкович Станислав СтаниславовичВАК -
Эффективность автоматической векторизации циклов на архитектурах Intel 64 и Intel Xeon Phi
Выполнен экспериментальный анализ возможностей современных оптимизирующих компиляторов Intel C/C++ Compiler, GCC C/C++, LLVM/Clang и PGI C/C++ по автоматической векторизации циклов на архитектурах Intel 64 и Intel Xeon Phi. В качестве целевого набора тестовых циклов использован набор Extended Test...
2017 / Молдованова Ольга Владимировна, Курносов Михаил ГеоргиевичВАК