АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№1. Том 24. 2018

К оглавлению

УДК 004.023/004.825
А. Б. Сорокин, канд. техн. наук, доц., e-mail: ab_sorokin@mail.ru,
Д. А. Лобанов, магистрант, e-mail: tty66@mail.ru, Московский технологический университет (МИРЭА)

Концептуальное проектирование интеллектуальных систем

Рассмотрена методика выделения концептуальных планов из структуры акта деятельности для проектирования систем, основанных на знаниях. На графическом уровне предложены четыре плановых представления: функциональной структуры, процессов, контекста и закономерностей. Данные планы соотносятся с определенными методами искусственного интеллекта. Реализован программный комплекс для выделения этих пред­ставлений в виде текстовых файлов.
Ключевые слова: планы концептуальной структуры акта деятельности, план функциональной структуры, план процессов, план контекста, план закономерностей

С. 3–10

УДК 004.434
А. О. Сухов, канд. физ.-мат. наук, доц. каф., e-mail: ASuhov@hse.ru, Е. Ю. Медведева, студент, e-mail: medvedevaeyu@mail.ru, Национальный исследовательский университет "Высшая школа экономики", г. Пермь

Подход к разработке языкового инструментария для создания текстовых предметно-ориентированных языков

Описан подход к созданию языкового инструментария, новизна которого заключается в том, что в процессе функционирования языковой инструментарий выполняет интерпретацию моделей различных уровней иерархии, а не генерацию на их основе исходного кода. Это позволяет проводить настройку разработанных языков без перегенерации кода редактора, выполнять многоуровневое моделирование, а также определять правила преобразования написанных программ в код на целевом языке.
Ключевые слова: предметно-ориентированные языки, текстовые языки, языковой инструментарий, метаязык, многоуровневое моделирование, метамодель, трансформация моделей, модельно-ориентированный подход

C. 10–16

УДК 004.942
А. А. Сирота, д-р техн. наук, проф., зав. каф., e-mail: sir@cs.vsu.ru, Н. И. Гончаров, аспирант, e-mail: nikigoncharov@ya.ru, Воронежский государственный университет

Моделирование конфликтного взаимодействия систем с использованием формализма гибридных автоматов

Рассмотрены математические и компьютерные модели конфликтного взаимодействия систем на основе формализма гибридных автоматов (карт состояний). Предложены типовые математические схемы и реализующие их имитационные модели, основанные на описании смены состояний в условиях конфликта. Получены аналитические соотношения для оценки нижней границы вероятности выигрыша одной из сторон в конфликте, позволяющие абстрагироваться от конкретного вида плотностей распределений для времени пребывания сторон в своих возможных состояниях. Приведены результаты сравнения полученных оценок с результатами имитационного моделирования.
Ключевые слова: конфликтное взаимодействие систем, гибридные автоматы, карты состояний, моделирование конфликта коалиций систем

С. 17–27

УДК 004.8
А. В. Буравцев, зам. директора, e-mail: mister_j@mail.ru, Институт информационных технологий и автоматизированного проектирования, Московский технологический университет (МИРЭА), В. Я. Цветков, д-р техн. наук, проф., зам. руководителя, e-mail: cvj2@mail.ru, Центр стратегического анализа и развития, Научно-исследовательский и проектно-конструкторский институт информатизации, автоматизации и связи на железнодорожном транспорте (НИИАС), Москва

Анализ структуры сложной организационно-технической системы

Выполнен анализ особенностей сложной организационно-технической системы и предложен метод по формированию ее структуры и иерархии. Показано место сложной организационно-технической системы в ряду сложных систем. Раскрываются содержание и особенности сложной организационно-технической системы. Отмечено включение когнитивных факторов в работу сложной организационно-технической системы. Описано применение дихотомического метода для построения структуры сложной организационно-технической системы. Дихотомический метод применен в сочетании с оппозиционным методом. Сочетание дихотомического и оппозиционного методов позволяет последовательно выделять качественные компоненты в виде структуры сложной системы. Дихотомический метод дополнен методом построения иерархий, основанном на теории графов.
Ключевые слова: системный анализ, сложная система, социальная система, сложная организационно-техническая система, аутопойезис, моделирование, структура системы, дихотомическое деление, моделирование иерархии

C. 27–32

ДК 004.942
А. Ф. Резчиков, чл.-кор. РАН, д-р техн. наук, проф., e-mail: rezchikov1939@mail.ru, ФГБУН "Институт проблем точной механики и управления РАН", г. Саратов, 410028, Н. В. Яндыбаева, канд. техн. наук, e-mail: nat07@inbox.ru, Балаковский филиал ФГБОУ ВО "Российская академия народного хозяйства и государственной службы при Президенте Российской Федерации", г. Балаково, В. А. Кушников, д-р. техн. наук, проф., e-mail: kushnikoff@yandex.ru, В. А. Иващенко, д-р. техн. наук, проф., e-mail: iptmuran@san.ru, А. С. Богомолов, канд. физ.-мат. наук, доцент, e-mail: alexbogomolov@yandex.ru, Л. Ю. Филимонюк, канд. техн. наук, e-mail: filimonyukleonid@mail.ru, ФГБУН "Институт проблем точной механики и управления РАН", г. Саратов, 410028

Информационно-советующая система для моделирования и прогнозирования динамики показателей национальной безопасности на основе причинно-следственных комплексов и уравнений Форрестера

Разработано математическое обеспечение для информационно-советующей системы, предназначенной для осуществления имитационного моделирования и прогнозирования основных показателей национальной безопасности РФ. Математической основой системы является комплекс моделей, построенных с использованием аппарата системной динамики, теории причинно-следственных комплексов и регрессионного анализа. Пред­ставлен алгоритм расчета прогнозных значений показателей национальной безопасности с использованием разработанного специализированного программного обеспечения.
Ключевые слова: национальная безопасность, системная динамика, дифференциальные уравнения, объектно-ориентированное программирование

С. 33–40

УДК 007.51 + 004.055
А. И. Разумовский, канд. техн. наук, вед. инженер, e-mail: razumowsky@yandex.ru, Институт проблем управления РАН, г. Москва

Информационная избыточность в разработке программных систем

Рассмотрена проблема разработки программных систем с точки зрения создания внешнего творческого контроля над информационным содержанием процесса разработки. Сделана попытка подчинить процесс создания программных систем избыточности информационного содержания посредством объединения управления как над алгоритмическими и структурными элементами, так и над любым возможным неформальным представлением данных, что способно обеспечить целостность разработки систем. Связующая роль между элементами проектирования при творческом контроле отведена эвристике доступности, которая действует как качественная оценка частоты или вероятности выбора за счет легкости воспоминания или ассоциации.
Ключевые слова: проектирование программных систем, алгоритм, структуризация, эвристика доступности, творческая активность, информационная избыточность, творческий человеческий фактор

С. 41–48

УДК 004.94
Р. Р. Загидуллин, д-р техн. наук, проф. каф. polysoft@list.ru, Уфимский государственный авиационный технический университет, Д. С. Занин, канд. пед. наук, исполнительный директор, First Business School, Уфа

Определение интегральной оценки профессиональной квалификации студента вуза на различных этапах обучения

Представлена численная методика определения интегрального показателя готовности специалиста (бакалавра, магистра) с точки зрения требований профессионального стандарта. Данная методика может быть использована в качестве инструмента сравнения подготовки студентов различных вузов и текущего показателя, востребованного в процессе обучения, как для преподавателей, руководства вузов, так и для самих студентов. Эта оценка может быть реализована на сервере университета, а также с помощью облачных технологий и базируется на концепции цифрового пространства РФ.
Ключевые слова: нормирование оценок, ранжирование дисциплин, математическая модель, весовые коэффициенты, значимость трудовой функции, коэффициент значимости дисциплины, интегральная оценка специалиста, интегральная оценка профессиональной квалификации

С. 49–55

УДК 519.876.5
А. С. Чирцов, д-р техн. наук, проф., e-mail: alex_chirtsv@mail.ru, СПбГЭУ "ЛЭТИ" им. В. И. Ульянова (Ленина), РПГУ им. Герцена, Д. А. Козуненко, Заместитель Генерального директора по информационным технологиям, e-mail: kozunenko@svega-computer.ru, ООО "СВЕГА-Компьютер"

Использование технологий создания стереоскопических изображений при численном моделировании сложных физических систем для лекционных демонстраций и учебных исследований

Рассматриваются варианты эффективного использования простой и широкодоступной для системы образования технологии создания стереоскопических изображений для визуализации результатов интерактивного компьютерного моделирования сложных систем и происходящих в них процессов, основанного на принципах физического объектно-ориентированного моделирования. Анализируются возможности использования подхода для организации массового индивидуализированного образования в области точных наук, включающего привлечение наиболее подготовленных и мотивированных обучаемых к активным формам творческого изучения учебного материала с элементами самостоятельного научного исследования. Описанный подход иллюстрируется на примере использования рассматриваемых технологий для сопровождения курса релятивистской электродинамики.
Ключевые слова: 3D-моделирование, стереоскопическая визуализация, объектно-ориентированное моделирование, популяризация современной физики, релятивистская электродинамика, пространство Минковского, 4D-визуализации, моделирование сложных систем

C. 55–63

УДК 004.075
Ле Тхань Тунг Нгуен, магистрант, e-mail: juno249@gmail.com, А. Г. Кравец, д-р техн. наук, проф., e-mail: agk@gde.ru, Нгок Зыонг Буй, аспирант, e-mail: ramsetii@gmail.com, Волгоградский государственный технический университет

Анализ средств и моделей взаимодействия между компонентами в системе управления корпоративной мобильностью

Коммуникация M2M (Machine-2-Machine) является новой технологией, позволяющей осуществлять "бесшовное" взаимодействие большого числа устройств в различных сетях без необходимости вмешательства человека в компоненты распределенных компьютерных систем, в частности, систем управления корпоративной мобильностью (УКМ). В настоящее время появляется ряд специализированных энергоэффективных протоколов M2M на прикладном уровне с низким энергопотреблением и потерями (Low power and Lossy Networks, LLNs), среди которых наиболее популярны HTTP, MQTT, XMPP, CoAP. В данной работе анализируются эти протоколы, они обеспечивают взаимодействие между сервером и устройствами в системе УКМ. Предлагаются формальные средства и модели обмена управляющими сообщениями на основе технологии асинхронной передачи. Проведены эксперименты, направленные на тестирование латентности и джиттера при приеме-отправке сообщений между мобильным устройством и сервером УКМ на базе этих протоколов.
Ключевые слова: управление корпоративной мобильностью, ресурс-ориентированная архитектура, службы Push-уведомлений, архитектура REST, модель публикация/подписка, модель запрос/ответ, обмен сообщениями, асинхронная передача, MQTT, CoAP, XMPP, HTTP, брокер сообщений

C. 64–72

Оглавление