【摘 要】
：
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于
论文部分内容阅读
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterprise architecture specification,IDEAS),构建了C4ISR体系结构作战视图元模型;建立了对象Petri网(object Petri-net,OPN)建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。
其他文献
<正>随着交通业、工业、建筑业的发展,地震、滑坡等自然灾害的频繁发生,意外事件日渐增多,而对伤员生命威胁最大的是多发伤。其特点是病情凶险复杂、发展急、变化快。所以及
<正> 关于方程同解概念的深入讨论,可以促进解方程的严谨态度和讨论技巧,所以是研究方程的重要方面,虽然目前中学通用教材中没有引进它,作为教师仍是必须掌握的。这里,着重谈
<正>医学整体发展态势研究:精准医学的哲学思考及精准医学与真实世界研究;大数据医疗、共享医疗与"互联网+医疗"对医学发展的影响;医学整合的目标与医学整合的实践研究。医学
<正>当前,高中地理在普通高考科目的设置中处于"小科"地位。高考考分比起语文、数学和英语要少得多,对高中学生产生误导作用,使他们认为地理课在高考中过关容易,绝大多学生觉
<正>No.1:同声传译:年进账三四十万元。同声传译员被称为"21世纪第一大紧缺人才"。随着中国对外经济交流的增多和奥运会带来的"会务商机"的涌现,需要越来越多的同声传译员。N
网络化C4ISR系统规模庞大、结构复杂,系统结构成为影响网络化C4ISR系统各种特性的主要因素,特别是结构与系统抗毁性之间存在直接的因果关系。本文在分析系统结构抗毁性概念的
现代公民教育的首要目标是培养具有社会参与能力的下一代合格公民。当前,世界各国的公民教育主要有知识学习、技能学习、价值观学习三种学习模式,侧重关心民主法则及其实现过
介绍以压缩空气和高压水为动力，砂浆靠负压自动吸入，循环使用的喷砂机。使用该设备可完成精铸件、毛坯件、冲压件、热处理件、机加工件及焊接件的氧化皮、残盐、毛刺清理，及对有
随着北斗卫星导航系统应用的日益广泛,导航终端设备的体积也越来越小,导航天线作为终端设备的关键器件,其小型化研究变得越来越重要。本文围绕北斗卫星导航系统的要求,首先设
首先由支路复功率表达式得出节点电压与支路功率损耗之间的关系,结合潮流计算的雅克比矩阵,得到支路功率损耗与节点注入功率之间的灵敏度关系,然后根据网损的定义求得各节点