Отзыв первого оппонента (1090526)
Текст из файла
ОТЗЫВ официального оппонента на диссертацию Быкова Сергея Анатольевича «Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов», представленную на соискание ученой степени кандидата наук по специальности 05.13.11 - «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Диссертационная работа Быкова С. А. посвящена важному для полупроводниковой промышленности исследованию и разработке методов вывода геометрических ограничений на границах структурных компонентов ограниченной площади. Выполненный автором анализ известных подходов к решению данной задачи демонстрирует перспективность применения декларативного программирования и формальных методов для решения подобного класса задач многопараметрической оптимизации.
Актуальность работы обуславливается отсутствием или несовершенством методов представления и учета геометрических ограничений, которые необходимо рассматривать при оптимизации площади топологии структурных компонентов ограниченной площади, Диссертационная работа состоит из четырех глав, заключения с основными результатами работы, списка использованных источников, приложений. Первая глава диссертации посвящена обзору актуальных проблем математического и программного обеспечения вычислительных систем, используемых для решения задач оптимизации высокой размерности. Проведено исследование современных тенденций в развитии математического и программного обеспечения, а также проведен анализ развития декларагивных техник программирования и формальных методов.
Во второй главе описывается математическое обеспечение, используемое для вывода дополнительных ограничений на границах структурных компонентов. Приведен обзор известных методов программирования, разделов теории графов, методы двухуровневой минимизации булевых функций. Третья глава диссертационной работы посвящена практической реализации программного обеспечения для вывода геометрических ограничений на границах полупроводниковых элементов с учетом ограничений современных технологий нх изго Говл ения.
Четвертая глава диссертационной работы посвящена экспериментальным результатам. Для апробации предложенных моделей и алгоритмов выполнен автоматический вывод геометрических ограничений на границах полупроводниковых элементов. Для оценки качества полученных ограничений выполнялся автоматический синтез. Также в данной главе приводится описание использованного оборудования и программного обеспечения, проведенных экспериментов и полученных результатов. Соискателем получен ряд результатов, имеющих несомненную научную новизну., которая определяется применением известных формальных методов для решения многопараметрической оптимизации при разработке современных библиотек высокотехнологичных полупроводниковых элементов и создания программного обеспечения на основе оригинальных алгоритмов: 1.
Построения всех разрешенных топологий в ограниченной площади с представлением геометрических ограничений в виде булевых выражений и последующего решения задачи А11ЯАТ. 2. Поиска классов геометрий структурных компонентов ограниченной площади, не приводящих к нарушениям заданных ограничений при любом разрешенном размещении, заключающийся в построении графа с описанием совместных и несовместных геометрий и перечислении всех максимальных полных подграфов. 3.
Выбора субоптимальных геометрических ограничений на границах структурных компонентов, построении ограниченного множества элементов с учетом параметров их качества и вариантов ограничений на границах. Эти результаты получены и апробированы на вычислительном комплексе с учетом открытых технологий РгееР1Ж15 и библиотеки стандартных ячеек ХапОа1е. Следует отметить и пракгическую ценность работы, результаты и технические решения которой могут быть использованы при решении различных задач оптимизации.
В частности, предлагается использование предложенных алгоритмов для уменьшения площади полупроводниковых кристаллов и временных затрат на их проектирование. Высокая степень обоснованности полученных в диссертационной работе положений, выводов и рекомендаций обусловлена учетом особенностей постановки актуальных многопараметрических задач оптимизации в разработке современной технике, применением общепринятых математических методов оптимизации, использованием из практики аналитических и эмпирических данных, включающих критерии проектирования.
Достоверность подтверждается соответствием теоретических выводов и результатами проведенных экспериментов, результатами внедрения программного обеспечения дпя разработки библиотек полупроводниковых элементов (згапйагд сей 11Ьгагу) для современных техпроцес сов. Основные результаты диссертации опубликованы в 8 печатных работах, включающих 6 статей в рецензируемых журналах, рекомендованных ВАК РФ, а также прошли успешную апробацию на научных конференциях.
Работа не лишена недостатков: 1. В тексте диссертации множество опечаток, стилистических и редакционных ошибок. К примеру, на стр. 24 в слове «расмсматривает», стр. 37 в фразе «выражаемым в виде правил проектирования — запрещенных вариантов топологий» и т.д. 2. Допущено много неудачных или некорректных высказываний. К примеру, делается заключение, что использование предложенного решения задачи оптимизации с применением разработанного вычислительного комплекса позволяет сократить разрыв между этапами логического и физического синтеза стандартных ячеек. Это неверно, поскольку предложенное решение позволяет компенсировать только эффект снижения эффективности технологии оптической коррекции, который приводит к проблемам только при масштабировании элементов библиотек для технологий начиная с 22 пт; 3.
Не приведены перспективы развития предложенного решения задачи многопараметрической оптимизации как в процессе создания библиотек полупроводниковых компонентов для технологических процессов компании 1п1е1, 17 ноября 2017 года. Заместитель генерального директора ПАО «ИНЭУМ им И.С. Брука», доктор технических наук. Бычков И.Н. так и для других практических применений формальных методов и декларативного щюграм мирова пня.
Однако выявленные недостатки не влияют на главные теоретические н практические результаты диссертации в виде эффективных алгоритмов для создания программного обеспечения. Основные положения диссертационной работы опубликованы в печати н прошли апробацию на научно-технических конференциях. Автореферат диссертации достаточно полно отражает содержание диссертационной работы. Указанные недостатки не снижают положительную оценку научных и практических результатов диссертационной работы. Рассмотренная работа в соответствии с критериями «Постановления Правительства Российской Федерации о порядке присуждения ученых степеней» от 24.09.2013 г.
№ 842 является научно-квалификационной работой, в которой представлено решение научной задачи многопараметрической оптимизации по одному критерию формальными методами на примере эффективных алгоритмов для разработки библиотек нз высокотехнологичных полупроводниковых элементов. Считаю, что Быков Сергей Анатольевич заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.