【摘 要】
：
反导作战预案是提高作战决策方案生成实时性和准确性的关键。通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的
论文部分内容阅读
反导作战预案是提高作战决策方案生成实时性和准确性的关键。通过对反导作战预案具体应用流程的分析,结合SysML,OWL_DL和CBML等形式化建模语言,提出了一种具有模型验证环节的预案形式化建模方法;根据所提出的方法,分析提炼了反导作战预案构成要素,定义了SysML块定义图、预案要素、OWL_DL和XML Scheme元素之间的映射规则;依据相应的转换规则,分别建立了反导作战预案概念层模型、逻辑层模型、物理层模型和预案本体模型,并应用预案本体模型对概念层模型进行了模型一致性验证。
其他文献
公元前2世纪30年代和20年代,格拉古兄弟所进行的以土地为中心的改革试图通过合法途径解决小农破产问题,恢复罗马共和政治制度的根基。但这种充满理想和复旧色彩的主张与日益
目的 :考察美敏伪麻口服液的临床疗效与安全性。方法 :以美敏伪麻口服液与美可糖浆进行随机对照临床研究。结果 :两组临床控制率分别为 77.8%与 73% ,有效率分别为 10 0 %与
随着改革开放的深入，建筑市场实行了门户开放，我国政府投资工程管理中出现了一些问题，为提高政府投资工程的投资效益和建设管理水平，与国际接轨，分析了传统项目管理模式的弊端，指出
《数学课程标准》中明确指出：有效的学习活动不能单纯依赖模仿与记忆，动手实践、自主探究、合作交流是学生学习数学的重要方式。因而，我们的数学课堂教学就应营造浓厚的自主学习
<正>一、什么叫转座子 转座子是一种能在细胞内不同DNA间转移的DNA序列。在本世纪40年代,美国遗传学家B.McClintok就在玉米中发现了这种遗传因子,她发现玉米的有些基因活性是
深入研究股票指数间的领先-滞后关系,对投资者发现不同市场间的套利机会、规避市场风险以及市场监管者制定监管政策具有重要意义。本文利用VECM模型研究上证指数、深圳成分指
“创新是一个民族进步的灵魂,是一个国家兴旺发达的不竭动力。”18世纪的科技革命——蒸汽机的发明,将时代推向工业化,手工劳动逐渐被机器取代,生产率得到了大幅提升;19世纪,
本文从国土资源"一张图"工程的背景出发,研究和探讨了市级"一张图"工程的顶层设计、建设目标、框架和内容。针对以往数据建库等缺少标准化建设的局限性,研究提出了常州市"一
马上就到清明节了，全国各地都迎来了祭扫高峰。说起“代客扫墓”，并不算是新鲜事，前几年就有很多淘宝商家在做这种生意，价格则根据服务内容的不同而定。但是这些由个人进行的“代
居民消费作为拉动经济可持续发展的重要增长极,日益成为政府部门、专家学者、行业企业所关注的焦点问题。许多国内外学者对感知价值影响消费者购买意愿的因素进行了大量的研