Метод таблицы функций неисправностейДля построения проверяющего теста вычерчивается схема с указанием всех логических элементов и связей между ними. Записывается реализуемая схемой функция в виде формулы, отражающей структуру схемы. Комбинационная схема (рис. 4.11) реализует функцию На схеме указываются неисправности компонент. Под компонентами схемы понимают входы и выходы элементов и входы схемы. Если выход элемента или входы схемы соединены со входом только одного элемента или только с одним выходом схемы, то это соединение рассматривается как одна компонента. Если в схеме имеется точка разветвления, то в качестве компонент выступают как точка разветвления, так и все ветви разветвления. Для каждой компоненты указывают две константные неисправности К.0 и К.1. Рассматриваемая схема имеет 12 компонент и 24 неисправности. Для каждого логического элемента наносится граф эквивалентных неисправностей и указываются отношения импликации между неисправностями, в результате чего устанавливаются отношения между неисправностями для всей схемы. Неисправности нумеруются, причем среди эквивалентных неисправностей нумеруют только одну, ближе всех расположенную к выходу (для нее наиболее просто вычислить проверяющую функцию); все неисправности, к которым направлены дуги, не нумеруются; если хотя бы к одной из эквивалентных неисправностей направлена дуга, то ни одну из них не нумеруют. В результате данной операции сокращают список неисправностей, которые необходимо рассматривать при построении проверяющего теста. Пронумерованные неисправности образуют контрольное множество неисправностей Е K. В данной схеме пронумеровано 11 неисправностей, в то время как исходное множество содержит 24 неисправности.
Рисунок 4.11 – Комбинационная схема Составляется ТФН (табл. 4.5), в которую включаются все неисправности из множества Е K. По ТФН вычисляется проверяющий тест Т П:
Таблица 4.5
При построении диагностического теста Т Д составляется диагностическое множество неисправностей Е Д. С этой целью на схеме для каждого логического элемента наносится граф эквивалентных неисправностей, после чего осуществляется нумерация неисправностей. Составляется ТФН, в которую включаются все неисправности из множества Е Д. Для каждой пары неисправностей с номерами i и j вычисляется различающая функция
|
проверяющая функция для i -ой неисправности
где n – число неисправностей.
