АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№5. Том 23. 2017

К оглавлению

УДК 621.382.1
Р. М. Юсупов, д-р техн. наук, проф., чл.-корр. РАН, e-mail: yusupov@iias.spb.su, Санкт-Петербургский институт информатики и информатизации РАН, А. А. Мусаев, д-р техн. наук, проф., e-mail: amusaev@technolog.edu.ru, Санкт-Петербургский государственный технологический институт

К оцениванию эффективности информационных систем. Методологические аспекты

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

С. 323–332

УДК 519.16, 51-76
М. В. Ульянов, д-р техн. наук, проф., вед. науч. сотр., проф., e-mail: muljanov@mail.ru, Институт проблем управления им. В. А. Трапезникова РАН, Московский государственный университет им. М. В. Ломоносова, Ю. Г. Сметанин, д-р физ.-мат. наук, доц., гл. науч. сотр., проф., e-mail: ysmetanin@rambler.ru, Федеральный исследовательский центр "Информатика и управление" РАН, Федеральное государственное образовательное учреждение высшего профессионального образования "Московский физико-технический институт (государственный университет)"

Об одном характеристическом функционале слов над конечным алфавитом

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

УДК 004.4'24
Д. А. Никифоров, аналитик, e-mail: Denis-Nikiforov@centre-it-com, Д. В. Корж, нач. отд. бизнес-анализа, e-mail: Dmitriy.Korj@centre-it.com, Р. Л. Сиваков, директор, e-mail: Ruslan.Sivakov@centre-it.com, ООО "Центр информационных технологий", г. Екатеринбург

Обзор инструментов для валидации XML-документов с помощью правил контроля, описанных на объектном языке ограничений (OCL)

Описывается подход к семантической валидации XML-документов, основанный на архитектуре, управляемой моделями. Рассмотрены инструменты, реализующие данный подход (ShapeChange, NIEMPIM to Schematron Transformation, eXolutio, Dresden OCL, Eclipse OCL, OCLE), проведено их сравнение. Обозначены основные направления развития таких инструментов.
Ключевые слова: семантическая валидация XML, объектный язык ограничений, модельно-ориентированная разработка, платформо-независимая модель

C. 342–351

УДК 004.9
Р. М. Алгулиев, д-р техн. наук, проф., директор, e-mail: rasim@science.az, Г. Ч. Набибекова, зав.отделом, e-mail: gulnarara58@mail.ru, Институт информационных технологий НАНА, г. Баку, Азербайджан

Методы определения степени интеграции стран в среде электронного государства

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

C. 351 – 357

УДК 62-50; 519.7; 519.8
В. И. Левин, д-р техн. наук, проф., e-mail: vilevin@mail.ru, Пензенский государственный технологический университет

Моделирование систем с неопределенностью с помощью полиинтервальной математики

В последние десятилетия в военной и гражданской сферах все чаще встречаются новые технологии, связанные с изучением неопределенности. Эти технологии широко применяют в технике, экономике, социальной сфере. Для их поддержки нужны новые математические модели и методы. В связи с этим данная работа, посвященная разработке новой модели не­определенности (полиинтервал) и математических методов ее изучения, является актуальной. Цель работы заключается в детальной разработке новой математической модели неопределенности — полиинтервала, являющегося последовательностью конечного числа интервалов неопределенности, системы алгебраических операций над полиинтервалами и правил выполнения этих операций. Предложено распространить на изучение полиинтервалов известный в интервальной математике метод изучения интервалов, основанный на определении алгебраических операций над интервалами в виде теоретико-множественных обобщений соответствующих операций над вещественными числами. Новизна работы заключается в предложенной новой математической модели неопределенности систем в виде полиинтервалов, совместно с математическим аппаратом, позволяющим выполнять различные операции над полиинтервалами и тем самым дающим возможность выполнять математическое моделирование систем с неопределенностью. Детально разработана новая математическая модель неопределенности — полиинтервал. Определена система алгебраических операций над полиинтервалами и выведены правила их выполнения. Предложен алгоритм изучения систем с полиинтервальными параметрами.
Ключевые слова: интервал, полиинтервал, неопределенность, алгебра полиинтервалов, моделирование систем

УДК 517.97
Н. П. Деменков, канд. техн. наук, доц., e-mail: dnp@bmstu.ru, Е. А.
Микрин, д-р техн. наук, проф., e-mail: evgeny.mikrin@bmstu.ru, И. А. Мочалов, д-р техн. наук, проф., e-mail: intelsyst@mail.ru, МГТУ им. Н. Э. Баумана

Нечеткое преобразование Лапласа в задачах нечеткого математического моделирования. Часть II*

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

С. 362–369

УДК 004.942
Ю. В. Литвин, канд. экон. наук, директор центра, e-mail: litvinj@simplecs.ru, Научно-исследовательский институт экономики и организации управления в газовой промышленности (ООО "НИИгазэкономика", ОАО "Газпром"), г. Москва, К. С. Ноздрин, нач. научно-техн. центра, e-mail: nozdrinks@yandex.ru, А. А. Полков, вед. инженер, e-mail: andr.polkov@yandex.ru, Научно-исследовательский институт автоматической аппаратуры им. академика B. C. Семенихина" (АО "НИИАА"), г. Москва

Система виртуального прототипирования и моделирования информационно-управляющих систем реального времени

Рассматривается новый подход к оценке вероятностно-временных характеристик (ВВХ) создаваемых информационно-управляющих систем реального времени (ИУС РВ) на основе виртуальных прототипов, имитационных и комбинированных имитационно-регрессионных моделей. Технология применения разработанного подхода демонстрируется конкретным примером оценки влияния распараллеливания процессов ИУС РВ на ВВХ системы.
Ключевые слова: концептуальная модель, виртуальный прототип, комбинированная модель, технология прототипирования и моделирования, имитация, информационно-управляющая система, система реального времени

С. 370–375

УДК 004.67
Чан Ван Нгиа, аспирант, e-mail: nghiamosmipt@gmail.com Московский физико-технический институт (государственный университет)

Разработка параллельной архитектуры кодеров БЧХ и LDPC в стандартах систем цифрового телевизионного вещания второго поколения с регулируемыми параметрами кодирования на базе ПЛИС

В стандартах систем цифрового телевизионного вещания второго поколения, таких как DVB-T2, DVB-S2, DVB-C2, и др., использована система эффективного канального кодирования для высокой помехоустойчивости при передаче данных по неидеальным каналам связи с ограниченной пропускной способностью за счет последовательной конкатенации кода БЧХ (Боуза— Чоудхури—Хоквингема) и кода с низкой плотностью проверок на четность (LDPC). Требования к высокой скорости обработки информации, большой блок данных и многопараметрическое кодирование представляют сложную задачу для реализации эффективной аппаратной архитектуры. В данной работе предложен способ распараллеливания кодеров БЧХ и LDPC с регулируемой корректирующей способностью, поддерживающий все возможные конфигурации кодов БЧХ + LDPC.
Ключевые слова: помехоустойчивое кодирование, кодер БЧХ, кодер LDPC, поле Галуа, DVB, ПЛИС, DVB-T2 модулятор

УДК 519.674
А. П. Кудряшов, мл. науч. сотр., e-mail: kudryashovA@dvo.ru, Институт автоматики и процессов управления ДВО РАН, г. Владивосток, И. В. Соловьев, аспирант, e-mail: igorek.solovyev@mail.ru, Институт прикладной математики ДВО РАН, г. Владивосток

Реконструкция городской обстановки с учетом рельефа местности c использованием топографического плана и сервисов Google Maps

Описывается подход для реконструкции сцены городской обстановки на основе данных топографического плана. Предлагаются алгоритмы выделения и распознания контуров зданий, надписей и других объектов. Описывается метод построения трехмерного рельефа сцены с географической привязкой на основе сервисов Google Maps. Также предлагается метод автоматического текстурирования зданий на основании набора фотоснимков местности. Приводятся вычислительные эксперименты с использованием реальных топографических планов г. Владивостока.
Ключевые слова: трехмерная реконструкция, топографический план, географические координаты, текстурирование, городская обстановка

C. 382–387

УДК 004.91
И. С. Печенко, науч. сотр., e-mail: ivan.pechenko@intel.com, О. В. Венгер, ст. науч. сотр., e-mail: oleg.v.venger@intel.com, Д. А. Плоткин, науч. сотр., e-mail: dmitry.plotkin@intel.com, ЗАО "Интел А/О"

ACES Tables: среда для создания и использования табличных спецификаций систем на кристалле

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

C. 388–393

УДК 004.3
А. Б. Барский, д-р техн. наук, проф., e-mail: arkbarsk@mail.ru, Московский государственный университет путей сообщения (МИИТ)

Нейросетевой метод ускоренного принятия решений операционной системой суперкомпьютера EРIС-архитектуры
Предлагается реализация систем принятия решений (СПР) в ОС суперкомпьютера EPIC-архитектуры, управляемого в каждом такте, с помощью однослойных логических нейронных сетей (ЛНС), допускающих распараллеливание и конвейеризацию действий без ветвления. В модели нейрокомпьютера используется принцип "зацепления" конвейеров для выполнения основной операции — скалярного умножения векторов при расчете значений функции активации нейронов. Сложение результатов умножения элементов векторов, получаемых на двух конвейерах умножения, производится по схеме двоичного дерева, где окончательный результат формируется в последнем регистре буфера быстрых регистров — в корневой вершине дерева. Такая схема "свертки" массива не прерывает конвейер сложения для ожидания промежуточных результатов. Рассматривается возможность "зацепления" четырех конвейеров умножения и двух конвейеров сложения для повышения производительности нейрокомпьютера.
Нейрокомпьютер может быть включен в пакет прикладных программ для универсального применения во многих системах распознавания, управления и принятия решений.
Ключевые слова: суперкомпьютер, EPIC-архитектура, логическая нейронная сеть, матрица связей, нейрокомпьютер, "зацепление" конвейеров

Оглавление