摘要
本发明公开了一种基于DM2和OODA的航空装备作战体系架构DoDAF模型验证方法,首先对DoDAF模型进行基于DM2的结构完备性验证;然后对DoDAF模型进行基于OODA环的内容完备性验证;最后对DoDAF模型进行数据动态验证。本发明从模型结构完备性和内容完备性的角度为航空装备体系架构模型验证提供了有效的程序化验证方法,弥补了传统基于文本人工审查缺乏规范性的问题。
技术关键词
模型验证方法
元素
程序化验证方法
资源
计算机存储介质
关键性
体系架构模型
存储计算机程序
计算机程序产品
矩阵
处理器
可视化工具
航空
异质
装备
存储器
指标
表达式
电子设备
参数
系统为您推荐了相关专利信息
知识点
上机考试系统
辅助生成方法
检查规则
列表
危险性
评价指标体系
层次结构模型
矩阵
煤层底板
通信方法
联合损失函数
资源受限设备
无线通信网络
联合信源信道编码