徐成凯
- 作品数：7 被引量：0H指数：0
- 供职机构：苏州大学更多>>
- 发文基金：重庆市教育委员会科学技术研究项目苏州市科技计划项目(应用基础研究计划)江苏省普通高校研究生科研创新计划项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 信息物理融合系统CPS的建模方法及装置
- 本发明公开了一种信息物理融合系统CPS的建模方法及装置，该方法包括：分析信息物理融合系统CPS的功能需求，获得N个目标功能需求；其中，N为整数；分别建立N个目标功能需求的N个原子服务模型；组合N个原子服务模型，获得组合服...
- 张广泉张建宁戎玫魏慧顾玉磊徐成凯
- 文献传递
- 一种面向物联网的环境感知方法、装置及自适应系统
- 本申请公开了一种面向物联网的环境感知方法、装置及自适应系统，其中，方法包括：预先建立了与用户需求信息对应的环境信息模型，根据用户不同的需求信息，建立不同的环境信息模型，环境信息模型指示了采集信息的种类和信息的描述，在响应...
- 张广泉徐成凯戎玫魏慧顾玉磊
- 一种面向物联网的环境感知方法、装置及自适应系统
- 本申请公开了一种面向物联网的环境感知方法、装置及自适应系统，其中，方法包括：预先建立了与用户需求信息对应的环境信息模型，根据用户不同的需求信息，建立不同的环境信息模型，环境信息模型指示了采集信息的种类和信息的描述，在响应...
- 张广泉徐成凯戎玫魏慧顾玉磊
- 文献传递
- 基于抽象和组合方法的网络协议验证
- 模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行.为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法.首先根据所需验证LTL性质,建立各个通信主体的Kripke结构,再对...
- 陈道喜张广泉徐成凯陈国彬
- 关键词：网络协议KRIPKE结构
- 面向物联网软件的自适应结构模型
- 随着物联网的普及与快速发展，越来越多的软件部署在物联网平台上，这类软件被称为物联网软件。区别于传统软件静态、封闭、可控的运行环境，物联网软件运行在动态、开放、难控的环境下，与传统软件具有的交互单调性和有限自主性相比，它具...
- 徐成凯
- 关键词：物联网
- 文献传递
- 信息物理融合系统CPS的建模方法及装置
- 本发明公开了一种信息物理融合系统CPS的建模方法及装置，该方法包括：分析信息物理融合系统CPS的功能需求，获得N个目标功能需求；其中，N为整数；分别建立N个目标功能需求的N个原子服务模型；组合N个原子服务模型，获得组合服...
- 张广泉张建宁戎玫魏慧顾玉磊徐成凯
- 基于抽象和组合方法的网络协议验证
- 2015年
- 由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。
- 陈道喜张广泉徐成凯陈国彬
- 关键词：KRIPKE结构
