Информационные технологии проектирования электронных средств

- 31 - Пусть i – номер типа ЛФ ( i = k ,1 ) ; j – номер конструктивного модуля ( j = ,n 1 ) ; C j – cтоимость j -го конструктивного модуля ; h ij – число ЛФ i -го типа в j -м модуле ; х j – число модулей j -го типа ; а j – общее число ЛФ i -го типа. Требуется найти min F ( x ) = ∑ = n xС j j j 1 , при ограничениях ∑ = n xh j j ij 1 ≥ a i ( i = ,k 1 ), x j ≥ 0, h ij ≥ 0, где х i – целое число для всех j , так как конструктивный модуль используется всегда полностью, независимо от числа задействованных в нем компонентов. Замечание : число логических функций любого i -го типа, входящих во все покрывающие модули, должно быть не меньше общего числа элементов со- ответствующего типа в реализуемой схеме. В основе большинства алгоритмов покрытия лежит идея выделения из заданной функциональной схемы подсхем, т.е. групп максимально связанных между собой ЛЭ, их перебора и проверки на совпадение ЛФ подсхемы и ком- понентов модулей используемого набора. При этом подсхема закрепляется за тем модулем, в состав которого входит наибольшее количество ее ЛФ. Процесс продолжается до полного распределения элементов ЛС по модулям. Представим исходную функциональную схему множеством связанных между собой ЛЭ M ={ m 1 , m 2 , … , m r }, каждый из которых реализует некоторую ЛФ ψ i (И, ИЛИ, НЕ), а их множество М определяет совокупность всех логиче- ских операций Ψ i , выполняемых в схеме : Ψ =  j j Ψ = { ψ 1 , ψ 2 ,…, ψ v }. Имеется также ограниченный набор типовых модулей T = { t 1 , t 2 ,…, t s }, на базе которого необходимо выполнить заданную схему. Каждый модуль t j ∈ T реализует одну или несколько логических опера- ций, т.е. ЛФ ϕ j = { ψ 1 j , ψ 2 j ,…, ψ ω j }.