Отзыв на автореферат 6 (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов)

на авторефера г диссертации Ь! !кона Сергеи Анатольевича нй !ему «Исследование и 1323рйбО! Ка мс10дов йв10мй Ги !ССКОГО выводй геометрических ограничений с использованием декларативного программирования и фора!ас!ьнь!х ме!одовй представленной на соискание ученой степени кандидата технических наук по специальности 05.13.11 Ма 1ематическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей При разработке !о!!Оло! !!й интегральных схем с целью уменыпить оо!цую итоговую площадь изделия стрсм1ггся дости и.

т!Ост!! !т! шо плотного размещения базовых эдеме!лов — стандартных ячеек. Однако на размещение стандартных ячеек всть!к дру! к дру1у нйк:1ат!1,!Вй!отея опредсленныс геометрические ограничения, выявление которых является очсш, трудоемкой задачей. Одним из способов предотвращения наруш *ни!! правил проск!Н130вйния нй Грйшщйх стандартных ячеек яв!!яетс1! в!зс;!ение дополнительных техг!ОЛОГН~!еских ОГраничений сх1ит!.!Ва!Ощих потенциальные нарушения при их размещении. В данной диссертационной работе прсдлогксп метод автоматического Вывода таких правил.

позтому тема представляется достаточно актуальной. В работе Обосновывается Возмозенос'! ь 2Втоматичсского Вывода Геомстрических ОГрйничений нй рйзмещснис стандартных ячсек Встык друг к другу на основе решения задачи выполнимости оулевых функций„предлохкен 2ЛГОритм их пострОепия. РазраОО!анй процедура автомйтическоГО Выоора субоптимальнОГО нйоора прайи.'1, позволя10нгих оп'1'имизировйть раза!сщенис структурных компонентов нй ограниченной площади.

Автором проведено сравнение предлагаемого им подхода с методом увеличения площади стандартных ячеек. Оно !!ока:яло, !о при использовании предлагаемого в диссертации метода выигрыш по площади !Дт!1! используемых автором 3!!Сментов) сос гйвляет в среднем около ~3' о. Судя по представленному рсфср!! Гу, проведенное С.А. Ьыковыы исследование является самостоятельной нау1!но-квалификационной раоото!1, в которОЙ сф013мут!и130Ваны нймчные рсзультй Гы, прсдстйвляющис тсорстичсскх!О ценность и прйктичсскую зна н!Мс!сть. 1ак, 1га Основе 2!их рез1ль Гатов ав Горох! исследования был реализован соотвегствукнций программный комплекс, и г1роизошло, надо понима~~, успеш1юс, его внедрение В Работу АО «И1!тез! АТО». Автореферат в целом написан достаточно 1рамотным и ясным языком.

читается. Содержание почти не сОдержит Опеча'10к, дОВОльно '1еГко автореферата достаточно полно отражает 1тапы исследования, соответствует положениям, выносимым на защиту, и удовлепюряет соо!Веге!Ву101цик! требо~аниям. В качестве заме~!аниЙ Отмечу следу1ощее, 1. Огсутствует список !Итсрагур!!. 1!1Г1!Ох!у быстро Выясгпггы на какук1 работу сделана ссылка ня с. 12 (Б!!Пк 2012), непросто. В пуоликациях автора ПО теме диссе1т1ации:1ОГи"!ИО ОЬ1.10 Оы 1Видсть ссылку на свидетельство о ре!.Истряции програмкгы для ЗВМ 1поско.'!Ьку сам автор яве!О указывает ня создание тякОВОЙ), Однако ее там нет. КРОме ТОГО, В авторе11)ерзгг1е Описси1ы '!О'!ько м1ггема'Гическяя модель и алгоритм автоматического вывода ! сометрических ограничений; описания собственно программного обеспечения нет. Указанные замечания не портят общего положительно! о впечатления от работы и не умаляют значимость исследования.

Резут!ьгаты диссертационной раооты прошли неооходиму10 апрооацию и ОпубликОвяны В треоуемом Ооъеме в изданиях, рекомендуемых ВЛК РФ. С учетом вышеизложенного считаю, ПО раоота Выполнена на высоком уровне и Отвечает треоов:1ни11м, предьявляемык! к лиссе1>!Яциям ня соискание ученой степени кандидага технических наук, а сс автор — Быков Сер!.Ой Анатольевич — заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 Мятема!!1ческое и пр1и.раммпое ооеспечение вычислительных машин, комплексов и кок!пьютерш,!х се!ей.

к,ф.-м,н., доцент кафедры инф и компьютерного моделирова! Волгоградского государствен1 11.к1. Кузьмин .