
- •Глава 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. Состав программного обеспечения
5.3. Язык описания правил выбора решений без ссылки на сводный документ описания признакового пространства
<таблица предикатов>::= <имя алгоритма><тело условия>/ <имя алгоритма> (<данные о признаках>) <тело условия>/
<имя алгоритма>::= А=<текстовая константа, не превышающая 8 символов>;
Данные о признаках и тело условия задаются по правилам, описанным в разделе 4.2. и 5.1.
Связь таблицы предикатов с описанием пространства признаков осуществляется по совпадению имен.
ЗАМЕЧАНИЯ:
Если до задания правил выбора решений не было сформировано описание признаков, то формируется частичное описание признакового пространства, а именно, заносится разбиение. В этом случае в описание признакового пространства заносится признак незавершенности.
Если до задания правил выбора решений было сформировано разбиение признаков в описании пространства признаков, а при описании правил выбора решений не задавались данные о признаках, то разбиение выбирается из описания признакового пространства.
Если до задания правил выбора решений было сформировано разбиение признаков в описании пространства признаков, а при описании правил выбора решений задавались данные о признаках, то в описание признакового пространства заносится новое разбиение и проводится контроль по числу задаваемых признаков.
6. Организация ввода алгоритмов в базу данных
6.1. Ввод данных в пакетном режиме
Для ввода, контроля оформления алгоритмов, преобразования их во внутреннюю форму и записи в базу данных применяются трансляторы, которые работают в пакетном режиме:
ввод данных сводной документа о признаках выполняется с помощью транслятора TATRAI. Обращение к транслятору из командной строки:
tatrai < <имя файла, где хранится сводная таблица признаков>
ввод данных таблицы признаков выполняется с помощью транслятора TATRIF. Обращение к транслятору из командной строки:
tatrif < <имя файла, где хранится таблица признаков>
ввод данных о правилах принятия решений выполняется с помощью транслятора TATRIP. Обращение к транслятору из командной строки:
tatrip < <имя файла, где хранятся данные о правилах>
ввод данных таблицы решений выполняется с помощью транслятора TATRIR. Обращение к транслятору из командной строки:
tatrir < <имя файла, где хранится таблица решений>
6.2. Ввод данных в диалоговом режиме
Для ввода алгоритмов в диалоговом режиме, контроля оформления алгоритмов, преобразования их во внутреннюю форму, записи в базу данных и оптимизации алгоритмов применяется транслятор TATRA. Обращение к транслятору осуществляется при выборе в меню команды «Ввод алгоритма». Структура транслятора и схема его работы представлены на рис. 8.
6.3. Преобразование алгоритма из внутренней формы в текстовую
Преобразование алгоритма из внутренней формы в текстовую.
6.3. Вывод алгоритмов на твердый носитель
Печать.
Функционально, можно выделить несколько частей программного продукта:
редактор данных в алгоритме на внешнем языке;
транслятор алгоритмов с внешнего языка на внутренний
ввод/вывод данных на внешнем/внутреннем языке на экран/печать
Рис. 8. Структура и схема его работы транслятора
7. Применение системы программирования ТАТРА при проектировании программной системы
При проектировании программных систем используются обрабатывающие программы системы программирования ТАТРА, создаются загрузочные модули, предназначенные для вычисления признаков и формирования решений, накапливается база данных "Алгоритмы". Ниже описана методика выполнения работ прикладным программистом при проектировании программной системы с применением системы программирования ТАТРА.
7.1. Организация обращение к обрабатывающим программам системы программирования ТАТРА
Для реализации алгоритмов выбора решений, которые хранятся в базе данных, используются специальные программы:
формирования кортежа признаков - "filtr",
выбора решений - "predi",
оформления решений - "resch".
Эти программы спроектированы с использованием языка системы программирования "Си". Обращение к обрабатывающим программам следующее.