- •Среда проектирования алгоритмов татра-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. Организация базы знаний системы программирования татра
1.5. Состав среды проектирования алгоритмов татра-2
Среда проектирования ТАТРА-2 является проблемно-ориентированной системой проектирования алгоритмов, позволяющая представлять алгоритмы в табличной форме, формировать базы знаний, оптимизировать алгоритмы.
Алгоритм разбивается на три составные части, каждая из которых представляется в виде трех документов. Обработка каждого документа выполняется оригинальной процедурой. Машинная (внутренняя) форма представления документов отлична от представления его разработчиком (внешней формы). Представление документов и процедуры реализации алгоритмов ориентированы на возможность выбора множества допустимых решений при обработке конкретных данных (например, данных о детали). Следовательно, процедуры обработки данных позволяют выбирать допустимое множество решений.
В состав среды проектирования алгоритмов ТАТРА-2 входят:
исходные языки, на которых записывается алгоритм решения задачи;
транслятор, предназначенный для автоматического перевода записи алгоритмов с внешнего языка на внутренний, оптимизации оформления алгоритмов, формирования баз знаний (БЗ), в которых хранятся алгоритмы, представленные на внешнем, промежуточном и внутреннем языках;
набор инструментальных программ, применяемых в программных системах принятия решений;
набор обслуживающих программ, предназначенные разработчикам проектировать и отлаживать алгоритмы, а также документировать проект;
техническое описание и инструкции по работе со средой проектирования алгоритмов.
2. Состав среды проектирования алгоритмов татра-2
Среда проектирования алгоритмов ТАТРА-2 включает функциональные, информационные, вспомогательные и организационные компоненты.
К функциональным компонентам относятся:
редактор среды проектирования алгоритмов ТАТРА-2. С помощью редактора пользователь в диалоговом режиме проектирует алгоритм в табличном виде на внешнем языке среды проектирования алгоритмов ТАТРА-2. Имя компонента – srtatrwa.exe;
система формирования области определения алгоритмов. Данный компонент определяет область определения алгоритма, когда по алгоритму выбирается хотя бы одно решение. Имя компонента – srtatrfa.exe;
система анализа алгоритмов. Алгоритм анализируется на повторение решения, на задание признака по всему интервалу. Имя компонента – srtatraa.exe;
система сравнения двух алгоритмов на совпадение. Алгоритмы анализируются на совпадение. Имя компонента – srtatrsa.exe;
системы оптимизации алгоритмов. Алгоритм оптимизируется по составу признаков и размерности правил (предикатов). Имя компонента – srtatroa.exe;
система формирования области определения заданной системы автоматизированного проектирования (САПР). Данный компонент определяет объединенную область определения всех алгоритма, применяемых в конкретной САПР. Имя компонента – srsystfa.exe;
функции интерпретации алгоритмов, представленных в декларативной форме. Эти компоненты представляют собой функции, которые используются при проектировании САПР.
К организационным компонентам относится:
система выбора команд системы программирования и справок о системе. Этот компонент – меню команд среды проектирования алгоритмов ТАТРА-2. Имя компонента – srtatr00.exe;
средства обеспечения информационного взаимодействия. Эти компоненты организуют связь программных единиц по данным;
монитор. Компонент служит для управления вычислительным процессом в системе программирования ТАТРА.
Информационный компонент состоит из:
баз данных алгоритмов (баз знаний);
баз данных о признаковых пространствах;
справочников.
К вспомогательным компонентам относятся:
программный компонент формирования справочников. Имя компонента – srtatrws.exe;
программный компонент печати справочников. Имя компонента – srtatris.exe;
программный компонент печати баз данных. Имя компонента – srtatrig.exe.
Взаимодействие некоторых программных компонентов системы программирования показано на рис.1.
Рис.1. Взаимодействие компонентов среды проектирования алгоритмов ТАТРА-2
