首页> 中国专利> 一种基于统计模型检测的CPS属性验证方法

一种基于统计模型检测的CPS属性验证方法

摘要

一种基于统计模型检测的CPS属性验证方法,包括以下步骤。S1、设置通信端口将混成自动机扩展为扩展混成自动机,并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器,并将所述监视器生成的轨迹样本作为SMC统计验证阶段的输入。S3、使用统计评估技术收集所述CPS模型满足特定属性的证据,并使用预设的第二算法判断CPS模型是否满足所述特定属性。

著录项

  • 公开/公告号CN103699762B

    专利类型发明专利

  • 公开/公告日2016-09-28

    原文格式PDF

  • 申请/专利权人 苏州大学;

    申请/专利号CN201410017878.6

  • 申请日2014-01-15

  • 分类号G06F17/50(20060101);

  • 代理机构11227 北京集佳知识产权代理有限公司;

  • 代理人常亮

  • 地址 215123 江苏省苏州市工业园区仁爱路199号

  • 入库时间 2022-08-23 09:46:59

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2020-01-03

    未缴年费专利权终止 IPC(主分类):G06F 17/50 授权公告日:20160928 终止日期:20190115 申请日:20140115

    专利权的终止

  • 2017-10-27

    专利权人的姓名或者名称、地址的变更 IPC(主分类):G06F17/50 变更前: 变更后: 申请日:20140115

    专利权人的姓名或者名称、地址的变更

  • 2017-10-27

    专利权人的姓名或者名称、地址的变更 IPC(主分类):G06F 17/50 变更前: 变更后: 申请日:20140115

    专利权人的姓名或者名称、地址的变更

  • 2016-09-28

    授权

    授权

  • 2016-09-28

    授权

    授权

  • 2016-09-28

    授权

    授权

  • 2014-04-30

    实质审查的生效 IPC(主分类):G06F17/50 申请日:20140115

    实质审查的生效

  • 2014-04-30

    实质审查的生效 IPC(主分类):G06F 17/50 申请日:20140115

    实质审查的生效

  • 2014-04-30

    实质审查的生效 IPC(主分类):G06F 17/50 申请日:20140115

    实质审查的生效

  • 2014-04-02

    公开

    公开

  • 2014-04-02

    公开

    公开

  • 2014-04-02

    公开

    公开

查看全部

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号