Основы синтеза и диагностирования автоматов. Воронин В.В. - 234 стр.

UptoLike

Составители: 

230
ЗАКЛЮЧЕНИЕ
Основная задача данной работы - изложение теоретических
основ и методов логического анализа и синтеза конечных автоматов.
За рамками учебного пособия остались многие смежные разделы
теории автоматов. С особенностями анализа и синтеза асинхронных
автоматов можно познакомиться в [1]. Вопросы разработки
управляющих автоматов достаточно подробно рассмотрены в [13].
Монография [3] считается классическим
вводным курсом в теорию
тестовых методов диагностирования автоматов с памятью. Хотя
конечные автоматы являются функциональными или структурными
моделями дискретных устройств, тем не менее математический
аппарат логических функций находит широкое применение и в
области разработки диагностических моделей логического типа
аналоговых объектов [14], а также для построения встроенных схем
функционального диагностирования [21].
Вопросам технической
реализации комбинационных и последовательностных схем на
различных физических элементах уделяется достаточное внимание в
работах [8,10,16,17].
Материал первых двух разделов носит вспомогательный
характер для остальной части работы. Систематическое изложение
теории множеств можно найти в [20]. В учебном пособии [4]
аппарат теории графов широко используется для автоматизации
задач анализа и синтеза
сложных систем автоматического
управления. Учебное пособие [12] также содержит раздел по
основам теории множеств и графов.
В рабочей программе курсаМатематические основы теории
систем планируется выполнение цикла лабораторных работ,