CC BY
57
УДК 681.31
Ю.О. Чернышев, Н.Н. Венцов
ИССЛЕДОВАНИЕ ВАРИАНТОВ ОПТИМИЗАЦИИ ИНФОРМАЦИОННОГО ОБЕСПЕЧЕНИЯ САПР СБИС, В ТОМ ЧИСЛЕ И
,
ЭВОЛЮЦИОННОЙ И ПАРАМЕТРИЧЕСКОЙ АДАПТАЦИИ
Введение. Автоматизация проектирования - это многоаспектная и многоуровневая научная задача. Особенностью проектирования СБИС является проблема «проклятия размерности», сущность которой заключается не только в большой области поиска решения, но и в необходимости обработки огромных массивов информации описывающих объект проектирования [1]. В настоящее время актуальной научной задачей является разработка САПР СБИС, ориентированных на работу в нанометровых проектах. При построении САПР такого класса одной из острейших проблем является взрывной характер роста проектных данных [2]. При построении эффективных механизмов доступа к локальным информационным массивам проектных данных, большого объема и сложной структуры, ключевое значение имеет сокращение числа операций дискового ввода-вывода [3].
Для улучшения компонент информационного обеспечения средств проектирования СБИС нанометровой геометрии, разрабатываемых компанией Mentor Graphics (рис. 1), в [2] предлагается использовать сервисы аналитической обработки (OLAP-системы).
Рис. 1. Организация цикла проектирования электронного устройства и внедрение
экспертной системы
Заявленное время обработки запросов ОЬАР-системами составляет около
0,1% от времени выполнения подобных запросов в хранилище [2]. ОЬАР-система делает мгновенный снимок хранилища данных и преобразует его в пространственную модель (модель куба данных), оптимизированную для выполнения запросов [2]. Одной из составляющих ОЬАР-систем являются многомерные базы данных [4, 5]. Недостатком многомерных баз данных является неэффективное использо-, , них заведомо будет отсутствовать [4, 5].
Многомерная модель куба данных это логическое представление информации, физически на диске данные хранятся в виде некоторой структуры [5]. Поэтому при построении хранилищ данных основой может служить реляционная модель .
б0
базами данных (СУБД) на логическом уровне. СУБД данного типа могут хранить значительно большие объемы данных, хотя проигрывают реальным многомерным БД по скорости выполнения запросов [4, 5].
1. Формулировка проблемы. Из выше сказ анного следует, что основу информационного обеспечения САПР, ориентированных на разработку СБИС нано, -
. -ется операция соединения отношений, входящих в состав БД САПР СБИС. В связи ,
проблемой организации информационного обеспечения САПР СБИС. В настоящее время для решения задачи выбора оптимального порядка соединения отношений, расположенных на одном узле САПР, используются модификации метода ветвей и , . получили динамическое программирование и жадный алгоритм. Недостатком метода динамического программирования, гарантирующего нахождение оптимально, . наиболее часто используется жадный алгоритм, обладающий меньшей вычислительной сложностью, но не гарантирующий нахождение глобального оптимума [3]. Авторами настоящей статьи установлено, что абсолютное отклонение решений, полученных при помощи жадного алгоритма, может быть весьма значительным (60-100 %) и не зависит от размерности задачи.
,
являются генетические алгоритмы (эволюционная адаптация) и алгоритмы случайного поиска (параметрическая адаптация) [1, 6-8].
2. Постановка задачи. Задача выбора оптимального порядка соединения отношений, расположенных на одном узле САПР, формулируется следующим образом [3]. Имеется множество отношений Я = {, {, Г2,..., Г,..., Гп _1}. Мощность
отношения, полученного в результате соединения двух отношений Г и Т, , имеющих общий атрибут соединения, определяется по формуле:
Т(т-От,.) =------Т(Т)'Т(Т)------, /,у е {0,1,2,...,п _ 1}. (1)
шах(К (т .х1),У (т, . у1))
При наличии двух атрибутов соединения: Т (Г<>т, ) =
Т (т ) • Т (Ту)
шах(Г(т.х1), V(т,.у1)) • шах(Г(т.х2), V(т, .у2)У (2)
/,у е {0,1,2,...,п _ 1}
, , -зультирующего отношения определяется как произведение:
Т(т-От,.) = Т(тг) Т(т,), -,у е {0,1,2,...,п_1}, (3)
где Т(т) _ количество кортежей в отношении Т ; Т(г0г.) _ количество кортежей в отношении, являющемся результатом соединения отношений Т и Ту;
V(г .х) _ количество различных значений атрибута х отношения т- ; х1,
х2, у1, у2 - атрибуты отношений по которым производится соединение.
Необходимо найти такой порядок соединения отношений {г0, {, г2,..., гі,...,Гп-1}, чтобы суммарная мощность промежуточных отношений .
Другими словами, требуется соединить отношения {, {, Г2 ,..., Г ,•••, Ги-1} в таком порядке, чтобы выполнялось условие:
п_1
^Ті (г'''0Ло[і]) ^ тіп, (4)
і=0
где Я0 [і] = Г ^Ог ^Ог ^0...<Г'_^.
3. Предлагаемые подходы. Для решения задачи в ыбора оптимального порядка соединения отношений, расположенных на одном узле САПР, на основе статического подхода к оптимизации запросов авторами разработаны генетический алгоритм (ГА) и алгоритмы случайного поиска. Гибкость структуры генетических ,
,
методами. Статический подход применяется в ситуациях, когда статистические характеристики базы данных с достаточной степенью достоверности описывают ее фактические параметры (мощности соединяемых отношений, распределение значений атрибутов и т.д.). Алгоритмы работают с решением, представленным в виде , .
, , -,
как оптимальных (0,01-0,02), так и субоптимальных (0,02-0,03) решений. В связи с чем, разработаны генетические операторы и операторы случайного шага, учитывающие особенности решаемой задачи и обеспечивающие отсечку бесперспектив-.
стартовой популяции, мутации (ОМО, кроссинговера (ОКО и селекции (ОБО был . -
. .
Формируемые генетическим алгоритмом стартовые популяции, как правило, не
содержат оптимальные (приемлемые субоптимальные) решения. Для улучшения имеющихся решений используются модифицированные генетические операторы. Особи стартовой популяции разбиваются на заданное число групп (в зависимости ).
для соответствующей особи. На рис. 2 представлен пример структуры генетиче-, .
В первую группу попадают особи с наименьшими значениями целевой функции, а в последнюю - с наибольшими. Далее внутри каждой группы применяются специфические операторы мутации, кроссинговера и селекции.
На основе предложенных операторов случайного шага разработаны: алгоритм случайного поиска с нелинейной тактикой и релаксационный алгоритм случайного поиска с линейной тактикой. Начальная альтернатива определяется алгоритмами при помощи процедуры формирования стартовой популяции разработанного генетического алгоритма.
Рис. 2. Структурная схема генетического алгоритма
Выводы. Для определения сравнительной оценки вычислительной сложности разработанных алгоритмов с методом динамического программирования и жадным алгоритмом проведена серия экспериментов. Полученные результаты позволяют заключить:
♦ При решении задачи выбора оптимал ьного порядка соединения отношений,
расположенных на одном узле САПР, в соответствии со статическим подходом к оптимизации запросов, вероятность определения оптимального решения генетическим алгоритмом составляет 0,5-0,6, а субоптимального (отличающегося от оптимального не более, чем на 15%) - 0,7-0,85. На задачах размерности (количество соединяемых отношений) 8-15 экономия по времени составляет 15-20%, а на задачах размерности 15-30 - 25-30% по
сравнению с методом динамического программирования.
♦ Разработанные алгоритмы случайн ого поиска позволяют определять приемлемые субоптимальные решения с вероятностью 0,4-0,5. Несмотря на то, что разработанным алгоритмам требуется на 20-30% больше времени по сравнению с жадным алгоритмом, вероятность улучшения решения на 8-12% составляет 0,7-0,9.
2.
БИБЛИОГРАФИЧЕСКИМ СПИСОК
Курейчик В.М., Лебедев Б.К., Лебедев О.Б. Поисковая адаптация: теория и практика. -М.: ФИЗМАТЛИТ, 2006.
. ., . . // Труды международных научно-технических конференций «Интеллектуальные системы»
(AIS’08) и «Интеллектуальные САПР» (CAD-2008). Научное издание в 4-х томах. - М.: Физматлит, 2008, Т.1. - С. 197-202.
3. Гарсиа-Молина, Гектор, Ульман, Джеффри Д. Уидом, Джениффер. Системы баз данных. Полный курс // Пер.с англ. - М.: Издательский дом “Вильямс”, 2003.
4. Базы данных: Интеллектуальная обработка информации / ВБ. Корнеев, А.Ф. Гареев, СБ. Васютин, ВБ. Райх. - 2- е изд. - М.: Изд-во Молгачева СБ., 2001.
5. Архипенков С.Я. Аналитическая система на базе Oracle Express OLAP: Проектирование, создание, сопровождение. - М.: Диалог-МИФИ, 1999.
6. Херрере Ф., Лозано М. Нечеткие адаптивные генетические алгоритмы: дизайн, таксоно-
, // . 7(2003), -
Верлаг, 2003. - C.*545-562.
7. . I. , , 1999.
8. . ., . ., . ., . . -
. . - - - : - , 2004.
УДК 621.03: 007.5
В.Б. Тарасов, С.В. Смагин
ДИАЛОГИКА - ТЕОРЕТИЧЕСКАЯ ОСНОВА ИЗУЧЕНИЯ ВЗАИМОДЕЙСТВИЯ АГЕНТОВ В ИНТЕЛЛЕКТУАЛЬНЫХ САПР НОВЫХ
ПОКОЛЕНИЙ*
Введение. В начале XXI-ro века все более актуальной становится разработка интеллектуальных систем автоматизированного проектирования (ИСАПР) новых , -сов проектирования на всех стадиях разработки, значительное сокращение сроков проектирования, улучшение качества создаваемых искусственных (технических) . -, -ганизаций благодаря компьютерной интеграции ресурсов, расположенных в раз, , -ми в процессах проектирования, обеспечению гибкости, надежности и своевременности принимаемых решений. Известными примерами подобных стратегий служат «совмещенное или параллельное проектирование» (Concurrent Design или Simultaneous Design), «кооперативное проектирование» (Cooperative Design или Collaborative Design), «эволюционное проектирование», «синергетическое эволюционное проектирование» (см., в частности, [1-3]).
В настоящей работе основное внимание уделяется теоретическим вопросам совершенствования подходов кооперативного проектирования, в особенности, проблемам «проектирования для некоторого внешнего или внутреннего заказчика», определяемого конкретной стадией жизненного цикла продукции (Design for X) [4], например, «проектирование для производства» (Design for Manufacturing), «проектирование для сборки» (Design for Assembly), «проектирование для логистики» (Design for Logistics) и т.п. Становление подобных «клиентоцентрических» подходов требует широкого внедрения в проектных организациях систем поддержки отношений с заказчиками CRM (Customer Relationship Management), кото-
*
Работа выполнена при поддержке РФФИ, гранты № 07-01-00656 и №07-07-00418. 64
