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

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

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

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

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

(2.2.1)

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

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

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

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

Программное обеспечение для предварительных испытаний манипулятора грунтозаборного комплекса космического аппарата Фобос-грунт
Важным этапом отработки агрегатов и устройств КА является процесс их испытаний. Современные испытания немыслимы без автоматизации испытаний, наряду с исполь ...

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