Реєстраційний номер
0594U000278, Докторська дисертація
На здобуття
д.ф.-м.н.
Дата захисту
14-10-1994
Статус
Захищена
Назва роботи
Методы и средства случайного тестирования дикретных устройств
Здобувач
Барашко Анатолий Сергеевич,
Опонент Летичевский А.А.
Опонент Линьков Ю.Н.
Опонент Романкевич А.М.
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Институт программных систем НАН Украины
Опис
Объект исследования: Дискретные устройства, автоматы, сигнатурные анализаторы. Цель исследования: Разработка теоретических и прикладных вопросов вероятностного компактного тестирования. Методы исследования и аппаратура: Методы детерминированных и вероятностных автоматов, цепей Маркова, линейных последовательностных машин. Теоретические результаты и новизна: Открыто новое направление теории автоматов, определена оптимальность сигнатурных анализаторов. Практические результаты и новизна: Разработаны статистические методы тестирования дискретных устройств и методы проектирования оптимальных сигнатурных анализаторов. Предмет и степень внедрения: Внедрены методы и пакеты программ. Эффективность внедрения: Результаты внедрены в НИИ Научный центр г. Зеленограда и в СПО г.Саратова. Сфера (область) использования: Проектные работы в области электроники.
Дата реєстрації
1999-05-26
Додано/оновлено в НРАТ
2020-05-18 / 2026-06-30
