Интервальные модели в задачах автоматического контроля достоверности и актуальности телеметрии космических аппаратов
Аннотации
Реализация сложных программ обработки телеметрии требует специальных методов контроля точности и надежности программной реализации на основе расчетной оценки точности вычисления всех составляющих эту программу операторов и используемых данных. На основе анализа требований к задачам вторичной обработки телеметрии обоснована необходимость использования аффинной интервальной арифметики для учета погрешностей измерения, преобразований и времени получения контролируемой величины. Розглянуто особливості інтерпретації результатів аналізу вимірювальної інформації, отриманої у процесі функціонування космічного апарату. Реалізація складних програм обробки телеметрії вимагає спеціальних методів контролю точності і надійності програмної реалізації на основі розрахункової оцінки точності обчислення всіх складових цю програму операторів і використовуваних даних. На основі аналізу вимог до завдань вторинної обробки телеметрії обґрунтована необхідність використання афінної інтервальної арифметики для обліку похибок вимірювання, перетворень і часу отримання контрольованої величини.