то точность решения уменьшиться, и, таким образом, можно получать приближенные решения задачи с определенной степенью точности.
В данной работе рассматриваются результаты исследования эффективности алгоритма [9]. Цель исследования - получить семейство графиков зависимости времени и точности решения от размерности и структуры графа при различных значениях управляющего параметра. Наличие таких семейств позволяет алгоритму адаптироваться к изменению условий решения задачи: ресурсу времени, отведенному для решеня задачи, и требуемой точности решения. Результаты исследований ограничены пока графами до 400 вершин ввиду трудоемкости определения всех клики графа и шага изменения количества вершин графа, равного 10. Значения
1 4. -
ние управлящего параметра не приводит к уменьшению точности решения задачи. Программное обеспечение для исследования графов разработана на C++Builder. Исследование графов проводилось с использованием процессора DURON 950.
ЛИТЕРАТУРА
1. Bron C., Kerbosch J. Algorithm 457: Finding All Cliques of an Undirected Graph, Comm. ACM, 16 (1973). pp.555-577.
2. Akkoyunlu E.A. The enumaration of maximal cliques of large graphs. SIAM jornal on Computers, March, 1973, v.2, №1.
3. Dumitru Ene. Asupra unor algoritme de gasirea tuturor clicilor intr’un graf. “Studie si cercetari matematice”, 1971, v.22, №7. pp.1017-1023.
4. Бессонов ЮЖ., Скоробогатов BA. Применение относительных разбиений для поиска клик // Автоматизация проектирования в микроэлектронике. Теория, методы, алгоритмы. Новосибирск, 1978. С.24-33.
5. Ипзиня Н.Г., Толмачева AM., Фрицнович Г.Ф. Нахождение максимальных клик графа // Автоматика и вычислительная техника. 1970, вып.3. С.93-96.
6. Островский В.Н., Поттосин ЮЖ. Исследование алгоритмов поиска максимальных
// ,
1970, вып.2. С.19-26.
7. Курейчик В.М., Литвиненко В.А. Определение клик симметрического графа. // Известия Северо-Кавказского научного центра высшей школы. Технические науки, 1979, вып.2. С.13-16.
8. . ., . . . 30 In-
tern. Wiss. Koll. TH llmenau Vortragsreihe. 1985. C.41-44.
9. . ., . . -
ции к задаче определения всех клик графа //Известия ТРТУ. Тематический выпуск «Интеллектуальные САПР». Таганрог: Изд-во ТРТУ, 1999, вып.3. С.301-302.
УДК 681.3.06
А.М. Марченко, М.А. Сотников МЕТОДЫ РЕОРГАНИЗАЦИИ КОНТУРОВ ПРИ СЖАТИИ ТОПОЛОГИИ
Сжатие - этап синтеза топологии СБИС, на котором минимизируется площадь при соблюдении технологических правил. Надежной основой для решения данной задачи является графо-теоретический подход. В [1] предложен алгоритм сжатия топологии, использующий 1.5-мерные реорганизации для уменьшения критического пути в графе ограничений. Эти реорганизации можно свести к двум видам: сдвигу объекта топологии для удаления критического ребра и разбиению на не-
Известия ТРТУ
Тематический выпуск
сколько частей для расщепления критической вершины. В данном алгоритме топология представляется в виде множества пересекающихся прямоугольников. Такая модель имеет ряд недостатков и в [2] описана новая модель непересекающихся
,
.
В докладе предложены реорганизации контуров, применяемые для оптимизации критического пути. Расщепление критической вершины производится путем разбиения стороны контура на несколько новых. Удаление критического ребра осуществляется с помощью нескольких видов реорганизации в зависимости от типа технологического правила, образующего ребро. Для правил минимального расстояния, ширины и включения используется удаление стороны контура в направлении сжатия или ее сдвиг в ортогональном направлении. Для правила минимальной площади уменьшение длины критического ребра в направлении сжатия производится одновременно с увеличением длины соответствующего ребра в ортого-. -ческого ребра на несколько ортогональных ребер, вычисления критических путей в графе ограничений и последующей трансформации контура.
Предложенные реорганизации позволяют корректно выдерживать сложные технологические правила и при этом получать компактную топологию.
ЛИТЕРАТУРА
1. Wayne H. Wolf, Robert G. Mathews, Jon A Newkirk, and Robert W.Dutton. "Algorithm For Optimizing Two-dimensional Symbolic Layout Compaction", IEEE Transactions On Computer-aided Desigh, Vol.7, April, 1988. pp. 451-466
2. Марченко A.M., Плис AM., Сотников М.А. "Кон^рная модель топологии ячейки СБИС для задачи сжатия" // Труды НИИР, 2000. С.73-75.
УДК 681.518
МЛ. Парфенова
ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕ СИСТЕМЫ НА ЧИСЛАХ ФИБОНАЧЧИ
Рассматриваются методы повышения уровня интеллектуальности информа-ционно-управляющих систем (ИУС) на базе автоматизированных систем поддерж-( ), -ние производственных систем при совместном функционировании искусственного интеллекта АСППР и естественного интеллекта ЛИР - лица, принимающего реше-.
Специфика создания подобных ИУС заключается в следующем:
♦ сложность формал изации управляющей, интеллектуальной деятельности специалистов предметной области, связанная с необходимостью формального представления опыта управления;
♦
возникающих ситуаций и неоднозначности в выборе способов их устранения; многофакторность объекта управления и случайный характер изменения его
;