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

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

Автор: Останин, Сергей Александрович

Шифр специальности: 05.13.01

Научная степень: Кандидатская

Год защиты: 2000

Место защиты: Томск

Количество страниц: 126 с. ил.

Артикул: 279205

Автор: Останин, Сергей Александрович

Стоимость: 250 руб.

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


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

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.243, запросов: 244