Метод и алгоритм декомпозиции в задачах синтеза программ контроля сложных объектов электротехнического оборудования

Рассмотрена задача снижения размерности при построении программ автоматического контроля для сложных объектов электротехнического оборудования в рамках программирования задач диагностики. Для решения задачи предложен метод и алгоритм эффективного описания объектов электротехнического оборудования (ЭТО) для его декомпозиции (разбиения), т.е. сведения задач большой размерности к решению ряда более простых задач. Для снижения размерности объекта выбран адекватный язык описания задачи, построенный на базе теории графов. Для представления результатов использованы понятия теории образов У. Гренандера. При решении задач синтеза (проектирования) и анализа использована единая методология представления образов на базе использования моделей их компонентов (образующих), цепей из них (конфигураций) и изображений объектов производства как множества из них. Метод разбиения основан на исследовании модели объекта контроля на достижимость и связность и выделении на их базе сильных компонентов в матрицах электрических соединений элементов. Схема разбивается на отдельные функциональные модули. Каждый модуль включает в себя функционально законченную часть схемы, которая лежит в основе проектирования тестов для дискретных схем автоматических объектов.