计算机科学

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

Computer Science

杂志简介:《计算机科学》杂志经新闻出版总署批准,自1974年创刊,国内刊号为50-1075/TP,是一本综合性较强的计算机期刊。该刊是一份月刊,致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别

主管单位:国家科学技术部
主办单位:国家科技部西南信息中心
国际刊号:1002-137X
国内刊号:50-1075/TP
全年订价:¥ 1000.00
创刊时间:1974
所属类别:计算机类
发行周期:月刊
发行地区:重庆
出版语言:中文
预计审稿时间:1-3个月
综合影响因子:1.6
复合影响因子:0.94
总发文量:9065
总被引量:52317
H指数:66
引用半衰期:3.7625
立即指数:0.0157
期刊他引率:0.8858
平均引文率:12.0993
  • 虚拟集群上面向功耗的形式化的VM调度策略

    作者:张鲁飞 陈左宁 刊期:2014年第08期

    针对虚拟化集群上日益严重的功耗问题,在定义集群、物理机、操作点、能耗、任务集、虚拟机等概念的基础上,提出了形式化的虚拟机(Virtual Machine,VM)调度策略,并有针对性地利用动态电压和频率调整(Dynamic Voltage and Frequency Scaling,DVFS)技术对普通算法进行了扩展改进,提出一个功耗敏感的VM调度算法.首先,利用FFD(First-Fit Decreas...

  • 基于层次化时间STM软件设计的形式化验证

    作者:周宽久 任龙涛 王小龙 勇嘉伟 侯刚 刊期:2014年第08期

    状态迁移矩阵(State Transition Matrix,STM)是一种基于表结构的程序建模语言.事件变量类型单一,事件和状态数量的增加很容易造成状态空间爆炸问题,无法表达具有时间语义的软件系统等原因,极大限制了该建模方法的推广应用.文中针对这些问题,首先提出层次化时间状态迁移矩阵(Hierarchical Time State Transition Matrix,HTSTM)模型,用于设计...

  • 基于非局部POCS的超分辨率图像重建

    作者:罗国中 殷建平 祝恩 刊期:2014年第08期

    图像获取过程中,受成像系统的影响,无法获取原始场景中所有的信息.超分辨率图像重建技术就是在不改变成像系统的前提下,提高图像质量.POCS(凸集投影算法)可以利用多帧低分辨率图像重建一帧高分辨率图像.然而传统的POCS算法通常会产生“锯齿”边缘.在自然图像中,会存在许多的相似边缘结构.利用局部相似性的结构,可以有效地消除“锯齿”边缘.因...

  • 基于BPMN的Web服务并发交互机制

    作者:江东明 薛锦云 刊期:2014年第08期

    如何抽象描述复杂业务流程的交互是服务计算研究的重要问题.大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现.针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型.首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可...

  • 求解二维矩形Packing问题的完备算法

    作者:何琨 姚鹏程 李立文 刊期:2014年第08期

    对于典型的NP难度问题——二维矩形Packing问题,经典完备算法的计算复杂度不仅与待放块的数目相关,也与矩形框的宽和高相关.通过观察二维矩形Packing问题的合法布局的特点,将其与一对有向无环图相对应,并基于Prüfer码进行编码,提出了一种计算复杂度仅与待放块数相关的复杂度较低的完备算法.

  • 部分多值逻辑函数集中准完备集的分类问题研究

    作者:王婷 刘任任 马珂 刊期:2014年第08期

    Sheffer函数的最简判定是多值逻辑函数集完备性判定问题中的一个重要的理论和实际问题.根据部分多值逻辑函数的完备性理论,研究了部分多值逻辑函数集中准完备集的分类问题,从而为解决部分多值逻辑中Sheffer函数的判定问题提供了研究基础.

  • 与体系结构匹配的多级可重构任务划分方法

    作者:郝水侠 曾国荪 刊期:2014年第08期

    异构系统是高性能计算发展的主要模式,云计算是异构计算的典型实例.其优势在于异构处理器能各尽其能,但在实际应用中异构系统的性能往往不能充分发挥,因为处理器特征与应用程序特征不匹配,造成系统效率低下.因此借助重构思想,提出与体系结构结合的多级可重构任务划分方法.定义了多级可重构的概念,分析了异构匹配的原理,给出异构特征分析过程,提...

  • 一种新闻评论情感词典的构建方法

    作者:周咏梅 阳爱民 杨佳能 刊期:2014年第08期

    情感词典研究是文本情感分析领域的一个重要内容;基于情感词典的文本情感分析方法是一种非常有效的方法.互联网上的新闻评论包含评论人的情感,对其情感进行自动分析研究是非常有意义的.借鉴图排序模型的原理,提出一种新闻评论情感词典构建方法,该方法首先通过新闻评论语料和基础情感词典获得评论情感词集和种子词,然后根据提出的基于PageRank算...

  • 无线网络中寻找非干扰不相交路径的拟人算法

    作者:董高秀 凌珊 陈卫东 刊期:2014年第08期

    针对无线网络中寻找从源点s到汇点t的两条非干扰不相交路径这一NP难问题,提出了一种拟人算法.该算法首先基于网络流方法得到两条点不相交的st路径,然后通过一种拟人化的策略逐步调整这两条路径,力图使得它们变为两条非干扰不相交的st路径.模拟实验表明,与现有的算法相比,拟人算法可以快速地以更高的概率找到两条长度较短的非干扰不相交路径.

  • 云计算环境下基于模糊聚类的并行调度策略研究

    作者:张千 梁鸿 郉永山 刊期:2014年第08期

    并行任务调度是分布式计算研究的核心问题之一,其结合大规模的石油地震勘探数据在处理过程中对高性能计算的需求,研究云计算环境下地震资料数据的并行调度问题.由于地震资料数据规模较大,因此通常将大作业进行分割,通过并行处理获得较高的处理效率.对任务进行并行处理的一个关键问题是如何将划分后的任务分配到合适的调度节点,最高效的情况是使...

  • 优先级边排序策略及其性能分析

    作者:潘竹生 莫毓昌 赵建民 刊期:2014年第08期

    网络可靠度BDD分析的计算复杂度与BDD尺度线性相关,而BDD尺度依赖边排序策略,边排序问题是BDD网络可靠度分析的重要问题.从网络结构特性出发,设计了优先级边排序策略并深入研究了在该策略下不同排序起点对BDD尺度的影响.实验结果表明:源点和网络中心不是高性能排序起点,最佳排序起点分布在网络边缘,网络中心点为最差排序起点.该结论可为揭示边...

  • 列名与数值不确定情况下的模式匹配问题研究

    作者:黄冬梅 冯恺 赵丹枫 郭颖新 刊期:2014年第08期

    模式匹配是数据集成领域的一个重要研究内容,列名与数据值不确定是模式匹配中的一种常见情况,当前较普遍的方法是基于互信息及欧式空间距离.但该方法没有解决因属性相似度相同或相近而引起的错误匹配问题.针对该问题,提出了多重迭代筛选方法,首先确定两个关系模式中能一次性正确匹配的部分属性对,再从中求出最优属性对,然后给出基于条件互信息的...

  • 基于概率的信任传播模型

    作者:张绍武 林鸿飞 刘晓霞 窦彦昭 刊期:2014年第08期

    社会网络中,用户之间的信任关系可以为用户判别信息是否可信提供依据.现有的信任计算方法一般是通过搜索节点之间的路径,再在其上添加各种其它限制,如路径长度、信任度下界等来计算信任度,而考虑节点之间的相似性的方法却很少.从节点之间的相似性出发,在信任传播模型的基础上,结合贝叶斯条件概率公式,提出了基于概率的信任传播模型.同时分析了信...

  • 一种基于Android平台的图像加密方案

    作者:王伟 金聪 刊期:2014年第08期

    智能手机等移动终端在现实生活中已经被广泛使用,由其引发的图像安全性问题也越来越突出,保护智能手机等移动平台中的图像信息安全迫在眉睫.传统计算机平台下的图像加密技术已经得到了广泛的研究和应用,但移动平台受限于当前的硬件架构,无法直接继承传统平台的安全性技术.针对智能手机等移动平台中的图像信息安全问题,提出了一种基于Android移动...

  • 蒙古文依存句法分析

    作者:苏向东 高光来 闫学亮 刊期:2014年第08期

    近年来,依存句法分析逐渐成为自然语言处理领域中的研究热点.然而,蒙古文的依存句法分析尚未得到足够的重视.基于最大生成树模型在蒙古文依存关系树库TMDT上进行了蒙古文依存句法分析的研究.在简要介绍蒙古文的特点和蒙古文依存关系树库TMDT之后,详细讨论了最大生成树模型.为找到该模型在蒙古文依存句法分析中合适的特征,重点通过实验对8种特征...