8. Проверка составления РКС

Проверка по циклограмме

Данная проверка включает в себя три проверки. При первой анализируются, существуют ли записанные ранее условия срабатывания в течение всего включающего периода.

Функция f`(x) меняет свое значение в период включения, следовательно необходимо ввести механизм самоблокировки, либо дополнительный элемент. В данном случае используем самоблокировку.

Структурные формулы примут вид:

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

Третья проверка заключается в том, чтобы после отключения исполнительного элемента исключить возможность создания условий для его повторного (неправильного) включения. Т.к. функция представляет собой произведение всех сигналов и удовлетворяет двум предыдущим проверкам, то функция А однозначно определяет условия срабатывания и несрабатывания и исключает случай неправильного включения (т.е. функция А равна 1 только при одной комбинации датчиков), то функция А удовлетворяет и третьей проверке. Следовательно функция А составлена правильно.