C^4ISR体系结构描述的逻辑和行为验证

来源 :系统工程与电子技术 | 被引量 : 0次 | 上传用户:luck88
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.
其他文献
目的探究类风湿因子(RF)、抗环瓜氨酸肽(CCP)抗体、抗角蛋白抗体(AKA)及C反应蛋白(CRP)联合检测用于类风湿关节炎(RA)的诊断价值。方法选择2016年12月至2019年1月于该院住院
我校2000年为学生机房更换了30台多媒体电脑,建立了局域网,并通过代理服务器上Interne宽带网,为信息技术教学提供了必要的条件.为了保存系统,我采用了Ghost方式,将系统备份,
<正>欧阳山尊在2005年中国戏剧出版社出版的《顾仲彝戏剧文稿选辑》的序中写道:“唐槐秋创办的中国旅行剧团成立,演出的第一个戏即《梅罗香》……中国旅行剧团带着这个戏演遍
电动修复技术是一种新型土壤修复技术,主要通过对污染土壤施加直流电场使土壤中产生电渗流和离子电迁移等电动力学效应,从而将土壤中的重金属等污染物质输送出土壤,达到修复
会议
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
混凝土灌注桩桩体注浆是指当桩基桩身质量或桩端持力层存在缺陷,达不到设计要求时,需要进行的补强加固处理。如何保证加固的效果,需要进行实验研究,以便为工程应用提供参考,
目的探讨进行健康体检的成年男性血红蛋白(Hb)水平升高与其空腹血糖(FBG)、血尿酸(UA)及血脂[三酰甘油(TG)与总胆固醇(TC)]检测结果。方法将2018年10-11月1 007例Hb升高的成
重庆大学重庆大学创立于1929年,经过半个多世纪的发展和积累,目前已经是一所国家教育部直属的、拥有研究生院,本科专业涵盖了理、工、文、经、管、法、教育等学科门类的全国著名
目的探究唤醒状态下手术切除脑功能区胶质瘤围术期标准化护理流程的应用效果。方法以该院2015年2月至2018年10月收治的80例全身麻醉术中唤醒状态下行脑功能区胶质瘤手术患者
目的:初步探讨脊髓损伤术后深静脉血栓(DVT)形成的高危因素为预防DVT提供一定的参考价值。方法:选取2016年1月至2017年12月因胸腰段椎体爆裂骨折致脊髓损伤的85例患者作为研