Из анализа матрицы М следует, что элемент d2 является входным ( нулевой столбец ), d4— выходным (нулевая строка), остальные — промежуточные.

В чем состоит отличие входных, промежуточных и выходных наборов данных? Какие из них подлежат хранению?

Для анализа информационных потоков в управляемой системе исходными являются данные о парных взаимосвязях, или отношениях (т.е. есть отношение или нет отношения), между наборами информационных элементов.

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

Матрицей достижимости М называют квадратную бинарную матрицу, проиндексированную по обеим осям множеством информационных элементов D аналогично матрице смежности В. Запись 1 в каждой позиции (i,j ) матрицы достижимости соответствует наличию для упорядоченной пары информационных элементов (di, dj) смыслового отношения достижимости R. Элемент dj достижим из элемента di , т.е.

выполняется условие di rо dj, если на графе G = (D,Ro) существует направленный путь от вершины di к вершине dj ( в процессе получения значения элемента dj используется значение элемента di ).

Если di dj , то отношение достижимости между элементами di и dj отсутствует и в позиции (i,j ) матрицы М записывают 0.

Записи 1 в j -м столбце матрицы М соответствуют информационным элементам di , которые необходимы для получения значений элементов dj и образуют множество элементов предшествования A(di ) для этого элемента. Записи 1 в i-й строке матрицы М соответствуют всем элементам dj , достижимым из рассматриваемого элемента di и образующим множество достижимости rоdj этого элемента.

Информационные элементы, строки которых в матрице М не содержат единиц (нулевые строки), являются выходными информационными элементами, а информационные элементы, соответствующие нулевым столбцам матрицы М, являются входными. Это условие может служить проверкой правильности заполнения матриц В и М, если наборы входных и выходных информационных элементов известны. Информационные элементы, не имеющие нулевой строки или столбца, являются промежуточными.

На основе матрицы М строится информационный граф gs (D,R) системы, структурированный по входным N1, промежуточным N2 и выходным N3 наборам информационных элементов и полученный из анализа множества элементов предшествования A(d i ) и достижимости R (d j ).

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

Информационный граф системы gs (D,R) структурируется по уровням (N1, N2, N3,) с использованием итерационной процедуры, что позволяет определить информационные входы ( N1 ) и выходы ( N3 ) системы, выделить основные этапы обработки данных, их последовательность и циклы обработки на каждом уровне. Кроме того, удаляются избыточные (лишние) дуги и элементы. Граф, получаемый после структуризации по наборам информационных элементов и удаления избыточных элементов и связей, определяет каноническую структуруинформационной базы.

Что такое каноническая структура информационной базы?

Для анализа информационных потоков в управляемой системе исходными являются данные о парных взаимосвязях, или отношениях (т.е. есть отношение или нет отношения), между наборами информационных элементов.

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

Матрицей достижимости М называют квадратную бинарную матрицу, проиндексированную по обеим осям множеством информационных. Запись 1 в каждой позиции (i,j ) матрицы достижимости соответствует наличию для упорядоченной пары информационных элементов (di, dj) смыслового отношения достижимости R. Элемент dj достижим из элемента di , т.е.

выполняется условие di rо dj, если на графе G = (D,Ro) существует направленный путь от вершины di к вершине dj ( в процессе получения значения элемента dj используется значение элемента di ).

Если di dj , то отношение достижимости между элементами di и dj отсутствует и в позиции (i,j ) матрицы М записывают 0.

Записи 1 в j -м столбце матрицы М соответствуют информационным элементам di , которые необходимы для получения значений элементов dj и образуют множество элементов предшествования A(di ) для этого элемента. Записи 1 в i-й строке матрицы М соответствуют всем элементам dj , достижимым из рассматриваемого элемента di и образующим множество достижимости rоdj этого элемента.

Информационные элементы, строки которых в матрице М не содержат единиц (нулевые строки), являются выходными информационными элементами, а информационные элементы, соответствующие нулевым столбцам матрицы М, являются входными. Это условие может служить проверкой правильности заполнения матриц В и М, если наборы входных и выходных информационных элементов известны. Информационные элементы, не имеющие нулевой строки или столбца, являются промежуточными.

На основе матрицы М строится информационный граф gs (D,R) системы, структурированный по входным N1, промежуточным N2 и выходным N3 наборам информационных элементов и полученный из анализа множества элементов предшествования A(d i ) и достижимости R (d j ).

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

Информационный граф системы gs (D,R) структурируется по уровням (N1, N2, N3,) с использованием итерационной процедуры, что позволяет определить информационные входы ( N1 ) и выходы ( N3 ) системы, выделить основные этапы обработки данных, их последовательность и циклы обработки на каждом уровне. Кроме того, удаляются избыточные (лишние) дуги и элементы. Граф, получаемый после структуризации по наборам информационных элементов и удаления избыточных элементов и связей, определяет каноническую структуруинформационной базы.

Информационный граф gs (D,R)

для рассматриваемого примера

Таким образом, каноническая структура задает логически неизбыточную информационную базу. Выделение наборов элементов данных по уровням позволяет объединить множество значений конечных элементов в логические записи и тем самым упорядочить их в памяти ЭВМ.