Онтология проектирования гетерогенных электронных систем

Анализируя многие вопросы, связанные с онтологиями проектирования, нельзя не коснуться их базовых, философских принципов, определяющих стратегию и тактику проектирования различных технических систем. Программные оболочки, поддерживающие онтологии подобного рода, пока отсутствуют.

Одним из таких стратегических направлений в развитии общей теории систем (ОТС) представляется «Общая формальная технология» (ОФТ) [1]. В рамках этого направления удалось найти новый формальный аппарат, достаточно кратко и полно описывающий основные особенности различных гомогенных и гетерогенных физических объектов [2, 3]. В частности, в [1, 2] показано, что практически любые гомогенные и гетерогенные физические объекты, включая различные электронные функциональные блоки (ФБ), могут быть представлены в виде записей следующего вида:

• (1)                      O i =< Y i , M i > = <{ Y ii , Y 2 >-> Y in }, { Yy = Фу( Y sk , Y i ,-, Y m );•••}>;

где о1 - i-й объект (включая ФБ); Yi - список интересующих нас его входных и выходных параметров Yik (например, входных и выходных сигналов, в качестве которых могут также выступать различные электрические параметры электронных компонентов - сопротивление, ёмкость, индуктивность и т.д.); Mi - список интересующих нас функциональностей фу объекта (блока) Oi (эти функциональности могут быть записаны в любой удобной форме - в виде функций, физических законов, алгоритмических процедур и т.д.); n - число параметров, используемых в данном представлении блока (объекта) Oi; у,lе{1,..., n}, k, m - номера (вторые индексы) тех "свойств" и функциональностей, которые актуальны для анализа функциональных взаимодействий фу данного блока (объекта) Oi (в текущем представлении) с другими блоками (объектами) типа Os, которым блок (объект) Oi «передаёт» свои сигналы или параметры. Подчеркнём, что функциональных зависимостей фу в списке функциональностей Mi объекта Oi , как и его соответствующих «сигнальных» выходов в общем случае может быть столько, сколько нужно для его адекватного представления в рамках данной модели, на что указывает многоточие после формулы фУ для расчёта параметров уу. В традиционном представлении электронного ФБ выход предполагается один, поэтому в данном случае, если не оговорено иное, в множестве Mi предполагается одна функциональная зависимость, определяющая выходной сигнал (или параметр) в виде некоторой функции от входных сигналов или параметров.

Поскольку записи типа (1) позволяют представить не только различные электронные ФБ, но и любые объекты как формальные объекты операций ОФТ, то оказывается возможным распространить принципы формальных алгоритмических и/или алгоритмизуемых вычислений на все такие объекты.

В похожей на (1) форме можно записать и любой основной объект математики G_Mi , представляющий какую-то конечную информацию о каком-либо математическом объекте в виде соответствующего конечного кода, включая математические обозначения (условные кодировки ) различных, в том числе, иррациональных чисел, например, числа п , кодируемого выбором соответствующей буквы греческого алфавита. В этом случае получается следующее:

• (2)                                         G m. = < 5 >,

где £ - основное (и единственное!) нефизическое (а потому - нефункциональное ) свойство любых конечных абстрактных математических объектов представлять некоторую информацию (о числе, коде и т.д.).

В соответствии с (1) в выражении (2) букву £ удобно и целесообразно трактовать, как некоторую переменную или параметр, определяющий значение основного свойства абстрактного математического объекта G_Mi, которое в общем случае представляет количество, поскольку любой конечный код можно взаимно-однозначно конвертировать в число и обратно . Для простоты и наглядности лучше всего считать £ = G_Mi (что, собственно, и имеет место на самом деле). То есть угловые скобки <, >, символ £ и знак равенства понадобились лишь для того, чтобы подчеркнуть то обстоятельство, что числа (и коды) представляют собой основную группу объектов математики, имеющих одно, не физическое (а потому - напомним - не функциональное ), свойство £ . Заметим попутно, что на отсутствие физических свойств у чисел обращал внимание ещё Аристотель в главе 9 первой книги своей "Метафизики" [4].

Различие в описании физических объектов (1) и математических (2) тем не менее позволяет использовать однотипные математические конструкции как для формального представления различных формальных технологий в ОФТ, так и для базовых математических конструкций - различных алгебраических систем и производных от них алгебр и моделей - в математике, а именно: в виде конкретных формальных технологий, задаваемых тройками типа T = в ОФТ [1], или в виде алгебраических систем, задаваемых аналогичными тройками типа U= - в математике [5]. Заметим, что и смыслы обозначений для всех перечисляемых в T и U множеств одинаковы: B - множество некоторых физических объектов материальной природы (атомов, молекул, деталей станка, компонентов какого-либо устройства, в том числе различных электронных ФБ, фрагментов здания, и т.д., и т.п.) или нематериальной природы (например, моделей указанных выше физических объектов и блоков, или объектов информационного характера - чисел, кодов и/или символов, конечных по времени отрезков аналоговых сигналов, и т.д.); в свою очередь множество A - основное множество объектов типа (2) алгебраической системы U. Аналогично: множества FT и FA определяются как конечные множества конечноместных технологических и аналитических (соответственно) операций над объектами из B: FT={F1 , F2,..., Fm} и FA={P1 , P2,..., Pn}; тогда как QF - множество (математических) операций, определенных на A; а QP - множество предика- тов (математических аналогов операций анализа), заданных на A. Таким образом, базовое определение алгебраической системы как бы входит как частный случай в базовое определение формальной технологии с учётом особенностей представления соответствующих им объектов (2) и (1) и выполняемых над ними соответственно математических и формальнотехнологических операций. Это позволяет, с одной стороны, исследовать некоторые интересные свойства математики (как вычислительной технологии) с позиций ОФТ; во-вторых -легко переводить некоторые ключевые математические теоремы в утверждения ОФТ, придавая последним иногда весьма необычный смысл. Более того, в рамках ОФТ, как и в математике, становится возможной формулировка некоторого набора аксиом, касающихся теории «исчисления физических объектов», как она названа в работе [6], т.е. фактически - аксиом для давно искомой строгой научной версии «метафизики». Чтобы не быть голословными, приведём здесь один из возможных вариантов этих аксиом (касающийся только физических объектов, т.е. именно метафизики, если её понимать как некую «над-» или «сверх»-физику, в которой физика нашей Вселенной является, возможно, лишь частным случаем):

Аксиома 1. Существует пространство.

Аксиома 2. Существует время.

Аксиома 3. Существуют физические объекты.

Аксиома 4. Объект, полученный из любого исходного физического объекта с помощью операции типа синтеза или декомпозиции и подходящего присоединяемого или отсоединяемого (меньшего) физического объекта, есть физический объект.

Аксиома 5. (Аксиома повторяемости) Если два физических объекта получены с помощью одной и той же операции типа синтеза или декомпозиции при одинаковых условиях из одинаковых исходных физических объектов и одинаковых присоединяемых к ним или отсоединяемых от них физических объектов, то полученные физические объекты одинаковы.

Аксиома 6. Физические объекты могут обладать различными физическими свойствами.

Аксиома 7. Физические свойства различных физических объектов могут взаимодействовать друг с другом, вызывая у их носителей (т.е. у соответствующих физических объектов) определённое поведение (функциональность).

Аксиома 8. (Аксиома полной индукции) Если какое-либо предложение доказано для единицы (база индукции) и если из допущения, что оно верно для натурального числа n , вытекает, что оно верно для следующего за n натурального числа (индукционное предположение), то это предложение верно для всех натуральных чисел.

Отметим, что в данной версии формулировок аксиом понятия «пространство», «время», «физический объект», «меньший физический объект», «физическое свойство», «физическое взаимодействие» («функциональность») никак не специфицируются, т.е. понимаются в обычном, так сказать, традиционном, смысле. Это же замечание относится к терминам «операции типа синтеза» и «операции типа декомпозиции», которые понимаются просто как операции, соответственно соединяющие или разъединяющие объекты (неважно каким образом).

ОФТ в проектировании гетерогенных схем

Аксиома повторяемости наряду с остальными широко используются в различных исследованиях по ОФТ, включая работу [1], для доказательства многих утверждений (теорем), в том числе касающихся построения систем моделирования (на основе ОФТ-подхода) [7] и систем автоматического изобретения (т.е. автоматического синтеза) принципиально новых ФБ, причём не только в области электроники [8]. Тем не менее, наиболее существенные результаты на сегодняшний день с использованием концепций ОФТ достигнуты именно в об- ласти синтеза нового класса электронных схем, которые получили название «гетерогенных» [3, 9, 10].

Согласно этому подходу и записям типа (1), если множество y i содержит на входе и выходе одни и те же типы сигналов и (или) параметров, то соответствующий электронный ФБ называется гомогенным, в противном случае - гетерогенным. Пример схемы гомогенного ФБ

Рисунок 1 - Функциональный блок E 1 (логический элемент «2И-НЕ»)

E 1 - логического вентиля «2И-НЕ» с входными и выходными сигналами напряжения ТТЛ-уровней, приведён на рисунке 1. Совокупность входных и выходных сигналов и логической функции, т.е. - в соответствии с (1) - функциональности этого элемента, можно записать следующим образом:

E i =< y_b M i > = <{ Y i , Y 2 , Y 3 }, { Y 3 = Ф з Y , Y 2 )}>;

где ф з ( Y i , Y 2 )} = 1 ( Y i & Y 2 ) = Y 3 , символ "  1 "- символ инверсии, "&" - символ операции логического умножения.

Точно также функция логического элемента

«2И-НЕ» будет записываться и в случае, если сигналы Y 1 , Y 2 , Y 3 будут относиться к сигналам различного типа или даже будут какими-либо различными электрическими параметрами. То есть сама функция ФБ при замене гомогенных сигналов на гетерогенные не изменится! В работе [3] показано, что для n типов электрических сигналов или параметров число их возможных гетерогенных парных сочетаний «вход-выход» равно ( n ² - n ) = n ( n - 1), а число гомогенных - всего n , т.е. в ( n - 1) раз меньше.

В случае использования двухвходовых ФБ с одним выходом общее число гетерогенных сочетаний сигналов (параметров) по каждому из двух входов и выходу будет равно уже (n3 -n), если оба входа двухвходового ФБ могут иметь в том числе и одинаковые типы входных сигналов (параметров). Если же типы обоих входных сигналов (параметров) должны быть обязательно разными, то общее число различных гетерогенных сочетаний по обоим входам и выходу будет равно уже (n3 - n2) = n2(n - 1). Этот вариант иллюстрирует рисунок 2.

Для каждого из n типов выходных сигналов (параметров), изменяющихся на рисунке 2 в заданном порядке от первого слоя к последнему слою n , типы сигналов (параметров) первого входа ФБ в каждом слое меняются слева направо (от 1 до n ), а типы сигналов (параметров)

Типы входных сигналов

Типы выходных сигналов

n

Рисунок 2 - Иллюстрация, поясняющая принципы подсчёта числа двухвходовых ФБ с полностью гетерогенными входами и выходами для n типов сигналов или параметров

второго входа ФБ - в том же порядке в тех же слоях сверху вниз. Ясно, что в этом случае все однотипные варианты для обоих входов ФБ будут лежать на диагонали каждого слоя, а для всех n слоёв - в области заштрихованной плоскости, как показано на рисунке 2. Общее число ФБ, соответствующих этой плоскости, равно, естественно, n2, а общее число ФБ в кубе - n3. Поскольку на диагонали куба в этой же плоскости (идущей из точки с координатами <1, 1, 1> к точке c координатами ) лежат и все гомогенные сочетания сигналов на обоих входах и выходе соответствующих ФБ, то разница между общим числом ФБ в кубе и числом ФБ, соответствующих заштрихованной плоскости, даст ве- личину полностью гетерогенных сочетаний по всем входам и выходам всех возможных гетерогенных ФБ, равную (n3 - n2). При числе различных типов сигналов и параметров, равном 15 (то есть таком же, как и в работе [3]), число таких полностью гетерогенных ФБ будет равно 3150. Это существенно больше, чем число возможных гетерогенных ФБ, отличающихся только гетерогенными сочетаниями сигналов (параметров) по парам «вход-выход», которое равно 210 [3].

В ряде работ, в том числе в [11, 12], показано, что для реализации многих функционально-полных систем как булевых, так и алгебраических (аналоговых), функционально-полных по Шеннону [12], функций достаточно трёх-пяти типов ФБ с одним-двумя входами и таким же количеством выходов. Напомним, что функциональная полнота системы функций (для определённого множества A в алгебраической системе U или производных от неё алгебр) в математике означает возможность вычисления любой функции на A с использованием только набора функций заданной системы. На рисунке 3 приведён конкретный набор типов соответствующих ФБ, обеспечивающих практическую реализацию таких функционально-полных систем как для булевых, так и для алгебраических (аналоговых), функционально полных по Шеннону, функций.

Рисунок 3 - Типовой набор ФБ, достаточный для реализации функционально-полных булевых или аналоговых (по Шеннону) систем функций

Двухвходовые ФБ типа F i - F n - блоки n типов, реализующих соответствующие n функций функционально-полной системы. Например, для булевой алгебры один из функционально-полных наборов включает только одну двухвходовую логическую функцию: F 1 = «2И-НЕ» (т.е. нужен только один двухвходовой логический ФБ). Для функционально-полного (по Шеннону) набора аналоговых функций он содержит три типа следующих двухвходовых ФБ: F i = kx (двухвходовой аналоговый ФБ масштабирования с коэффициентом масштабирования k е [0, m ], да> m >1); F 2 - двухвходовой аналоговый интегратор, выполняющий интегрирование входного сигнала x по времени, равному времени решения задачи, с начальными условиями, равными у ; F 3 = - ( x + у ) - двухвходовой аналоговый сумматор-инвертор [12].

Важную роль для достижения функциональной полноты в этих наборах играет блок, обозначенный символом «<», который получил название «разветвитель». Дело в том, что для некоторых типов сигналов (например, тока) и параметров невозможно дублирование входного сигнала (параметра), как мы это привыкли делать в гомогенных электронных системах, использующих сигналы напряжения - т.е. с помощью электрических проводов. Для «разветвления» сигналов (параметров) такого типа и нужен разветвитель - т.е. ФБ с одним входом и двумя выходами, дублирующий на них входной сигнал (параметр). Примером разветвителя токовых сигналов может служить идеальное токовое зеркало с двумя выходами.

Блок, обозначенный на рисунке 3 символом F c - одновходовой ФБ. Примерами таких блоков могут служить аналоговые инверторы (в некоторых функционально-полных системах аналоговых функций) или двоичный инвертор (в иных, чем упомянутый выше, функционально-полных наборах булевых функций).

Наконец, ФБ, обозначенный «const» - источник некоторого фиксированного сигнала или параметра. Для функционально-полных систем булевых функций это может быть просто ис- точник уровней «логический 0» или «логическая 1», для аналоговых - какой-либо актуальный опорный сигнал.

Таким образом, для приведённых выше примеров число различных ФБ, необходимых для реализации функционально-полного набора булевых функций, равно 3, для аналоговых (по Шеннону) - 5, что вполне соответствует сделанным ранее оценкам.

На основе рассмотренной онтологии оказалось возможным разработать формальные правила для проектирования различных многоцелевых программируемых аналого-цифровых систем типа «систем на кристалле» (МПАЦ СНК), а также для модернизации существующих фрагментов других аналого-цифровых подсистем. Например, для подсистем коррекции напряжения смещения нуля непрерывных дифференциальных операционных усилителей и компараторов, отличающихся от классических вариантов существенно меньшей площадью, занимаемой такой подсистемой на кристалле [3].

Помимо электронных гетерогенных схем, та же онтология оказалась эффективной и при разработке и проектировании других систем, в частности - при разработке и проектировании программируемых универсальных синтезаторов-анализаторов различных объектов в практических аналогах некоторых типов формальных технологий [1, С.210-281; 13], включая программируемые «микролаборатории» и «микрофабрики на кристалле» [1, С.260-272; 13; 14]; различные версии «дискретно-аналоговых машин и процессоров» (соответственно ДАМ и ДАП) для решения задач сопряжения компьютеров с внешним миром [1, С.233-260; 13]; при проектировании многоцелевых дистанционных лабораторий, позволяющих проводить через Интернет реальные эксперименты и лабораторные работы с достаточно свободным выбором тестового и измерительного оборудования и структуры самого эксперимента - в отличие от существующих аналогов с фиксированными архитектурными и аппаратными решениями [15].

Заключение

Общая формальная технология (ОФТ), как новое направление общесистемных исследований, изучающее формальные алгоритмические конструкции и структуры над гомогенными и гетерогенными физическими объектами, позволяет не только сформулировать основные онтологические признаки метафизики, как точной, логически-мотивированной науки, предсказанной ещё Аристотелем, но и предложить совершенно новые подходы и концепции для принципиально иной парадигмы проектирования, основанной на ОФТ-представлении электронных функциональных блоков (ФБ). Из такого представления совершенно очевидным образом вытекает возможность существования не только гомогенных электронных систем с однородным (гомогенным) характером обрабатываемых сигналов, но и гетерогенных систем обработки информации, в которых и сами обрабатываемые сигналы (или их аналоги - какие-либо параметры), и сами ФБ для их обработки, могут быть гетерогенными, т.е. - разнородными. При этом пространство потенциальных гетерогенных схемных решений оказывается значительно больше, чем хорошо изученное пространство проектирования классических электронных гомогенных систем. Это позволяет надеяться в определённых случаях и на более эффективные по каким-либо критериям схемотехнические решения, чем существующие. Последний факт подтверждён путём сравнения суммарной площади, занимаемой на кристалле классическими схемами коррекции смещения нуля непрерывных дифференциальных операционных усилителей, и площади, занимаемой их гетерогенными аналогами, синтезированными в соответствии с рассмотренной онтологией. Площадь, занимаемая новыми гетерогенными вариантами, оказалась существенно меньше площади, занимаемой классической реализацией, что подтверждает эффективность и полезность предлагаемого подхода.

Таким образом, наличие в ОФТ формального, близкого к математике аппарата, позволяет надеяться на создание новых, более универсальных онтологий проектирования электронных систем в виде совокупностей знаний о гомогенных и гетерогенных ФБ и формальных концепций их объединения в функционально-законченные системы, то есть на создание таких языков описания онтологий, которые позволяли бы в буквальном смысле «вычислять» новые, эффективные схемы ФБ.