Метод структурно-графического анализа и верификации интеллектуальной имитационной модели

Исаева, Ольга Сергеевна; Кулясов, Никита Владимирович; Исаев, Сергей Владиславович

Метод структурно-графического анализа и верификации интеллектуальной имитационной модели

Исаева, Ольга Сергеевна, Кулясов, Никита Владимирович, Исаев, Сергей Владиславович

Дата публикации: 2020

Дата публикации в реестре: 2020-05-12T11:49:47Z

Аннотация:

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

Ключевые слова:
имитационное моделирование, бортовая аппаратура, космические аппараты, верификация, валидация, базы знаний, инфографика

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 50. С. 79-88