一种信息物理融合系统时序逻辑鲁棒性评估方法
注:上述费用仅包含专利权利转让费用,不包含专利年费或因年费未及时缴纳产生的滞纳金、恢复费。专利年费是专利权人依照专利法规定,自被授予专利权的当年开始,在专利权有效期内逐年应向专利局缴纳的费用。由于出售的专利类型、专利年限以及专利权人是否满足国家费用减缓的条件均会影响具体年费金额,需根据购买专利的实际情况进行缴纳。缴纳年费以及滞纳金、恢复费需单独和平台顾问确认且不属于下单后加价行为,故无法适用保障。
专利申请号:
CN201510079735.2
专利类型:
发明专利
技术分类:
G06F19/00
专利有效期:
2035-02-13
友情提示:该资源未保障“真” “价”,付款前请核实资源真实性与价格。
在线咨询
微信扫码邀请顾问协助
- 该资源已获得保障和赔付:
- 转让不成功退款退
- 转让超期必赔时
- 该资源未获得保障和赔付:
- 资源不保真必赔真
- 下单后加价必赔价
专利信息
专利名称:一种信息物理融合系统时序逻辑鲁棒性评估方法
商品编号:5352074
复制
申请日期:2015-02-13
公开/公告号:CN104657610B
授权公告日/公开日:2017-11-17
申请/专利权人:
南京***学
发明/设计人:
陈志***文静
主分类号:G06F19/00
IPC分类号:G06F19/00
说明书摘要免费下载摘要
本发明给出一种信息物理融合系统时序逻辑鲁棒性评估方法,首先,采用一种时序逻辑捕获和抽象信息物理融合系统的动态特性,将信息物理融合系统转化成用户定义的系统模型,采用时序逻辑公式来表示系统的有限轨迹;第二,利用模型检验技术对所建立的模型进行验证,保证了上述模型的正确性,并将系统不满足公式的反例即伪造轨迹反馈给用户;最后,根据系统的轨迹和时序逻辑规范采用优化方法对其进行鲁棒性评估,按照一定的方法流程,设定时间域区间,获得在不同状态序列在不同采样点的鲁棒性值,将最终求出的代表整个系统的鲁棒性值反馈给用户,实现了线性运行时间和恒定的内存使用,能够节省内存空间,减少了系统的运行时间并提高了系统的效率。
转让流程
提出需求
提出您的专利需求
顾问一对一服务
顾问一对一服务
顾问匹配
顾问匹配资源库
快速确定优质专利
快速确定优质专利
签订合同
签订专利转让协议
成功付款
成功付款
递交申请
准备转让资料
国知局审查办理
国知局审查办理
领取证书
获得专利权,投入使用
所需资料
买方提供资料
个人身份证
公司或个体营业执照
购买后获得证书
专利证书
专利登记簿副本
手续合格通知书
平台优势
常见问题
购买专利需要什么资料?
一种信息物理融合系统时序逻辑鲁棒性评估方法专利,专利类型:发明授权,技术分类是:G06F19/00,购买一种信息物理融合系统时序逻辑鲁棒性评估方法专利,需要申请人和发明人的基础信息,还需提供一种信息物理融合系统时序逻辑鲁棒性评估方法专利的详细信息。
专利交易转让时间是多久?
专利权转让期限一般是2~6个月的时间获得专利转让通知书,在转让之前双方需要签订转让合同即可,一种信息物理融合系统时序逻辑鲁棒性评估方法专利具体的操作步骤,可以联系八戒数字交易的客服一对一服务。
相似专利
换一换