Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://lib.kart.edu.ua/handle/123456789/11540
Назва: Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов
Автори: Мирошник, Марина Анатольевна
Шкиль, А. С.
Рахлис, Д. Е.
Кулак, Э. Н.
Пахомов, Ю. В.
Дата публікації: 2019
Видавництво: Український державний університет залізничного транспорту
Бібліографічний опис: Мирошник М. А. Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов / М. А. Мирошник, А. С. Шкиль, Д. Е. Рахлис, Э. Н. Кулак, Ю. В. Пахомов // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 32-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 24-25 жовтня, 2019 р.). – 2019. – № 4 (додаток). – С. 15-16.
Короткий огляд (реферат): Предложен метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов (КА) с произвольными выходными функциями. Диагностический эксперимент (ДЕ) проводится в обход всех дуг автомата Мили, начиная с начальной вершины, в том числе для машин класса «неисключительный». Чтобы обеспечить возврат автомата с возможной ошибкой проектирования в исходное состояние, предлагается использовать синхронизирующие последовательности. ДЕ проводились в среде разработки Active-HDL.
URI (Уніфікований ідентифікатор ресурсу): http://lib.kart.edu.ua/handle/123456789/11540
ISSN: 1681-4886 (рrint); 2413-3833 (online)
Розташовується у зібраннях:№ 4 (додаток)

Файли цього матеріалу:
Файл Опис РозмірФормат 
Мирошник.pdf2.72 MBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.