Методы синтеза контролепригодных дискретных устройств

• Автор: Останин, Сергей Александрович
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 126 с. : ил.

ОБЗОР МЕТОДОВ САМОПРОВЕРКИ И САМОТЕСТИРОВАНИЯ ДИСКРЕТНЫХ УСТРОЙСТВ. Модели неисправностей. Самотестируемые схемы. Методы анализа выходных реакций. Постановка задачи. Факториздционные методы синтеза. Выводы
3. Введение. Синтез слмопроверяемых синхронных автоматов с наблюдением выходов схемы и линий обратных связей. Кодирование внутренних состояний. Введение дополнительных входных переменных. Получение однородной системы. Монотонные системы и их свойства. Синтез самопроверяемых синхронных сетей с наблюдением только выходов сети. Экспериментальные результаты. Выводы. Постановка задачи. Кодирование внутренних состояний автомата. Установлено, что при возникновении неисправности I из рассматриваемого выше класса система х,1, описывающая функционирование схемы с неисправностью , монотонна и находится в отношении импликации с системой Г к хч описывающей функционирование схемы в исправном состоянии. Это и приводит к однонаправленному проявлению неисправности на выходах схемы. Исследование монотонных систем позволило синтезировать самопроверяемые сети из конечных автоматов в условиях наблюдения только за выходами сети.


Нас интересуют класс неисправностей сети 7, который включает одиночные константные неисправности автоматной компоненты на входных линиях компоненты, на полюсах элементов, реализующих компоненту, и на полюсах элементов памяти. Одиночные константные неисправности на линиях, соединяющих произвольные компоненты сети, эквивалентны одиночным константным неисправностям на входных или выходных полюсах соответствующих компонент. При возникновении неисправности I из Т система ФХ2 монотонна и системы ФХ,2 и ФХ,2 находятся в отношении импликации, что обеспечивает однонаправленное проявление неисправности на выходах сети. Предложены алгоритмы минимизации числа дополнительных переменных и рангов интервалов расширенной системы булевых функций. В четвертой главе диссертации предлагается метод синтеза самопроверяемых асинхронных автоматов. Метод синтеза самопроверяемых асинхронных автоматов разработан в предположении, что линии обратных связей и выходы доступны для наблюдения. Класс рассматриваемых неисправностей такой же, как в случае синхронных автоматов. Предполагается, что для любого внутреннего состояния существует переход из этого состояния в устойчивое. Рассматривается функционирование асинхронного автомата в классе прямых переходов, т. СОСТОЯНИЙ, возникающих при этом переходе в результате неодновременной смены значений на триггерах, выполняется переход в то же самое устойчивое состояние. При синтезе асинхронных автоматов необходимо гарантировать отсутствие опасных состязаний элементов памяти.