Присвоение 0-кодов переменным проводится на основании анализа их формул определяемости и выявления отношений типа синонимия и часть-целое между переменной и ее аргументом или между двумя переменными одного ранга.
На ьтором этапе осуществляется присвоение 0-кодов всем переменным в МОП, а также построение полного ОСП и ГСР. После обработки переменных одного ранга выполняется переход к переменным следующего ранга и, таким образом, просматриваются последовательно все переменные МОП. Присваиванию 0-кодов переменным одного ранга предшествует процесс приведения их формул определяемости к каноническому виду.
В случае продолжения работы системы программа Диспетчер организует процесс формирования и размещения промежуточных и выходных данных в информационных массивах. Для организации этого процесса необходимо создать список, представляющий собой перечень без повторений 0-кодов переменных, составляющих всю совокупность введенных сообщений, - так называемый список активных точек.
Переменная, не являющаяся результатом переноса другой переменной, получает новый О-код и образует новую группу понятий, которые заносятся вместе с ее именем в ОСП. Переменные одного ранга, образуемые на основе тождественно равных ФОП, являются синонимами и объединяются одним 0-кодом.
Таким образом, тезаурус представляет собой информацию о наиболее общих связях и отношениях переменных в системе. Элементами тезауруса являются прямой словарь переменных ( ПСП), представляющий собой упорядоченный перечень имен переменных ( номер таблицы и локальный код) и соответствующих им общесистемных кодов ( 0-кодов) переменных, п обращенный словарь переменных ( ОСП), отражающий отношение синонимии и упорядоченный по общесистемным кодам переменных. Каждому 0-коду переменной в ОСП однозначно соответствуют дескриптор переменной, ее формат, список имен переменных, являющихся синонимами и объединенных данным 0-кодом, а также номер группы понятий.
На ьтором этапе осуществляется присвоение 0-кодов всем переменным в МОП, а также построение полного ОСП и ГСР. После обработки переменных одного ранга выполняется переход к переменным следующего ранга и, таким образом, просматриваются последовательно все переменные МОП. Присваиванию 0-кодов переменным одного ранга предшествует процесс приведения их формул определяемости к каноническому виду.
Таким образом, тезаурус представляет собой информацию о наиболее общих связях и отношениях переменных в системе. Элементами тезауруса являются прямой словарь переменных ( ПСП), представляющий собой упорядоченный перечень имен переменных ( номер таблицы и локальный код) и соответствующих им общесистемных кодов ( 0-кодов) переменных, п обращенный словарь переменных ( ОСП), отражающий отношение синонимии и упорядоченный по общесистемным кодам переменных. Каждому 0-коду переменной в ОСП однозначно соответствуют дескриптор переменной, ее формат, список имен переменных, являющихся синонимами и объединенных данным 0-кодом, а также номер группы понятий.
Значительный интерес представляет автоматизация процесса построения структуры информационных массивов. Это построение осуществляется на основе анализа всех документов ( таблиц), описанных в терминальных спецификациях, а именно: исходных, промежуточных и внешних результатов. Каждая таблица на основе анализа ее состава и структуры представляется как сумма структурных компонент ( СК), каждая из которых описывается формально как последовательность 0-кодов признаков ( элементов ключа) с указанием родо-видовых отношений между ними и 0-кода характеристики, стоящего в конце последовательности.
| Поделиться: |