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

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

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

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

• И. Н. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, sinitsin@dol.ru

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

Ключевые слова: метод аналитического моделирования (МАМ); метод квазимоментов (МКМ); метод ортогональных разложений (МОР); плотность одно- и многомерного распределения; полиномы Эрмита; стохастическая система на многообразиях (МСтС); уравнения точности МОР и МКМ; уравнения чувствительности МОР и МКМ

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

• И. Н. Синицын  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, sinitsin@dol.ru

Аннотация: Рассматриваются вопросы оценки точности и чувствительности алгоритмов параметрического аналитического моделирования одно- и многомерных распределений в стохастических системах (СтС) на многообразиях (МСтС) с винеровскими и пуассоновскими шумами на базе методов начальных моментов (МНМ) и центральных моментов (МЦМ). Выведены уравнения точности и чувствительности алгоритмов аналитического моделирования (МАМ). Рассмотрены вопросы сокращения числа уравнений МНМ и МЦМ для одно- и многомерных распределений. Результаты положены в основу модуля разрабатываемого инструментального символьного программного обеспечения методов аналитического моделирования (МАМ) в среде MATLAB-MAPLE.
В качестве иллюстративного примера изучена одномерная нелинейная МСтС с мультипликативным гауссовским (нормальным) белым шумом. Сформулированы возможные обобщения.

Ключевые слова:  метод аналитического моделирования (МАМ); метод начальных моментов (МНМ); метод центральных моментов (МЦМ); плотность одно- и многомерного распределения; полиномы Эрмита; стохастическая система на многообразиях (МСтС); уравнения точности МНМ и МЦМ; уравнения чувствительности МНМ и МЦМ

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

• И. С. Зарядов  Российский университет дружбы народов, izaryadov@sci.pfu.edu.ru
• Л. А. Мейханаджян  Российский университет дружбы народов, lameykhanadzhyan@gmail.com
• Т. А. Милованова  Российский университет дружбы народов, tmilovanova77@mail.ru
• Р. В. Разумчик  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; Российский университет дружбы народов, rrazumchik@gmail.com

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

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

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

• М. С. Попова Московский физико-технический институт, maria_popova@phystech.edu
• В. В. Стрижов  Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра "Информатика и управление" Российской академии наук, strijov@ccas.com

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

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

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

• А. А. Грушо  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; Российский университет дружбы народов, grusho@yandex.ru
• Н. А. Грушо  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; Российский университет дружбы народов, info@itake.ru
• Е. Е. Тимонина  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; Российский университет дружбы народов, eltimon@yandex.ru
• С. Я. Шоргин  Федеральный исследовательский центр "Информатика и управление" Российской академии наук; Российский университет дружбы народов, sshorgin@ipiran.ru

Аннотация: Работа посвящена исследованию возможности построения безопасных архитектур для динамически меняющихся распределенных информационных систем (ИС), в которых наряду с ценными информационными ресурсами (ИР) могут быть высокорисковые компоненты. Построен процесс последовательного синтеза безопасной архитектуры, при котором достигается компромисс с исходными требованиями по безопасности. Автоматически достигается непротиворечивость требований частных политик безопасности и политики безопасности в интегрированной системе. Практически предлагается методология построения защищенной ИС из небезопасных компонентов.
В работе применяются элементы известных политик безопасности: Multilevel Security (MLS), Role Based Access Control (RBAC) и др. По возможности используются известные механизмы и протоколы безопасности, доверие к которым определяет доверие ко всей системе. В построенной безопасной архитектуре необходимо использовать дополнительные механизмы безопасности - серверы безопасности. Функционал некоторых видов серверов безопасности строится стандартными методами. В тех случаях, когда необходим анализ семантики, требования к серверу безопасности повышаются.

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

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

• Р. Р. Гилязов Московский государственный университет им. М. В. Ломоносова, irusrubin@gmail.com
• А. А. Грушо  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; Российский университет дружбы народов, grusho@yandex.ru

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

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

ГЕОГРАФИЧЕСКИЕ СТАНДАРТЫ ДЛЯ ОБЕСПЕЧЕНИЯ ГЕОИНТЕРОПЕРАБЕЛЬНОСТИ .

• С. К. Дулин  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук; Научно-исследовательский и проектно-конструкторский институт информатизации, автоматизации и связи на железнодорожном транспорте (НИИАС), s.dulin@ccas.ru
• И. Н. Розенберг  Научно-исследовательский и проектно-конструкторский институт информатизации, автоматизации и связи на железнодорожном транспорте (НИИАС), I.Rozenberg@gismps.ru
• В. И. Уманский   Интехгеотранс, umanvi@yandex.ru

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

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

ВИРТУАЛЬНЫЕ ГЕТЕРОГЕННЫЕ КОЛЛЕКТИВЫ, ПОДДЕРЖИВАЮЩИЕ ПРИНЯТИЕ РЕШЕНИЙ .

• И. А. Кириков  Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, baltbipiran@mail.ru
• А. В. Колесников   Балтийский федеральный университет им. И. Канта; Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, avkolesnikov@yandex. ru
• С. В. Листопад  Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, ser-list-post@yandex.ru
• С. Б. Румовская  Калининградский филиал Федерального исследовательского центра "Информатика и управление" Российской академии наук, sophiyabr@gmail.com

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

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

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

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

Аннотация: Приведены результаты имитационного моделирования алгоритма управления перегрузкой на основе окна получателя. Применение данного алгоритма позволяет втрое сократить потери пакетов в сети. Уменьшение среднего размера окна получателя в 2,5 раза снижает вероятность успешного проведения атаки класса hijacking. Данный способ находит применение в локальных и городских сетях, ограниченных временем передачи пакета до получателя и обратно 3-5 мс.

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

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

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

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

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

НЕКОТОРЫЕ ПОДХОДЫ К ФОРМИРОВАНИЮ НОРМАТИВНО-ТЕХНИЧЕСКОЙ БАЗЫ В ЧАСТИ ТРЕБОВАНИЙ К АРХИТЕКТУРНОМУ ПОСТРОЕНИЮ ИНФОРМАЦИОННЫХ СИСТЕМ ОРГАНИЗАЦИЙ - УЧАСТНИКОВ ЕДИНОГО ИНФОРМАЦИОННОГО ПРОСТРАНСТВА РОССИИ .

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

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

Ключевые слова:  единое информационное пространство Российской Федерации (ЕИП РФ); организация - участник ЕИП РФ (УЕИП); системный подход; архитектура единой информационной системы УЕИП; защищенные информационные ресурсы; централизация; интеграция; информационная безопасность; телекоммуникационное обеспечение

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

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

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

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

НОРМАЛИЗОВАННЫЕ ДЕНЬГИ В СИСТЕМЕ ИМУЩЕСТВЕННЫХ СТАТУСОВ .

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

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

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

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

• Г. В. Лукьянов Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, gena-mslu@mail.ru
• Д. А. Никишин  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, dmnik@a170.ipi.ac.ru
• Г. Ф. Веревкин  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, gennadij.verevckin2012@yandex.ru
• В. В. Косарик  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, valery_lek@mail.ru

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

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

СИСТЕМА ИЗВЛЕЧЕНИЯ БИОГРАФИЧЕСКИХ ФАКТОВ ИЗ ТЕКСТОВ ИСТОРИЧЕСКОЙ НАПРАВЛЕННОСТИ .

• И. М. Адамович  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, Adam@amsd.com
• О. И. Волков  Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, Volkov@amsd.com

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

Ключевые слова: биографическое исследование; извлечение фактов из текстов; разрешение анафорических связей; иерархия фактов

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

• А. А. Кудрявцев  Московский государственный университет им. М. В. Ломоносова, факультет вычислительной математики и кибернетики; Институт проблем информатики Федерального исследовательского центра "Информатика и управление" Российской академии наук, nubigena@mail.ru

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

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