陈名才

作品数：3被引量：7H指数：2
导出分析报告
供职机构：苏州大学更多>>
发文主题：CPS基于统计统计模型监视器自动机更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《南通大学学报（自然科学版）》《计算机与数字工程》《计算机科学与探索》更多>>
所获基金：江苏省高等学校大学生实践创新训练计划项目江苏省自然科学基金苏州市科技计划项目(应用基础研究计划)江苏省普通高校研究生科研创新计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于混成自动机的车联网服务建模方法被引量：4
《南通大学学报（自然科学版）》2013年第2期6-10,共5页封飞 陈名才 张广泉 邵玉珍 李烨静 
江苏省自然科学基金项目(BK2011281);江苏省普通高校研究生科研创新计划项目(CXLX12_0809);江苏省高等学校大学生实践创新训练计划项目(2012yb010);苏州市应用基础研究计划项目(SYG201241);苏州大学大学生课外学术科研基金项目(KY2013053A)
针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的...
关键词：混成自动机 车联网服务 建模 汽车CPS 
描述CPS物理实体的时空Petri网模型被引量：3
《计算机科学与探索》2013年第4期377-384,共8页张茗泰 张广泉 张侃 陈名才 封飞 
江苏省自然科学基金No.Bk2011281;苏州市应用基础研究计划No.SYG201241;江苏省高校研究生科研创新计划No.CXLX12_0809;江苏省大学生创新训练计划No.2012yb010;苏州大学大学生课外学术科研基金~~
时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物...
关键词：时间PETRI网 信息物理融合系统(CPS) 物理实体 空间信息 时空Petri网 
一种面向CPS软件的可信性评估框架
《计算机与数字工程》2012年第10期51-54,共4页邵玉珍 张侃 张广泉 陈名才 沈晓刚 李烨静 
江苏省自然科学基金(BK2011281);江苏省普通高校研究生科研创新计划(CXLX12_0809);江苏省大学生创新训练计划(2012yb010);苏州大学学生科研基金(KY2012383B;KY2012402B;KY2012404B)资助
信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架...
关键词：CPS 软件可信性评估 可信性指标模型 可信性评估模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部