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

Рассмотрены способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов. Показано, что данная технология позволяет создавать инструментальные средства для построения сценариев лабораторных работ. Рассмотрена графовая модель представления потоков работ Windows Workflow Foundation (сценария лабораторных работ), а также предложен метод проверки их на корректность с помощью алгоритмов поиска в ширину и глубину. Разработан прототип программного обеспечения для наглядного представления работы выбранной технологии и методов.

Рассмотрена проблема обеспечения производительности СУБД ACCESS в задачах обработки телеметрической информации космических аппаратов. Представлена модель системы хранения телеметрических данных и приведена модель базы данных, которую можно использовать в данной задаче. Проведены экспериментальные исследования на производительность СУБД ACCESS. Показано, что производительность существенно не зависит от размера базы данных и количества обрабатываемых файлов телеметрической информации. Определена зависимость размера базы данных от количества данных. Определено время сохранения и поиска данных в зависимости от их структуры.

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