Г Р А Ф И Т — б а з и с

Инфологическое обеспечение | Языковое | Графит-метод

Base +Item -Item ΔStr ΔAtr =

Содержание

Операции преобразования конфигурации связей

Общие

Маршрутно-специфичные

Древ-специфичные

Сеть-специфичные

Операции преобразования конфигурации связей

Общие

Правило 150. Перемещение сепулька-блока — операция переноса содержимого, находящегося между указанными звеньями ввода, лежащими на одной трассе, в указанное звено ввода.

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

Правило 151. Композиция - операция перевода автономной области в вынесенную путём её согласования с к.-л. входящей, выполняемая следующим образом:

За одну операцию возможна композиция только с одной входящей областью (вариант — с любым числом областей; при этом для завершения операции вводится отдельная команда).

В дальнейшем м.б. отредактированы любые атрибуты области, кроме индекса.

Каждая согласованная т.о. область считается находящейся со входящей областью в одной группе композиции (ГК) — логическом объединении, члены которого взаимозаменяемы. Одна вынесенная область м.б. в двух и более ГК.

Правило 152. Рекомпозиция — операция перевода вынесенной области в автономную.

Правило 153. Вариация — операция взаимного замещения между входящей и вынесенной графит-областями из одной группы композиции. Из двух и более вынесенных областей для операции выбирается одна. Выполняется безусловно — указанием пары областей либо условно — если предварительно заданное как атрибут области логическое выражение (от целевых и/или служебных величин графит-модели) стало истинным для вынесенной, а не для входящей области.

Истинность условия вариации более чем для одной области в одной ГП в конкретной реализации либо не допускается (требуется исправление условий), либо требует безусловного разрешения всякий раз при возникновении.

Правило 154 (взамен Т28*). Пересадка лианы (обычная) – преобразование графит-схемы, выполняемое за четыре шага.

Однако разрешается строить новый путь из середины обычного цикла к единственному входу в этот цикл, создавая визуальный эквивалент оператора continue языка Си (см. /2, Рис. 90, пример 7; Рис. 41/).

NB. Два последних правила введены для учёта топологических запретов по п/п 3.5.2.3. В дракон-схемах точки слияния с вертикалью для горизонталей, подходящих к вертикали с разных сторон (что возможно вследствие пересадки лианы на более правую вертикаль матрёшки), должны разделяться как минимум одним звеном вертикали; в этом случае можно однозначно трактовать направление маршрутов после пересадки лиан без дополнительных указаний направления дуг.

Второе правило фактически задано определениями операции и атома Соединитель.

В результате пересадки лианы, если соединитель оказывается на оси нединакового порядка с началом лианы, образуется лианный макроблок – сепулька-блок, топологию которого нельзя представить как матрёшку.

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

Правило 155. Пересадка лианы (от начала) – преобразование графит-схемы, выполняемое аналогично обычной пересадке лианы, со следующими отличиями:

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

Правило 156 (взамен Т29*). Заземление лианы – преобразование графит-схемы, выполняемое за четыре шага.

Зрительно как результат операции наряду с присоединением производится разрыв линии в нижней части лианы и в место разрыва вставляется виоп Адрес (/2, Рис. 120/).

В результате заземления лианы образуется адресный макроблок – блок с двумя и более выходами.

Правило 157. Снятие графит-кросса — операция вывода связей, уложенных на плоскости, из объединения, задаваемого кроссом аранжированной графит-схемы согласно её структур-классу.

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

Правило 158. Подключение (внешнее соединение) — операция неиерархического связывания графит-схем в графит-модель, выполняемая следующим образом:

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

Аналогично выполняется кроссировка.

Отключение (внешнее размыкание) — операция, обратная подключению, над парой контактов, соединённых указанной связью. В результате атрибуты «адрес цепи» указанных контактов получают значение «не определён».

Правило 159. Вставка — операция иерархического связывания графит-схем в графит-модель, выполняемая:

В обоих случаях участвующие соединители объемлющей схемы логически объединяются оператором Вставка, ссылающимся на схему-вставку, синтаксис которого м.б. определён в конкретном языке.

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

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

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

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


В начало страницы

Маршрутно-специфичные

Правило 160 (взамен Т28*). При обычной пересадке лианы также запрещается:

Правило 161 (взамен Т29*). Заземление лианы определено только для маршрут-силуэта.

Правило 162. Операция Снятие графит-кросса для маршрут-шампур-схем определена как т.н. «примитивизация» силуэта; возникающие пересечения разрешаются введением графит-соединителей (в машинной реализации — возможно, автоматически). Операция Восстановление графит-кросса определяется как «силуэтизация» примитива (с возможными ограничениями на задание границ кросс-блоков, т.е. будущих силуэт-веток).

Для дейкстрала операция Снятие графит-кросса определена как преобразование в «примитивную» форму из иной («силуэтной», «лестничной»); Восстановление графит-кросса — как обратное преобразование; операции взаимно эквивалентны.

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

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

В начало страницы

Древ-специфичные

Правило 170. Пересадка лианы очевидным образом возможна, если в определении конкретного языка даны составные атомы. Лиана в древ-схеме не м.б. пересажена на вход (выход) древ-узла.

Правило 171. Заземление лианы для древ-схем не определено.

Правило 172. Пересадка лианы (от начала) определена также для входа древ-узла; возникающий при этом обрыв марша, бывшего подвесом этого входа, устраняется оконечиванием марша древ-листом. При этом лиана м.б. пересажена «снизу» на древ-лист; это означает, что начинаемое ею поддерево становится новым поддеревом от марша, ранее оконеченного этим листом.

Правило 173. Сращение [деревьев ]по листам — операция объединения листов одинакового типа и наименования от разных древ-схем; один лист из пары указанных при этом устраняется. В результате схемы оказываются связанными через этот лист.

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

В реализации следует определить, можно ли сращивать листы только попарно или более чем по два и каков во втором случае вид результата (прежде всего — вершин, замещающих множественные сращения — напр., «групповые терминаторы» ли они или N:M-элементы), исходя из семантики предметной области применения древ-структур.

Сращение [деревьев ]по корням — операция объединения заголовков одинакового наименования от разных древ-схем; один заголовок из пары указанных при этом устраняется.

Операция даёт т.н. сводяще-разводящую древ-схему (представляющую блок вида N:M).

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

Результаты сращения пары древ-схем обобщённо показаны ниже.

Древ-схемы с попарным сращением

Правило 174. Разделение листов — операция разрыва связи между сращенными листами. Выполняется для указанных подвесов разных схем (при попарном сращении достаточно указать общий лист). В результате подвесы получают индивидуальные листы (изначально однотипные и одноимённые).

Правило 175. Операции Восстановление графит-кросса и Снятие графит-кросса для древ-схем не определены.

Правило 176. Операция Подключение для древ-схем определена как связывание введённого в одну древ-схему контакта (всегда выходного) с заголовком другой древ-схемы либо со внешним входным контактом графит-схемы другого структур-класса.

Операция Отключение для древ-схем определена как обратная предыдущей.

В начало страницы

Сеть-специфичные

Правило 180. Сеть-блок приравнивается к графит-области со следующими отличиями:

Правило 181. При наличии в сеть-схеме древ-узлов часть схемы от выходов каждого древ-узла до сеть-блок<а|ов> (или до поперечины входов/выходов, смотря по направленности выходов древ-узла и наличию их связей с сеть-блоками) считается сеть-подсхемой и для этой части действуют сеть-специфичные правила графит-метода.

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

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

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

Правило 183. Сеть-схемы допускается изображать с разрывом (наряду или вместо декомпозиции). Для этого вводятся одиночные и/или групповые ОС-соединители, непосредственно связанные с линиями «питания» и/или «земли» через простые звенья.

Правило 184. Соединитель - операция группировки/добавления выбранных контактов в соединитель — подмножество контактов, трактуемое как единая подсхема и изображаемое как слитный ряд.

Контакты д.б. одного рода и типа, если иное не разрешено правилами конкретного языка.

М.б. определена также обратная операция.

Правило 185. Кроссировка — операция установления связи между хвостами в кроссе сеть-схемы (т.е. цепями, не имеющими продолжения после втекания и/или начала перед вытеканием из кросса). Выполняется для пары указанных туннелей выводов из кросса, причём направления связей д.б. одинаковы (т.е. один туннель д.б. началом, а другой — концом своего хвоста).

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

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

Кроссировка по определению попарно соединяет вход с выходом. Т.о. в кроссе представлены отношения только вида 1:1. Любые иные отношения представляются сеть-подсхемами. Это упрощает чтение сеть-схем.

Правило 186. Размыкание (раскроссировка) — операция разрыва связи в кроссе сеть-схемы. Выполняется для указанной связи (по её любому концу или метке). В результате образуются два хвоста (т.е. цепи, не имеющих продолжения после втекания и начала перед вытеканием из кросса) по месту присоединения концов к кроссу. Хвосты оконечиваются туннелями; если необходимо, для размещения каждого туннеля вводится кросс-этаж.

Правило 187. Снятие графит-кросса для графит-сети определено как выведение всех связей из контуров кросса. Структурно каждая связь строится как последовательность:

<вых-звено-ввода><излом><одиночн-фидбак><излом><вх-звено-ввода>.

Зрительно шины кросса превращаются в группы связей (в тонких линиях). Типы изломов и фидбака определяются направленностью связей (т.е. звеньев ввода) графит-сети; при «этажерочной» компоновке это ВЛ-излом, левый фидбак и ЛН-излом, при «гребёночной» - ЛН-излом, нижний фидбак и НП-излом.

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

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

В начало страницы | Оглавление | Версия для печати

Copyright © Жаринов В.Н.

Hosted by uCoz