论文题目: 基于工作流的兵力调度技术研究
论文类型: 博士论文
论文专业: 管理科学与工程
作者: 汪文元
导师: 沙基昌
关键词: 兵力调度,工作流,一体化建模框架,格式化描述,形式化描述,兵力调度计划执行集成算法,三层调度架构,调度建模
文献来源: 国防科学技术大学
发表年度: 2005
论文摘要: 传统的兵力调度方式存在信息化、自动化程度低,协调性、可靠性、适应性以及柔性差等问题,这些问题的存在使得传统的兵力调度手段不能适应信息化作战的需要。基于此本文提出基于工作流的兵力调度解决方案,力图在一定程度上解决存在的问题。围绕研究的目标,本文主要研究了如下内容:(1)提出了基于工作流的兵力调度建模技术。本文针对传统工作流建模在面向大型复杂应用(特别是军事应用)方面的不足,提出基于概念模型工程的一体化建模框架。该建模框架能够充分协调各建模人员和建模阶段,并通过概念模型促进模型复用等。基于该建模框架,面向兵力调度本文进一步研究了基于CMMS的数据搜集、基于ECA规则的兵力调度格式化描述以及基于UML的兵力调度形式化建模,在此基础上给出了基于工作流的兵力调度模型。(2)研究了工作流模型的VV&A。传统工作流模型质量方面的研究多从一些具体技术着手,如仿真、形式化校核等,没有将模型质量作为一个整体考虑。本文针对该问题研究了工作流模型的VV&A。在此基础上本文将模型检验技术引入工作流模型校核,进一步确保了工作流模型质量。(3)提出基于工作流技术的兵力调度解决方案。本文首先提出基于工作流技术的兵力调度的计划和计划执行集成解决方案,提出分层调度模型并研究了相应的集成算法。然后针对兵力调度的特点,提出包含计划层、执行层和控制层的三层兵力调度架构,并在此架构基础上提出基于调度建模的集成解决方案,该方案主要由组件和框架构成,能够满足兵力调度实施的高效高质要求。(4)开发了相应的兵力调度工具集。工具集由组件库、建模工具集和调度执行系统三部分构成,并对各部分相应功能和实现机理进行了分析。(5)本文通过不明空情案例进行了实证研究。
论文目录:
摘 要
Abstract
第一章 绪论
§1.1 问题的提出
1.1.1 信息化作战
1.1.2 兵力调度
§1.2 相关理论的国内外研究现状
1.2.1 兵力调度技术
1.2.2 工作流技术
1.2.3 使命空间概念模型
1.2.4 小结
§1.3 本文的研究内容与主要工作
1.3.1 研究思路及主要研究内容
1.3.2 本文的主要工作和主要创新点
§1.4 本文的组织
第二章 基于工作流的兵力调度建模技术研究
§2.1 基于概念模型工程的工作流一体化建模框架
2.1.1 工作流建模技术概述
2.1.2 基于概念模型工程的一体化建模框架
§2.2 基于 ECA 规则的兵力调度格式化建模
2.2.1 基于 CMMS 的数据搜集
2.2.2 基于 ECA 规则的格式化描述
2.2.3 基于模式的描述方法
§2.3 基于 UML 的兵力调度形式化建模
2.3.1 基于 UML 的工作流建模表达
2.3.2 格式化到形式化的映射
2.3.3 模型视图的一致性
§2.4 基于工作流的兵力调度模型研究
2.4.1 概述
2.4.2 基于工作流的兵力调度模型
§2.5 小结
第三章 兵力调度模型的 VV&A研究
§3.1 兵力调度模型的 VV&A
3.1.1 兵力调度模型 VV&A
3.1.2 兵力调度模型质量指标
3.1.3 兵力调度模型的 VV&A 实施
3.1.4 兵力调度模型 VV&A 的意义
3.1.5 小结
§3.2 基于 UML 活动图执行语义的兵力调度过程模型校核
3.2.1UML 活动图执行语义研究
3.2.2 兵力调度过程模型的模型检验技术研究
§3.3 小结
第四章 基于工作流的兵力调度实施研究
§4.1 基于工作流的兵力调度计划和计划执行集成研究
4.1.1 引言
4.1.2 集成的兵力调度计划和调度计划执行
4.1.3 协调集成调度 CWIS
4.1.4 计划和调度集成算法 IPSA
4.1.5 小结
§4.2 基于三层结构的兵力调度实施架构
4.2.1 引言
4.2.2 兵力调度实施
§4.3 兵力调度工具集研究
4.3.1 系统组成
4.3.2 建模工具集
4.3.3 调度系统
§4.4 基于工作流的兵力调度实施
§4.5 小结
第五章 案例研究
§5.1 不明空情案例概述
5.1.1 概述
5.1.2GF 报告关于不明空情的研究结论
§5.2 基于工作流的不明空情兵力调度实施
5.2.1 概述
5.2.2 准备阶段
5.2.3 概念建模
5.2.4 实现建模
5.2.5 组件/应用系统开发
5.2.6 兵力调度实施
§5.3 小结
第六章 总结与展望
§6.1 本文的主要贡献
§6.2 展望
致 谢
参考文献
附录 A:作者在博士学习阶段发表的论文
附录 B:作者在博士学习阶段主要项目经历
发布时间: 2006-09-14
相关论文
- [1].工作流过程模型的层次研究及其分析[D]. 王斌君.西北大学2002
- [2].工作流管理技术研究[D]. 于万钧.吉林大学2004
- [3].面向企业的工作流管理技术[D]. 张朝辉.吉林大学2005
- [4].面向企业应用的工作流精简建模研究[D]. 肖郑进.浙江大学2006
- [5].分布异构环境中事务工作流技术的研究[D]. 任怡.国防科学技术大学2005
- [6].支持业务流程管理的工作流建模和分析理论研究[D]. 朱海平.华中科技大学2004
- [7].面向分布应用的工作流管理系统研究与实现[D]. 柯飞帆.南京航空航天大学2006
- [8].任务空间概念建模技术及其VV&A研究[D]. 何晓晔.国防科学技术大学2005
- [9].基于工作流建模技术的信息系统开发方法[D]. 李景洲.中国科学院研究生院（计算技术研究所）2001
- [10].支持群体工作的工作流系统关键技术研究[D]. 李峰.中国科学院研究生院（计算技术研究所）2001
标签：兵力调度论文; 工作流论文; 一体化建模框架论文; 格式化描述论文; 形式化描述论文; 兵力调度计划执行集成算法论文; 三层调度架构论文; 调度建模论文;