[00050504]基于抽象和学习的分布式统计模型检测方法
技术详细介绍
摘要：本发明公开了一种基于抽象和学习的分布式统计模型检测方法，减少了验证复杂的信息物理融合系统的属性所需时间。具体实施步骤如下输入系统模型仿真的路径训练集和增量原始路径集，对路径训练集进行抽象和学习并得到前缀约减树；将增量原始路径和前缀约减树作为输入，借助多个统计模型检测算法进行统计分析，得到能够评估系统模型满足属性约束的概率区间，实现定量评估。本发明针对使用传统统计模型检测方法验证信息物理融合系统时，所面临的模型检测效率不高的问题，基于分布式技术框架，集成抽象和学习技术，减少了模型检测所需要的系统仿真轨迹的数量，有效提高了模型验证的效率。
