Научно-технический семинар КриКТехС – 2013-7
20.09.13 Очередное заседание семинара состоится 24 сентября (вторник) 2013 г., в 15.00 в аудитории 238 радиокорпуса ХАИ.
Тема заседания: Марковский анализ в задачах оценивания надежности и безопасности радиоэлектронных и компьютерных систем для критических инфраструктур (космические и энергетические системы).
Доклады:
- Д.т.н., професор Волочій Богдан Юрійович (кафедра теоретичної радіотехніки та радіовимірювань, Національний університет «Львівська політехніка»). Напрямки досліджень у галузі теорії та практики системотехнічного проектування радіоелектронних інформаційних систем (функціональний та надійнісний аспекти проектування, проектування відмовостійких систем та алгоритмів функціональної поведінки радіоелектронних комплексів).
- Аспірант Змисний Михайло Михайлович (кафедра теоретичної радіотехніки та радіовимірювань, Національний університет «Львівська політехніка»). Засоби аналізу надійності радіоелектронних систем з складними мажоритарними структурами (за матеріалами дисертації):
- надійнісні моделі необслуговуваних відмовостійких радіоелектронних систем з реконфігурацією ядра мажоритарної структури (МС) та з використанням трьох МС, вкладених в мажоритарну структуру;
- надійнісна модель обслуговуваної відмовостійкої радіоелектронної системи з мажоритарним та ковзним резервуванням;
- порівняння надійності конфігурацій відмовостійких радіоелектронних систем на основі мажоритарної структури;
- реалізація результатів у розробках систем для космічно-ракетного комплексу «Циклон-4» та телекомунікаційних систем.
- К.т.н., доцент Иванченко Олег Васильевич (кафедра кибернетики и вычислительной техники, Севастопольский национальный технический университет). Case-анализ критических энергетических инфраструктур с использованием аппарата моделирования полумарковских процессов:
- факторы, влияющие на надежность и безопасность критических энергетических инфраструктур (КЭИ) (на основе анализа аварий энергосистем);
- взаимосвязь понятий в области безопасности КЭИ;
- -вариантные модели полумарковских процессов для Case-анализа КЭИ;
- обоснование предельных величин показателей надежности КЭИ;
- разработка информационных технологий.
Презентация книги: к.т.н., профессор Соколов Юрий Николаевич (кафедра проектирования радиоэлектронных систем ЛА, ХАИ). Применение компьютерных технологий для оценивания надежности и безопасности программно-технических комплексов.