Ви є тут

Исследование алгебраических сетей, порождающих совокупность вычислительных моделей

Автор: 
Старостин Петр Александрович
Тип роботи: 
диссертация кандидата физико-математических наук
Рік: 
2007
Артикул:
15984
179 грн
Додати в кошик

Вміст

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. ВВЕДЕНИЕ В АЛГЕБРАИЧЕСКИЕ СЕТИ.
1.1 .Вычислительные сети Тыугу
1.2.Поведенческие модели.
1.3.Сетевые модели с бинарными отношениями, заданными на одинаковых
конечных алфавитах.
1 Асемантические сети ВанХао
ГЛАВА 2. АСИНХРОННЫЕ АЛГЕБРАИЧЕСКИЕ СЕТИ.
ГЛАВА 3. РАССУЖДАЮЩИЕ СЕТИ I .
ГЛАВА 4. РЕФЛЕКСИВНЫЕ РАССУЖДАЮЩИЕ СЕТИ
4.1.Теория и семантика рефлексивных систем Лефевра. Полиномы Лефевра
4.2.Семантика
4.3.Структура взаимодействия процессов, реализующих фантом
Лефевра
4.4.Модели взаимодействия процессов
4.5.Алгебраические .
4.6.Пример рефлексивной рассуждающей сети
ГЛАВА 5. ЭЛЕМЕНТЫ ТЕОРИИ АЛГЕБРАИЧЕСКИХ СЕТЕЙ
5.1.Основные определения теории алгебраических сетей.
5.2.Алгебра абстрактной вычислительной машины АВМ и формулы АВМ
5.3.Теорема о нахождении выделении дерева вывода функции выходной переменной.
5.4.Критерий противоречивости и разрешимости задачи, поставленной на .
5.5.Рекурсивная циклическая АВМ
5.6.Интерпретированные АВМ. Основанная теорема
5.7.Представление вычислительной модели в виде яруснопараллельной формы
ГЛАВА 6. ПРИМЕНЕНИЕ АЛГЕБРАИЧЕСКИХ СЕТЕЙ ДЛЯ РЕШЕНИЯ ПРАКТИЧЕСКИХ ЗАДАЧ.
6.1. Моделирование рассуждений членов правительства, решающих единую задачу
6.2. Модель бизнеспроцесса, основанного на рефлексивном менеджменте.
6.3.Моделирование операции Буря в пустыне
6.4.Алгебраическая сеть, описывающая модель прямолинейного движения тела
6.5.Моделирование операции Террористы против пограничников
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ