张侃
- 作品数：8 被引量：23H指数：3
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：江苏省自然科学基金国家重点实验室开放基金苏州市科技计划项目(应用基础研究计划)更多>>
- 相关领域：自动化与计算机技术更多>>
- 描述CPS物理实体的时空Petri网模型被引量：3
- 2013年
- 时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。
- 张茗泰张广泉张侃陈名才封飞
- 关键词：时间PETRI网空间信息
- 一种基于能耗的CPS软件可信管理框架
- 信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由...
- 张侃张广泉张茗泰陈名才
- 关键词：CPS能耗
- 文献传递
- 基于有色Petri网的Web服务组合建模与分析被引量：3
- 2010年
- 形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。
- 张侃朱稷涵张广泉
- 关键词：有色PETRI网WEB服务组合可达性分析
- 一种可信的信息物理融合系统设计框架初探被引量：12
- 2011年
- 信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题.
- 张侃张广泉张茗泰
- 关键词：信息物理融合系统形式化方法面向方面技术
- 基于体系结构能耗建模的CPS软件可信性评估研究
- 随着嵌入式计算、网络通信、海量数据处理等技术的高速发展，感控、计算和通信能力深度嵌入到物理设备中，从而产生了信息物理融合系统（Cyber-Physical Systems, CPS）。由于CPS的应用领域要求系统具有高可...
- 张侃
- 关键词：信息物理融合系统软件体系结构时间PETRI网
- 文献传递
- 基于体系结构能耗建模的CPS软件可信性评估方法被引量：6
- 2013年
- 信息物理融合系统(Cyber Physical Systems,CPS)是一种计算系统和物理环境紧密结合的网络化嵌入式系统,软件作为其重要的使能部件,如果在其设计阶段能够考虑能耗影响等问题,则能有效提高软件及系统的可信性.软件体系结构在设计阶段为构造软件的结构、行为和关键属性提供设计模型和指导,对CPS软件体系结构能耗进行建模,分析和评估能耗对CPS软件可信性的影响,可以在设计阶段发现其体系结构能耗设计缺陷,并重新设计软件体系结构,从而有效提高CPS软件可信性.基于此,首先基于能耗时间Petri网建立了CPS软件体系结构能耗模型,并分析了影响CPS软件可信性的能耗问题;针对这些问题,将分析得到的能耗数据作为建立可信性指标模型的基础,提出了基于能耗指标模型的CPS可信性评估方法;最后通过实例建模和分析,进一步说明该方法的有效性.
- 张广泉张侃祝义周航
- 关键词：信息物理融合系统能耗建模
- 一种可信的信息物理融合系统设计框架初探
- 信息物理融合系统(CPS)连接物理世界和计算系统，由计算核心监控，是一种物理进程和计算进程紧密结合的系统。对CPS的研究目前还处于初步探索阶段，还没有完整的理论框架和技术体系，关于CPS系统的正确性以及安全性的研究尤其空...
- 张侃张广泉张茗泰
- 关键词：信息物理融合系统形式化方法
- 一种面向CPS软件的可信性评估框架
- 2012年
- 信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。
- 邵玉珍张侃张广泉陈名才沈晓刚李烨静
- 关键词：CPS
