К объектам дискретного действия относятся логические устройства, широко используемые в радиотехнике, судовых автоматизированных системах управления и контроля. В качестве элементной базы таких устройств применяются, главным образом, электромагнитные реле и полупроводниковые логические элементы. В общем случае логическое устройство имеет n входов и k выходов; входным переменным х1,х2, ...хn и выходным сигналам z1, z2,... zk свойствен дискретный характер. В дискретных системах применяются устройства, входные и выходные сигналы которых принимают только два значения.
Различают два класса объектов дискретного действия - комбинационные (без памяти) и последовательностные (с памятью).
У комбинационных объектов значения выходных функций z в каждый момент времени определяются однозначно - только значениями входных переменных в один и тот же момент времени. Под моментом времени понимается некоторый дискретный отрезок времени, называемый тактом, в течение которого сохраняются неизменными значения входных переменных и выходных функций.
При рассмотрении дискретных комбинационных объектов обычно полагают, что изменение значений выходных функций происходит мгновенно с изменением значений входных переменных. Пусть дискретное комбинационное устройство (рис. 11.2) имеет n входных переменных х1,x2... хn к к выходных функций z1, z2,... zk; каждая из входных переменных n и каждая из выходных функций может принимать два значения (0 и 1).
Математическая модель дискретного комбинационного объекта может быть представлена в виде таблицы булевых функций, в столбцах которой указаны входные переменные и выходные функции. Таблица булевых функций является основой для определения совокупности входных наборов диагностических тестов объекта.
Для нахождения минимального контрольного теста в качестве модели диагностирования используется таблица покрытий контрольных тестов (табл. 11.4).
При диагностировании дискретных объектов всю систему разбивают на отдельные группы элементов, работающих на один общий выход. Выходная функция может быть представлена в виде эквивалентной дизъюнктивной или эквивалентной конъюнктивной нормальной формы.
Если для диагностирования логических схем применяется метод обобщенной контрольной точки, в качестве моделей объектов диагностирования используется таблица срабатываний (переключений) входных и выходных параметров схемы.
Для рис. 11.4, приведена модель объекта в виде усеченной таблицы срабатывания (табл. 11.5).
Такая модель позволяет обнаружить одну или несколько неисправностей в системе и организовать их поиск.
У дискретных объектов с памятью комбинация выходных функций в данном такте определяется комбинацией входных переменных в данном и предшествующих тактах, т. е. выходные функции зависят не только от входных, но и от внутренних переменных, представляющих собой память устройства. Дискретные объекты с памятью способны изменять свое внутреннее состояние под влиянием определенных наборов входных переменных с помощью содержащихся в дискретных объектах элементов памяти - триггеров, обратных связей или временных задержек.
В таблице 11.5 представлена усеченная таблица срабатывания, представляющая собой диагностическую модель в явном виде, так как отражает исправное состояние объекта в шести неисправных состояниях.
