- •Среда проектирования алгоритмов татра-2 (версия 2) (руководство разработчика)
- •Аннотация
- •Содержание
- •Глава 1. Анализ процессов проектирования алгоритмов
- •1.1. Актуальность создания системы проектирования алгоритмов
- •1.2. Анализ форм представления алгоритмов
- •1.3. Анализ схемы проектирования алгоритмов
- •1.4. Документы описания алгоритмов
- •1.5. Состав среды проектирования алгоритмов татра-2
- •2. Состав среды проектирования алгоритмов татра-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. Организация базы знаний системы программирования татра
Оформление решения заданного константами
Вычислить адрес расположения констант в поле Буффер
Выделить число констант Ч
Вычислить адрес расположения констант в поле:
Адрес = НачалоИнфМас + КолСтол * С + Т
Занесение Ч констант с Адрес
А
С
Формирование протокола
Код завершения
Оформление решения по программе
Обращение к программе
Формирование имени программы
Формирование протокола: “Потомок не запущен”
Обращение к программе состоялось?
да
нет
Нормальный код заверения
Аварийный код завершения: Ctrl-Break, ошибки устройств, резидентное завершение и т.п.
Определить начало следующего правила
Конец
А
Глава 3. Базы данных и знаний среды проектирования алгоритмов татра-2
В среде проектирования ТАТРА-2 организуются и используются следующие баз данных (БД) и знаний (БЗ):
БД «Алгоритмы» организуется для обеспечения эффективной работы при проектировании алгоритмов. Эта БД используется только в среде проектирования ТАТРА-2;
БД «Текстовые формы алгоритмов» организуются для выполнения работ по проектированию и отладке алгоритмов, формированию технической документации по алгоритмическому обеспечению, развитию систем проектирования проектных решений. Эти БД используются в среде проектирования ТАТРА-2, в системах проектирования проектных решений и системе обучения;
БД «Промежуточные формы алгоритмов» организуются для выполнения работ по оптимизации алгоритмов и развитию систем проектирования проектных решений. Эти БД используются в среде проектирования ТАТРА-2 и системе обучения;
БЗ систем проектирования проектных решений организуются для выполнения работ по отладке алгоритмов, развитию систем проектирования проектных решений. Эти БД используются в среде проектирования ТАТРА-2, в системах проектирования проектных решений и системе обучения;
БД «Описание пространства признаков систем проектирования» используются для обеспечения эффективной работы при проектировании алгоритмов. Эти БД используются в среде проектирования ТАТРА-2, в системах проектирования проектных решений и системе обучения
При описании БД и БЗ воспользуемся бэкусовой нормальной формой. Будем использовать следующую символику:
::= — читается "это есть",
— читается "или",
<> — метапеременная, определяющая смысловую часть записи.
При формировании строк таблиц используются знаки и константы:
<знак> ::=<собственный знак> <объектный знак>
<собственный знак > ::= * / ; , ' >
<объектный знак> ::= <цифра> <буква> = # < > <= >= ( ) [ ] + - .
<цифра> ::= 0 1 2 3 4 5 6 7 8 9
<буква> ::= <буквы латинского алфавита> <буквы русского алфавита>
Из цифр, букв и знаков "+", "-", "." формируются константы.
<константа>::=<целая константа> <действительная константа> <текстовая константа>
Запись константы определяет ее значение и тип.
<целая константа> ::=<знак константы> <целое без знака> <целое без знака>
<целое без знака> ::=<цифра> <цифра> <целое без знака>
<знак константы> ::= + - <пусто>
<пусто> ::=
Значение целой константы по абсолютной величине не может превышать 2147483647.
<действительная константа>::=<знак константы><целое без знака>.<целое без знака> <знак константы><целое без знака>. <знак константы>.<целое без знака>
После десятичной точки может стоять не более трех цифр.
<текстовая константа> ::= <буква> <цифра> <буква><текстовая константа> <цифра><текстовая константа>
Если перед целой или действительной константой нет знака, то она воспринимается как положительная.
Примеры:
1) целая константа: 2; +21; -7;
2) действительная константа: 200.1; -31.2; +.05; +0.4; -.5;
3) текстовая константа: А206; 2А; 217; Б.
Настоящая версия системы программирования ТАТРА работает с положительными константами.
