Автоматизация моделирования экологических комплексов с использованием матричных алгоритмических сетей

• Автор: Михайлов, Владимир Валентинович
• Шифр специальности: 05.13.16
• Научная степень: Докторская
• Год защиты: 1998
• Место защиты: Санкт-Петербург
• Количество страниц: 240 с.

ОГЛАВЛЕНИЕ
СПИСОК УСЛОВНЫХ ОБОЗНАЧЕНИЙ И СОКРАЩЕНИЙ
ВВЕДЕНИЕ
ГЛАВА 1. ЗАДАЧИ ЭКОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ И ФОРМАЛИЗМ АЛГОРИТМИЧЕСКИХ СЕТЕЙ
1.1.Требования к системам моделирования, ориентированным на применение в области экологии
1.2. Идеографические языки представления моделей
1.3 Язык алгоритмических сетей
1.4. Полнота алгоритмических сетей и реализация рекурсивных процедур
1.5. Моделирование стадий жизненного цикла объектов
Выводы по главе
ГЛАВА 2. МАТРИЧНОЕ РАСШИРЕНИЕ АЛГОРИТМИЧЕСКИХ СЕТЕЙ
2.1,Область применение и эффективность матричной системы автоматизации моделирования
2.2.Алгоритмический базис и правила построения матричных алгоритмических сетей
2.3.0братимость матричных алгоритмических сетей
2.4.0пределение типов переменных и размерностей массивов в матричной алгоритмической сети
2.5.Распределение памяти в матричной алгоритмической сети
2.6.Расширение языка алгоритмических сетей для представления итерационных процедур
2.7. Определение размерности переменных и распределение памяти в сетях с циклами
Выводы по главе

ГЛАВА 3. ВЫЧИСЛЕНИЯ НА МАТРИЧНЫХ АЛГОРИТМИЧЕСКИХ СЕТЯХ
3.1. Моделирование процессов, описываемых уравнениями в частных производных (явные разностные схемы решения)
3.2. Моделирование процессов, описываемых уравнениями в частных производных (неявные разностные схемы решения)
3.3. Мягкие вычисления на алгоритмических сетях
Выводы по главе
ГЛАВА 4. ЭЛЕМЕНТЫ ТЕХНОЛОГИИ МНОЖЕСТВЕННОГО МОДЕЛИРОВАНИЯ НА АЛГОРИТМИЧЕСКИХ СЕТЯХ
4.1.Технология множественного моделирования и объектно-ориентированный подход
4.2. Структуризация предметной области и формирование визуализированной базы моделей
4.3. Операции над алгоритмическими сетями фрагментарных моделей при их комплексировании
4.4. Процедуры согласования алгоритмических сетей и формирование “белойа базы фрагментарных моделей
4.5. Свойства операций комплексирования алгоритмических сетей
4.6. Гиперсети и многоуровневая структуризация предметной
области
Выводы по главе
ГЛАВА 5. СИСТЕМА АВТОМАТИЗАЦИИ МОДЕЛИРОВАНИЯ КОГНИТРОН-М
5.1. Принципы построения инструментальной системы КОГНИТРОН
5.2..Матричное расширение системы КОГНИТРОН
5.3. Интегрированная система моделирования

КОГНИТРОН-МАШШ
Выводы по главе
ГЛАВА 6. МОДЕЛИРОВАНИЕ ЭКОЛОГИЧЕСКИХ ОБЪЕКТОВ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА АЛГОРИТМИЧЕСКИХ СЕТЕЙ
6.1.Моделирование сельскохозяйственного производства
6.2 Моделирование эко-промысловой системы Таймыра
6.3. Моделирование водных объектов
Выводы по главе
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА

Управляющими переменными цикла являются переменные у1 и у2. Первая служит для ввода начального значения переменной состояния х4, вторая обеспечивает переключение режимов нормального счета и холостой прокрутки цикла. Переменные у1, у2 и г 1 - булевские, значение 1 соответствует выполнению указанных действий.
Задача синтеза АС с циклами сводится теперь к задаче синтеза автомата, генерирующего управляющие переменные У=<у1,у2,..уз.>.
Структура автомата определяется последовательностью работы циклов, его входными переменными являются переменные внешней сети, управляющие запуском циклов и переменные окончания счета циклов, формируемые на АС тела цикла 2=<г1,г2
Топология схем структурного программирования с циклами допускает два базовых способа композиции структур типа цикл -одноуровневую (соприкасающиеся или независимые циклы) и многоуровневую (вложенные циклы), с помощью которых может быть построена любая правильная композиция логических схем типа цикл. В качестве примера одноуровневой композиции рассмотрим АС, в которой имеются два взаимосвязанных цикла С1 и С2 (Рис.1.4(а)>. Циклы включаются последовательно, сначала выполняется итерационная процедура счета в С1, затем в С2 и т.д. Предполагается, что начальное значение переменных состояния х1 и хб формируется в цикле С1. Выходными переменными являются х5 и х10, переменные 2? и г2 фиксируют окончание счета в циклах, внешняя переменная гЗ фиксирует окончание счета на сети. Дополнительные операторы, необходимые для хранения выходных переменных на рисунке не показаны, т.к. для их работы не требуются дополнительные управляющие сигналы.
Будем строить управляющий автомат в форме синхронного автомата Мура (Рис. 1.4(6)), состояниям которого соответствуют выходные сигналы у1-у4:
1. Состояние а1, выходной сигнал у1 - ввод данных для С1.