Задача контроля данных системы управления работой космического аппарата с охватом проблемной области

Журнал: Труды МАИ
Тэги (англ.):  automated system, spacecraft, planning and control system, predicate logic, logical programming, hardware and software, standardization, intellectualization
Авторы:  Шихин
Выпуск № (Вверх):  109
Файл:  Скачать