А сейчас, вернемся к нашему примеру и условимся обозначать: a,b,c – выключено (начальное состояние); A,B,C – включено (конечное состояние). И опишем в скобках состояния смежных параметров при последовательном включении «a,b,c» для определения их корректности: A(b); B(A,c); С(B). Все очень просто! Теперь при выключении: А,B,C – включено (начальное состояние); a,b,c – выключено (конечное состояние). И опишем в скобках состояния смежных параметров при последовательном выключении «A,B,C» в обратном порядке для определения их корректности: c(B); b(A,c); a(b).
Здесь наблюдается интересный факт, что состояния смежных параметров абсолютно одинаковые при различных направлениях изменения конкретного дискретного параметра. А сейчас сымитируем самопроизвольное изменение параметра «В» при всех включенных и при всех выключенных параметрах. Состояния смежных параметров в данном случае в обоих вариантах будут следующие: b(A,C); B(a,c). Как мы видим, в обоих случаях отсутствует совпадение с корректным состоянием смежных параметров, которые соответствуют: b(A,c); B(A,c). Вот и выявлена аварийная ситуация, а значит и предупреждена авария!
Совместно с дискретными параметрами обязательно присутствуют и аналоговые параметры с нижней и верхней уставками. В случае выявления некорректной ситуации оператору на БЩУ выдается совет или указание к действию, или даже может быть автоматически произведено управляющее воздействие для сохранения прежней ситуации. Все это легко описывается на мета языке в текстовых проектах задач системы Smart-MES.
Таким образом, здесь стоит две задачи: как моментально среди сотни тысяч потенциальных возмущений на энергоблоке моментально выявить именно некорректное возмущение и как обучить систему осуществлять все эти действия по распознаванию аварийной ситуации. Ведь в данном случае реализации, которые используются в АСУТП, не подходят. Здесь должен быть использован принцип нейродинамического программирования распознавания динамического образа.
Анализ на корректность возмущений упрощенно выглядит следующим образом. Есть предыдущий технологический срез и текущий, в котором выявляются возмущения или изменения. При наличии данного изменения оно проверяется на корректность, например, следующим уже ранее сказанным методом.
Если мы рассмотрим направленную связанную последовательность управляющих параметров: A, B, C – то правило корректности изменения для параметра «B» будет следующим: B=[A]&[-C], где: [A] – множество смежных уже задействованных параметров, [-C] – множество смежных еще не задействованных параметров. Здесь под параметрами понимается любое возможное возмущение.