Автоматическая верификация данных в бортовых системах контроля и диагностики авиационных двигателей

Abstract

Рассмотрены требования к точности данных в системах управления и диагностики двигателей, для обеспечения которых необходимы методы верификации данных. Показано, что для решения практических задач диагностирования авиационных двигателей необходимо построение моделей объектов, содержащих большое количество параметров и ограничений. Показано, что для обеспечения точности моделей объектов необходим переход от неструктурированных недоопределенных моделей к структурным. Доказана целесообразность применения недоопределенных моделей и программирования в ограничениях в решении данной задачи. Сформулированы основные теоретические сведения недоопределенных моделей и методов. Приведены примеры применения данного метода.

Розглянуто вимоги до точності даних у системах управління та діагностики двигунів, для забезпечення яких потрібні методи верифікації даних. Показано, що для вирішення практичних завдань діагностування авіаційних двигунів потрібна побудова моделей об'єктів, що містять велику кількість параметрів та обмежень. Показано, що забезпечення точності моделей об'єктів необхідний перехід від неструктурованих недовизначених моделей до структурним. Доведено доцільність застосування недовизначених моделей та програмування в обмеженнях у вирішенні цього завдання. Сформульовано основні теоретичні відомості недовизначених моделей та методів. Наведено приклади застосування цього методу.