Search
Now showing items 1-7 of 7
Проблемно-ориентированный язык для описания технологических процессов испытаний сложных технических систем
(ХАИ, 2006)
Рассмотрены теоретические аспекты применения проблемно-ориентированных языков для описания
технологических процессов испытаний сложных технических систем. Приведена формальная грамматика языка, который с учетом практических ...
Реинжиниринг программного обеспечения подсистемы обработки телеметрической информации Центра управления полетом
(ХАИ, 2010)
Показана целесообразность применения технологии Windows Workflow Foundation при решении задач реинжиниринга средств автоматизации обработки телеметрической информации космических аппаратов. Данная технология позволяет ...
Интервальные модели в задачах автоматического контроля достоверности и актуальности телеметрии космических аппаратов
(ХАИ, 2010)
Реализация сложных программ обработки телеметрии требует специальных методов контроля точности и надежности программной реализации на основе расчетной оценки точности вычисления всех составляющих эту программу операторов ...
Программное обеспечение испытаний бортовых систем космического аппарата
(ХАІ, 2006)
Предложен язык описания технологических процессов испытаний сложных технических систем, преимущественно относящихся к космической технике. Приведены основные результаты внедрения разработанных моделей, алгоритмов и программных ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Разработка программного обеспечения для автоматизации испытаний систем космических аппаратов с использованием технологии Windows Workflow Foundation
(ХАІ, 2009)
Рассматриваются особенности применения технологии Windows Workflow Foundation при разработке
программного обеспечения для автоматизации стендовых испытаний подсистем космических аппаратов таких, как спутники.
Модель управляющих алгоритмов испытаний бортовых систем космических аппаратов
(ХАІ, 2012)
Показано, что из-за сложности и иерархичности управляющих алгоритмов существует необходимость в разработке модели управляющего алгоритма испытаний бортовых систем космических аппаратов, которая предназначена для ...