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

1, если! ß тезаурусе T найдено отношение, допускающее применение 2-го правила;

О, в противном случае.

1, если в массиве X найдена компонента, удовлетворяющая требованиям k-ro пра­ вила (k = 1, 3, 4, 5);

О, в противном случае.

Гі = [1, если і > m ;

[ О , если і < , т .

гІ --

fl, если У> /г*-;

[О, еСЛИ ] < П і .

1, если ß > 5 ;

Гк = О, если &<5.

|1, если k = 2;

\0, если k^=2.

1, если в процессе поиска компоненты с по­ мощью правила (2) запомнен хотя бы один

признак Zij и хотя бы одна компонента;

.0, в противном случае.

со — означает тождественно ложное логическое усло­ вие; после этого условия дальнейший порядок работы всегда определяется стрелкой, так как © = 0.

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

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

В результате работы алгоритма можно получить одну или несколько функционально-эквивалентных формул и,

114

Приведенный способ получения эквивалентных фор­ мул вычисления значений СК используется на этапе фор­ мирования Генеральной спецификации структурных ком­ понент потока информации (§ 3-7).

и ) О б о б щ е н н а я с т р у к т у р а и н ф о р м а ц и о н н о г о м а с с и в а

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

Здесь рассматриваются три возможных способа орга­ низации информационного массива (массива CK): 1) в ви­

аргументов (zJt z2, ..., f n); 2) в виде вектор-функций, ко­

вектор-функций с устойчивыми сочетаниями аргументов. Для каждого способа приводится один из возможных вариантов представления информации в памяти системы.

Скалярные функции

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

вя СК, записанные на ОИЯ. Отдельная CK (ja, г,, г2,...,г„)

содержит характеристику р. и набор признаков г. СК можно рассматривать как функцию, аргументами которой

служат признаки. Набораргументов"(г,, z2, ...,zn) каждой функции представляет собой вектор. Такая СК является

скалярной функцией' f(zt, z2, .../г„) вектора (z^, г2, ..., г„). Рассмотрим представление информационного масси­ ва, элементами которого являются скалярные функции,

в памяти системы.

Все элементы структурных компонент записываются

привязка к массивам, содержащим реализованные зна­ чения функций и аргументов, осуществляются с помощью системы управляющих слов. Управляющие слова делят­ ся на управляющие слова функций (УСФ 1) и управляю­ щие слова аргументов (УСА).

Структура УСФ 1, описывающего скалярную функ­ цию, показана в табл. 1-36.

р — признак УСФ 1, тождественно равный 0 (см. ниже УСФ 2);

f — номер функции (структурной компоненты) х; L — Логическая шкала, состоящая из 0 и 1;

118

â — базовый адрес массива реализованных значений компоненты х ;

b — базовый адрес таблицы косвенных адресов (ТКА) аргументов*

входящих в состав компоненты х ;

п — число реализаций компоненты х.

соответствующее ей УСФ 1 (соответствие определяется по части управляющего слова).

2. По логической шкале L найденного УСФ 1 опреде­ ляются коды аргументов этой функции. Число разрядов в L соответствует числу всех аргументов рассматривае­ мого массива структурных компонент. Между номерами разряда в L и кодами аргументов существует однознач­ ное соответствие. Если в некотором разряде L данного УСФ 1 стоит 1, то это означает, что функция зависит от соответствующего данному разряду L аргумента.

3. По части п УСФ 1 определяется общее число реа­ лизаций СК (количество значений).

Для того чтобы извлечь конкретное значение СК, используется базовый адрес а массива реализованных значений компоненты. Этот адрес — адрес расположения первого слова массива в ЗУ ЭВМ, т. е. пе_рвой реализа­ ции компоненты. Адрес /-й реализации данной компонен­ ты получается сложением базового адреса а с относи­ тельным адресом — числом (}—1).

4. Чтобы найти значения аргументов конкретной, на­ пример /-й, реализации СК, надо воспользоваться ТКА и УСА. Базовый адрес ТКА указан в части b УСФ 1. Это истинный адрес первого слова ТКА в ЗУ ЭВМ. ТКА — это прямоугольная таблица, число строк которой равно числу реализаций СК, а число столбцов — числу аргу­ ментов, от которых зависит эта компонента. Номера строк соответствуют номерам реализаций, а номера столбцов — порядковым номерам аргументов в СК (т. е. самый левый аргумент, найденный в L, является первым, а самый правый — последним). В клетках ТКА записы­ ваются косвенные адреса значений аргументов в масси­ вах значений аргументов.

Таким образом, чтобы найти значения аргументов, соответствующие /-й реализации СК, надо найти /-ю строку соответствующей ТКА. Это немедленно дает на­ бор косвенных адресов значений для всех аргументов.

119

Чтобы извлечь сами значения, надо знать базовые адре­ са массивов значений аргументов. Для этой цели исполь­ зуются УСА. Каждое УСА содержит базовый адрес с массива реализованных значений аргумента и число реализаций п. Все УСА собраны в массив. Существует однозначное соответствие между местом УСА в массиве, кодом аргумента и номером разряда логической шка­ лы L.

Таким образом, по L находятся УСА, из них извлека­ ются базовые адреса, которые складываются с косвен­ ными адресами, извлеченными из ТКА. По этим истин­ ным адресам находятся значения аргументов.

Так может быть представлен в памяти системы мас­ сив СК, каждая из которых является скалярной функ­ цией.

Вектор-функции

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

Пусть, например, задан массив СК, наименования которых записаны в кодах ОИЯ:

Я= 013,222,207,211 = /2 (222,207,211 ); "Я = 014,222,207,211 = /3 (222,207,211);

Я, = 020,222,207,211 = /4 (222,207,211);

Я= 031,223,201,206 = /5 (223,201,206);

X, = 046,222,207,211 = ft (222,207,211);

я= 052,222,207,211=/, (222,207,211).

Вэтом массиве полностью совпадают векторы (222.

(222, 207, 211)] = [013, 014, 020, 045,052(222,207, 211)].

120