Введение
Глава 1. Булевы модели, методы и алгоритмы планирования параллельных абстрактных программ 19
1.1. База знаний планировщика 20
1.2. Статическая булева модель планирования 21
1.3. Динамическая булева модель планирования 23
1.4. Абдукция в булевых моделях планирования 26
1.5. Планирование параллельных абстрактных программ как булева выполнимость 31
1.6. Планирование параллельных абстрактных программ с учетом ресурсных ограничений 39
Глава 2. Язык представления вычислительных знаний DeCoR: методы и средства трансляции 45
2.1. Язык описания вычислительных знаний и постановок вычислительных задач 47
2.2. Транслятор описаний вычислительных моделей и постановок задач 50
2.3. Планировщик параллельных абстрактных программ 55
2.4. Выбор базовых средств параллельного программирования 58
2.5. Шаблон параллельной управляющей программы на языке Fortran-DVM 63
2.6. Генератор параллельной управляющей программы на языке Fortran-DVM 66
Глава 3. Многовариантный анализ сложного оптико-механического комплекса с использованием системы DeCoR 70
3.1. Имитационная модель сложного оптико-механического комплекса 71
3.2. Вычислительная модель сложного оптико-механического комплекса 76
3.3. База вычислительных знаний, примеры постановок задач, результатов планирования абстрактных программ и генерации управляющих программ на языке Fortran-DVM 79
Заключение
Литература 83
Приложения 92


