Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук




«Системы и средства информатики»
Том 25, Выпуск 2, 2015г.

Оглавление | Об авторах

Аннотации и ключевые слова.

МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ МОДЕЛИРОВАНИЯ НОРМАЛЬНЫХ ПРОЦЕССОВ В СТОХАСТИЧЕСКИХ СИСТЕМАХ СО СЛОЖНЫМИ ИРРАЦИОНАЛЬНЫМИ НЕЛИНЕЙНОСТЯМИ .

  • И. Н. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, sinitsin@dol.ru
  • В. И. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vsinitsin@ipiran.ru
  • И. В. Сергеев  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, isergeev@ipiran.ru
  • Э. Р. Корепанов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, ekorepanov@ipiran.ru
  • В. В. Белоусов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vbelousov@ipiran.ru
  • В. С. Шоргин  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vshorgin@ipiran.ru

Аннотация: Рассмотрено методическое обеспечение аналитического и статистического моделирования нормальных стохастических процессов (СтП) в дифференциальных и разностных (дискретных) стохастических системах (СтС) на многообразиях со сложными иррациональными нелинейностями (СИРН) скалярного и векторного аргумента. Приведены типовые СИРН и их разложения по невязкам. Даны уравнения метода нормальной аппроксимации (МНА) и метода статистической линеаризации (МСЛ) для аналитического моделирования нестационарных и стационарных нормальных процессов. Рассматриваются методы вычисления типовых интегралов для СтС с СИРН на основе цилиндрических функций. Обсуждается состав алгоритмического обеспечения на основе МНА (МСЛ) и структура модуля "StS-CIRN.Analysis>>. Приведены тестовые примеры.

Ключевые слова:  аналитическое и статистическое моделирование; метод нормальной аппроксимации (МНА); метод статистической линеаризации (МСЛ); многочлены Эрмита; модуль "StS-CIRN.Analysis"; сложные иррациональные нелинейности (СИРН); стохастические системы (СтС); цилиндрические функции

МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ СИНТЕЗА ДИСКРЕТНЫХ ФИЛЬТРОВ ПУГАЧЁВА ДЛЯ ОБРАБОТКИ НОРМАЛЬНЫХ ПРОЦЕССОВ В ЭРЕДИТАРНЫХ СТОХАСТИЧЕСКИХ СИСТЕМАХ .

  • И. Н. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, sinitsin@dol.ru
  • И. В. Сергеев  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, isergeev@ipiran.ru
  • В. И. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vsinitsin@ipiran.ru
  • Э. Р. Корепанов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, ekorepanov@ipiran.ru
  • В. В. Белоусов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vbelousov@ipiran.ru
  • В. С. Шоргин  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vshorgin@ipiran.ru

Аннотация: Рассматриваются алгоритмы синтеза дискретных условно-оптимальных фильтров Пугачёва (ФП) для обработки процессов в непрерывных и дискретных эредитарных стохастических системах (ЭСтС) с винеровскими и пуассоновскими возмущениями. Дан краткий обзор работ в области анализа и моделирования нормальных стохастических процессов (СтП) в ЭСтС. Отмечается, что для нелинейных ЭСтС алгоритмы условно-оптимальной фильтрации нормальных СтП в реальном масштабе времени допускают простую реализацию и обладают достаточной точностью для широкого круга задач прикладной информатики и управления. Представлены алгоритмы приведения уравнений непрерывных ЭСтС к дифференциальным и дискретным СтС. Описаны алгоритмы синтеза дискретных ФП для обработки нормальных СтП в непрерывных и дискретных ЭСтС. Приведены примеры с результатами тестирования модуля инструментального программного обеспечения "IDStS-Filtering" для ЭСтС в условиях детерминированных и стохастических ударных воздействий.

Ключевые слова: дифференциальная стохастическая система (ДСтС); линейный фильтр Калмана; линейный фильтр Пугачёва; математическое обеспечение; метод нормальной аппроксимации (МНА); метод статистической линеаризации (МСЛ); модуль "IDStS-Filtering"; нормальный стохастический процесс (СтП); ударные воздействия; ударный импульс; фильтр Пугачёва; эредитарная (интегродифференциальная) стохастическая система (ЭСтС); MATLAB

ИССЛЕДОВАНИЕ СИСТЕМ ОБСЛУЖИВАНИЯ С ДИСКРЕТНЫМ ВРЕМЕНЕМ, ВХОДЯЩИМ ПОТОКОМ АВТОРЕГРЕССИОННОГО ТИПА И ОБРАТНОЙ СВЯЗЬЮ .

  • Н. Д. Леонтьев  Факультет вычислительной математики и кибернетики Московского государственного университета имени М. В. Ломоносова; ndleontyev@gmail.com
  • В. Г. Ушаков  Факультет вычислительной математики и кибернетики Московского государственного университета имени М. В. Ломоносова; Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; vgushakov@mail.ru

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

Ключевые слова:  теория массового обслуживания; системы с дискретным временем; модель дискретной авторегрессии; системы с групповым поступлением требований; обратная связь

СПЕЦИАЛИЗИРОВАННАЯ ПРОГРАММНАЯ МОДЕЛЬ ДЛЯ ИМИТАЦИИ ПРОЦЕССА ПЕРЕДАЧИ ДАННЫХ НА ТРАНСПОРТНОМ УРОВНЕ С ИСПОЛЬЗОВАНИЕМ АЛГОРИТМОВ УПРАВЛЕНИЯ ПЕРЕГРУЗКОЙ .

  • Е. О. Карпухин  Центр информационных технологий в проектировании Российской академии наук, info@ditc.ras.ru
  • В. В. Карнаков  Центр информационных технологий в проектировании Российской академии наук, info@ditc.ras.ru
  • С. В. Филипков  Центр информационных технологий в проектировании Российской академии наук, info@ditc.ras.ru

Аннотация: Рассмотрены основные подходы к оценке эффективности функционирования протоколов транспортного уровня современных информационно-телекоммуникационных систем, в которых реализован механизм управления перегрузкой. Проведен анализ существующих средств моделирования протоколов транспортного уровня, на основании которого делается вывод о невозможности в полной мере учесть особенности имитации процесса передачи данных. Приведены основные этапы разработки специализированной программной модели в среде .NET Framework. Доказана адекватность реализованной модели на основе сопоставления получившихся результатов моделирования с существующими оценками скорости передачи данных на транспортном уровне при использовании протокола TCP (Transmission Control Protocol).

Ключевые слова: транспортный уровень; управление перегрузкой; TCP; оптимизация протоколов информационного взаимодействия; специализированная программная модель; hijacking

НОВЫЙ МЕТОД ПОЛУЧЕНИЯ УСТОЙЧИВОГО КЛЮЧА ИЗ ДИНАМИЧЕСКОЙ БИОМЕТРИЧЕСКОЙ ПОДПИСИ .

  • В. В. Кузнецов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, vkuznetsov@ipiran.ru

Аннотация: Существующие алгоритмы симметричного шифрования требуют хранения секретного ключа. Проблема хранения ключей состоит в том, что их часто защищают неудачно выбранными паролями или пин-кодами. В качестве возможного решения рассматривается объединение биометрии с криптографией. В статье описывается новый метод преобразования динамической биометрической подписи в двоичный вектор, который может быть использован в качестве устойчивого ключа. Метод основывается на схеме, называемой защищенным скетчем (secure sketch), и позволяет получать 16-битные ключи с уровнем ошибок ложного допуска и ложного недопуска менее 10%.

Ключевые слова: биометрическая криптография; динамическая подпись; нечеткий экстрактор; защищенный скетч

ГЕТЕРОГЕННЫЕ ИНТЕЛЛЕКТУАЛЬНЫЕ КОМПЬЮТЕРНЫЕ СИСТЕМЫ ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ: МОДЕЛИ КООРДИНАЦИИ И СОГЛАСОВАННОСТИ .

  • И. А. Кириков   Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, baltbipiran@mail.ru
  • А. В. Колесников   Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, avkolesnikov@yandex.ru
  • С. В. Листопад  Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, ser-list-post@yandex.ru
  • С. А. Солдатов   ООО "Лайтон", soldatov@l-on.ru

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

Ключевые слова: гетерогенность; система поддержки принятия решений; гибридная интеллектуальная система; координация; согласованность

ИНТЕРНЕТ-СЕРВИС ПЛАНИРОВАНИЯ РАСХОДОВ.

  • А. В. Ильин  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, avilyin@ipiran.ru

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

Ключевые слова:  планирование расходов; планирование бюджета; распределение ресурса; интернет-сервис; SaaS

ОБ ОДНОМ ПОДХОДЕ К АВТОМАТИЗАЦИИ ОЦЕНИВАНИЯ УСПЕВАЕМОСТИ СТУДЕНТОВ .

  • А. В. Босов  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, ABosov@ipiran.ru
  • Е. С. Гресс  Московский авиационный институт (национальный исследовательский университет), gress@mai.ru
  • А. В. Наумов  Московский авиационный институт (национальный исследовательский университет), naumovav@mail. ru

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

Ключевые слова:  рейтинговая система; качество образования; успеваемость студентов; статистические критерии; информационная система

ИНФОРМАЦИОННЫЕ РЕСУРСЫ КОНТРАСТИВНЫХ ЛИНГВИСТИЧЕСКИХ ИССЛЕДОВАНИЙ: ЭЛЕКТРОННЫЕ КОРПУСА ТЕКСТОВ .

  • М. Г. Кружков  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, magnit75@yandex.ru

Аннотация: Рассматриваются информационные ресурсы, используемые в контрастивных лингвистических исследованиях, и их основные характеристики. Основными видами таких информационных ресурсов являются типологические базы данных (ТБД) и электронные корпуса текстов. В рамках данной работы основное внимание уделяется электронным корпусам, среди которых наиболее релевантными для проведения контрастивных исследований являются сопоставимые корпуса, представляющие собой сбалансированные собрания оригинальных текстов на сравниваемых языках, и параллельные (переводные) корпуса, представляющие собой собрания оригинальных текстов на одном из сравниваемых языков, дополненные переводом на другой язык (или несколькими переводами на один или несколько языков). В дополнение к описанию известных информационных ресурсов для поддержки контрастивных лингвистических исследований определяется новый тип таких ресурсов: "надкорпусные кросслингвистическе базы данных". Дается описание основных характеристик таких баз данных (БД) в сопоставлении с электронными корпусами текстов и обосновывается необходимость их формирования.

Ключевые слова:  контрастивная лингвистика; базы данных; типологические базы данных; сопоставимые корпуса; параллельные корпуса; надкорпусные кросслингвистические базы данных