Электронный журнал Кибернетика и программирование - №1 за 2019 г - Содержание, список статей. ISSN: 2644-5522 - Издательство NotaBene
по
Кибернетика и программирование
12+
Меню журнала
> Архив номеров > Рубрики > О журнале > Авторы > О журнале > Требования к статьям > Редакция и редакционный совет > Порядок рецензирования статей > Политика издания > Ретракция статей > Этические принципы > Политика открытого доступа > Оплата за публикации в открытом доступе > Online First Pre-Publication > Политика авторских прав и лицензий > Политика цифрового хранения публикации > Политика идентификации статей > Политика проверки на плагиат
Журналы индексируются
Реквизиты журнала

ГЛАВНАЯ > Журнал "Кибернетика и программирование" > Содержание № 01, 2019
Выходные данные сетевого издания "Кибернетика и программирование"
Номер подписан в печать: 04-03-2019
Учредитель: Даниленко Василий Иванович, w.danilenko@nbpublish.com
Издатель: ООО <НБ-Медиа>
Главный редактор: Сидоркина Ирина Геннадьевна, доктор технических наук, igs592000@mail.ru
ISSN: 2644-5522
Контактная информация:
Выпускающий редактор - Зубкова Светлана Вадимовна
E-mail: info@nbpublish.com
тел.+7 (966) 020-34-36
Почтовый адрес редакции: 115114, г. Москва, Павелецкая набережная, дом 6А, офис 211.
Библиотека журнала по адресу: http://www.nbpublish.com/library_tariffs.php

Содержание № 01, 2019
Показатели качества и повышение надежности программных систем
Ревнивых А.В., Велижанин А.С. - Исследование дизассемблированного представления исполняемых файлов, сформированных различными компиляторами. Пример уязвимости на переполнение буфера c. 1-17

DOI:
10.25136/2644-5522.2019.1.28238

Аннотация: Предметом исследования является потенциальная уязвимость, в частности на переполнение буфера, в различном программном обеспечении, связанная с функцией стандартной библиотеки языка программирования С/С++ strcpy и подходы и методы поиска таковой уязвимости. Объектом исследования выступают данные машинного кода компиляторов при выполнении сборки программы в различных режимах. Целью исследования является провести анализ некоторых особенностей машинного кода, генерируемого различными компиляторами для Windows и Linux в режимах Debug и Release, в том числе, проведя на основе этого обзор уязвимости переполнения буфера. Методы исследования. В работе рассматриваются и развиваются методы построения алгоритмов поиска уязвимости переполнения буфера, исследуются характеристики данной уязвимости на уровне машинного кода. Для этого используются компиляторы Visual C++, Intel C++, g++, а также отладчики WinDBG, GDB. Ключевые выводы. Сборка программ в различных режимах приводит к формированию различий в исполняемом коде, который сделан из полностью одного и того же кода языка программирования высокого уровня; эти различия проявляются в отличиях в поведении программы. В ходе исследования программного обеспечения в поисках уязвимостей важно проводить анализ машинного кода с целью выявления скрытых закономерностей. Новизна исследования заключается в выявлении отличий в машинном коде, полученном после сборки одинакового высокоуровневого кода, определении «штампов» компиляторов при выполнении сборки программы в различных режимах. Особым вкладом автора в исследование темы является развитие методов построения алгоритмов поиска уязвимости переполнения буфера.
Актуальный вопрос
Вавилов В.А. - Анализ функционирующих в полумарковской среде RQ-систем с возвратом заявок c. 18-36

DOI:
10.25136/2644-5522.2019.1.28838

Аннотация: Объектом исследования данной работы являются RQ-системы (retrial queueing systems, системы с повторными вызовами) с простейший входящим потоком требований, ожиданием на орбите, возвратом заявок и функционированием в случайной (полумарковской) среде. Рассматриваемые системы являются моделями широкого класса реальных систем обслуживания, в которых заявка по завершении успешного обслуживания может покинуть систему навсегда или через некоторый промежуток времени вернуться в систему для повторного обслуживания. Примерами таких систем являются банки, где выплативший кредит клиент может повторно обратиться за новым кредитом, центры занятости, где клиенты могут обращаться повторно в поисках новой работы и т. п. Эффективность функционирования таких систем зависит от ряда факторов, характер влияния которых можно определить как случайный (случайная полумарковская среда). В данной работе проводится математическое моделирование изучаемого класса систем. Инструментом исследования рассматриваемых систем является математический аппарат теории массового обслуживания. Предложенная математическая модель RQ-систем с возвратом заявок в полумарковской среде исследуется методом асимптотического анализа марковизируемых систем. Научная новизна работы заключается в том, что впервые предложена математическая модель функционирующей в полумарковской среде RQ-системы с вызываемыми заявками и проведён её асимптотический анализ. Найдено асимптотическое среднее нормированного числа заявок в системе, величины отклонения от среднего, получена основная вероятностно-временная характеристика – плотность распределения вероятностей значений процесса изменения состояний системы.
Математическое моделирование и вычислительный эксперимент
Ипатов Ю.А., Калагин И.В. - Анализ динамических характеристик целевых групп социальных сетей c. 37-50

DOI:
10.25136/2644-5522.2019.1.18417

Аннотация: Объектом исследования являются динамические характеристики целевых групп социальных сетей. Предметом исследования является методы и модели анализа эволюционных характеристик социальных графов большой размерности. В исследовании подробно рассматриваются подходы анализа, также количественные характеристики графовых моделей. Синтезирован алгоритм для анализа динамических характеристик целевых групп социальных сетей. Результаты эксперимента показывают факт добавления пользователя в интересующую тематическую область, а также визуализируют весь процесс в реальном времени. Разработанный программный инструментарий может быть полезным для дальнейшего развития и исследования тематик, связанных с социальной сетью. При решении поставленных задач используются методы математической логики, теории графов, математической статистики, аппарата математического анализа, линейной алгебры, методы математического моделирования, теория алгоритмов, а также методы объектно-ориентированного программирования. Новизна исследования заключается в определении динамических характеристик целевых групп социальных сетей, а также визуализации всего процесса в реальном времени. Основными выводами проведенного исследования является то, что разработанный программный инструментарий позволит проследить причинно-следственные показатели изменения в социальном графе. Предложенный прототип программного продукта будет интересен в первую очередь маркетологам, системным аналитикам, а также специалистам занимающихся анализом и изучением социальных сетей.
Скляр А.Я. - Анализ и устранение шумовой компоненты во временных рядах с переменным шагом c. 51-59

DOI:
10.25136/2644-5522.2019.1.27031

Аннотация: В статье рассматривается методика оценки шумовой компоненты во временных рядах с переменным шагом, ее обоснование и предлагается алгоритм удаления шума из данных. Анализ строится на основе требования гладкости функции, представляющей исходные данные и имеющей непрерывные производные до третьего порядка. Предлагаемая методика и алгоритмы оценки и устранения шума в данных в предположении о гладкости, представляемой ими функции, позволяют обоснованно определить как абсолютного, так и относительного шума в данных вне зависимости от равномерности шага измерений в исходных данных уровень шума в данных, удалить из данных шумовую компоненту. Алгоритм решения задачи основан на минимизации отклонений рассчитываемых значений от гладкой функции при условии соответствия отклонений от исходных данных уровню шума. Предлагаемая методика и алгоритмы оценки и устранения шума в данных в предположении о гладкости, представляемой ими функции, позволяют обоснованно определить как абсолютный, так и относительный шум в данных вне зависимости от равномерности шага измерений в исходных данных и их зашумленности, удалить из данных шумовую компоненту. Учитывая гладкость данных, получаемых в результате устранения шума, данные полученные удалением шума пригодны для выявления в них как аналитических, так и дифференциальных зависимостей
Теория, программное обеспечение и языки параллельных вычислений
Пекунов В.В. - О некоторых свойствах процедур с планированием повторного входа. Язык Planning C c. 60-65

DOI:
10.25136/2644-5522.2019.1.25522

Аннотация: В данной статье анализируются описательные возможности процедур и функций с планированием повторного входа. Процедура/функция с планированием повторного входа отличается от обычной процедуры/функции наличием динамически пополняемого (как изнутри, так и извне) плана исполнения. Это достаточно новый формализм, теоретические и практические свойства которого до сих пор мало освещены в научной литературе. Особое внимание уделяется языку программирования Planning C, в полной мере реализующему процедуры и функции с планированием повторного входа. Описательные возможности процедур/функций с планированием повторного входа рассматриваются как теоретически, с применением расширенных машин Тьюринга, так и конструктивно, путем построения эквивалентов базовых алгоритмических управляющих конструкций на базе данных процедур. Новизна состоит в доказательстве представимости любых последовательных и параллельных алгоритмов с помощью данных процедур. Предлагается применение Planning C, реализующего такие процедуры/функции, для решения трудоемких задач вычислительной математики на параллельных вычислительных системах. Показана возможность его применения при решении задачи обучения глубоких нейронных сетей.
Базы знаний, интеллектуальные системы, экспертные системы, системы поддержки принятия решений
Мустафаев А.Г. - Использование нейросетевых методов для автоматического анализа электрокардиограмм при диагностике заболеваний сердечно-сосудистой системы c. 66-74

DOI:
10.25136/2644-5522.2019.1.19343

Аннотация: Одним из важнейших факторов для своевременного оказания медицинской помощи является быстрое и точное получение информации о состоянии здоровья пациента. Электрокардиография (ЭКГ) представляет собой неинвазивный процесс интерпретации электрической активности сердца, позволяющий оценивать скорость и регулярность сердечных сокращений. Эти данные используются для определения повреждений и патологий сердца. Автоматический анализ ЭКГ является непростой теоретической и практической задачей. Цель работы состоит в использовании нейронных сетей для обнаружения характерных ЭКГ сигналов, определяющих аномалии сердечного ритма и выявлении соответствующего заболевания сердца. При проектировании был использован пакет Neural Network Toolbox из MATLAB 8.6 (R2015b) моделирующий аппарат искусственных нейронных сетей. Эффективность разработанной нейросетевой модели для анализа ЭКГ была исследована с использованием базы данных MIT-BIH. Точность обнаружения и извлечения компонентов сигнала ЭКГ показывает, что разработанная нейросетевая модель может быть использована для выявления заболеваний сердца у пациентов. Чувствительность модели составила 71%, специфичность 89%.
Математическое и программное обеспечение новых информационных технологий
Степанов П.П. - Применение алгоритмов группового управления и машинного обучения на примере игры "Battlecode" c. 75-82

DOI:
10.25136/2644-5522.2019.1.23527

Аннотация: Предметом исследования являются задача группового управления автономными агентами в динамичной мультиагентной системе и самообучение модели управления. Автор подробно рассматривает такие аспекты проблемы как групповое взаимодействие, на примере наиболее эффективных алгоритмов групповго управления, таких как SWARM, муравьиный алгоритм, пчелиный алгоритм, алгоритм светлячков и алгоритм движения косяка рыб, и обучение искусственной нейронной сети, посредством применения обучения с подкреплением. Проведено сравнение различных алгоритмов поиска оптимального пути. Сравнение было проведено на основе игровой среды "Battlecode", динамично формирующей новую карту для нового раунда, что обеспечило качество сравнения рассмотренных алгоритмов. Автор использует статистические методы анализа данных, выделение и анализ качественных признаков, методы прогнозирования, метод моделирования, метод классификации. Автор показывет, что Q-обучение увеличивает свою эффективность, при замене табличного представления Q-функции на нейронную сеть. Проведенная работа доказывает эффективность пчелиного алгоритма в решении задачи исследования и патрулирования местности. При этом алгоритм поиска пути А* оказывается значительно более гибким и эффективным, чем алгоритм Дейкстры.
Компьютерная графика, обработка изображений и распознавание образов
Lobanov A.A. - Conceptual optical schemes of direction finding computational devices for guiding the space probe to a landing point on small bodies of the solar system c. 83-89

DOI:
10.25136/2644-5522.2019.1.28720

Abstract: The subject of the research is an optical direction finder for the navigation and guiding a space probe. The usage of the optical correlation computing device is determined by the necessity to reduce the load to a space probe on-board computer system. The paper describes especially the optical correlation computing devices for building the correlation-extremal direction finders. The principle optical schemes of this class of optical devices are described. The method of mathematical modeling is used for building and analyzing the optical scheme of the proposed optical correlation computing devices. Both advantages and disadvantages of the existed optical schemes are noted. The requirements to parameters of the special on-board optical correlation computing device for the direction finding are proposed. It is shown that the optical device potentially can be used for navigation and guiding a space probe in the process of the landing on a small body of the solar system.
Другие сайты издательства:
Официальный сайт издательства NotaBene / Aurora Group s.r.o.