HI,欢迎来到好期刊网,发表咨询:400-888-9411 订阅咨询:400-888-1571证券代码(211862)

计算机科学杂志   北大期刊CSCD期刊统计源期刊

主管单位:国家科学技术部

主办单位:国家科技部西南信息中心

影响因子:0.94

ISSN:1002-137XCN:50-1075/TP

    基本信息:

  • 下单时间:1-3个月
  • 发行周期:月刊
  • 曾用名:计算机应用与应用数学
  • 发行地:重庆
  • 创刊:1974
  • 类别:计算机类
  • 出版社:计算机科学
  • 语言:中文
  • 价格:¥1000.00
  • 起订时间:2020年01月
  • 邮编:401121
  • 库存:187
相关期刊
服务介绍

计算机科学 2014年第09期杂志 文档列表

计算机科学杂志2013’服务化软件
38-44

POP-PHP:支持PHP应用的在线集成开发环境

作者:杨楠 吴凌 王千祥 单位:北京大学信息科学技术学院软件研究所 北京100871 软件工程国家工程研究中心 北京100871 高可信软件技术教育部重点实验室 北京100871

摘要:随着云计算的发展,随时随地开发程序成为许多人的一种新的愿景.因此在线集成开发环境受到了软件开发人员的广泛关注.POP-PHP(Peking University Online Programming-PHP version)是一个支持PHP应用的在线集成开发环境,具有基本的集成开发环境功能,支持多用户同时使用,并提供了一种轻量级调试方法.其采用服务组合实现了较为完善的语法检查功能,并实现了编程行为回放以进行监测.

52-59

一种基于主题建模的代码功能挖掘工具

作者:华哲邦 李萌 赵俊峰 邹艳珍 谢冰 李扬 单位:北京大学信息科学技术学院 北京100871 高可信软件技术教育部重点实验室 北京100871 神州数码信息系统有限公司 北京100085

摘要:代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用.基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能.目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充.CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能.功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能.CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic.以CFM方法为基础,设计并实现了一个CFM工具.CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构.最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性.

60-62

ConUp:一个支持构件动态更新的SCA中间件系统

作者:任国超 王姜 马晓星 单位:南京大学计算机科学与技术系 南京210046 南京大学计算机软件新技术国家重点实验室 南京210046

摘要:中间件已经成为网络环境下构建复杂应用系统的核心基础支撑软件.Internet的发展促使应用环境从封闭、静态转变为开放、动态,这就要求中间件上的应用具有动态更新的能力.业界广泛应用的中间件多支持构件的热部署,但不能自动保证系统的一致性.ConUp是一个基于Tuscany的SCA中间件系统,它通过对构件间动态依赖的管理来保证构件动态更新后系统的一致性.本原型演示将展示ConUp的中间件上的构件进行动态更新的过程,它对多种动态更新算法、策略的支持,及其在动态更新安全性、及时性和低干扰性方面的优势.

63-66

基于云计算的大规模性能测试服务平台

作者:陈铁南 唐震 王晓冉 任凯 支孟轩 单位:中国科学院软件研究所软件工程技术研发中心 北京100080

摘要:性能测试是通过自动化的测试工具模拟多种正常、峰值以及异常负载条件来对系统的各项性能指标进行测试.测试对象分为基准测试和非基准测试两种.大规模的性能测试受到所需的大量软硬件资源以及与此规模匹配的管理维护代价的限制,传统的性能测试采用一种1:20的微缩仿真模拟,但这种微缩仿真测试不充分,会带来严重的后果.采用云计算技术,使用其承诺的按需的廉价软硬件资源服务,来构建大规模性能测试服务平台,提供按需定制的测试服务.

67-70

基于语义关系的服务计算支持工具

作者:冯志勇 陈世展 王辉 梁其烜 单位:天津市认知计算与应用重点实验室 天津300072 天津大学计算机科学与技术学院 天津300072

摘要:Web服务是实现软件即服务的最佳实践,也是解决集成组织间业务的关键技术.然而,互联网上的Web服务组织零散,不便于组织管理.服务网络(Service Network,SN)原型系统是一个Web服务组织管理平台,致力于Web服务整个生命周期的组织、管理和利用.其核心思想是利用语义Web(Semantic Web)和社会化网络技术,显式地识别、挖掘服务之间的语义关联和交互关系(简称为服务关系),将可用Web服务组织成具有丰富语义信息、基于业务上下文和交互关系的服务生态系统.该系统主要包括以下几部分:服务搜集、服务标注、服务关系挖掘、服务组合.将语义推理和关系演算引入到服务的发现、组合、交互和管理过程中,使服务网络成为支撑面向服务计算模式的新型基础设施,这有助于改善和提高Web服务组合的自动化程度及效率,从而满足更加复杂的应用需求.

71-74

基于程序切片的测试用例生成系统研究与实现

作者:王志文 黄小龙 王海军 刘烃 俞乐晨 单位:西安交通大学电子与信息工程学院 西安710049

摘要:介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集.系统分为静态分析、动态符号执行以及测试用例生成3个模块.在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例.实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量.

75-79

基于组件的大数据分析服务平台

作者:赵薇 刘杰 叶丹 单位:中国科学院大学 北京100190 中国科学院软件研究所 北京100190

摘要:随着数据规模的快速增长,单机的数据分析工具已经无法满足需求.针对大数据的分析问题,设计并实现了一种基于组件的大数据分析服务平台Haflow.Haflow自定义了业务流程模型和可扩展的组件接口,组件接口支持各种异构工具的集成.系统接收用户定义的业务流程,将其翻译成执行流程实例,提交到Hadoop分布式集群上执行.Haflow是一个可扩展的、分布式的、支持异构分析工具的、面向服务的大数据分析服务平台.提出该平台有两重意义:一方面平台将与数据分析业务无关的工作封装起来,支持各种异构组件,以加快分析应用的开发速度;另一方面,平台后端使用Hadoop分布式系统来实现多任务的并发,从而提高应用的平均执行速度.

80-83

基于Web的多刻面交互式特征定位工具MFIE

作者:彭鑫 王金水 付焜 赵文耘 单位:复旦大学计算机科学技术学院 上海200433 上海市数据科学重点实验室(复旦大学) 上海200433

摘要:在执行软件维护任务中,开发人员经常需要在软件代码中寻找并理解与给定的功能性特征相关的程序元素(如类或方法),这一过程称为特征定位或概念定位.相关的经验研究表明,特征定位是一个以人为中心、信息密集型的探索和认知过程,包含交互式的信息探索、反馈和策略调整.基于这一思想,提出了一种多刻面、交互式的特征定位方法,并开发了基于Web的支持工具MFIE(Multi-faceted Interactive Explorer).介绍了MFIE所实现的多刻面、交互式特征定位方法,MFIE的多刻面界面设计以及所提供的主要功能.在此基础上,还通过一个案例介绍了MFIE所支持的特征定位过程.

84-87

PSC2GS:一个基于属性序列图的监控器生成工具

作者:余俊 张鹏程 周宇鹏 刘宗磊 单位:河海大学计算机与信息学院 南京211100 南京大学计算机软件新技术国家重点实验室 南京210093

摘要:在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效.基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法.监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例.监控器可以提供足够的信息用来预测系统失效.正文中将描述一个名为“PSC2GS”的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能.PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式.

88-90

基于软件自动修复评估缺陷定位技术的工具:GenProg-FL

作者:纪涛 齐玉华 毛晓光 单位:国防科学技术大学计算机学院 长沙410073

摘要:虽然缺陷定位技术和软件错误自动修复技术已经得到一定的发展,但是软件的修复工作仍然需要程序员投入大量的时间和精力.大多数开发者仍然使用传统调试技术(例如断点)来进行手工的调试,缺陷定位技术的研究成果并没有较好地运用到实际的修复工作中.近来,软件错误自动修复技术得到了快速的发展和广泛的关注.在软件错误自动修复工作中,利用缺陷定位技术自动定位错误代码是必需的,而定位的精度直接影响到补丁的生成,从而对修复的效果产生较大的影响.GenProg-FL工具可以接受不同的缺陷定位技术去自动修复故障程序.同样,使用GenProg-FL可以从软件自动修复的角度评估现有的基于程序谱的缺陷定位技术定位的有效性.

91-95

基于自然语言的软件信息检索工具

作者:叶挺 陈秀招 邹艳珍 赵俊峰 谢冰 单位:北京大学信息科学技术学院软件研究所 北京100871 高可信软件技术教育部重点实验室 北京100871

摘要:随着开源软件项目规模的增大,如何快速地学习、理解一个软件项目成为基于复用的软件开发活动中的一个重要环节.这些开源软件项目的源代码和文档集的数量都比较庞大,开发人员在学习过程中查找和阅读这些软件信息需要花费大量的时间和精力.为此,提出一种基于自然语言的软件信息检索方法,以帮助开发人员快速地检索并理解其需要的软件信息.基于该方法,设计并实现了NaLSiSe工具.NaLSiSe工具在中国计算机学会主办的第一届软件研究成果原型竞赛中荣获优秀奖.以Lucene为例,验证了该工具可以有效减少开发人员阅读源代码和文档的工作量,同时具备简洁的用户界面和友好的用户体验.

96-100

一个用户主导的情景数据集成应用构造环境

作者:王桂玲 曹波 张赛 耿美珍 张峰 单位:北方工业大学云计算研究中心 北京100144 山东科技大学信息科学与工程学院 青岛266590

摘要:随着网络的普及和深入应用,人们希望共享和集成丰富的网络信息资源,以满足其个性化需求.文中提出了一个用户主导的情景数据集成应用构造环境DSS,用以支持大量不具备专业编程知识的最终用户自行利用既有的网络信息资源即时构造应用.DSS支持当前常见的网络信息资源,实现了交互式的网页资源个性化服务封装,并将Spreadsheet和嵌套关系模型相结合,提供了可视化的嵌套电子表格操作和公式语言,以支持用户进行数据服务的组合.通过案例和相关工作的分析比较,表明了DSS上述功能的有效性.

计算机科学杂志网络与通信
101-103

一种高速嵌套CRC码的生成方法及其FPGA实现

作者:段斌斌 孙嵩松 焦黎 周文利 单位:华中科技大学光学与电子信息学院 武汉430074

摘要:为了实现高速融合网络数据传输中的差错控制,针对现有循环冗余校验码(CRC)计算速度难以进一步提升的问题,提出了一种用嵌套CRC码实现高速数据差错控制的方法,并在Xilinx公司的FPGA芯片上进行了实现.该嵌套CRC码由多个通道的传统CRC码并行计算器同步计算得到,可大幅度提升差错控制码的生成速度,并通过不同计算通道的组合,支持多种流量的差错控制.最后分析了嵌套CRC码的计算性能以及差错控制能力,并提供了设定嵌套次数、通道数以及计算通道并行计算位数的依据.

104-109

面向云环境的集群资源模糊聚类划分算法的优化

作者:董世龙 陈宁江 谭瑛 何子龙 朱莉蓉 单位:广西大学计算机与电子信息学院 南宁530004

摘要:传统的串行模糊聚类分析算法在应对高维矩阵运算时存在运算量大、运算效率低等问题,难以满足云环境中集群资源调度的时效性要求.为此,在基于等价关系的模糊聚类算法基础上对传递闭包法进行优化,提出一种基于多线程的云资源模糊聚类划分并发算法,并将其应用于Hadoop调度器的策略改进.仿真实验结果表明,优化策略有助于减少平方法求解模糊等价矩阵的计算量,所设计的并发算法能够有效解决中小规模云集群资源聚类的运算瓶颈问题,且具有较好的加速比.为了解决现有Hadoop调度器存在的异构性问题,对该优化并发算法进行了理论分析,结果表明它有助于解决异构性带来的调度难题.

110-114

三元组扩频码在扩频通信中的应用

作者:王慧 吴成茂 单位:西安邮电大学研究生院 西安710061 西安邮电大学电子工程学院 西安710121

摘要:为了产生、加工出一组逼近白噪声统计信号特性的信号并将其作为扩频码来降低扩频通信系统的误码率、提高可靠性,基于三元组随机数提出三元组扩频码.该扩频码由真随机熵源提供初始值,以多轮重构技术构造背景,通过周期性变轨、控制空间映射和约束判断等方法实现离散轨迹变换,再经均匀映射产生.在不同大小的信噪比和不同幅度的正弦干扰下,采用蒙特卡罗模型仿真测试了三元组、m序列、分段Logistic序列和线性同余序列作为扩频码的直接扩频通信系统的误码率.实验结果表明,三元组扩频码的误码率更低,并且在低信噪比、强衰落、强干扰的情况下也很稳定,可以提高扩频通信系统的抗截获性和抗干扰性,从而保障通信系统的可靠性.