21. Построение логических моделей.

Опишем формальную процедуру построения логической модели. Пусть непрерывный объект диагноза состоит из N связанных между собой компонентов, блоков, узлов, частей и т.д. Составные компоненты, связи между ними и внешние связи представляют собой структуру объекта. С точки зрения диагноза технического состояния, при разбиении объекта следует учитывать такие показатели, как: сменность компонентов, удобство измерения выходных параметров, конструктивные сообщения и т.д. Считаем, что структура объекта заданна и представлена структурной схемой.

Компоненты структуры – блоки. Каждый входной и выходной сигнал характеризуется одним или несколькими физическими параметрами. Если какой-нибудь(входной/выходной) сигнал, характеризуется некоторыми параметрами, то каждый из этих параметров представлен отдельным входом/выходом блока.

Если некоторый выход Zi блока Pi являющийся входом у_к блока Pi «расщепляется» на несколько выходов Zij, то вход у_к также «расщепляется» на такое же число входов Ykj Выполнив «расщепления» входов и выходов всех блоков i=1, 2, .. ., N, и соеди­нив между собой соответствующие друг другу «расщеп­ленные» входы и выходы блоков, получим функциональ­ную схему объекта. Будем считать, что для всех входных и выходных па­раметров блоков всегда можно выделить области их до­пустимых значений.

При построении функциональной схемы объекта указанное выше «расщепление» входов и выхо­дов блоков структуры не является обязательным. Будем говорить, что значение входа или выхода блока функциональной схемы является допустимым, если значения всех характеризую­щих его сигналы параметров принадлежат областям их допустимых значений. Значение входа или выхода не­допустимо, если значение хотя бы одного из указанных параметров не принадлежит области его допустимых значений.

Обозначим логическое высказывание «значение входа допустимо» символом входа х (или у), а высказывание «значение входа недопустимо»—символом х (или у). Тогда символы входов можно считать двоичными логи­ческими переменными, принимающими значе­ние «истинно» (1), если значения соответствующих им входов допустимы, и значение «ложно» (0) —в против­ном случае.

Переберем все возможные сочетания значений (на­боры) входных переменных исправного блока Pi и опре­делим для каждого такого набора значение выхода . Если каждому набору входных перемен­ных соответствует одно из двух значений выхода— 1 или 0, то полученная функция является булевой. Назовем последнюю функцией условий работы блока Pi по выхо­ду Zij и обозначим символом.

Для получения логической модели объекта каждый блок Pi функциональной схемы заменяется ki блоками, каждый из которых имеет один выход Zjj и существен­ные для данного выхода входы. Обозначим блоки логи­ческой модели объекта символами Q1, Q2, ..., Qh, где .

Будем называть логическую модель правильной, если 1) для любой пары ее блоков Qi и Qj; — имеющие выходы , выполняется условие: области допусти­мых значений входа и выхода Zi и области их недопу­стимых значений соответственно совпадают(рис 2а) и 2) для любой пары ее блоков Qi и Qj,-, имеющих входы и которые имеют один и тотже параметр, выполняется условие: области допу­стимых значений и соответственно области недопустимых значений этих входов совпадают(рис 2б).

Для правильной логи­ческой модели символы внутренних входов можно заме­нить на символы связанных с ними выходов. На этом завершается построение логической модели.