[发明专利]一种基于SHA的信物融合系统自动建模与验证方法及系统在审
申请号: | 202111675956.8 | 申请日: | 2021-12-31 |
公开(公告)号: | CN114356313A | 公开(公告)日: | 2022-04-15 |
发明(设计)人: | 陈小红;杨佳佳 | 申请(专利权)人: | 华东师范大学 |
主分类号: | G06F8/35 | 分类号: | G06F8/35;G06F30/20 |
代理公司: | 上海蓝迪专利商标事务所(普通合伙) 31215 | 代理人: | 徐筱梅;张翔 |
地址: | 200241 *** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于SHA的信物融合系统自动建模与验证方法及系统,包括:将物理环境建模成SHA元模型;根据元模型和设备位置信息表实例化环境模型;根据用户自定义的TAP规则生成控制器的SHA模型;生成可执行的系统模型并进行仿真;对仿真结果进行验证分析。本发明还开发了一个支持上述方法的系统。本发明的方法及系统,支持自动生成系统模型并进行仿真验证,直接向用户反馈规则验证结果,便于用户修改并制定安全的TAP规则。为信物融合系统验证中不确定环境的动态建模提供了一种有效的途径。 | ||
搜索关键词: | 一种 基于 sha 信物 融合 系统 自动 建模 验证 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于华东师范大学,未经华东师范大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202111675956.8/,转载请声明来源钻瓜专利网。
- 上一篇:一种RGB氛围灯灯头、氛围灯及车辆
- 下一篇:一种担架自收放设备