ИПУ РАН

19324

Автор(ы): 

Автор(ов): 

5

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Поддержка принятния управленческих решений на основе интеллектуальной обработки и анализа данных мониторинга деятельности компании ОАО «РЖД»

ISBN/ISSN: 

978-5-91450-117-1

Наименование источника: 

  • Проблемы управления на железнодорожном транспорте

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

36-50
Аннотация
Предложены методы поддержки принятия решений по управлению производственными процессами и бизнес-процессами ОАО «РЖД» на основе динамического интеллектуального прогнозирования показателей, имитационного моделирования и параллельных вычислений. Рассмотрена возможность применения методов радиочастотной идентификации (RFID-технологий, Radio Frequency Identification) для интеллектуального анализа данных перевозочного процесса.

Библиографическая ссылка: 

Ахметзянов А.В., Бахтадзе Н.Н., Власов С.А., Девятков В.В., Максимов Е.М. Поддержка принятния управленческих решений на основе интеллектуальной обработки и анализа данных мониторинга деятельности компании ОАО «РЖД» // Проблемы управления на железнодорожном транспорте. 2012. С. 36-50.

19314

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Целочисленные постановки задачи формирования железнодорожных составов и расписания их движения

Электронная публикация: 

Да

ISBN/ISSN: 

ISBN 978-5-91450-117-1

Наименование источника: 

  • Проблемы управления на железнодорожном транспорте

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

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

Библиографическая ссылка: 

Лазарев А.А., Мусатова Е.Г. Целочисленные постановки задачи формирования железнодорожных составов и расписания их движения // Проблемы управления на железнодорожном транспорте. 2012. С. 161-169.

19305

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Применение формальной модели для контроля кибербезопасности цифровой системы управления

ISBN/ISSN: 

ISBN 978-5-91450-115-7

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

271-273
Аннотация
В данной работе рассмотрено интегрирование формальной модели безопасности в систему аудита состояния безопасности цифровой системы управления.

Библиографическая ссылка: 

Промыслова О.А. Применение формальной модели для контроля кибербезопасности цифровой системы управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т. 2. С. 271-273.

19304

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

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

Электронная публикация: 

Да

ISBN/ISSN: 

SBN 978-5-91450-100-3

Наименование конференции: 

  • 3-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

Наименование источника: 

  • Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

86-100
Аннотация
В данной работе рассмотрена формальная модель с передачей прав доступа политики кибербезопасности информационно- управляющей цифровой системы АЭС. Предложено интегрирование формальной модели безопасности в систему аудита состояния безопасности ИУЦС.

Библиографическая ссылка: 

Промыслов В.Г., Полетыкин А.Г. КОНТРОЛЬ КИБЕРБЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ИСПОЛЬЗОВАНИЕМ ФОРМАЛЬНОЙ МОДЕЛИ ДОСТУПА / Труды 3-й Всероссийской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва). М.: ИПУ РАН, 2012. С. 86-100.

19303

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Доклад

Название: 

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

ISBN/ISSN: 

ISBN 978-5-91450-115-7

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

т.2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

267-270
Аннотация
В работе предложена расширенная на информационные потоки дискретная формальная модель политики кибербезопасности системы верхнего блочного уровня (СВБУ) АЭС типа СВБУ АЭС проектов Куданкулам, Индия и Бушер, Иран. Дополнительно сформулирована политика безопасности СВБУ АЭС, реализованной на современных программно- технических средствах. Рассмотрена проблема адаптации модели к смешанной иерархической системе построения СВБУ ориентированной на сохранение целостности с выделенными уровнями доступа, реализующими концепцию сохранение конфиденциальности.

Библиографическая ссылка: 

Промыслов В.Г., Полетыкин А.Г. ФОРМАЛЬНАЯ ИЕРАРХИЧЕСКАЯ МОДЕЛЬ БЕЗОПАСНОСТИ СИСТЕМЫ УПРАВЛЕНИЯ АЭС С ОТКРЫТЫМ ИНФОРМАЦИОННЫМ ПРОСТРАНСТВОМ / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. т.2 . С. 267-270.

19302

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

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

ISBN/ISSN: 

ISBN 978-5-91450-115-7

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 2

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

273-276
Аннотация
В работе рассмотрена проблема разработки иерархической формальной модели безопасности цифровой системы управления (ЦСУ), с реализацией функции открытого информационного пространства и приоритетом сохранения целостности. В качестве базовой формальной модели безопасности использована формальная модель с передачей прав доступа («Брать-давать»), позволяющая осуществлять прозрачное отображение соотношений между субъектами и объектами деятельности ЦСУ в модель.

Библиографическая ссылка: 

Промыслов В.Г. ПРОБЛЕМА ПЕРЕДАЧИ ПРАВ ДОСТУПА И МОДЕЛЬ БЕЗОПАСНОСТИ ЦИФРОВОЙ СИСТЕМЫ УПРАВЛЕНИЯ / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 273-276.

19301

Автор(ы): 

Автор(ов): 

2

Параметры публикации

Тип публикации: 

Пленарный доклад

Название: 

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

ISBN/ISSN: 

ISBN 978-5-91450-114-0

Наименование конференции: 

  • 6-я Международная конференция «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Наименование источника: 

  • Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва)

Обозначение и номер тома: 

Т. 1

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

117-120
Аннотация
Для математической формулировки понятия киберустойчивости в статье вводится в рассмотрение новый класс скрытых функций, который дополняет штатные функции объекта управления. Даются три определения киберустойчивости, связанные с различными видами кибератак. Формулируются критерии киберустойчивости, производится их анализ, и обсуждаются вопросы практического применения.

Библиографическая ссылка: 

Промыслов В.Г., Полетыкин А.Г. ФОРМАЛЬНЫЕ ОПРЕДЕЛЕНИЯ И КРИТЕРИИ УСТОЙЧИВОСТИ ОБЪЕКТОВ С ЦИФРОВЫМИ СИСТЕМАМИ УПРАВЛЕНИЯ К ВОЗДЕЙСТВИЯМ КИБЕРАТАК / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 1. С. 117-120.

19299

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Анализ и обеспечение техногенной безопасности технических объектов

Наименование источника: 

  • Датчики и системы

Обозначение и номер тома: 

№6

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2012

Страницы: 

57-63
Аннотация
Предложена модель системного анализа техногенной безопасности технических объектов

Библиографическая ссылка: 

Волик Б.Г. Анализ и обеспечение техногенной безопасности технических объектов // Датчики и системы. 2012. №6. С. 57-63.

19297

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Управление рефлексивным поведением агентов в модели олигополии Курно

Наименование источника: 

  • Управление большими системами

Обозначение и номер тома: 

выпуск №31

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2010

Страницы: 

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

Библиографическая ссылка: 

Корепанов В.О. Управление рефлексивным поведением агентов в модели олигополии Курно // Управление большими системами. 2010. выпуск №31. С. 225-249.

19296

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

Имитационные модели тактического поведения агентов

Наименование источника: 

  • Управление большими системами

Обозначение и номер тома: 

Выпуск 26

Город: 

  • Москва

Издательство: 

  • ИПУ РАН

Год издания: 

2009

Страницы: 

145-157
Аннотация
Приводятся результаты тестирования алгоритмов тактического поведения для агентной системы моделирования эвакуации людей из здания. Проводится их анализ и сравнение на качественном уровне.

Библиографическая ссылка: 

Корепанов В.О. Имитационные модели тактического поведения агентов // Управление большими системами. 2009. Выпуск 26. С. 145-157.

Страницы