Search
Now showing items 1-9 of 9
Проблемно-ориентированный язык для описания технологических процессов испытаний сложных технических систем
(ХАИ, 2006)
Рассмотрены теоретические аспекты применения проблемно-ориентированных языков для описания
технологических процессов испытаний сложных технических систем. Приведена формальная грамматика языка, который с учетом практических ...
Анализ результатов экспериментального исследования механизмов информационного взаимодействия на основе спецификации OLE for Process Control
(ХАИ, 2007)
Рассмотрены результаты экспериментальных исследований механизмов доступа к данным OPC-сервера. Приведена оценка затрат процессорного времени на обмен информацией между клиентом и сервером OPC, определена пропускная способность ...
Реинжиниринг программного обеспечения подсистемы обработки телеметрической информации Центра управления полетом
(ХАИ, 2010)
Показана целесообразность применения технологии Windows Workflow Foundation при решении задач реинжиниринга средств автоматизации обработки телеметрической информации космических аппаратов. Данная технология позволяет ...
Разработка программного обеспечения для автоматизации испытаний систем электроснабжения космических аппаратов
(ХАИ, 2011)
Рассмотрены проблемы испытаний космической техники как сложной технической системы. Определены основные требования к программному обеспечению для автоматизации испытаний подсистем космического аппарата. Предложен ...
Интервальные модели в задачах автоматического контроля достоверности и актуальности телеметрии космических аппаратов
(ХАИ, 2010)
Реализация сложных программ обработки телеметрии требует специальных методов контроля точности и надежности программной реализации на основе расчетной оценки точности вычисления всех составляющих эту программу операторов ...
Управления рисками сложных проектов авиационно-космической отрасли
(ХАИ, 2012)
Предложен энтропийный подход с целью выявления рисковых ситуаций на этапе планирования или прогнозирования сложных научно-технических проектов, учитывающий вероятности перехода от одного
состояния проекта к последующему. ...
Автоматическая верификация данных в бортовых системах контроля и диагностики авиационных двигателей
(ХАИ, 2012)
Рассмотрены требования к точности данных в системах управления и диагностики двигателей, для
обеспечения которых необходимы методы верификации данных. Показано, что для решения практических задач диагностирования авиационных ...
Визуализация трассы управляющего алгоритма в системах автоматизации испытаний авиационных двигателей
(ХАИ, 2012)
Показано, что на современном этапе развития авиационной техники требуются новые подходы к разработке программного обеспечения, реализующего управляющий алгоритм испытаний авиационных двигателей, которые повысят наглядность ...
Технология формирования нормативного профиля для сертификации программных систем
(ХАИ, 2013)
Рассмотрена технология формирования нормативного профиля для сертификации программных систем и вопросы организации интеллектуальной поддержки принятия решений экспертом при реализации одной из наиболее важных задач ...