Розроблено ефективні алгоритмічні моделі для побудови систем контролю та діагностування в автоматизованих комплексах авіаційного призначення. Запропоновано алгебричний метод перетворення безповторних алгоритмічних структур з комутативними умовами. Розроблено методи аналізу та синтезу настроювальних алгоритмічних перетворювачів. Розширено множину настройок. Створено метод конструктивного перерахування діагностичних моделей. Складено каталоги їх типових представників. Запропоновано апаратні та програмні засоби для автоматизації розробки алгоритмічних структур.

  Скачати повний текст