Ликвидация вертикальных конфликтов межсоединений в канале перед трассировкой
Категория реферата: Рефераты по информатике, программированию
Теги реферата: скачать диплом, рассказы
Добавил(а) на сайт: Karateev.
Предыдущая страница реферата | 1 2 3 4 | Следующая страница реферата
2. Разработка стратегии управления процессомканальной трассировки
Как известно, продукционные системы включают три основныхкомпонента; глобальную базу данных (ГБД), набор решающих правил (НРП) и стратегию управления (СУ). Именно стратегия управления выбирает какое именно правило продукций следует применять в сложившейся ситуации к глобальной базе данных и останавливает процесс, если глобальная база данных удовлетворяет априори заданным условиям.
В нашем случае ГБД состоит из двух кортежей: T= и B= описывающих контакты канала и множества Q={q1,q2,…,qn}, описывающего цепи (горизонтальные сегменты), подлежащие распределению по магистралям.
Задача ставится следующим образом. На основе экспертных знаний о ликвидации циклических конфликтов и перераспределении инвариантных контактов построить стратегию управления для преобразования ГБД к такому виду, который бы эффективно решался с помощью известных безизломных канальных трассировщиков. Иными словами - ГБД не должна содержать циклических конфликтов.
3. Разработка информационного содержания базы знаний для решения вертикальных конфликтов
БЗ для решения вертикальных конфликтов (ВК) в процессе трассировки строится на основе продукционных правил. Ввиду того, что возможны различные варианты вертикальных конфликтов, целесообразным представляется проведение классификации ВК по группам таким образом, чтобы к каждой такой группе ВК была применима соответствующая группа продукционных правил (ПП).
3.1. Классификация ВК
Дадим строгое определение ВК 1-типа.
Определение ВК первого типа называется ситуация, когда в исходных спецификациях трассировки $qi,qj,i¹j:Xq1i=Xq1j; Xq2i=Xq2j, а также P1xiÎT, P2xiÎL и P1xjÎL, P2xjÎT.
Некоторым обобщением ВК 1-го типа являются ВК второго типа В этом случае допускается произвольное число конфликтующих контактов.
Определение ВК второго типа называется ситуация в исход-
ных спецификациях трассировки, когда $qi,qj,i¹j:$PaaiÎqi,$PaajÎqj: a=1,2,…: Xpai= Xpaj и некоторые подмножества , а соответствующие Конфликты третьего типа образуют в соответствующем ГВО цикл, в котором может быть произвольное число вершин больше двух.
Определение ВК третьего типа называется ситуация в исходных спецификациях трассировки, когда $q1,q2,…,qn: X1q1=X1q2: X2q2=X1q3 , …,X2qn-1=X1qn , X2qn=X2q1 и одновременно "P1xi, i=2,3,…,nÎL, "P2xi ,i=2,3,…, nÎT , а P1x1ÎT и P2x1ÎL.
ВК четвертого типа можно назвать комбинированными, так как они могут включать в один конфликтный узел ГВО одновременно произвольное число конфликтов 1-го, 2-го, 3-го типов.
3.2. Ликвидация ВК на основе технологии ИИ
После того, как ВК идентифицирован, необходимо ликвидировать его с помощью применения правил предикатного типа. Такие правила полученые в результате экспертных исследований при трассировке и иерархичеоки организованных БЗ. Общий вид правила следующий:
Правило N1
ЕСЛИ (условие)
И (условие)
И (условие)
ТО ( рекомендуемое действие )
ЕСЛИ решение задачи с помощью текущего i -го правила невозможно, т.к. не выполняется какое-либо из его условий, то происходит вызов /i+1/-го правила и так до тех пор, пока не будет получено решение. В противном случае при данном наполнении БЗ получить решение невозможно. Одним из важных достоинств такого подхода является легкая модификация или дополнение правил БЗ, если получена свежая экспертная информация.
Таким образом возможна перманентная передача знаний системе трассировки и, как следствие, повышение качества проектирования.
Набор правил-продукций должен удовлетворять следующим условиям. Полноты, т.е. возможности получения решения в любом случае с помощью какого-либо из правил. Корректности, т.е. удовлетворение ситуации одному и тому же предварительному условию не должно влечь за собой различных действий для различных правил. Непротиворечивости, т.е. правила не должны противоречить друг другу.
Вначале рассмотрим группу правил, предназначенных для ликвидации ВК 1-го и 2-го типов
Правило 1 (Правило наложения)
Если зона канала между самой левой x1ij/min и самой правой x2ij/max координатами конфликтующих соединений не содерхит других горизонтадьных сегментов. То расположить целиком j и i соединения в разных слоях.
Однако, такое правило сравнительно редко может быть применено в реальных задачах. Чаще возможно применение правила 2
Правило 2
Если имеется свободная колонка в зоне между x1ij/min и x2ij/max с координатой Xn3 , То в точке Pxtn3ÎT вводится псевдоконтакт -j и все остальные Pj Î T получают статус -j, а в координате Pxln3ÎL вводится псевдоконтакт j.
Рекомендуем скачать другие рефераты по теме: учреждения реферат, рефераты,.
Предыдущая страница реферата | 1 2 3 4 | Следующая страница реферата