Репозиторий Самарского университета

Отрывок: и ч Т.. т с й с т в и я I - л о г и ч е с к и й в е к т о р , о б у с л а в л и в а ю щ и й д е й с т в и е 196 В ообщ е, с точки зрения правильности р аб о т а УА РВ, его корректность м ож ет гло­ бально быть определена как исполнение КА и управляемым комплексом управляю щ их про­ грамм ВВС его целевой задачи или в обозначениях пред- и постусловий: { U ( D o ,to )} YS { В (D k ( t i , t2, . . . t k), tk) }, то есть в м омент времени начала ф ...

Название :	Методология проектирования надежных алгоритмов управления для космических аппаратов
Авторы/Редакторы :	Калентьев А. А. Тюгашев А. А.
Дата публикации :	2003
Библиографическое описание :	Калентьев, А. А. Методология проектирования надежных алгоритмов управления для космических аппаратов / А. А. Калентьев, А. А. Тюгашев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XI Всерос. науч.-техн. семинара по упр. движением и навигации летат. аппаратов (Самара, 23-25 июня 2003 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева [и др.] ; пред. редкол. В. Л. Балакин. - Самара, 2003. - С. 195-198.
Другие идентификаторы :	RU/НТБ СГАУ/WALL/629.7.05/У 677-684460
Ключевые слова:	управляющее программное обеспечение управляющие алгоритмы реального времени проектирование управляющих программ системы управления космические аппараты надежность алгоритмов управления бортовые вычислительные системы ГРАФКОНТ-ГЕОЗ
Располагается в коллекциях:	Управление движением и навигация ЛА

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.