Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
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 (додаток) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Мирошник.pdf | 2.72 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.