Аннотация
Рассматриваются методы динамического контроля управляющих автоматов (УА).Для сложных технических систем реального времени управляющие автоматымогут составлять большую часть оборудования средств автоматизации. Управляющие автоматы со структурной организацией Мура даже после минимизации не обеспечивают достаточного уровня безотказности и безопасности. Динамический контроль УА со специальными кодами наиболее эффективен для УА с выделением одного логического условия из всего множества условий по коду предыдущего состояния. Предложен метод контроля с нетрадиционнымприменением кодов Грея при разделении кодовна два множества, относящихся к счетчику и множеству вершин вне счетчика. Во второммножестве коды состояний делятсяприблизительно пополам на группы старших и младших разрядов. Номер последующей вершины выбирается так, чтобы логическая сумма по модулю кодов соседних вершинмладших разрядов соответствовала условию Грея. Коды старшей группы этих вершин доопределяются специальным образом для выполнения того же условия. Выведены правилапринятия решений.Для реализации контроля к базовому составу блоков УА вводится только схема логического сложения и проверки правил принятия решений. Метод позволяет создавать высоконадежные, самоконтролируемые управляющие автоматы с минимальными объемами встраиваемых средств контроля.
Ключевые слова: алгоритм, управление, автомат, контроль, диагностика, кодирование информации, технические системы, математическая модель, логическая сумма
Список литературы
1. Тоценко В.Г. Алгоритмы технического диагностирования дискретных устройств. – М.: Радио и связь, 1985. – 238 с. 2. Калявин В.П. Основы теории надежности и диагностики. – СПб.: Элмор, 1998. – 172 с. 3. Щербаков Н.С., Подкопаев Б.П. Структурная теория аппаратного контроля цифровых автоматов. – М.: Машиностроение, 1982. 4. Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Основы логического проектирования. Кн. 3. Проектирование устройств логического управления. – Минск: Беларусь, 2004. – 226 с. 5. Соловьев В.В., Климович А. Логическое проектирование цифровых систем на основе программируемых логических интегральных схем. – М.: Горячая линия-Телеком, 2008. – 374 с. 6. Труды по теории синтеза и диагноза конечных автоматов и релейных устройств / под ред. В.В. Сапожникова и Вл.В. Сапожникова. – СПб.: Элмор, 2009. – 960 с. 7. Мухопад Ю.Ф. Микроэлектронные информационно-управляющие системы. – Иркутск: ИрГУПС, 2004. – 407 с. 8. Сагалович Ю.Л. Кодирование состояний автомата // Теория дискретных управляющих устройств. – М.: Наука, 1982. – С. 175–182. 9. Сагунов В.Г. Алгоритмы технического диагностирования дискретных устройств. – М.: Радио и связь, 1990. – 111 с. 10. Сапожников В.В., Сапожников Вл.В. Основы технической диагностики. – М.: Маршрут, 2004. – 322 с. 11. Согомонян Е.С., Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. – М.: Радио и связь, 1989. – 208 с. 12. Мухопад Ю.Ф. Микроэлектронные системы управления. – Братск: БрГУ, 2009. – 285 с. 13. Мухопад Ю.Ф. Теория управляющих автоматов технических систем реального времени. – Новосибирск: Наука, 2015. – 176 с. 14. Патент 82888 Российская Федерация, G 06 F 9/00. Микропрограммный автомат / А.Ю. Мухопад, Ю.Ф. Мухопад; заявитель и патентообладатель Иркутский государственный университет путей сообщения. – № 2008149344/22; заявл. 15.12.2008; опубл. 10.05.2009, Бюл. № 13. 15. Патент 2527190 Российская Федерация, МПК G 06 F 9/00. Управляющий автомат / А.Ю. Мухопад, Ю.Ф. Мухопад, Д.Ц. Пунсык-Намжилов; заявитель и патентообладатель Иркутский государственный университет путей сообщения. – № 2013110986/08; заявл. 12.03.2013; опубл. 27.08.2014, Бюл. № 24. 16. Мухопад Ю.Ф. Теория дискретных устройств. – Иркутск: ИрГУПС, 2010. – 172 с.
