8.1. Структура массива мо
В обращении к программам FILTR1, PREDI1, RESCH1 участвует массив МО, хранящий таблицы алгоритмов на внутреннем языке. Структура массива МО представлена на рис.17.
8. Состав программного обеспечения
TATRAI - транслятор данных сводной таблицы признаков.
TATRIF - транслятор данных таблиц признаков.
- номер правила
1-ая элементарная конъюнкция
предложение
- конец предложения
2-ая элементарная конъюнкция
предложение
Логическая функция для выбора первого решения
- конец предложения
.........................
предложение
n-ая элементарная конъюнкция
- конец системы предложений (конец правила)
- номер правила
Логическая функция для выбора второго решения
правило
- конец правила
........................
- номер правила
Логическая функция для выбора m-того решения
правило
- конец таблицы
Рис.15. Структура записей, хранящих данные о правилах выбора решений
Рис.16. Структура записи, хранящей данные о решениях
TATRIP - транслятор данных таблиц предикатов.
TATRIR - транслятор данных таблиц решений.
FILTR1 - программа формирования кортежа признаков.
PREDI1 - программа выбора допустимого множества решений.
RESCH1 - программа формирования результата.
1
имя фильтра
2
3
...................
фильтр
203
204
имя предиката
205
206
...................
предикат
1210
1211
имя решения
1212
1213
...................
решение
1413
Рис.17. Структура массива МО
4. Организация базы данных системы программирования татра
В системе программирования ТАТРА предусмотрены:
базы данных признаковых пространств, в которых работают САПР (например, система «Симметрия», система «Корпус» и т.д.) и
справочники имен признаков, с которыми работает редактор системы программирования ТАТРА, которые формируются для каждой САПР.
Базы данных о признаковых пространствах САПР имеют одноуровневую структуру. Название базы данных (имя файла) совпадает с именем системы. Например, для автоматизированной системы (АС) «Симметрия» название базы данных – это СИММЕТРИЯ. Файл состоит из записей, имеющих одинаковую структуру.
Структура записи о признаковом пространстве. В файле признакового пространства, в котором решаются задачи конкретного семейства САПР, хранятся данные о каждом признаке, которые используются для принятия решений. Название файла совпадает с именем системы (например, СИММЕТРИЯ). Файл состоит из записей, имеющих одинаковую структуру и одинаковую длину, и располагаются последовательно.
Структура записи:
<запись данных о признаке> ::= <имя признака (8 символов)> <номер строки, где хранится признак (2 байта)> <номер столбца, где хранится признак (2 байта)> <свойство цикличности строки (1 байт)> <свойство цикличности столбца (1 байт)> <минимальное значение признака (4 байта)> <максимальное значение признака (4 байта)> <точность признака (2 байта)>
Справочник имен признаков формируется специальной программой, которая автоматически запускается при изменении БД «Признаковое пространство». Справочник представляет собой совокупность записей по 8 символов, в каждой из которых хранится имя признака.