广东省高等学校自然科学研究重点项目(Z03024)
- 作品数：57 被引量：261H指数：10
- 相关作者：张立臣陈广明陈生庆王丽华刘瑞成更多>>
- 相关机构：广东工业大学嘉应学院中国科学院成都计算机应用研究所更多>>
- 发文基金：广东省高等学校自然科学研究重点项目广东省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学环境科学与工程更多>>
- PEARL语言在实时系统开发模式中的应用研究被引量：1
- 2006年
- 通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
- 陈生庆陈广明张立臣
- 关键词：实时系统形式化方法
- 实时数据库中时态性与安全性保障的服务质量管理方法被引量：2
- 2005年
- 本文提出了使用服务质量管理的确保时态与安全的时态、安全实时反馈控制体系结构。探讨了在无确定工作量和数据访问模式下为事务提供截止时间丢失比例和时态一致性保障的QM F方法,并通过动态调整基于反馈控制环中测量性能差错上的系统行为,采纳反馈控制器要求的自适应修改策略动态调整工作量以达到用户期望的时态、安全保障的实时数据服务。
- 罗琼张立臣
- 关键词：服务质量安全性
- 多余处理器时间回收与最坏执行时间分析被引量：1
- 2005年
- 通常的最坏执行时间分析方法的结果过于悲观(overpessimistic),根据这种结果进行调度将导致资源的极大浪费。面向对象的编程语言由于具有封装、继承、多态的特点,使得按照通常的方法获得的最坏执行时间更加悲观。解决这个问题的一个办法就是限制面向对象语言这些特点的使用,但这又导致最终的实时系统不够灵活,失去了面向对象语言的优点。文章以实时JAVA系统为例,介绍了将运行中赚取时间(gaintime)的回收与最坏执行时间分析相结合的方法,这种方法既提高了资源的使用率,又保证了系统的灵活性和性能。
- 刘育芳张立臣
- 关键词：实时系统回收处理器面向对象语言OVER编程语言
- 基于网格技术的数字图书馆若干前沿问题的理论研究被引量：17
- 2005年
- 文章叙述了网格的基本概念,对基于网格的数字图书馆设计过程中的一些前沿问题进行了理论的研究和探讨,并给出了一些解决方案,这些解决方案对基于网格的数字图书馆的建设具有重要意义。
- 王丽华
- 关键词：数字图书馆网格技术设计过程
- 基于柔性制造技术的数字图书馆开发方法被引量：1
- 2005年
- 传统的系统分析设计方法难以保证数字图书馆开发的效率和质量,将基于构件的开发方法应用于数字图书馆建设,可以加速开发进程,改进软件的质量,方便地集成已有的数字图书馆信息资源,实现数字图书馆的柔性制造。
- 王丽华
- 关键词：数字图书馆
- 动态实时系统描述及其资源管理技术
- 2004年
- 动态实时系统在设计时无法确定系统的最大负载,在运行时系统要处理的数据量和事件到达率有巨大改变,在这种情况下保证系统的实时性和耐久性很困难。本文介绍了一个系统描述语言来描述这样的系统;从系统描述中产生系统静态模型,然后动态检测系统状态形成动态模型;资源管理中间件根据系统状态管理分配资源保证系统的实时性和耐久性,资源管理技术使用了动态路径典范;并介绍了一个动态实时系统的体系结构。
- 郭东亮张立臣
- 关键词：实时系统实时性中间件大负载资源管理
- 面向方面的分布式实时软件性能分析被引量：1
- 2008年
- 性能是横切分布式实时系统的关注点,面向方面技术可以将性能关注点模块化,为性能分析提供了优越的实现条件。该文提出一个面向方面的性能工程框架,利用面向方面扩展的多种视图并结合规格化的参数描述,针对面向方面软件进行性能建模与测量。分析了一个分布式Web应用的例子及其性能瓶颈所在,结果表明该框架是可行有效的。
- 李泰鑫张宇亮张立臣
- 关键词：性能分析分布式实时
- 网格QoS及其保证方法被引量：1
- 2007年
- 随着网格技术和应用的不断深入,对网格提出了严格的服务质量(quality of service,简称QoS)要求,网格中的QoS成为研究应用的焦点,缺乏QoS保证逐渐成为制约网格应用的瓶颈之一。本文主要描述了网格QoS定义,网格QoS需求,网格QoS的保证方法,同时也提出了研究的一些方向。
- 张艺超张立臣
- 关键词：网格网格QOS
- 实时虫孔网络的排队分析
- 2007年
- 本文讨论了一个映射一般实时虫孔网络单结点的新模型,并运用排队理论对其进行分析。由于使用一般的方法难以分析虫孔网络结点,本文采用了多视角的方法来虫孔网络结点。虫孔网络单结点模型分解为三个子模型,每个子模型均能够单独使用排队论进行分析。
- 薛建民张宇亮张立臣
- Z实时扩展及基于多视点的应用模式被引量：9
- 2005年
- RT -Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。
- 陈广明陈生庆张立臣
- 关键词：实时系统形式化方法RT-Z
