Математические модели дискретных комбинационных объектовДискретными объектами называются объекты, в которых значения входных, внутренних и выходных координат задаются на конечных множествах, а время отсчитывается дискретно. Дискретные объекты делятся на комбинационные и последовательные. Комбинационными объектами, или объектами без памяти, называют дискретные объекты, значения выходных координат которых определяются только значениями их входных координат, т.е. не зависят от времени. Последовательные, или объекты с памятью, имеют выходные сигналы, значения которых зависят не только от значений входных сигналов, но и от времени. В ж.д. автоматике применяют системы всех указанных типов. Рельсовые цепи являются непрерывными системами без памяти; аналоговая система регулирования скорости движения отцепа на сортировочной горке – непрерывной системой с памятью. В качестве дискретных комбинационных систем можно рассматривать схемы управления огнями светофоров, а в качестве дискретных систем с памятью – схемы замыкания и размыкания маршрутов в любой системе ЭЦ. При изучении технических объектов, в том числе в целях их диагностирования, приняты два подхода: функциональный и структурный. Функциональный подход заключается в рассмотрении только алгоритмов функционирования объекта (реализуемых объектом функций). Структурный подход предусматривает исследование не только реализуемых функций, но также внутренней организации или структуры объекта. При функциональном подходе исследуемый объект рассматривают как «черный ящик», внутреннее устройство которого либо неизвестно, либо не имеет значения. Зачастую входные и внутренние координаты объекта называют входными и соответственно внутренними переменными, а выходные координаты – выходными функциями. Входные переменные и выходные функции могут быть сопоставлены соответственно, как основным (необходимым в условиях применения объекта по назначению), так и дополнительным (предусмотренным для целей диагностирования) входами – выходам объекта. Пусть Х есть n – мерный вектор, компонентами которого являются значения n входных переменных x 1, x 2,…, x n, а Z есть k -мерный вектор значений k-выходных функций Z1, Z2,…, Zk объекта. Согласно определению дискретного объекта число возможных значений входных переменных, как и выходных функций, конечно. Тем самым число возможных различных значений векторов X и Z также конечно и в двоичном случае не превышает 2n и соответственно 2k. Под записью: Z = ψ;(x) (1) понимается зависимость, реализуемых исправным дискретным комбинационным объектом выходных функций Z от его входных переменных X. Зависимость (1) является математической моделью исправного дискретного комбинационного объекта и в том или ином конкретном случае может быть представлена в табличной, аналитической, графической или какой – либо другой форме. Комбинацию значений входных переменных x 1, x 2,…, x n комбинационного дискретного объекта с n входами, называемую «входным набором» обозначим x j. При фиксированном порядке двоичных входных переменных каждый входной набор может быть представлен n -разрядным двоичным числом. Комбинацию значений выходной функции Z1,,…, Zk комбинационного объекта с k выходами называют «выходным набором» и обозначают символом Zk, если данный выходной набор получен при подаче на объект входного набора x j. Выходные наборы также могут быть представлены (k -разрядными) двоичными числами. Выходные функции Z1, Z2,…, Zk являются булевыми функциями двоичных входных переменных x 1, x 2,…, x n, для задания которых используют таблицу истинности. Столбцам таблиц истинности соответствуют входные переменные (в левой части) и выходные функции (в правой части). В строке j –таблицы истинности обычно в виде двоичных чисел записываются входной набор x j и соответствующий ему выходной набор Zk. Таблица 2 является таблицей истинности, задающей две булевы функции Z1 и Z2 от трех входных переменных x 1, x 2, x 3.
Таблица 2
В первом слева столбце этой таблицы указаны номера строк, являющиеся в данном случае десятичными эквивалентами двоичных чисел, представляющих входные наборы. От таблицы истинности, являющейся табличной формой функциональной математической модели комбинационного объекта, можно перейти к его аналитической функциональной модели, представляя выходные функции, например, в виде формул булевой алгебры. В рамках функционального подхода для более или менее сложных объектов нельзя достичь требуемых значений таких показателей диагностирования, как глубина поиска и полнота обнаружения дефектов. Этим объясняется необходимость применения структурных математических моделей объекта диагностирования вообще и комбинационных дискретных объектов в частности. Дискретные объекты состоят, как правило, из отдельных компонент, соединенных между собой определенным образом с целью получения требуемых функциональных зависимостей. Часто компонента объекта – это конструктивно и функционально законченная элементарная часть объекта, не подлежащая дальнейшему расщеплению. Поэтому для описания компоненты достаточно ее функциональной математической модели. Комбинационные дискретные объекты состоят из комбинационных компонент, называемых логическими элементами. В качестве структурной логической модели исправного комбинационного дискретного объекта обычно принимают правильную логическую сеть (схему). Множество функционально разных логических элементов объекта называют базисом логической сети, и обозначают символом Н. Логическая сеть определяется множествами: { ζl } логических элементов из базиса Н, { x α} входных полюсов и { Z γ} выходных полюсов. Каждому входному (выходному) полюсу взаимно однозначно соответствует входная переменная x α, α; = 1,2,… n (выходная функция Z γ, γ = 1,2,… k). Логической сети соответствует ориентированный граф, вершинам которого соответствуют логические элементы, входные и выходные полюсы сети, а направленным дугам – соединения сети. На рисунке 9 изображена логическая сеть комбинационного дискретного объекта в булевом базисе. В сети имеется четыре входа a,b,c,d и один выход Z. Рисунок 9 – Логическая сеть
При строго детерминированной постановке задач диагностирования всегда предполагается, что обнаружению или поиску подлежит конечное множество возможных физических дефектов объекта. В дальнейшем, наряду с термином «дефект» используется и термин «неисправность», под которой понимается формализованная (математическая) модель физического дефекта. Различают одиночные и кратные неисправности. Под одиночной понимается неисправность, принимаемая в качестве элементарной, т.е. такая, которая не может быть представлена совокупностью других, более «мелких» неисправностей. Кратная неисправность, является совокупностью одновременно существующих двух и более одиночных неисправностей. Под физической неисправностью (дефектом) Si дискретного объекта понимают последствия некоторого события (явления), которое преобразует исправный объект А в некоторый другой, неисправный объект Ai и поддерживает его в этом i - неисправном состоянии в течении интервала времени Δ t (входы объекта А однозначно соответствуют входам объекта Ai). Одни и те же последствия некоторого события в разных случаях могут классифицироваться либо как неисправность объекта, либо как исправность. Это зависит от условий определяющих конкретную постановку задачи диагностирования, и находит формальное отражение в выборе математических моделей объекта диагностирования и его неисправностей. Например, возможны последствия, которые являются неисправностями при описании объекта на структурном уровне и не являются таковыми при функциональном описании объекта. Вне зависимости от того, какая модель используется при описании исправного объекта А, множество всех неисправностей которые могут в нем возникнуть, условно делят на два класса. Неисправность Si называют правильной, если i -неисправный объект Ai описывается моделью, принятой для описания исправного объекта. В противном случае неисправность называют неправильной. Исследуемый объект A* считают содержащим неисправность Si, т.е. A* = Ai, если при сравнении со своим исправным эталоном А в нем найдется по крайней мере один входной набор X j Наиболее общий характер имеет модель объекта диагностирования в виде таблицы функций неисправности (ТФН), представляющая результаты работы (проверки) объекта в работоспособном и не работоспособном состояниях (таблица 3).
Таблица 3
Эта таблица является явной моделью и может быть построена для объекта любой физической природы. В строках таблицы указываются все возможные проверки πi, которые могут быть использованы в процедуре диагностирования, и следовательно, включены в тест. Столбцы таблицы соответствуют исправному S0 и всем возможным неисправным состояниям S1, S2,… Sk. Каждое неисправное состояние соответствует одной неисправности (одиночной или кратной) из заданного класса неисправностей, относительно которого строится тест. Физический смысл состояний и проверок определяется конкретными особенностями объекта диагностирования. На пересечении i-го столбца, и j-ой строки проставляется результат В табл. 4 приведен конкретный пример таблицу функций неисправности. Столбец S0 всегда заполняется одними единицами. Если две графы заполнены одинаково, то они соответствуют эквивалентным неисправностям и могут быть объединены. В табл. 4 такими являются столбцы S3 и S4. Если во всех элементах столбца проставлены единицы (столбец S1), то он соответствует неисправности, которая не может быть обнаружена принятым методом диагностирования. Такой столбец исключается из ТНФ. На основании указанных свойств строится преобразованная ТФН (табл.5), из которой также исключается столбец S0. ТФН содержит всю необходимую информацию для получения тестов, которые находят с помощью специальной математической обработки таблицы.
Табл.4.
Табл. 5.
|
{X}, на котором выходной набор Zj исправного объекта отличен от выходного набора Zj* исследуемого объекта.
j-ой проверки для системы, находящейся в i-ом состоянии. Если значение проверки 
