Отзыв на автореферат 3 (1090521)
Текст из файла
Отзыв иа автореферат диссертации Быкова Сергея Анатольевича на тему: «Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов», представленной на соискание ученой степени кандидата технических наук по специальности: 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей Диссертационная работа С.
А. Быкова посвящена созданию вычислительного комплекса, выполняющего процедуру автоматического построения геометрических ограничений на базе декларативного программирования и формальных методов, а также позволяющего отделить алгоритм решения задачи от деталей исследуемьгх технологий. На примере современной индустрии создания сверхбольших интегральных схем автором убедительно продемонстрирована важность и актуальность решаемой задачи. В работе получен ряд результатов, обладающих как научной новизной, так и существенной практической значимостью.
Достоверность научных положений и выводов, полученных соискателем, подтверждается теоретическими выкладками и успешным промышленным внедрением в работу АО "Интел А/О". Также немаловажно, что результаты работы были изложены в нескольких публикациях и представлены на международном симпозиуме. В автореферате не было обнаружено существенных недостатков. К незначительным недочетам можно отнести следующее. Комментируя полученные результаты, автор использует достаточно общую фразу "При работе с промышленными процессами, описывающими на порядки больше технологических ограничений, выигрыш по площади может быть иным." Хотелось бы увидеть более конкретные оценки; на сколько порядков больше технологических ограничений? Ожидается ли увеличение или уменьшение выигрыша по площади? Считаю, что данная диссертация удовлетворяет требованиям ВАК Минобрнауки России, предъявляемым к работам на соискание ученой степени кандидата технических наук, а ее автор, Быков Сергей Анатольевич, заслуживает присуждения ученой степени кандидата технических наук по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Якимчук Иван Викторович, .6.. к.ф-м.н., руководитель проекта Научно-исследовательский центр компании «Шлюмберже» Ф~;~ -::.".","'-'а, 119285, Москва, ул. Пудовкина 13 ' теР10лолв;ои '« р6~К .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.