Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов

Мирошник, Марина Анатольевна; Шкиль, А. С.; Рахлис, Д. Е.; Кулак, Э. Н.; Пахомов, Ю. В.

Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/11540

Full metadata record

DC Field	Value	Language
dc.contributor.author	Мирошник, Марина Анатольевна	-
dc.contributor.author	Шкиль, А. С.	-
dc.contributor.author	Рахлис, Д. Е.	-
dc.contributor.author	Кулак, Э. Н.	-
dc.contributor.author	Пахомов, Ю. В.	-
dc.date.accessioned	2022-10-22T16:14:19Z	-
dc.date.available	2022-10-22T16:14:19Z	-
dc.date.issued	2019	-
dc.identifier.citation	Мирошник М. А. Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов / М. А. Мирошник, А. С. Шкиль, Д. Е. Рахлис, Э. Н. Кулак, Ю. В. Пахомов // Інформаційно-керуючі системи на залізничному транспорті : тези стендових доповідей та виступів учасників 32-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (Харків, 24-25 жовтня, 2019 р.). – 2019. – № 4 (додаток). – С. 15-16.	uk_UA
dc.identifier.issn	1681-4886 (рrint); 2413-3833 (online)	-
dc.identifier.uri	http://lib.kart.edu.ua/handle/123456789/11540	-
dc.description.abstract	Предложен метод обнаружения и локализации ошибок проектирования в HDL-моделях конечных автоматов (КА) с произвольными выходными функциями. Диагностический эксперимент (ДЕ) проводится в обход всех дуг автомата Мили, начиная с начальной вершины, в том числе для машин класса «неисключительный». Чтобы обеспечить возврат автомата с возможной ошибкой проектирования в исходное состояние, предлагается использовать синхронизирующие последовательности. ДЕ проводились в среде разработки Active-HDL.	uk_UA
dc.publisher	Український державний університет залізничного транспорту	uk_UA
dc.title	Применение синхронизирующих последовательностей для проведения неразрушающего эксперимента по проверке конечных автоматов	uk_UA
dc.type	Thesis	uk_UA
Appears in Collections:	№ 4 (додаток)

Files in This Item:

File	Description	Size	Format
Мирошник.pdf		2.72 MB	Adobe PDF	View/Open

Show simple item record