计算机研究与发展

计算机研究与发展杂志 北大期刊 CSCD期刊 统计源期刊

Journal of Computer Research and Development

杂志简介:《计算机研究与发展》杂志经新闻出版总署批准,自1958年创刊,国内刊号为11-1777/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:综述、计算机技术、计算机网络、人工智能、计算机软件、计算机应用

主管单位:中科院出版委员会
主办单位:中国科学院计算技术研究所
国际刊号:1000-1239
国内刊号:11-1777/TP
全年订价:¥ 1099.20
创刊时间:1958
所属类别:计算机类
发行周期:月刊
发行地区:北京
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:2.48
复合影响因子:2.65
总发文量:2976
总被引量:43749
H指数:82
引用半衰期:4.5171
立即指数:0.0594
期刊他引率:0.9216
平均引文率:19.5245
  • 带类型恢复的编译器源源翻译技术

    作者:米伟 李玉祥 陈莉 冯晓兵 张兆庆 刊期:2010年第07期

    源源翻译是使编译器的分析和优化可重定向的一种重要方式.它被广泛用来支持并行语言扩展或者各种体系结构无关的优化,并且可以帮助程序员进行正确性或者性能的调试.在多核/众核时代,程序分析和优化倾向于让用户更多地参与,这种平台无关而且用户友好的代码生成方式也越来越受到欢迎.在简单的编译器中添加源源翻译的支持很容易,但在实现了复杂的程...

  • 支持自适应过程中分析与规划的软件体系结构模型

    作者:陈湘萍 黄罡 孙艳春 梅宏 刊期:2010年第07期

    模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用性和集成性,总结了分析和规划中所需的模型以及模型上的操作,并考察了如何在体系结构建模语言中引入标准模型技...

  • 一种图文法制导的软件体系结构开发环境Artemis-GADE

    作者:邢阳 谢德平 马晓星 曹春 吕建 刊期:2010年第07期

    图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的...

  • 一种基于模型的软件系统监测方法

    作者:邵津 邓芳 王千祥 刊期:2010年第07期

    软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标.提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据.该方法以包含约束描述信息的监测模型为基础,基于一系列的转换规则,自动、半自动地将监测模...

  • 一种基于UML的实时工作流建模方法研究

    作者:徐亮 张莉 樊志强 刊期:2010年第07期

    实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模...

  • 一种Web系统性能测试框架及其混合建模过程

    作者:明仲 尹剑飞 杨巍 王慧 肖志娇 刊期:2010年第07期

    由于Web系统的复杂性,仅采用性能测试或单一建模方法在多个性能指标度量准确性、预测有效性和测试迭代控制等方面存在局限性.提出一种支持混合性能建模的Web性能测试框架,依据不同的性能指标,采取不同的性能建模方法,导出性能指标的封闭函数及其度量假设条件,执行回归分析和测试.以一个实际Web社区系统为例,针对系统响应时间和伸缩性指标,提出了...

  • 英特尔推出新型超级计算机芯片Knights Corner

    刊期:2010年第07期

    据报道,英特尔宣布计划开发针对超级电脑市场的新型芯片,代号为Knights Corner的新芯片将有50个内核,并采用22纳米制程生产.10多年来,多数超级电脑一直都使用英特尔和AMD的x86芯片.英特尔称,新技术被称为MIC(多集成核),是以原先的研究项目如“单芯片云电脑”及GPU开发项目Larrabee的成果为基础开发出来的.

  • 打造新一代数据仓库和云平台

    刊期:2010年第07期

    企业数据呈几何式增长,超大规模、动态可伸缩以及快速的并行分析能力对数据库提出了更高要求.近日,GreenPlum公司推出了最新的GreenPlum Database4.0数据库和首个商用企业数据库云端运算平台GreenPlum Chorus.GreenPlum的数据库仓库产品采用了MPP(Massively Parallel Processing)并行处理的架构,

  • 研发动态全球第二快超级计算器系统“星云”年底将落户深圳

    刊期:2010年第07期

    “星云”系统是由曙光信息产业(北京)有限公司、中国科学院计算技术研究所、国家超级计算深圳中心共同研制,由曙光集团天津产业基地制造的一款拥有自主知识产权的超千万亿次超级计算器;是国内首台实测性能超千万亿次的超级计算器,其每秒系统峰值达三千万亿次(3PFlops),每秒实测Linpack值达1271万亿次,刷新了中国高性能计算的最高速度,

  • IBM研发水冷超级服务器 降低能耗40%

    刊期:2010年第07期

    IBM近日联合瑞士苏黎世联邦理工学院共同研发了一种名叫Aquasar的液冷超级计算机.它可以降低40%的能源消耗,减少85%的碳排放.同时将收集来的热能用于建筑上的需求.这种系统由IBM BladeCenter服务器和机架构成,能实现6万亿次浮点运算.这种被称为微通道冷却器的装置连接到处理器的背面,

  • 实时嵌入式系统的竞态条件及其分析方法研究

    作者:陈艳 徐晓峰 李晓潮 郭东辉 刊期:2010年第07期

    竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态...

  • 一种基于P2P-SIP的可管理和可运维VoIP系统架构

    作者:陈曦 李振宇 谢高岗 刊期:2010年第07期

    基于SIP的VoIP系统由于其客户端/服务器的服务架构,在用户规模增大时会引发其固有的单点失效和性能瓶颈问题.P2P和SIP融合的VoIP系统具有良好的扩展性和容错能力,但是现有系统并不能满足可管理和可运维的要求.从运营商的角度考虑,提出了一种基于P2P-SIP的可管理、可运维的VoIP系统架构AMAP.在AMAP系统中,由少量部署的服务器按照DHT协议组成服务...

  • P2P流媒体系统服务器部署的优化设计

    作者:杨雅辉 钮振瑛 徐恪 刊期:2010年第07期

    P2P流媒体系统中,内容服务器提供源数据并驱动数据扩散,是系统的重要组成部分,其部署方案会影响整个系统的流量变化.分析了服务器的优化部署问题,从服务器负载均衡、主干网内流量最小和调度代价最小3个优化目标建立系统模型,并给出了各个优化目标的算法实现,包括基于负载均衡的贪心算法和基于0-1规划的分支定界算法.最后,通过仿真实验验证了服务...

  • 大规模网络上基于图嵌入的可扩展路由方法

    作者:唐明董 张国清 杨景 刊期:2010年第07期

    大规模网络上理想的路由方法必须同时具有较小的路由表和较短的路径.传统的最短路径路由算法只考虑优化路径,但是路由表需要维护到所有节点的路由信息,故路由表项数至少随网络规模线性增长,因此呈现较差的扩展性.针对基于图嵌入的可扩展路由进行了研究,提出将网络嵌入到由它的支撑图(spanner)导出的度量空间.利用真实网络普遍存在的小世界和无...

  • 一种基于主存Δ-tree的高维数据KNN连接算法

    作者:刘艳 郝忠孝 刊期:2010年第07期

    KNN连接作为数据挖掘的基元,可以用来大幅度提高相似搜索、数据分析和数据挖掘的速度.到目前为止,对KNN连接的研究主要在基于磁盘系统的背景下进行,假设数据库太大以至于不能装入主存.随着RAM越来越大,价格也越来越低廉,这种假设逐渐受到挑战.因此,有必要重新对基于主存的KNN连接进行研究.在高效主存索引的基础上,采用编码解码、自底向上、深度...