- •Глава 1. Анализ процессов проектирования алгоритмов
- •1.1. Актуальность создания системы проектирования алгоритмов
- •1.2. Анализ форм представления алгоритмов
- •1.3. Анализ процесса проектирования алгоритмов
- •1.4. Документы описания алгоритма
- •1.5. Определение системы программирования татра
- •Раздел 2. Языки описания алгоритмов
- •4.1. Язык заполнения сводной документа описания признаков
- •4.2. Язык описания правил выбора решений (язык описания таблицы предикатов)
- •4.3. Язык описания решений задачи
- •5. Дополнительные возможности описания алгоритмов
- •5.1. Оптимизация объема памяти, занимаемой алгоритмом (язык описания таблицы предикатов)
- •5.2. Язык заполнения таблицы признаков
- •5.3. Язык описания правил выбора решений без ссылки на сводный документ описания признакового пространства
- •6. Организация ввода алгоритмов в базу данных
- •6.1. Ввод данных в пакетном режиме
- •Int filtr(long n, long a, short l, short *I, short *j, long *m, int RazM, long *k, int RazK) ,
- •Int predi( long n, long k, long m, int RazM, long r, int RazM) ,
- •Int resch(long n, short f, long a, short l, short I, short j, long m, int RazM) ,
- •7.2. Методика проектирования программы вычисления признаков
- •7.3. Методика проектирования программы оформления решения
- •8. Организация хранения алгоритмов в базе данных
- •7.2. Организация информационных массивов в системе программирования tatra
- •8.1. Структура массива мо
- •8. Состав программного обеспечения
1.5. Определение системы программирования татра
Система программирования ТАТРА_в2 является проблемно-ориентированной системой проектирования алгоритмов, позволяющая представлять алгоритмы в табличной форме, формировать базы знаний, оптимизировать алгоритмы.
Алгоритм разбивается на три составные части, каждая из которых представляется в виде трех документов. Обработка каждого документа выполняется оригинальной процедурой. Машинная (внутренняя) форма представления документов отлична от представления его оператором (внешняя). Формы представления документов ориентированы на возможность выбора множества допустимых решений при обработке конкретных данных (например, данных о детали), и поэтому процедуры обработки данных позволяют выбирать допустимое множество решений.
В состав системы программирования ТАТРА_в2 входят:
исходные языки, на которых записывается алгоритм решения задачи;
транслятор, предназначенный для автоматического перевода записи алгоритмов с внешнего языка на внутренний, оптимизации оформления алгоритмов, формирования баз знаний (БЗ), в которых хранятся алгоритмы, представленные на внешнем, промежуточном и внутреннем языках;
набор инструментальных программ, применяемых в программных системах принятия решений;
набор обслуживающих программ, предназначенные разработчикам проектировать и отлаживать алгоритмы, а также документировать проект;
техническое описание и инструкции по работе с системой программирования.
Номер решения |
Эскиз или схема |
Свойства решения |
Уточнение решения с помощью дополнительных систем |
Моделирование решения |
|
|
|
|
|
|
|
|
|
|
Рис. 4. Таблица описания решений
С В О Д Н А Я Т А Б Л И Ц А П Р И З Н А К О В |
|||||
Имя системы |
С=СИММЕТР |
||||
Номер признака |
Имя признака |
Адрес признака |
Программа вычисления признака |
||
строка |
столбец |
||||
1. |
ШЕРОХОВ; |
Ц=1; |
Т=1; |
|
|
2. |
ТОЧНОСТЬ; |
Ц=1; |
Т=2; |
|
|
3. |
|
|
|
|
|
Рис. 5. Сводный документ описания пространства признаков
Т А Б Л И Ц А Р Е Ш Е Н И Й |
||||
Справка |
Имя системы |
Имя алгоритма |
||
С=СИММЕТР; |
А=МЕТ; |
|||
Номер решения |
Адрес расположения |
Программа |
Решение |
|
Р=1; |
Ц=1; Т=3; |
К=’шлифование’; |
|
|
Р=2; |
Ц=1; Т=3; |
К=’развертывание’; |
|
|
Р=3; |
Ц=1; Т=3; |
К=’точение’; |
|
|
Р=4; |
Ц=1; Т=3; |
К=’протягивание’; |
|
|
Р=5; |
Ц=1; Т=3; |
К=’зенкирование’; |
|
|
|
|
|
|
|
Рис. 6. Документ описания решений алгоритма