Область применения и некоторые особенности средств технического диагностирования
Эффективным путем уменьшения затрат на ТО и ремонт и повышения эксплуатационной надежности СЭО и ЭСА является широкое использование методов и средств технической диагностики.
Для осуществления контроля технического состояния СЭО и ЭСА и судовой электроэнергетической системы (СЭЭС) в целом по показаниям приборов требуются значительные трудозатраты и постоянная вахта в машинном отделении. При безвахтенном обслуживании машинного отделения наряду с автоматизацией процессов управления необходима и автоматизация процесса определения технического состояния элементов СЭЭС и системы в целом, т. е. необходимо использовать автоматизированное диагностирование.
Вместе с тем диагностирование связано с определенными затратами, поэтому целесообразно его проводить для конкретных видов СЭО и ЭСА только при получении соответствующего экономического эффекта или необходимого повышения безопасности эксплуатации.
Электрооборудование и средства автоматизации достаточно разнообразны по важности выполняемых функций, надежности, конструктивному исполнению, элементной базе и другим характеристикам, и, рассматривая вопрос о необходимости диагностирования конкретных видов СЭО и ЭСА, следует учитывать:
последствия отказов, чтобы обеспечить бесперебойное электроснабжение судна и безопасность мореплавания;
степень опасности для людей при возникновении отказа и затраты на восстановление;
необходимость и возможность восстановления в период автономного плавания судна:
вероятность отказа в период между плановыми ТО и ремонтом;
экономический эффект, получаемый в результате диагностирования.
Экономический эффект от применения СТД i-гo элемента СЭО или ЭСА определяется в виде разности
где -приведенные затраты на эксплуатацию данного элемента СЭО и ЭСА без применения СТД с учетом приведенных затрат на ТО Стоi, ремонты Cpi, устранение отказов CoT b приведенного ущерба от отказа Cyi;
-приведенные затраты на эксплуатацию элемента СЭО или ЭСА с применением СТД с учетом приведенных затрат на ТО С'тоi, ремонты С'рi,устранение отказов C'oti и ущерба от отказов Суi, диагностирование Сдгi. Диагностирование элемента экономически целесообразно если
Экономический эффект от применения СТД всего объекта (или системы) составит
где N - число элементов объекта, диагностирование которых экономически целесообразно.
Сравнительная эффективность применения СТД для элементов объекта определяется отношением
Величины расположенные в ряд по уменьшению значения
указывают на сравнительную эффективность диагностирования элементов объекта, что позволяет определять последовательность работ по применению СТД элементов СЭО и ЭСА.
Учет влияния всех факторов при определении области эффективного применения СТД для СЭО и ЭСА представляет собой сложную техническую задачу, в решении которой существенную помощь могут оказать рекомендации, полученные в результате экспертного опроса
Результаты опроса судовых инженеров-электромехаников всего (22 чел.) Балтийского, Мурманского, Северного, Латвийского, Эстонского, Дальневосточного, Сахалинского и Новороссийского морских пароходств со средним стажем работы 12 лет приведены ниже.
Потребность в применении СТД определена для различных видов СЭО и ЭСА как отношение в процентах количества электромехаников, высказавшихся за необходимость применения СТД, к общему числу опрошенных (табл. 4.1).
Анализ данных табл. 4.1 показывает, что по степени необходимости СТД (система технической диагностики нужна и необходима— НН) виды СЭО и ЭСА следует расположить в такой последовательности: 1) ДАУ главным двигателем (НН=100%); 2) средства автоматизации СЭС (НН=91 %); 3) генераторные агрегаты (НН = 86%); 4) грузовые краны (НН=81 %); 5) авторулевой (НН = 79%); 6) главный судовой электрораспределительный щит (НН = 77%); 7) грузовые лебедки (НН = 71%); 8) рулевой электропривод (НН —68%); 9) холодильная установка (НН = 62%); 10) установка кондиционирования воздуха (НН —61%); И) брашпиль (НН = = 53%); 12) шпиль (НН = 50%). Данная последовательность видов СЭО и ЭСА может быть использована при поэтапном внедрении СТД на судах.
Таблица 4.1.Необходимость в СТД для различных видов СЭО и ЭСА
Вид СЭО и ЭСА | Потребность в СТД,% | ||
не нужны | нужны | необходимы | |
Авторулевой Рулевой электропривод Генераторные агрегаты Главный судовой электрораспределительный щит ДАУ главным двигателем Шпиль Брашпиль Грузовые лебедки Грузовые краны Холодильная установка Установка кондиционирования воздуха Средства автоматизации судовой электростанции (СЭС) |
Важной характеристикой системы технического диагностирования является глубина поиска, дефекта. Поиск дефекта в СЭО и ЭСА может осуществляться с точностью до блока, реле, контактора, усилителя и т. п., до провода, контакта, мелких деталей, объекта. С увеличением глубины поиска дефекта растет точность определения дефектов, но возрастают и затраты, связанные с созданием и использованием СТД.
Согласно результатам опроса, глубину поиска дефекта в судовых СЭО и ЭСА целесообразно ограничить до реле, контактора, усилителя (65%), в отдельных видахСЭО и ЭСА -до блоков объекта (31 %), которые могут быть достаточно быстро заменены работоспособными.
Как уже указывалось, техническое диагностирование может быть тестовым, функциональным или функционально-тестовым и выполняться как на работающем, так и на неработающем объекте. При этом тестовые воздействия не должны нарушать правильности функционирования работающего объекта, а при функциональном диагностировании неработающего объекта должна обеспечиваться имитация функционирования объекта.Согласно данным опроса, в основном применительно к судовым электроприводам, оптимальными с точки зрения полноты поиска дефектов являются СТД, обеспечивающие поиск дефектов как на работающем, так и неработающем объекте (45%) с помощью функционально-тестового диагностирования, на работающем объекте (41%) и неработающем (14%). Однако при тестовом диагностировании существенно усложняется система технического диагностирования за счет дополнительных элементов (генератор тестовых воздействий, коммутатор и др.) и связей между объектами и СТД. С учетом этого, по-видимому, целесообразно производить автоматический поиск дефекта с помощью СТД в судовых электроприводах при работающем приводе с помощью функционального диагностирования.
Наглядность и быстрота поиска дефекта в СЭО и ЭСА зависят от формы представления информации о дефекте системой технического диагностирования. Информация о дефекте может указываться с помощью табло и (или) указателей, располагаемых непосредственно на объекте (например, лампочки или светодиодов). По результатам опроса, предпочтительнее представлять информацию о дефекте указателями непосредственно наобъекте (63%), а также с помощью комбинации мнемосхем, табло и указателей (37%). Конкретную форму представления информации следует устанавливать применительно к данному объекту.
Значительную часть судового электрооборудования по количеству и общей мощности составляют электроприводы (от 50 до 80% мощности всех установленных приемников на судне). При использовании СТД для судовых электроприводов важной является информация о причине отказа электроприводов из-за отказа системы управления (СУ) или из-за отказа электродвигателя(ЭД), что позволяет обоснованно определить диагностические параметры электропривода.
Данные опроса (табл. 4.2) показывают, что более 80% отказов рассмотренных судовых электроприводов связано с отказами СУ, следовательно, при разработке и создании соответствующих СТД необходимо основное внимание уделять диагностированию СУ электроприводов. Эффективность применения СТДв конечном счете проявляется в сокращении затрат на техническое обслуживание и ремонт и уменьшении времени простоя электрооборудования в ремонтах. При использовании СТД, позволяющих автоматически обнаружить дефект, время простоя судовых электроприводов в ремонтах - снизится на 49 %, т. е. примерно в 2 раза.
Приведенные данные показывают перспективность использования и направления реализации СТД для конкретных видов СЭО и ЭСА.
Таблица 4.2. Распределение отказов между СУ и ЭД
Электропривод | Отказы,% | |
СУ | ЭД | |
Рулевой Шпиль Брашпиль Грузовые лебедки Хлодильная установка Установка кондиционирования |
Диагностические модели
Под диагностической моделью (моделью объекта диагностирования) понимается другой объект любой природы (мысленно представляемый или материально реализованный), способный замещать реальный объект при исследовании и позволяющий получить информацию, необходимую для осуществления технического диагноза.
При разработке диагностических моделей выделяются и учитываются наиболее существенные характеристики реального объекта (системы).В общем случае диагностическая модель представляет собой совокупность моделей формирования показателей технического состояния, режимов и дефектов диагностируемого объекта.
В технической диагностике для разработки оптимальных алгоритмов и программ диагностирования, изучения объектов диагностирования, когда по каким-либо причинам не представляется возможным исследовать требуемые характеристики непосредственно реального объекта, а также для разработки средств диагностирования и исследования эффективности систем диагностирования широко используется математическое моделирование.
Математической моделью объекта диагностирования называется формальное описание (в аналитической, табличной, векторной, графической или другой форме) объекта и его поведения в различных технических состояниях. При этом объект представляется динамической системой, состояние которой в каждый момент времени t определяется значениями входных и внутренних координат (входных и внутренних беременных) и выходных координат (выходных функций).
Разработку математической модели сложного объекта можно разделить на три этапа:
1) составление содержательного описания объекта;
2) построение формализованной схемы;
3) преобразование формализованной схемы в математическую модель.
Математическая модель исправного объекта в общем виде представляется системой передаточных функций
(4.2)
где X-n-мерный вектор, компонентами которого являются значения п входных переменных x
x1,x2,x3…xn;Y-m--мерный вектор значений т внутренних переменных у1, y2…ym; Z-k-мерный вектор значений k выходных функций z1,z2….zk.
Система (4.2) рассматривается как некоторая аналитическая, векторная, графическая, табличная или другая форма представления системы передаточных функций исправного объекта, отражающих зависимость реализуемых объектом выходных функций Z от его входных переменных X, начального значения Ун внутренних переменных и от времени t.
Математическая модель объекта диагностирования, находящегося в i-м неисправном состоянии, имеет вид системы, передаточных функций, представляемых в той же форме, что и передаточные функции (4.2):
где YHi-начальное значение внутренних переменных объекта в i-м неисправном состоянии (может не совпадать с Yн исправного объекта).
Системы (4.2) и (4.3) образуют явную модель объекта диагностирования для всего множества s возможных неисправностей, т.е. явная модель содержит наряду с описанием исправного объекта описание каждой из его неисправных модификаций, Неявную модель объекта диагностирования, предполагающую наличие только одного описания, например, исправного объекта (4.2), образуют множество s возможных неисправностей объекта (представленных их математическими моделями) и правил получения зависимостей (4.3) по зависимости (4.2) для любой неисправности si.
При известных математических моделях неисправностей для после преобразований можно получить все зависимости (4.3) и перейти от неявной модели к явной; зависимости (4.3)также могут быть получены в результате эксперимента непосредственно с объектом диагностирования. В практических задачах чаще бывает известной математическая модель исправного объекта, по которой и строится его модель при неисправных состояниях.
Явная математическая модель объекта диагностирования может формироваться в виде элементарных проверок объекта и их результатов. Элементарная проверка представляет собой отдельную часть процесса диагностирования, которая характеризуется подаваемым на объект тестовым или рабочим воздействием и снимаемым с объекта ответом. Результат Rji элементарной проверки в общем случае можно представить следующими функциями: для исправного объекта
(4.4)
для неисправного объекта
(4.5)
где -допустимая элементарная проверка из множества всех допустимых элементарных проверок j=1,2…,
Следует отметить, что модели типа (4.4) и (4.5) могут быть получены подстановкой в зависимости (4.2) и (4.3) значений X, YH, t для каждой элементарной проверки и последующего вычисления соответствующих значений компонент векторов Z и Z1.
Модели типа (4.4) и (4.5) могут быть представлены в виде таблицы функций неисправности объекта диагностирования (табл. 4.3); в которой столбцы соответствуют допустимым элементарным проверкам из множества П, а строки — техническим состояниям объекта из множества Е, т. е. функции и .
Для конкретных, достаточно сложных видов СЭО и ЭСА таблица функций неисправности может быть весьма громоздкой, так как множество Rji всех результатов .Вместе с тем такая таблица представляет собой наглядную универсальную математическую модель объекта диагностирования, которую целесообразно использовать при обсуждении и классификации основных принципов и процедур построения алгоритмов технического диагностирования СЭО и ЭСА. С помощью таблицы функций неисправности в процессе технического диагностирования могут быть решены прямая и обратная задачи диагностирования, т.е. соответственно определение по заданной элементарной проверке той или иной информации о техническом состояния объекта иопределение некоторого подмножества элементарных проверок, различающих заданную пару технических состояний или неисправностей объекта.
Таблица 4.3. Таблица функций неисправности
R | II | |||||
E | e1 . . . ei eIsI | … | … | |||
R11 R1i R1IsI | … … … | Rj1 Rji RjIsI | … … … |
Примечание. -исправное техническое состояние объекта; неисправное i-e состояние объекта;R- результат проверки. Результат элементарной проверки объекта, находящегося в техническом состоянии еi; проставляется в клетке (j, i).
При построении математических моделей объекты диагностирования СЭО и ЭСА разделяют на два основных класса; 1) объекты непрерывного действия (непрерывные объекты), параметры которых рассматриваются как непрерывно изменяющиеся во времени; 2) объекты дискретные, значения параметров которых задаются на конечных множествах, а время отсчитывается дискретно.
Примерами непрерывных объектов являются электрические цепи с резисторами, аналоговые системы автоматического регулирования, электродвигатели. У дискретных объектов в отличие от непрерывных связь входных и выходных координат зависит не только от технического состояния, но и от положения отдельных элементов; к дискретным объектам относятся электрические цепи с контактными коммутирующими устройствами, например, система дистанционного автоматического управления главными двигателями, система дистанционного управления дизель-генераторной и валогенераторной установками и др. Системы, содержащие непрерывные и дискретные объекты, относятся к гибридным объектам. Характерным гибридным объектом является аналого-цифровой преобразователь сигналов.
Диагностические модели непрерывных объектов. Различают две группы диагностических моделей непрерывных объектов: аналитические и симптомные.
Аналитические модели обычно представляются в 1 виде уравнений (алгебраических, дифференциальных, интегральных), задающих зависимости между входными, внутренними переменными и выходными функциями СЭО и ЭСА. В практических задачах при разработке аналитических моделей возникают трудности, связанные с отсутствием информации по математическому описанию работы многих устройств электрических систем.
К симптомным моделям относятся функционально-структурные, функциональные граф-модели, матричные и логические модели, в которых основными носителями информации являются признаки (симптомы), характеризующие выходные функции. При составлении симптомных моделей сложный объект диагностирования разбивают на относительно небольшое количество обобщенных функциональных элементов (блоков), с точностью до которых осуществляется поиск дефекта. Значение переменных внутри каждого элемента не учитывается и производится качественная допусковая логическая оценка признаков состояния („работоспособное- неработоспособное" или „в норме — не в норме"). Это приводит к снижению точности оценки состояния объекта диагностирования.
В решении практических задач технического диагностирования конкретных видов СЭО и ЭСА, которые могут быть отнесены к непрерывным объектам, широко используются наиболее простые и легко автоматизируемые допусковые способы оценки технического состояния по результатам контроля диагностических параметров объекта. В этих случаях наибольшее применение для описания непрерывных объектов находят относительно простые симптомные функционально-структурные, функциональные граф-модели и логические модели. Вместе с тем возможности моделей этого типа ограничены и эффективность их применения снижается с увеличением числа элементов СЭО и ЭСА. В связи с этим при диагностировании СЭО и ЭСА, представляющих собой сложные непрерывные объекты, в первую очередь используются функционально-структурные, граф-модели, логические и при необходимости аналитические модели, которые применяют для соответствующих частей СЭО и ЭСА (например, отдельные устройства и приборы, входящие в сложные электронные системы регулирования и управления).
Функционально-структурная модель объекта диагностирования строится на основе функциональной схемы объекта. Каждый функциональный элемент (блок) функциональной схемы заменяется в модели функциональными элементами, имеющими по одному выходу (одной выходной функции) и существенные для данного выхода входы (входные параметры). В модели связь функциональных элементов соответствует связям функциональной схемы объекта. При этом связи, обеспечивающие резервирование функциональных элементов объекта, в модели обычно не учитываются (ввиду сложности) и рассматривается нерезервированная схема.
Количество функциональных элементов в диагностической модели может отличаться от количества элементов в соответствующей функциональной схеме, так как в последней функциональные элементы выбираются для описания процессов функционирования объекта, а в модели количество функциональных элементов приближенно определяется заданной глубиной поиска дефекта. В модели каждый функциональный элемент представляет собой такую часть объекта, которую в зависимости от ее выходной функции, изменяющейся под действием модных переменных, можно оценивать как работоспособную или неработоспособную. В частном случае, когда все функциональные элементы схемы имеют по одному выходу, каждый из которых характеризуется одним физическим параметром, структурно-функциональная модель может совпадать с функциональной схемой объекта.
Функциональный элемент модели считается неработоспособным, если при допустимых входных сигналах его выходной сигнал (выходная функция) находится вне допустимых пределов.
В качестве примера на рис.4.3. приведена схема функционально-структурной модели, состоящей из пяти функциональных элементов. В схеме имеются две внешние входные переменные x11,x41 и две внешние выходные функции z3,z5. Остальные входные переменные и выходные функции являются внутренними. Выходные функции z1,z2 и z4 являются входными переменными соответственно для элементов Э2,Э3 и Э5.Элемент Э3 имеет обратную связь.
Рис. 4.3.Схема функционально-структурной диагностической модели объекта.
Рис. 4.4.Схема функциональной граф -модели диагностируемого объекта.
Для функционально-структурной модели может быть составлена матрица взаимозависимости выходных функций. для функционально-структурной модели, приведенной на рис.4.3,такая матрица дана в табл.4.4.
Матрица содержит одинаковое количество столбцов и строк, равное числу функциональных элементов модели; каждый столбец соответствует одному элементу Эi, а строка- одному выходу элемента zi. В матрице знаком «+» отмечена зависимость выходов zi от технического состояния соответствующего функционального элемента; при этом внешние входные переменные x11 и x41 модели полагаются имеющими всегда номинальное значение.
Таблица 4.4. Матрица взаимозависимости выходных функций
выходные функции | элементы модели | ||||
z1 z2 z3 z4 z5 | Э1 | Э2 | Э3 | Э4 | Э5 |
+ + + - - | - + + - - | - - + - - | - + + + + | - - - - + |
Так, согласно табл. 4.4 выходная функция Z1 зависит только от состояния элемента Э1, выходная функция z2- от состояния элементов Э1, Э2 и Э4 и т. д.
Анализируемая функциональная диагностическая модель в виде структуры может быть представлена граф-моделью в виде ориентированного графа (рис. 4.4). Для этого входы и выходы элементов заменяются вершинами, а связи между элементами-ребрами при условии сохранения направленной передачи сигналов в схеме соединения элементов. С помощью ориентированного графа формальное составление матрицы взаимозависимости выходных функций выполняется следующим образом. От каждой вершины графа осуществляют поочередное движение по всем ребрам связей графа в противоположных стрелкам направлениях. В табл.4.4встречающиеся номера вершин отмечаются знаком„+". Движение вдоль ребер графа осуществляется до тех пор, пока не будет достигнут внешний вход или не образуется замкнутая петля.
Преимущество граф-модели состоит в том, что при ее построении не накладываются ограничения на количество выходных сигналов проверяемых узлов. Граф-модель обычно используется для определения в первом приближении минимизированной совокупности контролируемых параметров.
Логическая модель объекта диагностирования строится на основе принципиальной или функциональной схемы объекта, его структурно-функциональной или матричной модели.
В логической модели входные переменные и выходные функции выделенных функциональных элементов объекта рассматриваются как логические переменные и функции, принимающие значения из двухэлементного множества {0,1}. Значение 1 соответствует величине входной переменной (выходной функции), имеющей номинальное или допустимое значение, а значение 0- входной переменной (выходной функции), имеющей значение, выходящее за допустимые переделы. В этом случае выходные функции z1, z2,...,zk являются булевыми функциями входных переменных х1, х2,.., хn и по аналогии с формулой (4.2) Для систем передаточных функций исправного объекта диагностирования можно записать:
(4.6)
Функция (4.6) записывается в совершенной дизъюнктивной нормальной форме на основе составляемой таблицы булевых функций- таблицы значений для каждой выходной функций функциональных элементов при всех возможных сочетаниях двоичных входных переменных. Полученная функция минимизируется, и минимальная дизъюнктивная нормальная форма дает перечень существенных входных переменных для каждой конкретной выходной функции.
Примером такой таблицы для объекта с тремя входными переменными х1,х2,х3 и двумя выходными функциями z1,z2 является табл. 4.5.
номер состояний | x1 | x2 | x3 | x4 | x5 |
Таблица 4.5. Булевы функции.
Совершенная дизъюнктивная нормальная форма функции z1 и z2 по данным табл. 4.5 будет:
Для объекта диагностирования, схема логической модели которого совпадает со структурно-функциональной моделью, представленной на рис. 4.3, условие исправности объекта диагностирования в целом соответствует исправному состоянию всех пяти функциональных элементов Э1…Э5, т. е.
(4.7)
В выражении (4.7) выходные функции необходимо рассматривать как конъюнкции:
(4.8)
где Fi=1, если значения всех входных переменных элемента допустимы, и Fi = 0, если значения входных переменных элемента Эi находятся вне допустимых пределов: Э1=1— элемент Эi- исправен, Эi=0 - неисправен.
В предположении, что частная минимальная форма передаточных функций элементов схемы рис. 4.3 является конъюнкцией входных переменных, можно записать:
(4.9)
В соответствии с выражением (4.8),для каждого элемента модели в работоспособном (Эi= 1) и неработоспособном (Эi= 0) состояниях справедливо следующее:
Fi | ||||
Эi | ||||
zi |
С учетом конъюнкций (4.8) и (4.9) составляющие конъюнкции (4.7) запишем в виде
На основании этих соотношений определяется совокупность контролируемых параметров для оценки технического состояния объекта.
Для нерезервируемых объектов схема логической модели обычно совпадает со схемой функционально-структурной модели. Для объектов с резервированием, как уже отмечалось, функционально-структурная модель строится без учета связей, обеспечивающих резервирование функциональных элементов схемы, и используется для проверки объекта без резервирования. Логическая модель может быть построена с учетом резервных элементов, проверка работоспособности объекта диагностирования предусматривает при этом осуществление в схеме модели управляемых разрывов с помощью коммутирующих элементов.
Диагностические модели дискретных объектов. К дискретным объектам относятся логические устройства, широко используемые в судовых автоматизированных системах управления и контроля. В качестве элементной базы логических устройств используются главным образом электромагнитные реле и полупроводниковые логические элементы. В общем случае логическое устройство имеет п входов и k выходов, входным X1,Х2…Xn,а выходным сигналам z1,z2…zn свойственен дискретный характер. В судовых системах применяются устройства, входные и выходные сигналы которых принимают только два значения.
Различают два класса дискретных объектов: без памяти (комбинационные или однотактные) и с памятью (последовательностные или многотактные).
У объектов без памяти (комбинационных) значения выходных функций z в каждый момент времени определяются однозначно - только значениями входных переменных в тот же момент времени. Под моментом времени при этом понимается некоторый дискретный отрезок времени, называемый тактом, в течение которого сохраняются неизменными значения входных переменных и выходных функций.
Рис. 4.5. Схема комбинационного дискретного объекта
Рис. 4.6. Схема дискретного объекта с памятью
При рассмотрении дискретных комбинационных объектов обычно полагают, что изменение значений выходных функций происходит мгновенно -с изменением значений входных переменных. Пусть дискретное комбинационное устройство (рис. 4.5) имеет n входных переменных x1, х2,...,хn и k выходных функций z1,z2…zn каждая из входных переменных n и каждая из выходных функций могут принимать значения из двухэлементного множества {0,1}. Обычно временные задержки, имеющие место при работе контактно-релейных систем, при разработке диагностической модели не учитывают, т. е. не учитываются внутренние переменные объекта; тогда выходные функции в каждый данный момент времени однозначно определяются только входными переменными через булевы функции.
Диагностическая модель комбинационного устройства может быть представлена в виде таблицы булевых функций, столбцы которой соответствуют входным переменным и выходным функциям (см. табл.4.5). На основе таблицы булевых функций получаются аналитические зависимости для выходных функций дискретного комбинационного объекта в виде формул булевой алгебры. Таблица булевых функций является основой для определения совокупности диагностических параметров объекта.
У дискретных объектов с памятью комбинация выходных функций в данном такте определяется комбинацией входных переменных в данном и предшествующих тактах, т. е. выходные функции зависят не только от входных, но и от внутренних переменных, представляющих память устройства. Дискретные объекты с памятью способны изменять свое внутреннее состояние под влиянием определенных наборов входных переменных с помощью содержащихся в дискретных объектах элементов памяти - триггеров, обратных связей или временных задержек.
В модели объекта с памятью (рис. 4.6) имеется n внешних входов с входными переменными x1,x2…xn; k внешних выходов с выходными функциями z1,z2,…zk;l входов памяти с функциями возбуждения W1, W2,…Wt и т выходов памяти с внутренними переменными y1,y2…,ym
Функционирование исправного объекта с памятью может быть задано следующими зависимостями:
для всех 1, 2, 3,..., k
для всех j=1, 2,...,m; g=1,2,...,/,
где
Зависимости могут задаваться в виде таблицы булевых функций, в которой значениями независимых переменных являются значения входных переменных, а также внутренних переменных в момент времени t, значениями функций- значения внутренних переменных в момент времени t+1 и значения выходных функций в момент времени t.На основе таблицы булевых функций могут быть получены аналитические выражения в виде формул булевой алгебры.
Вопросы анализа и синтеза моделей дискретных объектов в настоящее время достаточно полно разработаны в теории конечных автоматов.