广东省自然科学基金(S2011010004905)
- 作品数:5 被引量:3H指数:1
- 相关作者:张立臣邢静宇杨敏蔡热文更多>>
- 相关机构:广东工业大学南阳理工学院更多>>
- 发文基金:国家自然科学基金广东省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于面向方面的Petri网在实时系统中的应用
- 2012年
- Petri网作为一种图形化的建模方法,具有直观易用的特点,是业务流程建模常用方法。面向方面建模的基本思想是按系统特征划分程序模块。传统的实时系统与时间密切相关。我们分离实时系统时间方面,然后用时间Petri网来建模,最后通过实例来简单地说明建模过程。
- 蔡热文张立臣杨敏
- 关键词:时间PETRI网实时系统
- Integration Design and Model Transformation for Cyber Physical Systems
- Cyber physical system is hard to develop because developers need to consider functional properties,nonfunction...
- Lichen ZhangShuguang Feng
- 关键词:AADLMODELICAMDATRANSFORMATIONINTEGRATION
- 面向方面在软件组件中的应用被引量:1
- 2012年
- 传统的基于组件的软件开发方法大部分都集中在功能分解上,其并没有考虑到横切关注点对组件的影响。而面向方面技术就是以解决大规模系统中的横切问题为目的的,其主要是先分离出方面模块,然后再织入核心类中。文中提出了采用面向方面的编程思想,将其应用到软件组件的开发中。
- 杨敏张立臣蔡热文
- 关键词:关注点分离软件组件
- 基于能量控制与资源调度的信息物理系统建模
- 2014年
- 数据中心作为信息物理系统的一种,消耗着巨大的能量。通过对信息物理系统的能量特点进行分析,根据信息物理系统中有大量的具有计算能力的信息设备,将信息物理系统的构件分为两类:计算部件和非计算部件,并以此进行能量系统建模。通过分析信息物理系统资源调度的特点,针对其资源调度的三要素:资源实体能力、资源实时状态和资源上所执行的任务类型进行资源调度建模。最后,以信息物理系统的数据中心为例,针对数据中心的计算部件,给出了一个对能量控制与资源调度进行结合的信息物理系统模型。
- 邢静宇张立臣
- 关键词:资源调度数据中心信息物理系统
- Aspect-Oriented Modeling Method for Real-Time Information Systems
- To address real time information system development,principled methods are needed to specify,develop,compose,i...
- Lichen Zhang
- 关键词:ASPECT-ORIENTEDMDA
- Specification and Modeling of QoS Based on AADL
- Specifying and modeling Quality of Service(QoS) properties represents a key challenge for cyber physical syste...
- Lichen Zhang
- 关键词:QOSASPECT-ORIENTEDAADL
- 信息物理系统安全及相关措施被引量:2
- 2014年
- 开放互联的网络和信息与物理组件的交互使得信息物理系统面临着巨大的安全挑战,通过研究信息物理系统的安全目标和攻击模型,给出了分层的信息物理系统安全体系.信息物理系统安全主要是解决在恶意攻击下的加密技术,访问控制策略,弹性机制等问题,在介绍了信息物理系统安全方面的相关研究后,对信息物理系统安全体系中的关键技术——访问控制策略和隐私数据保护进行了深入的研究.
- 邢静宇张立臣
- 关键词:信息物理系统加密技术访问控制隐私保护
- 信息物理融合系统数据中心能量消耗模型研究
- 2013年
- 从信息物理融合系统的角度考察数据中心,对包含信息技术系统和冷却系统的数据中心的能量消耗进行建模。给出信息技术系统中的服务延时约束模型、工作负载约束模型、服务质量约束模型及最终的能量消耗约束模型和冷却系统中的能量消耗模型。模型的建立为研究如何在保证服务质量的同时最大程度地降低能量消耗提供了依据。
- 邢静宇张立臣
- 关键词:信息物理融合系统数据中心能量消耗服务质量