[发明专利]一种基于统计模型检测的CPS属性验证方法有效
| 申请号： | 201410017878.6 | 申请日： | 2014-01-15 |
| 公开（公告）号： | CN103699762A | 公开（公告）日： | 2014-04-02 |
| 发明（设计）人： | 张广泉;陈名才;戎玫;邵玉珍;封飞;李烨静 | 申请（专利权）人： | 苏州大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京集佳知识产权代理有限公司 11227 | 代理人： | 常亮 |
| 地址： | 215123 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于统计模型检测的CPS属性验证方法，包括以下步骤：S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹。S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所述监视器生成的轨迹样本作为SMC统计验证阶段的输入。S3、使用统计评估技术收集所述CPS模型满足特定属性的证据，并使用预设的第二算法判断CPS模型是否满足所述特定属性。 | ||
| 搜索关键词： | 一种 基于 统计 模型 检测 cps 属性 验证 方法 | ||
【主权项】：
一种基于统计模型检测的CPS属性验证方法，其特征在于，包括以下步骤：S1、设置通信端口将混成自动机扩展为扩展混成自动机，并获取CPS模型通过所述扩展混成自动机运行的轨迹；S2、构造用于产生所述CPS模型运行的轨迹样本的监视器，并将所述监视器生成的轨迹样本作为SMC统计验证阶段的输入；S3、使用统计评估技术收集所述CPS模型满足特定属性的证据，并使用预设的第二算法判断CPS模型是否满足所述特定属性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于苏州大学，未经苏州大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201410017878.6/，转载请声明来源钻瓜专利网。
- 上一篇：收集极水冷套撑压工装
- 下一篇：一种封头铣边坡口机
