排序方式： 共有1条查询结果，搜索用时 15 毫秒
1
1.
C4ISR体系结构描述的逻辑和行为验证 总被引：5，自引：0，他引：5
针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程. 相似文献
1