国家自然科学基金(90818008)
- 作品数：18 被引量：55H指数：4
- 相关作者：张立臣邓建波邓惠敏符利华刘东星更多>>
- 相关机构：广东工业大学中国科学院成都计算机应用研究所吉首大学更多>>
- 发文基金：国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 实时系统面向方面的并发控制框架被引量：1
- 2010年
- 实时系统有一些属性,如并发控制,横切整个系统,仅采用面向对象的方法会导致代码缠结和分散,降低系统的可重用性和可维护性。提出了一种在实时系统中实现并发控制的框架,该框架使用面向方面的概念,它由一组可重用的并发控制方面和接口组成,可用于模块化并发控制。这种方法通过提高实时系统的模块化程度降低了系统的复杂性,最后给出了应用实例。
- 刘敬勇张立臣钟勇
- 关键词：并发控制实时系统
- Storm实现的应用模型研究被引量：13
- 2014年
- 通过对Storm的核心理念和编程模型进行探讨,分析了Storm的工作方式和应用方法,并对一个基于Storm实现的数据分析处理系统进行了性能测试和水平扩展测试.实验结果表明,Storm实现的数据分析处理系统在性能和可伸缩性上要优于传统的数据分析处理系统.
- 邓立龙徐海水
- 关键词：STORM分布式并行计算大数据
- 异构分布式系统混合型实时容错调度算法被引量：6
- 2011年
- 基/副版本技术是实现实时分布式系统容错的一个重要手段。提出了一种异构分布式混合型容错模型,该模型与传统的异构分布式实时调度模型相比同时考虑了周期和非周期调度任务。在此基础上给出3种容错调度算法:以可调度性为目的SSA算法、以可靠性为目的RSA算法、以负载均衡性为目的BSA算法。算法能够在异构系统中同时调度具有周期和非周期容错需求的实时任务,且能够保证在异构系统中某节点机失效情况下,实时任务仍然能在截止时间内完成。最后从可调度性、可靠性代价、负载均衡性、周期与非周期任务数及任务周期与粒度5个方面对算法进行了分析。模拟实验结果显示算法各有优缺点,所以在选择调度算法时应该根据异构系统的特点来选择。
- 邓建波张立臣邓惠敏
- 关键词：异构分布式可调度性
- UML状态图在并行环境的应用研究被引量：4
- 2011年
- 标准UML(unifiedmodellanguage)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性。针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的合并方法。根据形式语义对UML状态图在并行环境中应用的正确性(模型检验)进行分析,通过操作系统进程调度在并行环境下运行实例的结果表明了该形式语义的正确性。
- 邓建波张立臣徐碧红
- 关键词：统一建模语言状态图并行环境形式语义
- 基于中间层的软件体系结构模型被引量：3
- 2010年
- 随着软件规模和复杂程度不断地扩大和增加,软件开发已不再完全取决于数据结构和软件算法的选择,而是在很大程度上取决于软件体系结构,软件体系结构模型是影响软件的关键。根据待开发软件的应用场合和所处理问题的特点,选取合适的体系结构,有利于缩短开发周期、节约开发成本和软件维护。经过对常见软件体系结构模型的分析后,提出一种新的软件建模方式——基于中间层的软件体系结构。然后,通过一个实际的例子——校园一卡通系统,阐述了所提出的基于中间层的软件体系结构模型。
- 侯彬张立臣
- 关键词：体系结构中间层
- 基于X3D的富客户端WEBGIS应用研究被引量：3
- 2011年
- 应用独立框架的富客户端技术的特点,对WEBGIS在表现交互,地图渲染,图属相融合,数据协同等方面进行了扩展,并实现了相关模型及原型系统.提出了一个基于X3D的富客户端WEBGIS原型系统设计及其应用,并进行了试验研究,克服了传统WEBGIS存在的不足.
- 丘威
- 关键词：X3DWEBGIS富客户端
- 面向方面的时间特性建模被引量：1
- 2010年
- 基于面向方面软件设计方法,分离出分布式式系统的时间特性作为一个方面单独建模,将时间子方面思想应用到统一建模语言(UML)建模中,利用随机实时时序逻辑和模糊时间Petri网扩展UML约束。实例证明,该建模方法可解决UML语义问题,使建模更准确,且为日后代码织入、自动生成和测试提供方便。
- 高娜张立臣刘东星
- 关键词：统一建模语言模糊时间PETRI网实时系统
- 异构分布式负载均衡容错算法研究
- 2011年
- 基于基/副版本技术提出一种异构分布式容错调度模型,并在该模型上提出HDL算法。该算法克服了以前算法在故障发生前后负载均衡性不稳定问题,并在一定程序上实现均衡可控性,同时在模拟实验中给出一种基于协方差反映负载均衡性的方法。实验结果证明,该算法的负载均衡性在故障发生前后是稳定的。
- 邓建波张立臣
- 关键词：异构分布式系统负载均衡容错
- 基于ADL的物理信息系统的建模与分析被引量：1
- 2012年
- 当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性。文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具。由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明。
- 柳求金张立臣
- 关键词：体系结构描述语言
- 面向方面在实时系统中间件中的应用被引量：2
- 2010年
- 实时系统中间件存在着分布性、实时性、容错性、安全控制、性能分析、日志记录等非功能的横切关注点,基于面向方面的中间件构件技术就是要把这些非功能的要求从中间件的核心功能中分离出,形成非功能方面,运用面向方面的编程技术可实现中间件核心功能关注点和非功能的横切关注点的并行设计与开发,这增加了中间件设计的模块性、可扩展性和可维护性。文中提出了采用面向方面的编程思想,重构基于Java的RMI(Remote Method Invocation)分布式框架,实现实时系统中间件的分布性。
- 刘东星张立臣高娜
- 关键词：RMI
