Модели объектов задач структурного синтеза Текст научной статьи по специальности «Математика»

Федеральный портал "Инженерное образование"

т электронный журнал

ОБРАЗОВАНИЕ

Инженерное образование Ассоциация технических университетов

#12 декабрь 2006

Общие проблемы

инженерного

образования

Инженер в современной России

Наука в образовании: Электронное научное издание

CALS-технологии

Зарубежное образование

История технического прогресса

Учебные программы Будущий инженер Вне рубрик

English Library

Пресс-релизы

Библиотека

Конференции

Выставки

Форум

Доска объявлений

Архив

Переписка

Информация о проекте About project

Найти!

# Гос. регистрации 0420700025

ISSN 1994-0408 Ред. совет Специальности Рецензентам Авторам English Koi-8 Win

Найти выделенное

Модели объектов задач структурного синтеза #12 декабрь 2006

УДК 004.3:519.6

Г.С. Иванова

Формализованное решение задач структурного синтеза заключается в выполнении комплекса необходимых преобразований моделей объектов. Информация, имеющаяся по структурным моделям объектов в литературе, не обладает необходимой для создания языка описания алгоритмов решения этих задач степенью полноты и детализации, что особенно касается редко применяемых и мало изученных моделей, таких как гиперграфы, ультраграфы и иерархическая модель. Поэтому необходимо:

• определить набор моделей, используемых для представления объектов, процесса решения и результатов задач структурного синтеза;

• установить соответствие между компонентами объекта и элементами модели;

• сопоставить связи компонентов объекта отношениям элементов моделей;

• а также, выполнить анализ элементов и свойств используемых моделей.

При проектировании технических средств вычислительной техники решаются следующие классы задач структурного синтеза [2]: моделирования, позиционирования, коммутации/маршрутизации, декомпозиции/композиции и установления идентичности.

Для решения этих задач независимо от природы объектов в моделях необходимо отобразить следующую информацию:

для задач моделирования и установления идентичности структур - компоненты структуры, связи между ними и функциональное назначение, как элементов, так и связей между ними;

для задач позиционирования - компоненты структуры, существующие или возможные связи между ними, метрические параметры и топологические свойства компонентов, связей и монтажного пространства, а также, возможно, функциональное назначение компонентов;

для задач коммутации/маршрутизации - для каждой связи (цепи): компоненты структуры, их количество, характеристики (в том числе и положение элемента в монтажной области) и топологические свойства, способы или правила соединения элементов, а также характеристики и топологические свойства линий коммутации;

для задач декомпозиции/композиции - компоненты структуры, связи между ними, функциональное назначение, метрические характеристики и топологические свойства элементов структуры и связей между ними.

Для решения указанных задач структурного синтеза в этом случае предлагаются [1, 2] модели в виде ориентированного или неориентированного графа или мультиграфа, а также ориентированного и неориентированного гиперграфа или ультраграфа.

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

Ориентированные графы и мультиграфы позволяют отобразить логику функционирования схем. Такое представление необходимо при решении задач моделирования, покрытия и идентификации. Однако при переходе от схемы к модели соответствие между цепями схемы и ребрами графа не является взаимнооднозначным. В этом случае необходимая информация о логике функционирования отображается посредством взвешивания вершин и дуг указанных моделей. В качестве весов при этом могут выступать идентификаторы цепей, сигналов, номера контактов и т. п. [2, 3].

В общепринятой трактовке гиперграфа п-местные отношения обладают свойством симметричности, поэтому гиперграф позволяет показать принадлежность элементов цепям, не фиксируя порядка их соединения. Для задач композиции/декомпозиции и позиционирования гиперграф также обеспечивает точную оценку по модели числа связей между элементами схемы или ее частями. Однако такой гиперграф не позволяет отобразить информацию о порядке соединения выводов при решении задачи трассировки. Ориентированный гиперграф позволяет указать

БиГОР

База и Генератор Образовательных Ресурсов

эту информацию [1].

Ультраграф в основном используют при решении задач моделирования и установления идентичности схем, так как эта модель позволяет указать источники и приемники цепи, соединяющей более двух элементов, получить точную оценку числа связей и не задавая порядка их подключения к цепи (см. таблицу 1).

Таблица 1 - Модели задач структурного синтеза

Класс задач Отображаемая информация Модели Ограничения Примечания

Моделирование и установление идентичности Компоненты, связи и их функциональное назначение 1. Ориентированный граф с взвешенными вершинами и дугами При отсутствии кратных связей При соединении более чем двух элементов соответствие между цепями схемы и дугами графа не является взаимнооднозначным, что требует задания информации о цепи в виде весов дуг

2. Ориентированный мультиграф с взвешенными вершинами и дугами При наличии кратных связей

3. Ультраграф с взвешенными вершинами При соединении более чем двух элементов

Позиционирование (размещение) Компоненты, связи, их метрические параметры и топологические свойства Неориентированный граф с взвешенными вершинами и ребрами При попарном соединении элементов

Гиперграф с взвешенными вершинами и ребрами При соединении более чем двух элементов одной цепью

Позиционирование (назначение) Компоненты, возможные связи, их метрические параметры и функциональное назначение Неориентированный или ориентированный двудольный граф с взвешенными вершинами

Коммутация Для каждой связи (цепи): компоненты, их количество, характеристики и топологические свойства Неориентированный граф с взвешенными вершинами и дугами Если рассматривается одна цепь

Гиперграф с взвешенными вершинами и ребрами Если рассматривается множество цепей При решении задачи трассировки не позволяет отобразить информацию о порядке соединения выводов

Ориентированный гиперграф Если рассматривается множество цепей и необходимо отобразить информацию о порядке соединения выводов

Композиция/ декомпозиция Компоненты, связи, их функциональное назначение, метрические характеристики и топологические свойства компонентов Неориентированный граф с взвешенными вершинами и дугами При попарном соединении элементов

Гиперграф с взвешенными вершинами и ребрами При соединении более чем двух элементов одной цепью Обеспечивает точную оценку по модели числа связей между частями объекта

При проектировании средств вычислительной техники задачи структурного синтеза могут решаться не отдельно, а в некоторых последовательностях. Так, например, проектирование устройства на ПЛИС предполагает функциональный синтез по описанию, размещение (выбор одного из элементов с фиксированными позициями), коммутацию элементов и моделирование (верификацию) схемы. Таким образом, целесообразно иметь обобщенную модель, которая позволяет отображать всю имеющуюся информацию. Такой моделью для перечисленных классов задач является ультраграф с кратными дугами и отношением порядка на ультрадугах.

Перечисленные структурные модели строятся на базе одного или двух универсумов. В первом варианте в основе модели структуры - универсум вершин X = {хД, / каждый элемент которого х- сопоставлен

некоторому блоку или элементу схемы э. Связи элементов при этом представляют в виде отношений на

универсуме X. Так цепи, соединяющей два элемента, в модели с учетом направления сигнала сопоставляют бинарное отношение порядка на универсуме X, обозначаемое упорядоченной парой - (х, х) = {х, {х, х)}}. Той же

цепи в модели без учета направления сигнала сопоставляют бинарное отношение, обладающее свойством симметричности, которое можно представить в виде подмножества {х, х}.

Во втором варианте для построения модели используют два универсума - вершин Х= {хД, / е1,N и ребер и = {и/}> У . Каждый элемент второго универсума и- сопоставляют линии связи элементов (цепи) с- Структура

объекта при этом задается отношениями на универсумах X и и.

Проанализируем представление компонентов объектов в моделях обоих типов (см. таблицы 2 и 3).

Таблица 2 - Представление компонентов объекта в структурных моделях

Компоненты объекта Представление в модели Представление в модели

с одним универсумом с двумя универсумами

Элементы,блоки Элемент универсума: Элемент универсума вершин:

х(еХ, /е Саг х(еХ, /ей/

Линия связи Элемент универсума ребер: иуе1/,7еСЙг

Характеристика Вес элемента универсума вершин: Вес элемента универсума вершин:

вершины <х, wk>, wk еW <х(, wk>, wk е W

Характеристика - * Вес элемента универсума ребер:

линии связи <иу, б>, бг ей

* - Параметры линии связи в модели с одним универсумом сопоставляют элементам отношений, отображающим данную связь.

Таблица 3 - Представление связей в структурных моделях

Связь Представление в модели Представление в модели

с одним универсумом с двумя универсумами

Связь двух элементов без учета направления сигнала (ребро) Элемент симметричного (возможно, рефлексивного) бинарного отношения смежности Р с X х X - х^хк , т. е. {х(, хк} е Р Неупорядоченная пара элементов симметричного бинарного отношения инцидентности Г с X х и = и х X- {х, Г и. или иу Г х^ , хк Г иу или иу Г хк}, т.е. {{х(., и}, {и, хк}еГ}

Связь двух элементов, учитывающая направление сигнала (дуга) Элемент бинарного (возможно, рефлексивного) отношения смежности ;сХхХ- Неупорядоченная пара элементов бинарных отношений инцидентности Г^сХх и, Г^с 1/хХ-

х^хк , т. е. (х, Хк) 6 р "у^Т**}. т. е. {(х(, и) еГ^, (иг Хк) еГ^}

Связь п элементов без учета направления сигналов и порядка подключения (гиперребро) Элемент п-арного симметричного отношения смежности Рс Хп- X = {х, хк, ...х}е Р, | | = п Множество или мультимножество* из п элементов симметричного бинарного отношения инцидентности Г с X х и = и х X - {{хк, и} е Г}, хк е X,, | Xj | = п, где Xу- множество вершин, соединенных ребром иу.

Связь п элементов, учитывающая порядок их подключения (гипердуга) Элемент п-арного отношения смежности ^сХ"- Х]= (*,-, хк' -хг) 6 1ху1 = п Кортеж из п элементов симметричного бинарного отношения инцидентности Г с X х и = и х X- ({хк, и} е Г), хк е X,, | Ху | = п, где Xу - множество вершин, соединенных ребром и у

Связь п элементов без учета порядка подключения, но с учетом направления сигналов (ультрадуга) Элемент бинарного отношения смежности на множестве подмножеств рсХгхХ5,г+ в = п- Множество или мультимножество* из п элементов бинарных отношений инцидентности сХх и, Г,с(УхХ- {(х, иреТ1}. Щ хк) е Г^},

X Р хк> х, е X. хк е | X | +| Xk | = n, X- = X.

т.е.СХ.Х^е ¿,\Х,\+\Хк\ =п, Xk,

причем Ху = X.. Хк, где X(- множество или мультимножество вершин-источников, а Xk - множество или мультимножество вершин-приемников, соединенных ребром и где X,- множество или мультимножество вершин-источников, а Xk - множество или мультимножество вершин-приемников, соединенных ребром иу

Связь п элементов с учетом порядка подключения и Элемент п-арного отношения смежности X11 и элемент Кортеж из п элементов бинарных отношений инцидентности

направления сигналов (ориентированная ультрадуга) бинарного отношения смежности на множестве подмножеств с X" х X3, г + 5 = п - Г,сХх и, Г,с(УхХ- ({(х, и)еТ1}. Щ, хк) е Г^}),

Х]={х,хк,...х)е^,\Х]\ = п, */ е X е X | X | +| Хк | = ^ X=X

иХ^Х,, т.е. X

| Х1 | +| Хк | = п, причем Х] = X.. Хк, где Х- множество или мультимножество вершин-источников, а Хк - множество или мультимножество вершин-приемников, соединенных ребром и где Х/ - множество или мультимножество вершин-источников, а Хк - множество или мультимножество вершин-приемников, соединенных ребром и

* Связь п элементов отображается мультимножеством, если существуют вершины, которые входят в гиперребра или ультрадуги несколько раз.

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

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

Очевидно, что модель с двумя универсумами всегда может быть преобразована в модель с одним универсумом. Для обыкновенных графов возможно и обратное преобразование. Это связано с тем, что модель с одним универсумом не содержит информации о линиях связи, а восстановить эту информацию перечислением ребер можно только для двуместных отношений ориентированных и неориентированных графов.

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

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

Как указано выше, в иерархической модели помимо связей между элементами одного уровня необходимо отобразить связи элементов соседних уровней. В модели с одним универсумом такая связь отображается множеством бинарных отношений элементов /-1-го уровня элементу '-го уровня детализации:

где вершины /-го и /-1-го уровня соответственно;

X?- подмножество вершин /-1-го уровня, соответствующее т. е. /с-ой вершине /-го уровня;

-ЛГ1",-ЛГ** - множества вершин /-го и /-1-го уровня соответственно;

& - отношение вхождения между вершинами /-1-го и /-го уровней. При этом

Л° = Х, |Х| = п,

Х*= {4/к = }, 1^1 = п', 0 < п'<п, (2)

(VК, ^е В(Х*)) (= 0 ) , У^ = Л*, где п/ - количество вершин /-го уровня,

В(Х*) - разбиение множества вершин /-го уровня, т. е. В(Х*) = к =

Связи между вершинами /-1 уровня, представляемые в данной модели элементами двуместных и п-местных отношений, при переходе на /-й уровень разделятся на связи внутри множества вершин ^Л^и связи между вершинами разных множеств. Первые на следующем уровне рассматриваться не будут, а вторые - отобразят связи между вершинами следующего уровня. Таким образом, вершины /-го уровня будут находиться:

1) в бинарном симметричном отношении смежности {л£,л£} ер*, если

• связанные бинарным симметричным отношением смежности вершины /-1-го уровня попали в разные подмножества, т. е. {л^ }е р^, л^ е^Г , е ,

• связанные п-арным симметричным отношением смежности вершины /-1-го уровня оказались в двух подмножествах х^и^, , т.е. {л^ х, } = ,.. Ъ ,^ }} = }ея**, ^^^ ,

2) в бинарном отношении смежности ^р*, если

• связанные бинарным отношением смежности вершины /-1-го уровня попали в разные подмножества, т. е.

, г—I г—I. . , г—I «4-1 г—I и^ уН . ,

(л^ ^ )еёлг , л; 1 г^ц, где Хг , х9 _ подмножества вершин /-1 уровня, которым на /-м уровне

соответствуют вершины хг, лг*;

• связанные п-арным отношением смежности вершины /-1-го уровня оказались в двух подмножествах: первая часть в а оставшаяся Х^ - в Х9 , т. е. (л^ ,...,*&) = ). (л; ) = (

1(4-4. , _, т^4 Ж>4-4. жг*4 н^

р ху хч ,

• связанные бинарным отношением смежности подмножества Л^^ХХ* вершин /-1-го уровня оказались в

. «¿4 ц+4. «¿4

разных подмножествах, т. е. (а, хк )е хь <^хг 1 хк _

3) в п-арном симметричном отношении смежности {л£л£ л£ ■■■} ер*, если связанные таким же отношением на /-1-м уровне вершины попали в более чем два подмножества (см. рисунок 1, а), т. е.

X?: К* К* X?: К* и К* ...} |>2;

4) в п-арном отношении смежности (л£,лс^лс^...) ер*> если связанные таким же отношением на /-1-м уровне вершины попали в более чем два подмножества, т. е.

(*Г\ *Г\ .... = ...),(<*, ■■■),(ЛГ1, ■■■), ■■■) =

Л^Ы?4, , }|>2;

5) в бинарном отношении смежности подмножеств вершин источников-Л£и вершин-приемников-^: Х^-) е^т1", если связанные таким же отношением на /-1-м уровне вершины-источники{л^лс^л^...} и вершины-приемники -Л^е {^, лс^.,...} не попали в два разных подмножества или попали в большее количество подмножеств (см. рисунок 1, б), т. е. Х^) <= р-Л^е или

а б

Рисунок 1 - Связи между вершинами (-го и (-1-го уровней:

а - п-арное симметричное отношение смежности вершин уровня; б - бинарное отношение смежности подмножеств вершин уровня

В модели с двумя универсумами каждой вершине '-го уровня также сопоставлено подмножество вершин. Соответствующая иерархическая связь отображается множеством симметричных отношений (1) при условии (2).

Вершины и подмножество ребер (-1-го уровня, инцидентных этим вершинам, образуют кусок графа такой, что (^(Л^ОГ1) е ВЦ3й), где В(<3^) = {«^(Л^4 к = - разрезание графа (З^ЛГ4 1Л4) на куски,

каждый из которых включает множество вершин Л^е В(-Х**) = {ЛГ*4/ к = 1,л'}. Причем часть ребер куска ¿^являются внутренними поскольку связывают вершины куска, а часть - внешними так как

связывают куски, т. е.

Внутренние ребра куска на следующий уровень не отображаются, а внешние - находятся во

I \ ^

взаимнооднозначном соответствии с множеством ребер /-го уровня: Следовательно, ребра /-1-го и /-го

уровней находятся в отношении инъекции:

е Л^е или («¡я") е (*1г1 с

где СЛ4, и*- ребра /-1 и /-го уровней соответственно,

(-*!)"1 - прямая и обратная функции соответствия, причем функция Л»- частичная, т. е. определена не на всем множестве {Т*4, а только на множество внешних ребер кусков ¿С*, в то время как функция (Л*)"1 -тотальная.

Тип ребра при отображении на следующий уровень может измениться. Так в модели с двумя универсумами две вершины (-го уровня связаны:

1) дугой такой что {(*;, «£) ёГ( С"/,**) е^а}, если

• связанные дугой на /-1-м уровне вершины попали в разные куски, т. е. {(^ , "/ ) , ("/ ) е Га4} л^е ГЩ\

• вершины гипердуги /-1-го уровня оказались в двух кусках: первая часть - а оставшаяся - в^1,

т. е.

{{Г, "Г} е г") = е е г^4), ГеХ?, Ге*?, Г#г,

м .

• вершины-источники ультрадуги /-1-го уровня оказались в одном куске, а вершины-приемники - в другом, т. е.

(К", «Г) е1?}и««*1,

2) ребром таким что {{*>., ёГ[, {м^,еГд}, если

• связанные ребром на /'-1-м уровне вершины попали в разные куски, т. е. "/*} е ГГ4, {я^.л^1} ёГ^}, где К* ^Ц]

• вершины гиперребра /-1-го уровня оказались в двух кусках -Л^ит. е.

= Г*4 где л^е^, л^еЛ^4, л^Л^4 г^Ц]

3) гиперребром таким что {{*>., Г1}, если связанные гиперребром на /-1-м уровне вершины попали в более чем два куска (см. рисунок 1, а), т. е.

г г 1 ¥-¡4, г ¡4 „^1, т-14 . ¿4 . ¿4 т-14 , ¡4 „¿-1, т-14

{{^ м/ КГ }=К }ег , }ег , }ег и...,

(4 у^ (4 «И (4 у^ М у^ I г »И , . -

где Ъ е-ЖГ, Ъ , ^ и К^.^Ч, , -}|>2;

4) гипердугой такой что "у} е Г1), если связанные гипердугой на /-1-м уровне вершины попали в более чем два куска, т. е.

«Г} е г») = ({*г\ е «Г} е «Г} е г^)....,

¿4 ¿4 ^¿4 ¿-1 уМ ¿4 уМ ., у»4 у»4 , . —

где ^ ъ ^ ^ е^Г и , К^,...} |>2;

5) ультрадугой такой что {(лс^., еГ{} ^ {(н^, лг*) еГ^}, если связанные ультрадугой на /-1-м уровне вершины-источникии вершины-приемники {л£л^,...} не попали в два разных куска или попали большее чем в два куска (см. рисунок 1, б), т. е.

где л^е^, л^ё^ и (3&или

В зависимости от решаемых задач в качестве веса элемента /-го уровня могут быть указаны различные обобщенные характеристики соответствующего куска графа.

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

Литература

1. Бершадский А.М. Применение графов и гиперграфов для автоматизации конструкторского проектирования РЭА и ЭВА. - Саратов: Изд-во Саратовского ун-та, 1983.

2. Овчинников В.А. Автоматизация комбинаторно-оптимизационных задач при проектировании ЭВМ и систем: Учеб. для вузов. - М.: Изд-во МГТУ им. Н.Э. Баумана, 2001.

3. Овчинников В. А. Конструирование ЭВМ и систем: Учеб. для вузов. - М.: Высш. шк., 1989.

Публикации с ключевыми словами: графовые модели - синтез правил - иерархические модели Публикации со словами: графовые модели - синтез правил - иерархические модели См. также:

■ Иерархическая модель глобальной оптимизации у параллельных объектных программ

УЧАСТНИК

maiL.ru

Написать комментарий >>

Журнал | Портал | Раздел Copyright © 2003 «Наука и образование. Инженерное образование» E-mail: magazine@xware.ru | тел.: +7 (495) 263-68-67

Вход для редакторов