Global Informatics

- Информатика и вычислительная техника

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

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

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

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

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

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

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

Статья в тему

Способы и информационные технологии получения знаний
Наступивший XXI век станет этапным для проникновения новых информационных технологий и создаваемых на их основе высокопроизводительных компьютерных систем во все сферы человеческой деятельности - управление, производство, науку, образование и т.д. Конструируемые посредством этих технологий интеллект ...

Главные разделы


www.globalinformatics.ru © 2024 - Все права защищены!