Page 47 - 6913

z 1
Б 1
x 1 z 1 x 1
x
z x 2 x 2
y Б x 3 Б z 2 x 3
y 1 y 1 z 2
y 2 y 2 Б 2

а) б) в)

Рисунок 4.1 – Логічні моделі

В результаті такої побудови і об'єднання виходів ПФЕ з
входами інших ПФЕ логічна модель приймає вигляд,
представлений як приклад на рис. 4.2.

Припустимо наступне:
1. Для параметрів входів і виходів ПФЕ встановлені області
їх допустимих значень Д = [z , z ]
в
н
z
де z , z – нижнє і верхнє допустимі значення.
н
в
2. Окремі ПФЕ можуть знаходитися тільки в двох
взаємовиключних станах: справному (працездатному) і
несправному (непрацездатному).

y 1 z 1 z 2
1 2

y 3 z 4
3 z 3 4

Рисунок 4.2 – Схема ОД

3. Зв'язки між ПФЕ – абсолютно надійні (реальні фізичні
зв'язки або відносять до відповідних ПФЕ, або виділяють в

окремі ПФЕ).
4. Для того, щоб вихід ПФЕ z знаходився в допустимій

області Д, необхідно, щоб всі його входи були допустимими, а
сам ПФЕ справним (працездатним).

47