Муравьиный алгоритм определения критических связей в СБИС Зав. каф. САПР ИКТиИБ ЮФУ, д.т.н., проф. В.В. Курейчик, аспирант каф САПР ИКТиИБ ЮФУ, Д. Ю. Запорожец, аспирант каф САПР ИКТиИБ ЮФУ, Д.В. Заруба VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Биоинспирированные методы Развитие нанометровых технологий в области производства требует развития новых методов и алгоритмов проектирования. Одним из таких подходов являются бионические методы и биоинспирированные алгоритмы, использующие стратегии эволюционного моделирования и принципы природных механизмов принятия решений. Бионика – есть решение инженерных и технических задач на основе изучения структуры и жизнедеятельности живых организмов. Бионические методы включают в себя генетические алгоритмы, эволюционные алгоритмы, алгоритмы, моделирующие механизмы принятия решений природными системами. Это методы роевого интеллекта, основанные на принципах коллективного поведения децентрализованной самоорганизующейся системы. Данный класс алгоритмов анализирует различные области пространства решений одновременно, и они более приспособлены к нахождению новых областей с оптимальными значениями целевой функции (ЦФ) при решении задач проектирования. VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Основные положения поведения муравьев в биологических системах 1 2 3 • Изолированный муравей перемещается произвольно. • Муравей, сталкивающийся с прежде проложенным следом, может обнаружить это и решить с высокой вероятностью следовать за первым муравьем, таким образом, усиливая след своим собственными метками. Коллективное поведение, которое возникает при этом, – форма автокаталитического поведения, при котором чем больше муравьев следует по уже проложенному пути, тем более привлекательным становится след для последующих. • Процесс, таким образом, охарактеризован положительным циклом обратной связи, где вероятность, с которой муравей выбирает путь, увеличивается с ростом числа муравьев, которые прежде выбирали тот же путь VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Пример моделирования поведения муравьев в природе B A B C F D A B C F D A B C F D A C F D E E E E а) б) в) г) VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Модель муравьиного алгоритма Муравьиный алгоритм (Ant Colony) не копирует существующую природную экосистему, а использует имитацию колонии как средство оптимизации, при котором система несколько отличается от естественной: 1 2 3 • искусственные муравьи (агенты) имеют некоторую память, • они не полностью слепы, • они находятся в пространстве, где время дискретно VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Пример решения задачи коммивояжера муравьиным алгоритмом VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. При решении задач конструкторского проектирования возникает вопрос оценки полученных результатов. Одной из таких оценок (критерием) является длина критической связи. Под критической связью – понимается гамильтонова цепь – гамильтонов цикл без возвращения в стартовую вершину Этот подход позволит свести поиску критических связей к определению гамильтоновых цепей в неориентированном конечном графе. VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Пример представления цепи в виде гамильтоновой цепи VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Постановка задачи Коммивояжеру необходимо посетить W городов, не заезжая в один и тот же город дважды, и вернуться в исходный пункт по маршруту с минимальной стоимостью. Имеем: полный граф G=(X,U), где |X| = n – множество вершин (города), |U| = m – множество ребер (возможные пути между городами). Дана матрица смежности R(i,j), где i, j {1… n}, задающая стоимости путей из вершины xi в xj. Требуется найти перестановку из элементов множества X, такую, что целевая функция (ЦФ) VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Архитектура поиска VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Свойства муравья bi(t) (i = 1, ..., n) – количество муравьев в i вершине в момент времени t. При этом общее количество муравьев m m n b (t ). i 1 i Муравьи обладают «зрением» ij = 1/D ij. Каждый муравей способен улавливать след феромона, который определяет желание муравья пройти по данному ребру. эффективность промежутка (i,j) на протяжении маршрута, выбранного k-тым агентом: Q ij k L k , 0 Вероятность перехода муравья из вершины i в вершину j определяется следующим соотношением [ij ( t )] [ij ( t )] Pij,k ( t ) [il ( t )] [il ( t )] , j J , i ,k lJi ,k Pij,k ( t ) 0, j J i ,k VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ График зависимости времени решения от числа генераций График зависимости времени решения от числа популяций Наилучший полученный маршрут в ЗК eilon’s 50 Временная сложность алгоритмов O(n logn), в худшем случае – О(n3) График зависимости длины пути от числа генераций VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г. Спасибо за внимание! VI Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем Москва, 29 сентября – 3 октября 2014 г.