Ви є тут

Сеть автоматов для моделирования асинхронного взаимодействия процессов

Автор: 
Новик Константин Валерьевич
Тип роботи: 
Дис. канд. физ.-мат. наук
Рік: 
2006
Артикул:
16309
179 грн
Додати в кошик

Вміст

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1 ВВЕДЕНИЕ В СИСТЕМЫ ВЗАИМОДЕЙСТВУЮЩИХ ПРОЦЕССОВ.
1.1 Сеть Петри для моделирования асинхронного взаимодействия процессов при использовании общих ресурсов.
1.2 Сети с накоплениями событий
1.3 Сети с распознающими предикатами.
1.4 Вычислительные сети СЧ
1.5 Самосинхронизирующиеся сети 4
1.6 Асинхронные преобразующие сети.
1.7 Высказывательная пропозиционная сеть для экспертных систем
1.8 Выводы по главе 1
ГЛАВА 2 ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ТЕОРИИ ЗОШЕИСЕТЕЙ
2.1 Концепту альная интерпретация опегсетей и взаимосвязей их элементов
2.2 Формальная система, порождающая правильно построенные формулы ЛЧ.
2.3 Матричная форма представления ЛЧ.
2.4 Проблемы анализа сетей и формы их представления, удобные для анализа
2.5 Лпсгалгебра склеивающая алгебра.
2.6 Техника работы с Лопсгалгсброй.
2.7 Теорема о яруснопараллельной форме Лпсгсеги
2.8 Многопроцессорное разложение сетей. Теорема о процессорной декомпозиции. Теорема о композиции локальных сетей.
2.9 Формальная интерпретация ЛЧ сетью автоматов
2. Внутренняя структура элементарного автомата и правила его работы в сети
2. Теорема о работающей цепочке
2. Выводы по главе 2.
ГЛАВА 3 ИЗВЕСТНЫЕ МОДЕЛИ АСИНХРОННЫХ СИСТЕМ УПРАВЛЕНИЯ ПРОЦЕССАМИ И ИХ ПРЕДСТАВЛЕНИЕ IСЕТЬЮ
3.1 Сети Петри
3.2 Асинхронные цифровые схемы сети Маллера .
3.3 Дискретные нейронные сети Мак КаллокаПнттса V
3.4 Семантическая сет ВанХао .
3.5 Алгебраические сети . Исчисление ЭрбранаГеделя. Вычислительные модели Э. Тыугу.
3.6 Ринговые и роторные сети , .
3.7 Выводы по главе 3
ГЛАВА 4 МОДЕЛИ РЕАЛЬНЫХ АСИНХРОННЫХ СИСТЕМ, ИСПОЛЬЗУЮЩИХ IСЕТИ.
4.1 Модель, описывающая процессы разрушения древнерусских фресок .
4.1.1 Описание модели
4.1.2 Элементы модели
4.1.3 Сеть, описывающая состояние фрески.1
4.1.4 Пример работы сети.
4.2 Модель удаленной Интернетатаки
4.2.1 Описание модели
4.2.2 Элементы модели
4.2.3 Сеть для моделирования атаки.
4.2.4 Пример работы сети.
4.3 Модель системы связи канального процессора с двумя абонентами.
4.3.1 Описание модели
4.3.2 Сеть, моделирующая систему связи канального процессора с двумя абонентами через адаптер.
4.3.3 Пример работы сети.
4.4 Модель информационной системы поля боя.
4.4.1 Описание модели
4.4.2 Элементы модели
4.4.3 Сеть для четырех подразделений.
4.4.4 Пример работы сети.
4.5 Модель группового поведения стаи рыб.
4.5.1 Описание модели
4.5.2 Элементы модели
4.5.3 Сеть для стаи из пяти рыб
4.5.4 Пример работы сети
4.6 Модель биржевой игры
4.6.1 Описание модели.
4.6.2 Элементы модели.
4.6.3 Сеть для двух игроков.
4.6.4 Пример работы сети
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ