TY  - SER
AU  - Исаева,Ольга Сергеевна
AU  - Кулясов,Никита Владимирович
AU  - Исаев,Сергей Владиславович
TI  - Метод структурно-графического анализа и верификации интеллектуальной имитационной модели
KW  - имитационное моделирование
KW  - бортовая аппаратура
KW  - космические аппараты
KW  - верификация
KW  - валидация
KW  - базы знаний
KW  - инфографика
KW  - статьи в журналах
N1  - Библиогр.: 16 назв
N2  - Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой аппаратуры, и базы знаний, описывающей методы ее работы. Выполнена формализация модели и предложены критерии анализа и верификации ее структуры и свойств. Разработаны визуальные компоненты интерактивной инфографики, выполняющие интерпретацию формального описания модели в интерактивные графические образы и формирующие перечень ошибок в функциональных зависимостях базы знаний
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000709104
ER  -