Рассмотрим текущее технологическое состояние электростанции и предположим, что в данный момент всё корректно, т.е. всё исправно работает. Здесь имеется в виду, что абсолютно все и дискретные, и аналоговые параметры функционируют согласно установленного регламента. Но вдруг по какой-либо причине некорректно срабатывает один параметр из нескольких десятков тысяч. Задача заключается в оперативном диагностировании этого параметра. Но как определить его корректность?
Здесь необходимо понимать суть самого технологического процесса, а именно его запуск или остановка. Для запуска любого процесса выполняются в строгой последовательности конкретные действия, т.е. мы не можем выполнить следующий шаг пока не выполнен предыдущий, учитывая, что все ещё более предыдущие уже выполнены, а все последующие ждут своего выполнения. И если мы с этим соглашаемся, а на всех электростанциях так действительно и есть, то тогда для определения корректности срабатывания какого-либо параметра совсем нет необходимости анализировать состояние всех параметров, а вполне достаточно проверить только смежные.
В данном случае логическое условие корректности изменения параметра выглядит следующим образом:
ki = +K(i-1) & -K(i+1), где:
i – текущий шаг,
k – один текущий параметр,
K – совокупность параллельных параметров,
(+K, -K) – условно включено, выключено.
Таким образом, изменение параметра корректно, если все предыдущие смежные параметры включены, а все последующие смежные параметры выключены.
Здесь есть одна особенность, что для определения корректности изменения параметра логическое условие корректности одинаковое как при запуске технологического процесса, так и при его остановке. Таким образом, описав подобные логические условия для каждого параметра, легко определяется его корректность изменения.