Global Informatics
Проверка по циклограмме
Данная проверка включает в себя три проверки. При первой анализируются, существуют ли записанные ранее условия срабатывания в течение всего включающего периода.
Функция f‘(x) меняет свое значение в период включения, следовательно необходимо ввести механизм самоблокировки, либо дополнительный элемент. В данном случае используем самоблокировку.
Структурные формулы примут вид:
При второй проверке анализируется, существуют ли записанные ранее условия несрабатывания в течении всего включающего периода. Для данной функции таких ситуаций, когда условие несрабатывания бы не выполнялось, нет. Следовательно, данная функция удовлетворяет и второму условию.
Третья проверка заключается в том, чтобы после отключения исполнительного элемента исключить возможность создания условий для его повторного (неправильного) включения. Т.к. функция представляет собой произведение всех сигналов и удовлетворяет двум предыдущим проверкам, то функция А однозначно определяет условия срабатывания и несрабатывания и исключает случай неправильного включения (т.е. функция А равна 1 только при одной комбинации датчиков), то функция А удовлетворяет и третьей проверке. Следовательно функция А составлена правильно.
Статья в тему
Способы и информационные технологии получения знаний
Наступивший XXI век станет этапным для проникновения новых информационных технологий и создаваемых на их основе высокопроизводительных компьютерных систем во все сферы человеческой деятельности - управление, производство, науку, образование и т.д. Конструируемые посредством этих технологий интеллект ...