Search
Now showing items 1-2 of 2
Проблемно-ориентированный язык для описания технологических процессов испытаний сложных технических систем
(ХАИ, 2006)
Рассмотрены теоретические аспекты применения проблемно-ориентированных языков для описания
технологических процессов испытаний сложных технических систем. Приведена формальная грамматика языка, который с учетом практических ...
Интервальные модели в задачах автоматического контроля достоверности и актуальности телеметрии космических аппаратов
(ХАИ, 2010)
Реализация сложных программ обработки телеметрии требует специальных методов контроля точности и надежности программной реализации на основе расчетной оценки точности вычисления всех составляющих эту программу операторов ...