Главная » Просмотр файлов » Отзыв первого оппонента

Отзыв первого оппонента (1090526)

Файл №1090526 Отзыв первого оппонента (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов)Отзыв первого оппонента (1090526)2018-01-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

ОТЗЫВ официального оппонента на диссертацию Быкова Сергея Анатольевича «Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов», представленную на соискание ученой степени кандидата наук по специальности 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-файл и есть ли нужная программа для его просмотра.

Список файлов диссертации

Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов
Документы
Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6384
Авторов
на СтудИзбе
308
Средний доход
с одного платного файла
Обучение Подробнее