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

Інформація × Реєстраційний номер 0494U002143, Кандидатська дисертація На здобуття к.т.н. Дата захисту 15-11-1993 Статус Запланована Назва роботи Верификация принципиальных и функциональных схем цифровой аппаратуры Здобувач Лунтовский Андрей Олегович, Керівник Киселев Г.Д. Опонент Евдокимов В.Ф. Опонент Чебаненко Т.М. Опис Объект исследования: Принципиальные и функциональные схемы цифровой аппаратуры. Цель исследования: Разработка функционально полной методологии комплексной верификации принципиальных и функциональных схем цифровой аппаратуры. Методы исследования и аппаратура: Использован аппарат теории множеств, графов, конечных автоматов, сеток Петри, баз данных и искусственного интелекта, численных методов, теории вероятности, математической статистики и планирования экспериментов. Теоретические результаты и новизна: Предложена методология комплексной верификации схем цифровой аппаратуры, которая складывается из методик формирования математической модели элемента, структурного и статистического анализа схемы. Практические результаты и новизна: Практическую ценность диссертации составляет комплекс программ, который позволяет проводить верификацию схем цифровой аппаратуры с помощью разработанных методик. Предмет и степень внедрения: Предложенные методики реализованы в комплексе программ на ЭВМ типа IBM PC. Внедрено в нескольких учреждениях Украины. Эффективность внедрения: Экономический эффект не определен. Сфера (область) использования: Учреждения по разработке САПР, высшие учебные заведения соответствующего профиля. Дата реєстрації 1993-11-15 Додано в НРАТ 2020-05-17 Закрити