Главная » Просмотр файлов » Отзыв ведущей организации

Отзыв ведущей организации (1090517)

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

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

ОТ ведущей организации па диссертационную работу Быкова Сергея Анатольевича кИсследоваиие и разработка методо~ ~~~~~~~~~~~кого вывода геометрических ограничений с использованием декларативного программирования и формальных методовя по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компькзтерных сетей. Актуальность темы диссертации. Современная индустрия сталкивается с проблемой роста сложности актуальных оптимизационных задач. В качестве примера подобной задачи может быть рассмотрена проблема автоматического синтеза топологий сгруктурных компонентов интегральных схем — стандартных ячеек.

Наблюдается разрыв между практическими возможностями технологии изготовления интегральных схем, ростом сложности проектируемых изделий и низкой степенью автоматизации ранних этапов разработки библиотек стандартных элементов, где разработка топологии элементов составляет около половины всех требуемых затрат. Диссертационная работа Быкова С.А. посвящена разработке вычислительного комплекса, позволяюн!его формально выводить дополнительные геометрические ограничения на границах структурных компонентов. что позволяет сократить цикл разработки топологии стандартных элементов.

1'.о. тема диссертации является актуальной и направленной на решение задачи, имеющей существенное значение при разработке математического и программного обеспечения вычислительных машин, комплексов и компьютерных сетей. Структура н содержание работы. В первой главе диссертации проведен подробный анализ современных методов решения задач большой размерности. В частности, !тассмш!эивактгся актуальные методы рен~ения подобных з~д~~, о~~о~аниме иа использовании дскларатишюго программирования и формальных методов.

Вторая глава диссертации посвящена разработке математического обеспечения прсдлож«нного вычислительного комплекса с использованием методов решения задачи выполнимости булевых формул и перечисления полных подграфов графа. Т1эстья глава диссертации посвящена созданию прототипа вычислительного комплекса авгоматического вывода геометрических ограничений на границах структурных ~~~~~~~нтов ограниченной плошал~. В четвертой главе диссертации приведены экспериментальные результаты применения разработашюго вычислительного комплекса в применении к открытого технологического процесса РгсеРОК!бпш и открытой библиотеки Хапба!е. В заключении диссертации приведен перечень результатов и научных положений работы, вывод не~~ ~юй со не хат«лем.

Научили новизна результатов работы заключается в следующем: 1, !1редложсн алгоритм построения всех разрешенных топологий в ограниченной площади путем представления геометрических ограничений в виде булевых выражений и последующего решения задачи А1 1БЛТ. 2, Разработан алгоритм поиска классов геометрий структурных компонентов ограниченной площади, не приводящих к нарушениям заданных ограничений при любом разрешенном размещении.

заключающийся в построении графа с описанием совместных и несовместных ~ еометрий и перечислении всех максимальных полных подграфов. 3. Разработан алгоритм выбора субоптимальных геометрических ограничений на границах структурных компонентов. построении ограниченного множества элементов, анализе параметров их качества и сравнительном анализе качества компонентов с учетом рашых вариантов ограничений на границах, позволивший сократить площадь тестового набора структурных компонентов на 28.2'о.

Обоснованность и достоверность полученных в диссертации результатов об«спечивается непротиворечивостью теоретических выводов с результатами проведенных экспериментов. Реализации и шгедреиие, Следует отметить, что результаты диссертационной работы, вьпюлненной Быковым С. Л., внедрены в АО «Интел А1О» (акт внедрения от 22 декабря 20! 6)„что несомненно говорит об их существенной практической значимости. Замечании по диссертации.

В первом абзаце Главы 4 1стр.913 обещано обсуждение результатов экспериментов. На наш Взгляд, обсуждение — неполное. Насколько практически интересен слу ий с 5 правилами и 10 ячейками7 Диссертант отмечает такой недостаток формальных методов, как большая размерность практически интересных для решения проблем. Поскольку технология внедрена в Интел, интересно было бы узнать мнение диссертанта о месте разработанного прш-раммного комплекса в обц!См маршруте проектирования, Каковы пределы масштабирования предложенной технологии'? Также интересно было бы узнать мнение диссертанта о перспективных направлениях развития предложенной техно.!огни.

2. В Закшочении утверждается 1стр.106), что «Использование разработанного ВычислительнОГО комплскса позволяет сократить разрыв между зтапамн ;юГнч! Око!О и физгп!еско! !з син!Сза ... стандартных ячсскя. На наш Взгляд, пред;юженный метод позво1гяет всего лишь компенсировать эффект снижения эффективности технологии оптической коррекции, что приводит к проблемам при масштабировании шзементов библиотек для технологий начиная с 22 пт. 3. На стр.22 утверждается: ВСтепени покрытия кода, условия и вызовов были улучшены на 14.2 — 120.3'Ъ, 2.3 — 167.7 Ъ и 16.9-135.2;4, соответственно». Непонятно, каким образом покрытие кода превысило 100;ь.

4. Миожествснныс опечатки в тексте диссертации. На стр,20 авторефераш ошибочно повторен рис.2, Очевидно, здесь должен быть рис.3.1 из текста диссертации. Од!шко Отмечснны1*. замечания нс явля!Отея принципиаз!ьными и не снижак1т общей положи!с:!ьной оценки раб!о! ы. Выводы. Авторсфера г дпссериции соответствует ее содерзканию. Основныс результаты раооты опубликованы в перечне рецензируемых научных изданий и апрооированы на 1гаучно-тсхш1ческнх конфс1зснциях, Диссертация является законченной научно-квалификационной работой. в которой получены новые теоретические и практические результаты, вносящие существенный тсорети !Вский и практический вклад в разработку вычислительных комплексов, испсс!ьзуемых при проектировании перспективных сверхбольших интегральных схем. !'абота соответствует требованиям Положения, предъявляемых к диссертациям на соискание ученой степени кандидата технических наук, а ее автор, Быков Сергей Анатольевич, заслуживает присуждения ему ученой степени кандидата технических наук по 3 спепиальности 05.13.!! — «Математическое и программное обеспечение вычислительных машин.

комплексов и компьютерных сетей». Отзыв рассмотрен. обсужден и одобрен на заседании в отделе топологического проектирования и синтеза ФГУ Ф1!Ц НИИСИ РАН, Отзыв подготовили: Евлампиев Б.Е, Заведуюн!и Й отделом топологического проектирования Моисеев А,С Ведущий научный сотрудник, Кандидат технических наук, доцент 20 ноября 2017 г.

ФГУ ФНЦ НИИСИ РАН 117218, Россия, Москва, Нахимовский просп,, 36, к. 1 Телефон/факс +7 (495) 718-21-10„+7 (499) 124-97-44 й): й ~В 'вйлй. .

Характеристики

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

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

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