| 反导作战预案形式化建模研究 |
| |
| 引用本文： | 范海雄,刘付显,邹志刚.反导作战预案形式化建模研究[J].现代防御技术,2013,41(1):1-8,41. |
| |
| 作者姓名： | 范海雄 刘付显 邹志刚 |
| |
| 作者单位： | 空军工程大学防空反导学院,陕西西安,710051 |
| |
| 摘 要： | 反导作战预案是提高作战决策方案生成实时性和准确性的关键.通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法；根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则；依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证.
|
| 关 键 词： | 反导作战预案 建模 一致性验证 系统建模语言 网络本体描述语言 案例标记语言 |
Antimissile Preparative Solution Formal Modeling Method |
| |
| FAN Hai-xiong
,
LIU Fu-xian
,
ZOU Zhi-gang.Antimissile Preparative Solution Formal Modeling Method[J].Modern Defence Technology,2013,41(1):1-8,41. |
| |
| Authors: | FAN Hai-xiong LIU Fu-xian ZOU Zhi-gang |
| |
| Institution: | (AFEU,Air-Defence and Anti-Missile Institute,Shaanxi Xi’an 710051,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
