Метод цепей и сечений

10) Определим проверяющую функцию для контакта :

Контакт с2 входит в цепь G3= и сечения . Цепь, урезанная на контакте с2,

.1) Сечение существует при подаче входных переменных a1=1,c2=1,а - при подаче входных переменных b2=1, т.е. и одновременно существуют на наборе abc

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

(2.2.1)

Подставляем полученные значения проверяющих функций в выражение 2.2.1 и производим его минимизацию:

Таким образом, проверяющий тест для представленной на рисунке 2.1.2 релейно-контактной схемы будет представлять множество входных наборов:

Интересное из раздела

Компьютерные сети
Компьютеры уже прочно вошли в современный мир, во все сферы человеческой деятельности и науки, тем самым создавая необходимость в обеспечении их различн ...

Расчет спектра и энергетических характеристик сигнала
В последнее десятилетие ХХ века произошла научно-техническая революция в области транспортной связи, в основе которой лежат два крупных достижения науки сер ...

Построение проверяющих и диагностических тестов
К системам железнодорожной автоматики, телемеханики и связи (ЖАТС) предъявляют высокие требования по надежности работы. В то же время системы ЖАТС об ...