CPN仿真的C4ISR体系结构验证评估
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
CPN仿真的C4ISR体系结构验证评估
赵弘;蒋晓原;王春峰
【期刊名称】《火力与指挥控制》
【年(卷),期】2008(033)009
【摘要】在分析基于CPN (Colored Petri Net)仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的转换方法进行了探讨,并结合实例利用具体信息系统对其体系结构进行了逻辑验证、行为和效能评估.
【总页数】3页(P4-5,10)
【作者】赵弘;蒋晓原;王春峰
【作者单位】通信指挥学院,湖北,武汉,430010;中国电子设备系统工程研究所,北京,100039;解放军西安陆军学院,陕西,西安,710108
【正文语种】中文
【中图分类】TP302
【相关文献】
1.基于CADM的C4ISR体系结构数据完备性验证方法研究 [J], 张辉清
2.中间产品C4ISR体系结构动态行为语义一致性验证方法 [J], 丁泽柳;罗雪山;罗爱民
3.C4ISR体系结构验证评估 [J], 刘俊先;罗雪山;罗爱民;陈洪辉
4.C4ISR体系结构验证评估 [J], 刘俊先;罗雪山;罗爱民;陈洪辉;
5.基于描述逻辑的C4ISR系统体系结构一致性验证方法 [J], 王智学;董庆超;姜志平;王庆龙
因版权原因，仅展示原文概要，查看原文内容请购买。