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