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