Завтра, 30 сентября 2021 года в 13:00 (МСК) в Zoom пройдет семинар «Проектирование и тестирование компьютерных систем имени П. П. Пархоменко» («Design & Testing of Computer Systems Named After Pavel P. Parkhomenko»), на котором выступит д-р техн. наук, профессор Станислав Витальевич Микони (СПИИРАН СПб ФИЦ РАН) с докладом «ДИАГНОСТИЧЕСКИЕ МОДЕЛИ ВЕРХНЕГО УРОВНЯ СЛОЖНЫХ СИСТЕМ».
К участию и обсуждению приглашаются все желающие.
Подключиться к конференции можно перейдя в Zoom по ссылке.
А также используя идентификатор конференции: 995 4209 0049
Код доступа: VpzkL0
Аннотация доклада:
Разнообразие моделей и методов диагностирования, действительное и обусловленное различием терминологии, делает насущным выявление их сходства с целью нахождения взаимосвязи между ними. Решение этой задачи требует применения общего языка описания диагностических моделей. Предельной степенью общности обладает язык предикатов первого порядка. Он задаёт классы предметных переменных и их значений и классы функциональных и не функциональных отношений на них. Этот язык используется для формирования диагностических моделей верхнего уровня иерархии сложных объектов. В качестве сложного объекта рассматривается человеко-машинная (эргатическая) система. С учётом новых технологий и сетевой организации она получила название социо-киберфизической системы (СКФС). В докладе рассматриваются составляющие СКФС и их обобщённые модели. На их основе формируются диагностические модели верхнего уровня сложного объекта. Их общность позволяет устанавливать связи между частными моделями и применять системный подход к проектированию диагностического обеспечения сложных объектов.
