Файл: Садовников, В. И. Потоки информации в системах управления.pdf

010

Рис. 1-13.

Xя = c o n s t

понент, характеризующих исследуемый объект управле­ ния.

Пусть задан массив X попарно-различных СК хі (і = = 1, 2, .. ., т), в котором для каждой компоненты запи­ сана принятая в существующей системе формула или компонента отмечена, как исходная, индексом «исх.».

Имеется тезаурус ОИЯ Т (§ 1-4, п.«е»), который со­ держит три списка:

1)список {р} характеристик;

2)список {г,} временных признаков;

В каждом списке будем рассматривать два подспи­ ска:

1)подсписок {(pm} кодов элементов списка;

2)подсписок {фщ} отношений между элементами списка, где m — элементы соответствующего списка.

Список {гі} не содержит подсписка {фт }, а отношения между элементами списка определяются взаимным рас-

108

положением этих элементов (см. ниже). Кроме того, известны правила преобразования структурных компо­ нент (1.4.1) — (1.4.5).

Каждому правилу соответствует определенный эле­

«исх.», эквивалентная формула может быть получена только с помощью правила (1.4.1). Кроме того, с по­ мощью правила (1.4.1) может быть получена эквивалент­ ная формула для компоненты, содержащей характери­ стику, которой в {-фт} соответствует одно из отношений,

ченную в {фт} индексом «—», эквивалентная формула не может быть получена с помощью правила (1.4.1), но мо­ жет быть получена с помощью другого правила, о чем свидетельствует совместная запись соответствующего от­ ношения и индекса «—».

В данном случае исключением является то, что в спис­

ке {5,} нет подсписка {фт }, а отношения между времен­ ными признаками определяются их взаимным расположе­

нием (§ 1-4, п. «е»). При этом запись z*t-, — | 2г-, |

означает, что значению признака 2*гі соответствует груп­

па значений признака z*-,, который записан в соседней

списке {фт} соответствуют записи, выражающие отноше­ ния следующего типа (§ 1-4, п. «д»):'

правило (1.4.3) |Т*г- = £ £(Гг- (9гі);

правило (1.4.4) р*г= Ер,- (гг;і = z^);

правило (1.4.5) р3 = р^р,,.

Задача состоит в том, чтобы с помощью k правил (k= \, 2, ..., 5) для каждой компоненты массива X най-

109

Т а б л и ц а 1 -34

этим—компоненты, содержащей

112

и компонент, найденных при поиске с помощью правила

(1.4.2).

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

Обозначения совокупностей элементарных действий, соответствующих каждому правилу, даны в табл. 1-34.

3.Найденные в массиве X структурные компоненты

вкаждом рассматриваемом случае являются входами

і-й СК и участвуют в записи эквивалентной формулы для этой компоненты. Запись формулы производится в соответствии с правилами, приведенными в § 1-4, п. «ж». Функционально-эквивалентные формулы отделяются друг от друга запятой. После записи эквивалентной фор­ мулы производится сравнение этой формулы с сущест­ вующей формулой. В случае их совпадения эквивалент­

ная формула заключается в скобки и отмечается знаком

«*».

Формулы со знаком «*» выполняют контрольные функции. Описанная совокупность элементарных дейст­ вий для k-то правила обозначается через Chi. После применения всех пяти правил ко всем т компонентам массива X работа алгоритма прекращается.

При составлении логической схемы алгоритма* будем

считать Л*, А2*, В*, С* элементарными операторами, уча­

ствующими в процессе получения функционально-эквива­ лентных формул.

* Описание логической схемы дано в соответствии с [Л. 40].