Облако тэгов
Сборник 17. ПРОБЛЕМЫ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ СТРОИТЕЛЬСТВОМ. ПРОЕКТИРОВАНИЕ ОРГАНИЗАЦИЙ.
Стр.24
ЛОГИКО-ИНТЕРПРЕТАЦИОННЫЙ БЛОК (ЛИБ)
Проект с точки зрения ЛИБ рассматривается как интерпретация теоретико-множественной модели, те как совокупность значений переменных (списковых, числовых и др) модели [2, 10].
Первый этап — формирование теоретико-множественной модели — выполняется с помощью аппарата синтеза моделей, который предполагает представление каждой теоретико-множественной модели в форме текста специального вида, называемого текстом рода структуры. Такой текст, с логической точки зрения, - это фрагмент теории рода структуры в смысле Н. Бурбаки [1], т.е. содержит базисные множества, родовую структуру, ступень, аксиомы, некоторые теоремы и переносимые (или внутренние) термы (т.е. определяемые, производные понятия) [10]. Фразы текста рода структуры называются конституэнтами. Аппарат содержит ряд операций над текстами родов структур. что позволяет представить теоретико-множественную модель проектируемой системы (так называемый главный род структуры) в виде результата некоторой последовательности операций над некоторыми исходными теоретико-множественными моделями (так называемыми базовыми родами структур). При этом в операциях могут фигурировать также вспомогательные аргументы двух видов: отображения и дополнения, которые всегда являются исходными и служат для конкретизации (однозначной определенности) операций. Первый этап состоит в получении на ЭВМ текста главного рода структуры по так называемому базовому замыканию операционной схемы, т.е. по заданной последовательности операций и заданным исходным аргументам (базовым родам структур, отображениям и дополнениям).
Каждая операция индуцирует частичные отображения аргументов (т.е. текстов родов структур или дополнений как множеств фраз-конституэнт) в результат выполнения операций, являющихся всегда текстом рода структуры.
Отображение сводится, как правило, к переобозначению переменных, вхолящих в конституэнты. Эти отображения, а также их композиции называются Т-интерпретациями, а обратные (неоднозначные) отображения — антиинтерпретациями. Т-интерпретации являются вложениями специального вида одних теорий в другие.
Второй этап представляет собой сложный диалоговый процесс построения R-интерпретации главного рода структуры. Человек (проектировщик) сначала формирует так называемый R-интерпретируемый главный род структуры. т.е. отмечает конституэнты, R-интерпретация (значения) которых составит содержание проекта, а также отмечает конституэнты, R-интерпретацию которых он будет выполнять сам. Кроме того, для отдельных конституэнт указываются идентификаторы программ, которые реализуют R-интерпретацию этих конституэнт. Поскольку конституэнта как фраза представляет собой выражение, определяющее ее через другие конституэнты, то каждую конституэнту (главным образом это относится к переносимым термам) можно рассматривать как функцию и, следовательно, как задачу на построение алгоритма и программы. Имея такую входную информацию, а также располагая, во-первых, способностью производить синтаксический анализ формул-выражений конституэнт, выделяя в них элементарные подформулы и, во-вторых. программными модулями для R-интерпретации элементарных формул, ЭВМ осуществляет автоматическую R-интерпретацию и выдает список конституэнт для «ручной» R-интерпретации. Получив затем R-интерпретацию требуемых конституэнт, ЭВМ повторяет эту процедуру до тех пор, пока все конституэнты, определяющие содержание проекта, не получат значения.