MLSD'2015. Секция 8. Управление объектами атомной энергетики и другими объектами повышенной опасности

1. Антонов А.В., Жарко Е.Ф., Промыслов В.Г.

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

2. Батоврин В.К., Королев А.С.

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

3. Байбулатов А.А.

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

4. Байбулатов А.А.

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

5. Будынков А.Н., Промыслов В.Г.

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

6. Бывайков М.Е.

МЕТОДЫ УНИФИКАЦИИ ШЛЮЗОВОГО ПРОГРАММНОГО ИНТЕРФЕЙСА ДЛЯ СИСТЕМ ВЕРХНЕГО (БЛОЧНОГО) УРОВНЯ АСУ ТП АЭС

7. Горелова Г.В., Колоденкова А.Е., Коробкин В.В.

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

8. Дидманидзе И., Беридзе З., Цицкишвили Г.

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

9. Игнатов А.А., Субботин С.А., Алексеев П.Н.

ИМИТАЦИОННЫЕ МОДЕЛИ ЗАМКНУТОГО ЯДЕРНОГО ТОПЛИВНОГО ЦИКЛА, КАК СРЕДСТВА АНАЛИЗА И УПРАВЛЕНИЯ СВОЙСТВАМИ (ЗНАНИЯМИ) СТРУКТУРНО-СЛОЖНОЙ СИСТЕМЫ.

10. Жарко Е.Ф.

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

11. Жарко Е.Ф., Сакрутина Е.А.

НЕКОТОРЫЕ ВОПРОСЫ ОЦЕНКИ РИСКОВ БЕЗОПАСНОСТИ ПОЛЕТОВ

12. Зуенкова И.Н.

ПРОГРАММНО-ТЕХНИЧЕСКИЙ КОМПЛЕКС СИСТЕМЫ КОНТРОЛЯ И УПРАВЛЕНИЯ ХИМВОДООЧИСТКОЙ НА АЭС

13. Кожевников Д.Е., Королев А.С., Реут Д.В.

ОБРАЩЕНИЕ С ОТРАБОТАВШИМ ЯДЕРНЫМ ТОПЛИВОМ В ЖИЗНЕННОМ ЦИКЛЕ АЭС

14. Кондратьева Н.В., Валеев С.С.

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

15. Коробкин В.В., Колоденкова А.Е., Халикова Е.А.

ОЦЕНКА ЗАТРАТ ВРЕМЕНИ НА ПРОЕКТИРОВАНИЕ УСТРОЙСТВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ С ИСПОЛЬЗОВАНИЕМ ТЕОРИИ ГРАФОВ И АППАРАТА ИНТЕРВАЛЬНОЙ АРИФМЕТИКИ

16. Масолкин С.И., Промыслов В.Г.

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

17. Махутов Н.А., Берман А.Ф., Николайчук О.А.

УПРАВЛЕНИЕ РИСКОМ СЛОЖНЫХ ТЕХНОЛОГИЧЕСКИХ КОМПЛЕКСОВ НА ОСНОВЕ САМООРГАНИЗАЦИИ

18. Промыслов В.Г.

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

19. Реут Д.В.

СОПРОВОЖДЕНИЕ ЗАМКНУТОГО ЦИКЛА ЯДЕРНОГО ТОПЛИВА: ПРОБЛЕМНОЕ ПОЛЕ

20. Сакрутина Е.А.

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