Метод структурно-графического анализа и верификации интеллектуальной имитационной модели
Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой аппаратуры, и базы знаний, описывающей методы ее работы. Выполнена формализация модели и предлож...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 50. С. 79-88 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000709104 Перейти в каталог НБ ТГУ |
| LEADER | 03095nab a2200385 c 4500 | ||
|---|---|---|---|
| 001 | vtls000709104 | ||
| 003 | RU-ToGU | ||
| 005 | 20230319220455.0 | ||
| 007 | cr | | ||
| 008 | 200414|2020 ru s c rus d | ||
| 024 | 7 | |a 10.17223/19988605/50/10 |2 doi | |
| 035 | |a to000709104 | ||
| 039 | 9 | |a 202004161845 |c 202004141148 |d VLOAD |y 202004140936 |z Александр Эльверович Гилязов | |
| 040 | |a RU-ToGU |b rus |c RU-ToGU | ||
| 100 | 1 | |a Исаева, Ольга Сергеевна |9 502132 | |
| 245 | 1 | 0 | |a Метод структурно-графического анализа и верификации интеллектуальной имитационной модели |c О. С. Исаева, Н. В. Кулясов, С. В. Исаев |
| 246 | 1 | 1 | |a Method of structural and graphical analysis and verification of intellectual simulation model |
| 504 | |a Библиогр.: 16 назв. | ||
| 520 | 3 | |a Представлен метод анализа интеллектуальной модели имитации функционирования бортовой аппаратуры космического аппарата. Модель состоит из графической структуры, отражающей состав элементов бортовой аппаратуры, и базы знаний, описывающей методы ее работы. Выполнена формализация модели и предложены критерии анализа и верификации ее структуры и свойств. Разработаны визуальные компоненты интерактивной инфографики, выполняющие интерпретацию формального описания модели в интерактивные графические образы и формирующие перечень ошибок в функциональных зависимостях базы знаний. | |
| 653 | |a имитационное моделирование | ||
| 653 | |a бортовая аппаратура | ||
| 653 | |a космические аппараты | ||
| 653 | |a верификация | ||
| 653 | |a валидация | ||
| 653 | |a базы знаний | ||
| 653 | |a инфографика | ||
| 655 | 4 | |a статьи в журналах |9 879358 | |
| 700 | 1 | |a Кулясов, Никита Владимирович |9 502133 | |
| 700 | 1 | |a Исаев, Сергей Владиславович |9 117135 | |
| 773 | 0 | |t Вестник Томского государственного университета. Управление, вычислительная техника и информатика |d 2020 |g № 50. С. 79-88 |x 1998-8605 |w 0210-40860 | |
| 852 | 4 | |a RU-ToGU | |
| 856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000709104 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=465900 | ||
| 908 | |a статья | ||
| 999 | |c 465900 |d 465900 | ||