Логическое моделирование систем с последовательно-параллельной структурой

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. ОБЗОР РАБОТ ПО МОДЕЛИРОВАНИЮ И ОПТИМИЗАЦИИ ДИСКРЕТНЫХ СИСТЕМ.
1.1. Классификация моделей и методов решения задач дискретной
ОПТИМИЗАЦИИИ
1.2. Характеристика методов математического программирования
. 1.3. Описание метода исследования на графах
, 1.4. Описание метода ветвей и границ.
1.5 Характеристика статистического моделирования
1.6 Выводы и постановка задачи
2. СТРУКТУРНОЛОГИЧЕСКИЙ ПОДХОД К АНАЛИЗУ ПОСЛЕДОВАТЕЛЬНОПАРАЛЛЕЛЬНОЙ СИСТЕМЫ
2.1. Краткая характеристика математического аппарата непрерывной логики и логических определителей.
2.2. Описание интервального анализа.
2.2.1. Краткое описание принципов сравнения и оптимизации интервальных величин
2.2.2. Характеристика интервальных логических определителей
2.3 Разработка формальнологической модели последовательнопараллельной системы обслуживания в задачах о назначениях
2.4 Анализ условий существования решения недетерминированной
ТРЕХИНДЕКСНОЙ ЗАДАЧИ О НАЗНАЧЕНИЯХ
2.5. Выводы.
3. СИНТЕЗ ПЛАНА РАБОТЫ ПОСЛЕДОВАТЕЛЬНО ПАРАЛЛЕЛЬНОЙ СИСТЕМЫ
3.1 Синтез последовательнопараллельной системы методом ветвей и границ
3.2. Разработка метода оптимизации, основанного на вычислении логических определителей.
3.3. Создание метода решения задачи в условиях интервальной неопределенности.
3.4. Конструктивный подход к построению приближеннооптимального решения
3.5. Анализ алгоритма приближенной оптимизации
3.6. Выводы.
4. КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ПОСЛЕДОВАТЕЛЬНОПАРАЛЛЕЛЬНЫХ СИСТЕМ
4.1. Процессы управления в транспортноэкспедиторской компании
4.2. Описание требований к системе моделирования
4.3. Реализация программного комплекса моделирования экологии
ТРАНСПОРТНОЭКСПЕДИТОРСКОЙ КОМПАНИИ.
4.4. Характеристика режимов решения задач с помощью экспертной
СИСТЕМЫ.
4.5. Организация диалога с пользователем на ограниченном
естественном языке
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ