Введение
Глава 1. Модели задач планирования и диспетчеризации. их формализация и анализ методов решения 15
1.1. Модель задачи оперативного регулирования производственного процесса 15
1.2. Модели задач теории расписаний и планирования 19
1.3. Модель задачи распределительного типа 23
1.4. Принадлежность задачи линейных дизъюнктных неравенств к классу NP 24
1.5. Возможные варианты сведения системы линейных дизъюнктных неравенств к системе простых неравенств 26
1.6. Выводы 35
Глава 2. Математические методы на основе стратегии устранения невязок для решения задач на системах простых линейных неравенств 37
2.1 Стратегия устранения невязок и ее использование для создания математической платформы для решения задач планирования и диспетчеризации 37
2.1.1. Существо стратегии устранения невязок 38
2.12. Доказательство финитности стратегии устранения невязок 40
2.1.3. Градиентный метод для повышения скорости сходимости стратегии устранения невязок 45
2.1.4. Анализ скорости сходимости градиентного метода 48
2.1.5. Вариант реализации стратегии устранения невязок без неравенств 0-блока 50
2.2. Задача линейного программирования 52
2.3. Выводы 55
Глава 3. Математические методы на основе стратегии устранения невязок для решения задач на системах линейных дизъюнктных неравенств 56
3.1. Стратегия устранения невязок для решения задач на системах линейных дизъюнктных неравенств в вещественных числах 56
3.2 Построение модели времени счета задач на линейных дизъюнктных неравенствах 62
3.3. Задача оптимизации на системах линейных дизъюнктных неравенств, є- приближенный подход 66
3.4. Статистически оптимальный алгоритм для задач линейных дизъюнктных неравенств 68
3 5. Использование стратегии устранения невязок для систем линейных дизъюнктных неравенств для решения целочисленных и булевых задач 75
3.6. Выводы 76
Глава 4. Разработка комплекса программ для автоматизации исследования и решения задач, формализуемых системами линейных дизъюнктных неравенств 78
4.1. Объектно-ориентированные технологии в автоматизации прикладных задач 85
4.1.1. Иерархия классов 86
4.1.2. Диаграмма классов 96
4.2. Синтаксис спецификаций в форме Бэкуса-Наура 97
4.3. Реализация 102
4.4. Примеры моделей задач практической реализации І 08
4.4.1. Технологический процесс изготовления изделий на заводе крупно-панельного домостроения №1 108
4.4.2. Технологический процесс изготовления плат 111
4.4.3. Задача раскроя материала 114
4.5. Выводы 123
Заключение 126
Список использованных источников 127
