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

нента 'xi участвует в вычислении компоненты Xj. Путь

в множестве структурных компонент, характеризующих

ненты потока можно получить в общем случае несколько формул, но в конечном счете при построении схемы по­ тока используется только одна из них (если не учи­ тывать параллельные ветви, предназначенные для кон­ троля и увеличения надежности переработки информа­ ции) .

Следовательно, для любой компоненты потока, вывод которой содержит уже выведенные СК, можно построить несколько функционально-эквивалентных выводов в за­ висимости от выбора того или иного вывода СК, участ­ вующих в выводе данной компоненты,

104

105

ством признаков у компоненты Хі , а число значений приз­ нака у компоненты 'х і+і меньше числа значений этого же признака у компоненты Хи

Действительно:

1) правила обобщения исходных объектов (1.4.1), (1.4.3 )и разделения исходных объектов (1.4.4) предпо­ лагают, что количество признаков у выводимой компо­

ненты Хі+і меньше, чем количество признаков у компо­

ненты Хі, которая участвует в выводе; 2) правило обобщения исходных объектов с заменой

признака (1.4.2) предполагает, что количество значений признака у выводимой компоненты Хі+1 меньше числа

значений этого же признака у компоненты ду, которая участвует в выводе.

106

2. Отсюда для любых двух компонент Xi и Xj выв да, если / > I, то количество значений признака у Xj

меньше, чем у хи или количество значений признака у

можно получить вывод СК.

Рассмотрим возможность получения вывода СК с по­ мощью правила преобразования (1.4.5). Известно, что

в списке {р} прямого словаря тезауруса ОИЯ (§ 1-4, п.«е») записаны отношения между характеристиками исходных объектов. Для каждой характеристики (не ис­ ходной) тезауруса можно построить дерево вывода этой характеристики, которому могут соответствовать не­ сколько деревьев вывода структурных компонент, содер­

жащих данное р.

Пусть, например, для характеристики 010 в тезаурусе

и 046 являются исходными (const также считается ис­ ходной). Выводом характеристики 010 является дерево, изображенное на рис. 1-12. Этому дереву могут соответ­ ствовать, например, деревья вывода структурных компонен, показанные на рис. 1-13.

Таким образом, если вывод некоторой характеристи­ ки не содержит противоречивых характеристик (харак­ теристик, соответствующих противоречивым компонен­ там), то все СК, содержащие эту характеристику, могут иметь вывод, т. е. вывод любой СК с помощью правила преобразования (1.4.5) существует только в том случае, если имеет вывод характеристика, входящая в состав данной компоненты. Это условие учитывается при по­ строении тезауруса ОИЯ (§ 1-4, п.«е»),

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

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

107