Метод существенных путейНедостаток ТФН состоит в её больших размерах. Это определяется тем, что ТФН описывает схему целиком и увеличение числа элементов схемы пропорционально увеличивает число столбцов таблицы. Для хранения ТФНтребуется большой объём памяти ЭВМ, и поэтому для больших схем используются методы, в которых анализ схем производится по частям. При этом применяются так называемые локальные алгоритмы. Локальный алгоритм не требует вычисления функций, реализуемых всей схемой или ее подсхемой, а работает только с информацией, характеризующей элементы схемы. При этом сама схема задается структурным способом, а именно списком элементов, указанием типа элемента и связей элемента с другими элементами (net-list). Алгоритм обрабатывает каждый элемент отдельно (локально) и все элементы последовательно, начиная с элементов первого ранга или уровня, входы которых соединены только со входами схемы, и кончая выходным элементом. При помощи локального алгоритма решается частная задача — является ли данный входной набор X проверяющим для заданной константной неисправности линии i схемы (неисправность n iα, α = 0 или 1). Путём многократного применения локального алгоритма для каждой неисправности вычисляется проверяющая функция. По множеству проверяющих функций определяются проверяющий и диагностический тесты. Рассмотрим схему, приведенную на рис. 4.14. Схема задается следующим списком: G1: ИЛИ; a, b, G3, G2: И; а, b, G5. G6; G3: ИЛИ; G1, с; G7; ………. G8: ИЛИ; G7, G5: F.
Рис. 4.14 – Ранжированная комбинационная схема
Линии схемы нумеруются. Каждая линия указывается парой элементов, которые она связывает. Например, линия 1 — (a, G1); линия 10 – (G1,G4); линия 19 – (G8, F) ит.д. Входы а, b, с и выход F рассматриваются как элементы схемы. Для описания работы ЛЭ составляются сжатые таблицы истинности, которые представлены на рис. 4.15. Символ х в таблицах имеет смысл безразличного значения (х - 0 или 1). Каждая строка таблицы называется кубом. Например, в таблице элемента ИЛИ куб 1 x 1 имеет смысл: если на одном входе элемента ИЛИ имеется сигнал 1, то независимо от значения сигнала на втором входе сигнал на выходе равен 1. Каждый логический элемент характеризуется также определенными условиями передачи (трансляции) на выход ошибок сигналов на входах. Так, у элемента ИЛИ (рис. 4.16) входная ошибка транслируется на выход при условии, что на втором входе имеется сигнал 0. Ошибки типа 1 → 0 и 0 → 1 обозначают соответственно символами D и
Локальный алгоритм, позволяющий находить проверяющие наборы, строится с использованием D-кубов. Алгоритм удовлетворяет также следующему требованию: при его реализации на i -ом шаге достаточно использовать результаты вычислений на (i – 1)-шаге. Поэтому не требуется хранить результаты вычислений всех предыдущих шагов. Это позволяет обрабатывать схемы большой размерности. Для того чтобы на входном наборе X обнаруживалась неисправность, необходимо и достаточно выполнение двух условий А1 и А2. Условие А1 заключается в следующем. Данная неисправность должна проявиться на линии i. Это значит, что если на линии i существует неисправность К.0 (К. 1), то на наборе X в исправной схеме на линии i должен присутствовать сигнал 1 (сигнал 0). Данное условие обеспечивается исходной фиксацией сигналов в схеме, которая состоит в приписывании входным линиям схемы значений сигналов в соответствии с входным набором X, а также в приписывании линии i символа D, если на линии i есть неисправность К.0, и символа Условие А2 состоит в следующем. Должен существовать хотя бы один путь от линии i до выходной линии F, такой, что для всех элементов этого пути выполняются условия трансляции ошибки, вызванной неисправностью. Это означает, что сигнал на выходе неисправной схемы будет отличаться от сигнала исправной схемы и, следовательно, ошибка будет обнаружена. Такой путь называется существенным; говорят, что он активизирован на входном наборе X. Для проверки условия А2 используется специальная операция однозначного распространения (ОР) над элементами j -го ранга. При этом элементы схемы ранжируются.
|
.
