- •Среда проектирования алгоритмов татра-2 (версия 2) (руководство разработчика)
- •Аннотация
- •Содержание
- •Глава 1. Анализ процессов проектирования алгоритмов
- •1.1. Актуальность создания системы проектирования алгоритмов
- •1.2. Анализ форм представления алгоритмов
- •1.3. Анализ схемы проектирования алгоритмов
- •1.4. Документы описания алгоритмов
- •2. Состав среды проектирования алгоритмов татра-2
- •1.5. Состав среды проектирования алгоритмов татра-2
- •3. Алгоритм функционирования среды проектирования алгоритмов татра-2
- •Aist.Mnt
- •Srtatr00.Exe
- •Выход в операционную систему
- •Решение задачи
- •Закрытие файлов
- •Алгоритмов татра-2
- •Глава 2. Компоненты среды проектирования алгоритмов татра-2
- •2.1. Диалоговый компонент ввода алгоритмов
- •Подготовка рабочих переменных и полей
- •Алгоритм применения правил и выбора допустимого множества решений
- •Алгоритм оформления решений
- •Оформление решения заданного константами
- •Глава 3. Базы данных и знаний среды проектирования алгоритмов татра-2
- •3.1. База данных «Алгоритмы»
- •3.2. База данных «Текстовая форма алгоритмов»
- •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. Состав программного обеспечения
- •4. Организация базы данных системы программирования татра
- •5. Организация базы знаний системы программирования татра
3. Алгоритм функционирования среды проектирования алгоритмов татра-2
Алгоритм представлен на рис.2. Первоначально формируется база знаний.
При изменении БД «Признаковое пространство» автоматически формируется новый справочник имен признаков, который соответствует измененной БД.
Монитор
Выполнение обрабатывающих программ
База
цепочек
Запуск меню
Aist.Mnt
Выбор опции (команды) меню задач среды проектирования ТАТРА
msp:
Srtatr00.Exe
Выход в операционную систему
Выбор задачи
выход в ОС
закрытие файла
protocol.txt
выход на функцию
Подстановка цепочки с вызовом меню функций
spmenu00
samenu00
szmenu00
srmenu00
shmenu00
Подстановка цепочки выполнения задачи
Решение задачи
нет
Задача закончена?
<имя функции>
да
Подстановка цепочки выхода из задачи
подстановки
srtatrwa.exe
srtatrfa.exe
srtatraa.exe
srtatrsa.exe
srtatroa.exe
srtatrws.exe
srtatris.exe
srtatrig.exe
Закрытие файлов
выход в меню среды ТАТРА через монитор
Рис. 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. Документ описания решений алгоритма
