|
军事任务计划建模与优化方法 内容简介
本书研究基于约束满足（SAT）理论的任务不确定军事行动方案生成问题建模与求解方法，提出了一种基于PA网络的任务不确定项目调度问题建模方法，设计了一种基于领域知识的SAT问题求解算法；基于多目标约束优化理论的资源不确定军事任务规划方法，提出了一种军事任务规划问题多目标进化优化算法，扩充了多目标进化算法的实际应用领域；基于鲁棒性调度理论的时间不确定军事资源分配方法，提出了一种基于资源流网络的军事资源分配方案生成算法，设计了一种在调度方案中优化分配时间缓冲的正向逆向调度算法。
军事任务计划建模与优化方法 目录
第1章 绪论
1．1 基本概念及研究背景
1．2 国内外发展现状
1．2．1 军事任务计划系统
1．2．2 军事任务计划建模方法
1．2．3 军事任务计划求解方法
1．2．4 现状总结
第2章 军事任务计划问题描述
2．1 军事任务计划问题要素
2．1．1 任务的概念分析
2．1．2 任务关系分析
2．1．3 资源的概念分析
2．2 不确定因素分析
2．2．1 任务不确定性及分析
2．2．2 资源不确定性及分析
2．2．3 时间不确定性及分析
2．3 不确定环境下任务计划问题建模
2．3．1 符号定义
2．3．2 约束条件
2．3．3 目标函数
2．4 不确定环境下军事任务计划求解框架
2．4．1 设计思想
2．4．2 不确定性应对策略
2．4．3 不确定环境下军事任务计划问题求解框架
2．5 本章小结
第3章 行动方案建模及优化算法
3．1 军事行动方案生成问题概述
3．2 军事行动方案生成问题建模
3．2．1 SAT理论基本概念
3．2．2 基于SAT理论的问题模型
3．2．3 基于逻辑任务图的问题模型化简方法
3．3 军事行动方案求解算法
3．3．1 SAT问题的求解算法
3．3．2 DPLL算法框架
3．3．3 基于知识的任务不确定军事行动方案求解算法
3．4 案例分析
3．4．1 案例想定
3．4．2 问题建模
3．4．3 问题求解
3．5 本章小结
……
第4章 任务一资源匹配建模及优化算法
第5章 资源流建模及优化算法
第6章 展望
参考文献
|
