Математические методы и программные средства для исследования и решения задач, формализуемых системами линейных дизъюнктных неравенств

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. МОДЕЛИ ЗАДАЧ ПЛАНИРОВАНИЯ И
ДИСПЕТЧЕРИЗАЦИИ. ИХ ФОРМАЛИЗАЦИЯ И АНАЛИЗ МЕТОДОВ РЕШЕНИЯ.
1.1. Модель задачи оперативного регулирования производственного процесса.
1.2. Модели задач теории расписаний и планирования.
1.3. Модель задачи распределительного типа.
1.4. Принадлежность задачи линейных дизъюнктных неравенств к классу ЫР
1.5. Возможные варианты сведения системы линейных дизъюнктных неравенств к системе простых неравенств
1.6. Выводы
ГЛАВА 2. МАТЕМАТИЧЕСКИЕ МЕТОДЫ НА ОСНОВЕ СТРАТЕГИИ УСТРАНЕНИЯ НЕВЯЗОК ДЛЯ РЕШЕНИЯ ЗАДАЧ НА СИСТЕМАХ ПРОСТЫХ ЛИНЕЙНЫХ НЕРАВЕНСТВ
2.1. Стратегия устранения невязок и ее использование для создания математической платформы для решения задач планирования
и диспетчеризации.
2.1.1. Существо стратег ии устранения невязок
2.1.2. Доказательство финитности стратег ии устранения
невязок
2.1.3. Градиентный метод для повышения скорости сходимости стратегии устранения невязок
2.1.4. Анализ скорости сходимости градиентного метода
2.1.5. Вариант реализации стратегии устранения невязок без неравенств 0блока
2.2. Задача линейного программирования.
2.3. Выводы
ГЛАВА 3. МАТЕМАТИЧЕСКИЕ МЕТОДЫ НА ОСНОВЕ СТРАТЕГИИ УСТРАНЕНИЯ НЕВЯЗОК ДЛЯ РЕШЕНИЯ ЗАДАЧ НА СИСТЕМАХ ЛИНЕЙНЫХ ДИЗЪЮНКТНЫХ НЕРАВЕНСТВ
3.1. Стратегия устранения невязок для решения задач на системах линейных дизъюнктных неравенств в вещественных числах
3.2. остроение модели времени счета задач на линейных дизъюнктных неравенствах
3.3. Задача оптимизации на системах линейных дизъюнктных неравенств, с приближенный подход
3.4. Статистически оптимальный алгоритм для задач линейных дизъюнктных неравенств
3.5. Использование стратегии устранения невязок для систем линейных дизъюнктных неравенств для решения целочисленных и булевых задач
3.6. Выводы.
ГЛАВА 4. РАЗРАБОТКА КОМПЛЕКСА ПРОГРАММ ДЛЯ
АВТОМАТИЗАЦИИ ИССЛЕДОВАНИЯ И РЕШЕНИЯ ЗАДАЧ, ФОРМАЛИЗУЕМЫХ СИСТЕМАМИ ЛИНЕЙНЫХ ДИЗЪЮНКТНЫХ НЕРАВЕНСТВ
4.1. Объектноориентированные технологии в автоматизации
прикладных задач.
4.1.1. Иерархия классов.
4.1.2. Диаграмма классов
4.2. Синтаксис спецификаций в форме БэкусаНаура
4.3. Реализация.
4.4. Примеры моделей задач практической реализации
4.4.1. Технологический процесс изготовления изделий на заводе крупнопанельного домостроения 1.
4.4.2. Технологический процесс изготовления плат
4.4.3. Задача раскроя материала.
4.5. Выводы.
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ