广东省高等学校自然科学研究重点项目(Z03024)

作品数：57被引量：189H指数：8
导出分析报告
相关作者：张立臣陈广明陈生庆王丽华刘瑞成更多>>
相关机构：广东工业大学嘉应学院中国科学院成都计算机应用研究所更多>>
相关期刊：《图书馆学刊》《计算机技术与发展》《计算机工程与设计》《现代情报》更多>>
相关主题：实时系统形式化方法数字图书馆面向方面编程RT-Z更多>>
相关领域：自动化与计算机技术文化科学环境科学与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向方面的分布式实时软件性能分析被引量：1
《计算机工程》2008年第12期52-55,共4页李泰鑫 张宇亮 张立臣 
国家自然科学基金资助项目(60474072;60174050);广东省自然科学基金资助项目(04009465;010059);广东省高校自然科学研究基金资助项目(Z03024)
性能是横切分布式实时系统的关注点,面向方面技术可以将性能关注点模块化,为性能分析提供了优越的实现条件。该文提出一个面向方面的性能工程框架,利用面向方面扩展的多种视图并结合规格化的参数描述,针对面向方面软件进行性能建模与测...
关键词：面向方面 性能分析 分布式实时 性能场景图 
面向方面的中间件被引量：2
《计算机技术与发展》2008年第8期68-71,共4页刘敬勇 张立臣 钟勇 
国家自然科学基金资助项目(60474072;60174050);广东省自然科学基金资助项目(04009465;010059);广东省高校自然科学研究项目(Z03024)
中间件应用领域的不断拓展,给中间件体系结构的设计带来了困难,中间件的体系结构必须在通用性与专用性之间寻找平衡。传统的中间件体系结构产生这些问题的一个基本原因是:使用垂直分解过程获得的软件分解模型不能同时模块化共存的正交...
关键词：面向方面 中间件 分布式系统 关注点分离 
时标排序并发控制算法在移动分布式实时数据库中的应用分析被引量：1
《计算机应用与软件》2007年第11期100-102,共3页刘育芳 张立臣 
国家自然科学基金(60474072;60174050);广东省自然科学基金(04009465;010059);广东省高校自然科学研究项目(Z03024)
随着移动计算技术的发展,人们要求能够随时随地实时存取数据库的数据,这就导致了移动分布式实时数据库(MDRTDBS)的实现。移动实时应用的根本特性是其事务具有移动性和实时特性,数据具有定时特性。这对移动分布式实时数据库并发控制协议...
关键词：移动分布式实时数据库 并发控制 时标排序并发控制协议 
网格QoS及其保证方法
《福建电脑》2007年第6期6-7,9,共3页张艺超 张立臣 
国家自然科学基金(No.60474072;No.60174050);广东省自然科学基金(No.04009465;No.010059);广东省高校自然科学研究项目(No.Z03024)
随着网格技术和应用的不断深入,对网格提出了严格的服务质量(quality of service,简称QoS)要求,网格中的QoS成为研究应用的焦点,缺乏QoS保证逐渐成为制约网格应用的瓶颈之一。本文主要描述了网格QoS定义,网格QoS需求,网格QoS的保证方法...
关键词：网格 网格QOS 保证方法 需求 关键技术 
实时虫孔网络的排队分析
《福建电脑》2007年第6期12-13,共2页薛建民 张宇亮 张立臣 
国家自然科学基金(No.60474072;No.60174050);广东省自然科学基金(No.04009465;No.010059);广东省高校自然科学研究项目(No.Z03024)
本文讨论了一个映射一般实时虫孔网络单结点的新模型,并运用排队理论对其进行分析。由于使用一般的方法难以分析虫孔网络结点,本文采用了多视角的方法来虫孔网络结点。虫孔网络单结点模型分解为三个子模型,每个子模型均能够单独使用排...
关键词：实时 虫孔网络 排队理论 建模 多视角 
面向方面分布式系统形式化规格说明语言被引量：1
《计算机科学》2007年第6期258-261,共4页陈广明 张立臣 陈生庆 
国家自然科学基金(No.60474072;No.60174050);广东省自然科学基金(No.04009465;No.010059);广东省高校自然科学研究项目(No.Z03024)基金资助。
分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构...
关键词：面向方面 分布式系统 形式化方法 Ocsid 
网络实时系统的一种活动性描述语言
《计算机应用研究》2007年第4期288-291,共4页彭伟洁 张立臣 
国家自然科学基金资助项目(60474072;60174050);广东省自然科学基金资助项目(04009465;010059);广东省高校自然科学基金资助项目(Z03024)
介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号。ADL专用于计算机网络,是DOR IS的一种形式语言扩充。它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB...
关键词：结构描述语言 形式规格说明 实时处理 
实时系统的软件容错技术
《福建电脑》2007年第3期3-5,共3页马文涛 郭东亮 张立臣 
国家自然科学基金(No.60474072;No.60174050);自然科学基金广东省哲学社会科学规划项目(No.03/04J02);广东省自然科学基金(No.04009465;No.010059);广东省高校自然科学研究项目(No.Z03024)基金资助
实时系统广泛应用在对时间要求较高的环境中,这些系统的失败将导致灾难性的后果。但是软件的设计不可能完全正确,所以需要在使用中进行容错。本文介绍了常用的软件容错方法,并讨论其特点,以期给系统的设计者在选择容错方法时给予指导。
关键词：实时系统 容错 可靠性 
存在多值依赖的XML DTD规范化研究被引量：4
《计算机科学》2007年第2期149-151,185,共4页丘威 张立臣 
国家自然科学基金(No.60474072);广东省自然科学基金(No.04009465);广东省高校自然科学研究项目(No.Z03024)基金资助
XMLDTD文档中可能包含由非函数依赖引起的数据冗余和操作异常,首先从消除DTD文档内数据冗余的角度出发研究了文档的规范化的问题,讨论了在DTD文档中存在多值依赖的情况下,如何规范XML文档,提出了以DTD为模式的XML文档的多值依赖的概念...
关键词：XML DTD 规范化 多值依赖 多值XML范式(MXNF) 
应用形式化与实时语言的面向方面方法被引量：2
《计算机工程与设计》2006年第22期4213-4215,4221,共4页陈广明 张立臣 陈生庆 
国家自然科学基金项目(60474072;60174050);广东省自然科学基金项目(04009465;010059);广东省高校自然科学研究基金项目(Z03024)
面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言...
关键词：面向方面 实时系统 形式化方法 RT-Z AO-RT-Z PEARL语言 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部