[00315715]基于抽象和学习的分布式统计模型检测方法
交易价格:
面议
类型:
发明专利
技术成熟度:
正在研发
专利所属地:中国
专利号:CN201710506978.9
交易方式:
完全转让
许可转让
技术入股
联系人:
华东师范大学
所在地:上海上海市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
摘要:本发明公开了一种基于抽象和学习的分布式统计模型检测方法,减少了验证复杂的信息物理融合系统的属性所需时间。具体实施步骤如下输入系统模型仿真的路径训练集和增量原始路径集,对路径训练集进行抽象和学习并得到前缀约减树;将增量原始路径和前缀约减树作为输入,借助多个统计模型检测算法进行统计分析,得到能够评估系统模型满足属性约束的概率区间,实现定量评估。本发明针对使用传统统计模型检测方法验证信息物理融合系统时,所面临的模型检测效率不高的问题,基于分布式技术框架,集成抽象和学习技术,减少了模型检测所需要的系统仿真轨迹的数量,有效提高了模型验证的效率。