Ви є тут

Формально-логический подход к построению процедуры принятия решения по управлению пожарно-спасательными формированиями города

Автор: 
Бала Виктор Алексеевич
Тип роботи: 
кандидатская
Рік: 
2006
Кількість сторінок: 
131
Артикул:
33819
179 грн
Додати в кошик

Вміст

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. СОВРЕМЕННОЕ СОСТОЯНИЕ ПРОБЛЕМЫ ПО УПРА 9 ВЛЕНИЮ ПОЖАРНОСПАСАТЕЛЬНЫМИ ФОРМИРОВАНИЯМИ ГОРОДА
1.1. Особенности принятия решения диспетчером ЕДДС в условиях 9 чрезвычайной ситуации.
1.2. Анализ путей совершенствования системы экстренного
реагирования на чрезвычайные ситуации.
1.3. Перспективы развития автоматизированных систем
оперативнодиспетчерского управления МЧС.
1.4. Концепция создания специального программного и
информационного обеспечения ЕД ДС.
1.5. Особенности формализации задач управления для системы
поддержки принятия решений ЕДДС.
Выводы по 1 главе.
ГЛАВА 2. МОДЕЛЬ СЕМИОТИЧЕСКОЙ СЕТИ ПРЕДСТАВЛЕ
НИЯ ЗНАНИЙ НА БАЗЕ ПРОБЛЕМНООРИЕНТИРОВАННОГО ЯЗЫКА УПРАВЛЕНИЯ ДИНАМИЧЕСКИМИ ОБЪЕКТАМИ
2.1. Анализ языков формального описания и манипулирования знаниями семиотических моделей ситуационного управления.
2.1.1. Языки обработки символьной информации.
2.1.2. Языки программирования интеллектуальных решателей.
2.1.3. Языки представления знаний.
2.1.4. Проблемноориентированный язык управления
2.1.4.1. Синтаксис проблемноориентированного языка описания процессов управления.
2.1.4.2. Содержательная интерпретация основных категорий языка
2.2. Структура аксиоматической теории среды на основе логики предикатов первого порядка.
2.3. Аксиоматическая модель логического вывода решения по управлению динамическими объектами.
2.4. Семиотическая сеть как модель мира системы ситуационного управления по управлению динамическими объектами.
Выводы по 2 главе
ГЛАВА 3. РАЗРАБОТКА СТРУКТУРЫ СИСТЕМЫ ПРИНЯТИЯ
РЕШЕНИЙ НА ОСНОВЕ СЕМИОТИЧЕСКОЙ СЕТИ ЗНАНИЙ.
3.1. Принципы построения системы поддержки принятия решения на основе семиотической сети знаний
3.2. Структура программного обеспечения вопросноответной системы, реализующей логический вывод решения
3.3. Модель оптимизации выбора программ проверки условий истинности ответа в процессе логического вывода решения.
3.4. Алгоритма оптимизации выбора программ проверки условий 0 истинности ответа в процессе логического вывода решения.
3.5. Структура проблемноориентированного языка 3 программирования для описания задач управления
Выводы по 3 главе
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ