Пошук академічних текстів

Інформація × Реєстраційний номер 0496U002500, Кандидатська дисертація На здобуття к.т.н. Дата захисту 10-04-1996 Статус Запланована Назва роботи Методы структурной верификации в конструкторских задачах автоматизированного проектирования МЭУ Здобувач Чура Игорь Иванович, Керівник Ткаченко С.П. Опонент Недоступ Л.А. Опонент Гут И.И. Опис Объект исследования: Микроэлектронные устройства. Цель исследования: Разработка методики выполнения операций и процедур верификации результатов конструкторского проектирования МЭУ. Методы исследования и аппаратура: Системного анализа, математического моделирования, теории множеств, теории графов, вычислительной геометрии. Теоретические результаты и новизна: Методология решения задач верификации, модель типологии, алгоритм экстракции СЭП с модели топологии МЭУ. Практические результаты и новизна: Подсистема верификации, структура подсистемы, возможность адаптации подсистемы верификации к другим объектам. Предмет и степень внедрения: Внедрено программы для проектирования и учебного процесса. Эффективность внедрения: Ожидаемый экономический эффект - 385000 руб/год (в ценах 1991 г.). Сфера (область) использования: Проектирующие и изготавливающие МЭУ организации. Дата реєстрації 1996-04-10 Додано в НРАТ 2020-05-17 Закрити