ПОИСК Статьи Чертежи Таблицы Методы распространения ограничений из "Основы автоматизированного проектирования " Во многих задачах структурного синтеза множество D допустимых вариантов, задаваемое ограничениями W(X) О и (или) Z(X) = О, включает сравнительно малое число элементов, и в качестве результатов синтеза принимается любой из этих вариантов. Такое рещение задачи часто выполняют с помощью метода распространения ограничений ( onstraints propagation). [c.183] Сущность этого метода заключается в сужении допустимых интервалов управляемых переменных X с помощью учета (распространения) исходных ограничений на выходные параметры W и Z. [c.183] Метод легко распространяется на задачи с нечисловыми параметрами. В этом случае вместо сокращения числовых интервалов уменьшают мощности допустимых подмножеств значений параметров. [c.184] Одним из практических приложений метода распространения ограничений является поиск допустимых вариантов в множестве синтезируемых структур при ограничениях типа (4.29) на совместимость элементов структуры. [c.184] Сокращение первого списка выполняется путем поочередного выбора в нем о., фиксации в L3 соответствующих значений с , а затем в L2 сопряженных с значений Ъ. Если в L1 имеется элемент а,, bj, то он сохраняется в сокращенном списке, остальные сочетания с из L1 удаляются. В нашем примере, поскольку значения в L3 нет, то сочетание (7,, 6, недопустимо и из L1 удаляется. Далее для символа фиксируем в L3 значение с , ему в L2 соответствует только значение Ь Поэтому 6, - также недопустимое сочетание. Обработав подобным образом все списки, получаем результат распространения ограничений в виде L1 а,, Ь L2 Ь , с L3 а ,. [c.184] Следовательно, решение состоит из единственной допустимой структуры, включающей компоненты а , Ь ,. [c.184] В общем случае сокращение списков выполняется в итерационном процессе до совпадения их содержимого на двух последних итерациях. [c.184] Вернуться к основной статье