Разработка формальных моделей рассуждающих сетей для анализа параллельных событийных процессов

• Автор: Анисимов, Михаил Михайлович
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Москва
• Количество страниц: 101 с. : ил.

1.6.3.1отегсети

Дискретные нейронные сети

Мак Каллокаиттса УЫ

Вычислительные сети СЫ

Сети ВанХао АУ1Ч

Выводы

Глава 2 Формализация сетей ВанХао

Когнитивная карта

Построение когнитивной карты по данным опроса экспертов.

Логика исследования сети ВанХао

Задачи формализации

Процессорное представление для УЫ
Формы представления сценариев возбуждения для УЫ
Система логических уравнений для
Глава 3 Автоматное представление событийных сетей 3.1 Формальная интерпретация
ДО сетью автоматов
Выводы
Внутренняя структура элементарного автомата и
правила его работы в сети
Асинхронный автомат Малера
Пространство состояний автомата
Алгебраические решетки для представления и анализа данных .
Поведение ЛАМ в ситуационном пространстве
Композиции сетей ТО
Выводы
Глава 4 Асинхронное управление в сетях ВанХао
Асинхронное управление в живых и неживых системах
Задача разметки сети управляющими функциями
Задача построения тормозящих процессов
Выводы
Глава 5 Примеры построения формализации для реальных событийных сетевых моделей
1 ропозишюнная сеть для экспертных систем
Описание экспертных правил
Построение формализованной модели
Построение системы уравнений
Событийная рассуждающая модель
для исследования динамики цен в Российской экономике.
Выбор сущностей
Описание причинноследственных связей
Построение формализованной модели Т4
Событийная рассуждающая модель для человека, находящегося в депрессии
Собы тийная рассуждающая модель
для анализа энергетических катастроф
Выводы
Заключение
Список литературы


Алгебраические сети АМ. Вычислительные модели Э. Построение когнитивной карты по данным опроса экспертов. Глава 3 Автоматное представление событийных сетей 3. Алгебраические решетки для представления и анализа данных . Российской экономике. Цель и задачи работы. Малера. Научная новизна. ВанХао в виде . ВанХао. Института система энергетики им. Л.А. Мелентьева СО РАН. ЗАО ВТБ Капитал, Москва и V i i. В первой главе вводится набор необходимых понятий. Рассмотрение формальных объектов событийных сетей сопровождается примерами. Во второй главе рассмотрен формальный аппарат сетей ВанХао. РЫпроцессорная сеть, Ж1отегсеть, а ЛАМ асинхронный автомат Малера. ВанХао. Жпегсети в виде сети некоторых элементарных автоматов. Жпегсетями и сетями ДУЫ. На базе этих примеров построены формализованные событийные модели. ТК. Тотегссть, обеспечивающих корректность формализации. Зотегсети в виде набора элементарных автоматов. Малера. Исследована задача достижимости и выводимости конечных цепочек событий.