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

К оглавлению

УДК 004.512; 004.89
А. А. Разоренов, аспирант, e-mail: arazorenov@hse.ru, В. А. Фомичев, д-р техн. наук, проф., e-mail: vfomichov@hse.ru, Национальный исследовательский университет "Высшая школа экономики", Москва

Новый подход к формализации семантической обработки предписаний
на основе теории К-представлений

Предлагается новый подход к разработке алгоритмов семантического анализа (парсинга) естественно-языковых предписаний с использованием формальных средств представления входных, промежуточных и выходных данных. Основной теоретический результат заключается в разработке оригинального, широко применимого алгоритма семантического анализа предписаний. Для построения семантических представлений (СП) предписаний алгоритм использует средства теории К-представлений (концептуальных представлений) — единственной сегодня теории, удобной для построения СП произвольно сложных предписаний. Алгоритм использует также компактную формальную модель лингвистической базы данных (ЛБД) и понятие графа семантико-синтаксических связей (ГССС). Модель ЛБД и понятие ГССС модифицированы по сравнению с их описаниями в предыдущей статье авторов в журнале "Информационные технологии" (2016 год, № 12). По сравнению с известными алгоритмами новый алгоритм может обрабатывать значительно более сложные предписания, образованные несколькими глаголами с зависимыми словами. Вместе с тем новый алгоритм является весьма компактным благодаря использованию результатов теории графов. Предложенный алгоритм был использован в проектировании практически полезного естественно-языкового интерфейса файлового менеджера. Для этого на языке Haskell разработан файловый менеджер NLC-2 (Natural Language Commander — версия 2).
Ключевые слова: естественный язык, семантический анализ предписаний, семантическое представление, теория К-представлений, СК-язык, словарь лингвистических фреймов, лингвистическая база данных, граф семантико-синтаксических связей, естественно-языковое управление файловой системой, Natural Language Commander

С. 3–14

УДК 004.550
В. В. Наумова¹, д-р геомин. наук, зав. лаб., e-mail: naumova@fegi.ru, С. Е. Дьяков², науч. сотр., e-mail: sergdkv@gmail.com, К. А. Платонов¹, мл. науч. сотр., e-mail: platonov@fegi.ru
¹ФГБУН Дальневосточный геологический институт ДВО РАН, г. Владивосток
²ФГБУН Институт автоматики и процессов управления ДВО РАН, г. Владивосток

Технологии поиска и представления информации в научной инфраструктуре "Геология Дальнего Востока России"

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

С. 15–20

Работа выполняется при финансовой поддержке Гранта РФФИ № 14-07-00068.

УДК 539.3
Г. Г. Булычев, д-р физ.-мат. наук, проф., Московский технологический университет (МИРЭА)

Метод пространственных характеристик в задачах механики деформируемого твердого тела. Часть 1

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

C. 21 – 27

УДК 004.056
М. А. Стюгин, канд. техн. наук, науч. сотр., e-mail: styugin@gmail.com, Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева, г. Красноярск

Метод построения неразличимого исполняемого кода

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

С. 28–33

Работа поддержана грантом РФФИ, проект 16-29-09456 конкурс офи_м.

УДК 004.056.53
К. А. Щеглов, аспирант, А. Ю. Щеглов, д-р техн. наук, проф., e-mail: info@npp-itb.sbp.ru, Университет ИТМО, Санкт-Петербург, Россия

Эксплуатационная безопасность. Моделирование реализации угроз атак потенциальным нарушителем

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

C. 34– 41

УДК 004.942
В. Н. Костин, канд. техн. наук, доц., e-mail: vladimirkostin57@mail.ru, Федеральное государственное бюджетное образовательное учреждение высшего образования "Оренбургский государственный университет"

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

C. 41–49

УДК 004.932.2
А. В. Скороходов, науч. сотр., e-mail: vazime@yandex.ru, Федеральное государственное бюджетное учреждение науки Институт оптики атмосферы им. В. Е. Зуева сибирского отделения РАН, Томск

Применение метода Виолы — Джонса для обнаружения атмосферных гравитационных волн над водной поверхностью по спутниковым снимкам MODIS

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

C. 50–56

Работа выполнена при финансовой поддержке РФФИ в рамках научного проекта № 16-37-60019 мол_а_дк.

УДК 004.652.4(045)
Ю. В. Полищук, канд. техн. наук, доц. кафедры компьютерной безопасности и математического обеспечения информационных систем, ФГБОУ ВО "Оренбургский государственный университет" youra_polishuk@bk.ru

О способе мониторинга информационной энтропии больших технических систем

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

С. 56–61  

УДК 004.658
М. Ю. Чинков, студент, e-mail: michael.chinkov@gmail.com Пензенский государственный технологический университет, г. Пенза, Россия

Отслеживание статуса сервисов инфраструктуры веб-приложения

Рассматривается проблема отслеживания большого количества сервисов, поддерживающих работу веб-приложения, а также решение данной проблемы с помощью service discovery-инструментов.
Ключевые слова: веб-приложение, отслеживание сервисов, Consul, проверки состояния

С. 62–64

УДК 519.1
А. А. Харламов, д-р техн. наук., ст. науч. сотр., e-mail: kharlamov@analyst.ru, Институт высшей нервной деятельности и нейрофизиологии РАН, г. Москва

Ассоциативная память — нейросетевая среда для формирования единого пространства знаний

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

C. 66–75

Работа выполнена при поддержке РГНФ (проект № 15-03-00860 "Методология управления сетевыми структурами в контексте парадигмы сложности ").

УДК 004.223:004.032.26:004.272.2
В. В. Пекунов, д-р техн. наук, инженер-программист, e-mail: pekunov@mail.ru,
ОАО "Информатика", г. Иваново

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

Рассматривается построение упрощенных аналитических моделей нейронных сетей при некотором снижении точнос­ти аппроксимации. Передаточные функции нейронов замещаются полиномиальными соотношениями, справедливыми на рабочих участках нейронов. Учитываются значимости отдельных интервалов рабочих участков. Предложено использовать стратегию невозрастания максимальной степени входных переменных в конечном выражении для получения более компактных соотношений. Комбинирование конечных соотношений выполняется с помощью разработанного ядра символьной математики. Ядро использует ускоренные алгоритмы расчета, в том числе параллельные вычисления. Показаны приемлемые ускорение и эффективность распараллеливания на 16-ядерной машине платформы Google's Compute Engine.
Ключевые слова: нейронная сеть, аналитическая модель, упрощение, символьная математика, параллельный расчет

C. 76–80

Оглавление