Отзыв на автореферат 5 (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов)
Описание файла
Файл "Отзыв на автореферат 5" внутри архива находится в следующих папках: Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов, Документы. PDF-файл из архива "Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов", который расположен в категории "". Всё это находится в предмете "технические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве РТУ МИРЭА. Не смотря на прямую связь этого архива с РТУ МИРЭА, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "диссертации и авторефераты" в общих файлах, а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата технических наук.
Просмотр PDF-файла онлайн
Текст из PDF
ОТЗЫВ на автореферат диссертациина соискание степени кандидата технических наукБыкова Сергея АнатольевичаДиссертацияпосвященаактуальнойтемеразработкиметодовавтоматического вывода геометрических ограничений с использованиемдекларативного программирования и формальных методов. Актуальностьтемы обусловлена растущей сложностью задач оптимизации, сопутствующихусложнению задач проектирования как программно-аппаратных комплексов,такиСБИС.Вомногочисленностьюмногихслучаяхгеометрическихэтасложностьограничений,обусловленанакладываемыхнаобласть определения решения.Достоинством работы, на мой взгляд, является степень её апробации ипрактической завершенности, готовность к внедрению.
Тем не менее, укажуна несколько недостатков (судя по автореферату):1. Вназваниидиссертациипрограммирования».приветствовать,вынесеноНаправлениеноесли«…движенияиспользовалисьдекларативногоможнотолькоимеющиеязыкипрограммирования, то какие? А если был разработан новый, свой языкпрограммирования, то каковы его синтаксические диаграммы илексемы? Сложилось впечатление, что авторы остановились где-то всерединепути.Хотяповторяю–направлениетеоретическихисследований представляется весьма интересным, коррелирующим свозрождающимисярекурсивными,функционально-логическимиметодами программирования в целом. В списке публикаций авторыиспользуют более скромную и более точную отсылку к булевымформулам;2.
Для вынесенного в результаты диссертации алгоритма перечислениямножества геометрических ограничений не проведено исследованияего временной сложности (линейный, квадратичный и т.д.). Такжехотелось бы видеть и оценки структурной сложности. Хотя, как мнекажется,дляполученияпорядкасложностипотребуютсянестандартные методы;3. В тексте автореферата нет ссылок на внешнюю литературу, например,описывающую метод AllSAT или метод Цейтлина;4. Если действительно был разработан вычислительный комплекс(Положение №4), уместно было бы дать его описание – хотя в видекакой-либо UML-диаграммы, что отсутствует в авторефератеСделанные замечания не носят принципиального характера.Я считаю, что Быков С.А.
заслуживает присуждения степени кандидатафизико-математическихнаукстепенипоспециальности05.13.11«Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей», а сама диссертационная работа отвечаетвсем требованиям ВАК, предъявляемым по данной специальности.Доцент кафедры проектирования иконструирования интегральных микросхемНИУ МИЭТ, к.ф.-м.н.________МатюшкинИгорь ВалерьевичДата: 03 декабря 2017г.ФГАОУВО «Национальный исследовательский университет «Московскийинститут электронной техники»124498, г. Москва, г. Зеленоград, площадь Шокина, дом 18 (499) 729-75-70, imatyushkin@niime.ruПодпись Матюшкина И.В.
заверяюУченый секретарь_________ЛарионовНиколай Михайлович.