期刊文献+
共找到233篇文章
< 1 2 12 >
每页显示 20 50 100
软件能耗优化技术研究进展 被引量:11
1
作者 赵霞 郭耀 陈向群 《计算机研究与发展》 EI CSCD 北大核心 2011年第12期2308-2316,共9页
为了设计高性能低能耗的系统,需要从硬件设计和软件设计两个方面进行考虑,以取得性能和能耗的最佳权衡.研究利用软件技术降低系统能耗的问题,主要探讨系统开发阶段的低能耗软件优化与评估技术.优化技术包括指令级优化、算法级优化与软... 为了设计高性能低能耗的系统,需要从硬件设计和软件设计两个方面进行考虑,以取得性能和能耗的最佳权衡.研究利用软件技术降低系统能耗的问题,主要探讨系统开发阶段的低能耗软件优化与评估技术.优化技术包括指令级优化、算法级优化与软件体系结构优化3类,阐述在各类优化技术研究中面临的问题和当前的研究工作进展;深入讨论了低能耗软件优化的关键支撑技术——软件能耗估算,指出并分析面向处理器和面向全系统的软件能耗估算面临的主要问题和研究进展;最后展望进一步研究的主要问题和发展趋势. 展开更多
关键词 低能耗 软件能耗 优化 估算 高能效计算
下载PDF
RFID信息服务中发布/订阅系统若干关键技术问题研究 被引量:1
2
作者 刘殿兴 赵文 +2 位作者 邓鹏鹏 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期94-101,共8页
本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和... 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要. 展开更多
关键词 发布/订阅 RFID 描述逻辑 时间本体
下载PDF
浅论软件技术发展 被引量:163
3
作者 杨芙清 梅宏 +1 位作者 吕建 金芝 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1901-1906,共6页
本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和... 本文以软件基本模型的发展为主线,对软件技术的历史和现状进行了回顾;分析了Internet的基本特征及其对软件技术带来的需求和挑战;总结提炼出Internet环境下软件的新形态——网构软件(Internetware),探讨了其不同于传统软件的主要特性和主要研究方向. 展开更多
关键词 软件技术 INTERNET 网构软件 因特网 INTERNETWARE 回顾
下载PDF
基于软件体系结构的反射式中间件研究 被引量:65
4
作者 黄罡 王千祥 +1 位作者 梅宏 杨芙清 《软件学报》 EI CSCD 北大核心 2003年第11期1819-1826,共8页
Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射... Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射而缺乏全局视图;注重中间件平台内部功能的反射,而对上层应用的反射不够;集中于CORBA平台,而对J2EE平台的反射性研究较少.介绍了一个反射式的J2EE应用服务器PKUAS.基于构件化的平台内部体系结构,PKUAS引入软件体系结构作为全局视图以实现反射体系对系统整体的表示和控制,作为J2EE应用服务器,PKUAS可反射底层平台以及上层EJB构件.同时,以PKUAS实时监控工具为例,探讨了如何利用基于软件体系结构的反射体系管理整个系统,并给出了PKUAS与其他几种反射式中间件的比较.该工作有效地解决了现阶段反射式中间件研究的不足,提高了反射式中间件的实用性. 展开更多
关键词 构件 中间件 反射性 软件体系结构 J2EE
下载PDF
元建模技术研究进展 被引量:46
5
作者 刘辉 麻志毅 邵维忠 《软件学报》 EI CSCD 北大核心 2008年第6期1317-1327,共11页
随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多... 随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径. 展开更多
关键词 元建模 元模型 UML(unified modeling language) MDA(model driven architecture)
下载PDF
软件测试研究进展 被引量:138
6
作者 单锦辉 姜瑛 孙萍 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第1期134-145,共12页
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展... 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。 展开更多
关键词 软件测试 软件质量 软件的易测试性 构件测试
下载PDF
软件体系结构研究进展 被引量:141
7
作者 梅宏 申峻嵘 《软件学报》 EI CSCD 北大核心 2006年第6期1257-1275,共19页
作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域.如今,软件体系结构的研究也开始超出传统的对软件设计... 作为控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一,软件体系结构自提出以来,日益受到软件研究者和实践者的关注,并发展成为软件工程的一个重要的研究领域.如今,软件体系结构的研究也开始超出传统的对软件设计阶段的支持,逐步扩展到整个软件生命周期.基于软件体系结构近十年来的研究进展,综述了在软件生命周期的不同阶段软件体系结构的研究与应用,并探讨了软件体系结构领域的发展与研究方向. 展开更多
关键词 软件体系结构 软件生命周期 综述
下载PDF
构件库技术的研究与发展 被引量:38
8
作者 潘颖 赵俊峰 谢冰 《计算机科学》 CSCD 北大核心 2003年第5期90-93,156,共5页
The retrieval and management of components play important roles on the Component Based Software De-velopment (CBSD), which is an effective way to support software reuse. Reusable component library is one of thefoundat... The retrieval and management of components play important roles on the Component Based Software De-velopment (CBSD), which is an effective way to support software reuse. Reusable component library is one of thefoundation establishments in it. It is well able to provide component representation, classification, certification, stor-age, retrieval, evaluation and feedback, interoperable libraries, etc. This paper is a summarization on the technolo-gies in component library. It introduces their current status, presents four component libraries, and outlines the fu-ture trends. 展开更多
关键词 软件工程 软件系统 软件复用 构件库 软件开发
下载PDF
基于规则推理的语义检索若干关键技术研究 被引量:7
9
作者 马森 赵文 +2 位作者 袁崇义 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2013年第5期977-981,共5页
针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结... 针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结果进行排序.针对上述问题,本文给出了基于语义网的语义规则建立方法,并提出了一种基于闭合世界假设的反向链接推理算法,提高推理效率,同时给出了一种基于特征相似性排序算法,使检索结果排序方式更加符合语义检索的特点.基于本文提出的方法,构造了语义搜索引擎MaterialHub,实验表明该搜索引擎提高了检索的准确率和查全率,有较好的查询响应时间,并已经得到实际应用. 展开更多
关键词 语义检索 语义规则 语义规则推理 语义相似性排序
下载PDF
ABC-S^2C:一种面向贯穿特性的构件化软件关注点分离技术 被引量:13
10
作者 梅宏 曹东刚 《计算机学报》 EI CSCD 北大核心 2005年第12期2036-2044,共9页
描述了一种在基于构件的软件开发中系统化支持面向贯穿特性的关注点分离技术.基于构件的软件开发强调通过组装可复用构件支持软件复用,在目标应用有多个关注点、存在贯穿特性的情况下,如何在构件组装时模块化封装各关注点的实现逻辑并... 描述了一种在基于构件的软件开发中系统化支持面向贯穿特性的关注点分离技术.基于构件的软件开发强调通过组装可复用构件支持软件复用,在目标应用有多个关注点、存在贯穿特性的情况下,如何在构件组装时模块化封装各关注点的实现逻辑并将其组织成有机整体是一个重要的问题.文章以基于构件、面向体系结构的软件开发方法ABC为基础,提出通过构件运行支撑平台的支持,在运行时刻动态组织各贯穿特性的方法ABC-S2C.其机制是首先引入面向Aspect的软件开发中的概念Advice,用Advice对贯穿特性进行建模和模块化封装;其次是将连接子结构化和实体化,通过连接子将各Aspect和构件代码关联在一起,由连接子在运行时刻截获对构件的服务请求,按照配置动态调用各贯穿特性的处理逻辑Advice.这样的一套以连接子为核心的动态机制支持对黑盒构件的复用,在构件化软件生命周期主要阶段提供了对“贯穿特性”的系统化的模块化支持技术及机制. 展开更多
关键词 贯穿特性 关注点分离 构件 中间件 ASPECT
下载PDF
信息物理融合系统的软件需求分析 被引量:6
11
作者 刘春 黄冉冉 +2 位作者 张伟 赵海燕 金芝 《计算机学报》 EI CSCD 北大核心 2016年第11期2344-2354,共11页
计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人... 计算过程与物理过程的融合使得信息物理融合系统(Cyber-Physical Systems,CPS)的软件需求分析成为一个具有挑战性的任务.首先,分析人员需要从用户所期望实现的物理实体变化出发,基于对物理实体性质的认识来推理分析软件需求;其次分析人员已不能将CPS中的软件看成一个整体去描述它的外部行为,而需要分析CPS所应包含的各个软件实体和物理实体,描述每个物理实体的性质和软件实体应具有的行为;还有计算过程与物理过程的融合也使得分析人员必须采取一种统一的方式来描述物理实体的性质和软件实体的行为,以方便用户需求的满足性验证.基于问题框架方法和面向目标方法,作者提出了一种适合于CPS的软件需求分析方法.该方法采用现象间的因果关系式这一具体形式来统一描述CPS中物理实体的性质和软件实体的需求,然后从用户所期望的物理现象出发,遵循面向目标的方法,将CPS软件需求的分析过程转化为建立满足用户需求的现象间因果关系链的过程,最后通过基于Alloy的目标现象可达性验证来检验用户需求的可满足性;并且用一个自适应巡航控制系统的案例来说明所提方法的可行性. 展开更多
关键词 信息物理融合系统 软件需求 面向目标的方法 问题框架方法
下载PDF
面向对象软件度量工具体系框架研究 被引量:2
12
作者 黄璜 刘吟 +1 位作者 周欣 孙家骕 《计算机工程与应用》 CSCD 北大核心 2003年第27期64-66,159,共4页
该文首先从系统分析、模型创建、度量计算以及结果表示四个方面讨论了面向对象软件度量工具的体系框架,然后介绍了度量工具信息库的设计,并就若干度量模型实例,对信息的覆盖范围做了统计分析。
关键词 度量 度量工具 通用 框架 度量模型 面向对象
下载PDF
软件安全漏洞挖掘的研究思路及发展趋势 被引量:19
13
作者 文伟平 吴兴丽 蒋建春 《信息网络安全》 2009年第10期78-80,共3页
软件安全漏洞发掘作为一项预先发现软件潜在安全漏洞来保证软件安全的重要技术,日益受到人们的重视。本文首先对软件安全漏洞发掘研究的背景及相关技术进行了充分调研,然后针对当前进行软件安全漏洞挖掘提出新的研究思路,从漏洞模型、... 软件安全漏洞发掘作为一项预先发现软件潜在安全漏洞来保证软件安全的重要技术,日益受到人们的重视。本文首先对软件安全漏洞发掘研究的背景及相关技术进行了充分调研,然后针对当前进行软件安全漏洞挖掘提出新的研究思路,从漏洞模型、补丁比对、序列搜索算法等四个方面进行了详细描述。 展开更多
关键词 软件安全 漏洞挖掘 补丁比对
下载PDF
RFID信息服务网络中支持复合订阅的路由算法研究 被引量:1
14
作者 刘殿兴 赵文 +3 位作者 李信鹏 冯志明 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2010年第B02期33-40,共8页
在RFID信息服务网络中,设计了一种支持复合订阅的可靠的路由算法:在订阅转发阶段,我们将每一个复合订阅按照其语法结构进行分解,并将每个复合订阅成份分配给多个RFID信息服务(构成一个复合订阅存储单元)去维护,而事件则按照订阅... 在RFID信息服务网络中,设计了一种支持复合订阅的可靠的路由算法:在订阅转发阶段,我们将每一个复合订阅按照其语法结构进行分解,并将每个复合订阅成份分配给多个RFID信息服务(构成一个复合订阅存储单元)去维护,而事件则按照订阅分解的反方向和匹配的结果进行转发与合并.由于每个复合订阅存在多个副本,因而会显著减少因某个副本失效而产生的事件丢失.本文也给出了复合订阅存储单元内部多个复合订阅副本一致性的保持方法,以及核心信息服务的选举方法.实验结果表明,该路由算法有较高的容错性,性能可以满足实际应用的需要. 展开更多
关键词 无线射频识别(RFID) 复合订阅 发布/订阅 路由 KADEMLIA
下载PDF
信息技术学科密码学教学思路探讨 被引量:4
15
作者 王昭 《计算机教育》 2011年第2期42-45,共4页
针对计算机科学与技术、通信、电子工程和软件工程等信息技术类专业密码学教学的实际情况,在分析总结该学科教学特点和多年从事信息技术类专业信息安全及应用密码学课程教学经验的基础上,阐述了密码学课程的一些教学思路。
关键词 教学思路 密码学 教学特点
下载PDF
软件工程标准与软件企业文化的提升——浅谈面向对象建模技术标准 被引量:5
16
作者 王立福 《信息技术与标准化》 2003年第4期42-44,共3页
从软件企业文化提升的角度,分析了在软件开发中遵循软件工程思想以及运用标准的重要性,并阐述了制定面向对象软件建模规范的指导思想以及如何对其加以运用。管部门也相继出台了一些配套的管理办法。准化工作对软件产业发展提供必要的支... 从软件企业文化提升的角度,分析了在软件开发中遵循软件工程思想以及运用标准的重要性,并阐述了制定面向对象软件建模规范的指导思想以及如何对其加以运用。管部门也相继出台了一些配套的管理办法。准化工作对软件产业发展提供必要的支撑与保障。务院究开发,行业标准科研计划。 展开更多
关键词 标准 面向对象技术 UML 软件工程 软件企业文化
下载PDF
层次型Java软件质量度量模型研究
17
作者 黄璜 周欣 孙家骕 《计算机科学》 CSCD 北大核心 2003年第5期85-89,共5页
Metrics model is in fact a cluster of criterions to assess software, which may show the characteristics ofdifferent software systems or modules and then serve different demands from users. The research on software met... Metrics model is in fact a cluster of criterions to assess software, which may show the characteristics ofdifferent software systems or modules and then serve different demands from users. The research on software metricstries to give characteristic evaluations to software components in component extraction, and then supports users to se-lect reusable components in high quality.Java has been one of the main languages today. With consideration of characteristics of Java and research on somegeneral metrics model, our model: Quality Metrics Model for Java is born.Following the principle of "Factor-Criterion-Metrics", more detailed descriptions of factors, criterions and met-rics of our model are given. In fact, the metrics model shows us some way for consideration. Through this model, wehope to normalize the point of the views of users.In JavaSQMM, four activities organize software quality evaluating: understanding, function implementing,maintaining and reusing, and then four corresponding factors of quality come to birth, which are mixed by criteria andmetrics.When designing our Java metrics model, the original development of Object Oriented Metrics Model Tool for Ja-va(OOMTJava)provides the support to process of metrics semi-automatically. 展开更多
关键词 JAVA语言 软件质量度量模型 层次度量模型 软件开发 计算机 INTERNET
下载PDF
问题驱动的需求捕获中问题分析与解决技术研究 被引量:5
18
作者 王波 赵海燕 +2 位作者 张伟 金芝 梅宏 《计算机研究与发展》 EI CSCD 北大核心 2013年第7期1513-1523,共11页
问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并清晰地表达出来.协同式的问题分析与解决方法可以帮助利益相关者找到并表达出真实、一致的解决方案.方法的基本思想是:首先各个利... 问题驱动的需求捕获方法广泛应用于需求获取.然而,利益相关者通常难以找到真实的、一致的问题解决方案并清晰地表达出来.协同式的问题分析与解决方法可以帮助利益相关者找到并表达出真实、一致的解决方案.方法的基本思想是:首先各个利益相关者平等地、按照一定流程协同地分析问题表述的可理解性、问题的价值、问题存在原因;然后利益相关者协同地识别解决方案.通过关联原因和解决方案来保证解决方案的客观性.通过问题的分类,提出问题及协同元素的元模型,及时关注相关联的问题,评估利益相关者的参与程度,用以帮助利益相关者分析与解决问题.选取"高校学生选课系统"进行实例研究,结果显示协同式问题分析与解决是一种在实际应用中行之有效的方法. 展开更多
关键词 需求工程 问题驱动 需求捕获 协同 问题分析
下载PDF
分离逻辑的技术基础与研究现状 被引量:1
19
作者 王捍贫 张博闻 《广州大学学报(自然科学版)》 CAS 2019年第2期1-9,共9页
随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩... 随着计算机系统复杂性的日渐增加,可靠性正成为计算机软件理论中新的研究热点.运用数理逻辑中的推理方法,研究人员可以严格分析和验证计算机程序的正确性.分离逻辑作为一种分析共享可操作存储程序的新方法,近年来逐渐发展成为针对可扩展程序的主流验证技术之一.文章阐述分离逻辑的研究背景、理论基础以及验证原理,详细介绍其对存储空间抽象描述的思想,通过实例说明分离逻辑的推导策略.特别地,介绍了双向诱导推理对循环链表程序片段的验证过程,展现了在未知系统当前状态的情况下,分离逻辑验证未完成代码,甚至代码片段正确性的可行性.文章还综述了诸多基于分离逻辑的各种拓展,以增加对分离逻辑研究状况的了解. 展开更多
关键词 分离逻辑 形式化方法 双向诱导推理 程序验证
下载PDF
基于自然语言的软件信息检索工具
20
作者 叶挺 陈秀招 +2 位作者 邹艳珍 赵俊峰 谢冰 《计算机科学》 CSCD 北大核心 2014年第9期91-95,共5页
随着开源软件项目规模的增大,如何快速地学习、理解一个软件项目成为基于复用的软件开发活动中的一个重要环节。这些开源软件项目的源代码和文档集的数量都比较庞大,开发人员在学习过程中查找和阅读这些软件信息需要花费大量的时间和精... 随着开源软件项目规模的增大,如何快速地学习、理解一个软件项目成为基于复用的软件开发活动中的一个重要环节。这些开源软件项目的源代码和文档集的数量都比较庞大,开发人员在学习过程中查找和阅读这些软件信息需要花费大量的时间和精力。为此,提出一种基于自然语言的软件信息检索方法,以帮助开发人员快速地检索并理解其需要的软件信息。基于该方法,设计并实现了NaLSiSe工具。NaLSiSe工具在中国计算机学会主办的第一届软件研究成果原型竞赛中荣获优秀奖。以Lucene为例,验证了该工具可以有效减少开发人员阅读源代码和文档的工作量,同时具备简洁的用户界面和友好的用户体验。 展开更多
关键词 软件复用 软件项目 信息检索 自然语言提问
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部