[00287591]一种信息物理融合系统时序逻辑鲁棒性评估方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201510079735.2

交易方式： 完全转让许可转让技术入股

联系人：南京邮电大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

本发明给出一种信息物理融合系统时序逻辑鲁棒性评估方法，首先，采用一种时序逻辑捕获和抽象信息物理融合系统的动态特性，将信息物理融合系统转化成用户定义的系统模型，采用时序逻辑公式来表示系统的有限轨迹；第二，利用模型检验技术对所建立的模型进行验证，保证了上述模型的正确性，并将系统不满足公式的反例即伪造轨迹反馈给用户；最后，根据系统的轨迹和时序逻辑规范采用优化方法对其进行鲁棒性评估，按照一定的方法流程，设定时间域区间，获得在不同状态序列在不同采样点的鲁棒性值，将最终求出的代表整个系统的鲁棒性值反馈给用户，实现了线性运行时间和恒定的内存使用，能够节省内存空间，减少了系统的运行时间并提高了系统的效率。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>