ВУЗ:
Составители:
Рубрика:
38
внешние характеристики подсхем в виде производных схем, избежав
применения в анализе схем по частям объектов, имеющих математическую
природу, и порождаемых вычислительных трудностей.
Пусть схема образована в результате объединения двух подсхем с тремя
внешними узлами, как показано на рис.9.2.Двоичное отображение формулы,
обобщающей формулы (3.3) и (3.4) и предусматривающей деление схемы на
две части по узлам a, b ис, имеет вид
А =
∆
1(0000)
∆
2(1111) +
∆
1(0101)
∆
2(1010) -
∆
1(0110)
∆
2 (1001) -
-
∆
1(1001)
∆
2(0110) +
∆
1(1010)
∆
2(0101) +
∆
1(1111)
∆
2 (0000) . (9.1)
Таким образом, слагаемые этой формулы представлены шестью парами ДВ.
Векторы каждой пары взаимно дополняют друг друга (как минор и
соответствующий минор), отображая сомножители диакоптической формулы.
Кортеж общих (или внешних) узлов подсхем, являющийся обозначением
позиций ДВ, имеет вид: (a, b, a, b) или кратко abab. Узел с является базисным
узлом для обеих подсхем.
Деление схемы на две части по трем узлам
Рис.9.2
В силу одинаковой четности номеров строк и столбцов взаимно
дополнительных миноров, информацию о знаке слагаемого можно получить из
расположения единиц в одном из векторов пары. Принимается во внимание
порядковый номер единицы в той или иной половине ДВ. Положительный
(отрицательный) знак выбирается в случае четной (нечетной) суммы
порядковых номеров позиций, содержащих единицы, вДВ. Убедитесь в этом
самостоятельно на примере формулы (9.1).
Формирование множества ДВ подсхемы не встречает затруднений. Самое
простое решение состоит в том, чтобы перебирать 2п-разрядные двоичные
числа (от 2пнулейдо2п единиц) и выбирать те из них, которые содержат
одинаковое количество единиц в первой и второй половинах разрядов. Это
свойство, вытекающее из определения ДВ, позволяет получить число ДВ
подсхемы в виде