计算机学报期刊
出版文献量(篇)
5154
总下载数(次)
49

计算机学报

Chinese Journal of Computers

CSCDEIJSTSACSTPCD

影响因子 3.6512
本刊是中国计算机领域的有代表性学术刊物,作为一种科学研究档案,代表了计算机领域各个研究阶段的水平。 本刊被《工程索引》(美国)、《科学文摘》(英国)、《数学文摘》(美国)、《科技文献速报》(日本)、《文摘杂志》(俄罗斯)等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位:
中国计算机学会 中国科学院计算技术研究所
期刊荣誉:
中国科学引文数据库来源期刊  科技论文统计源期刊 
ISSN:
0254-4164
CN:
11-1826/TP
出版周期:
月刊
邮编:
100190
地址:
中国科学院计算技术研究所(北京2704信箱)
出版文献量(篇)
5154
总下载数(次)
49
文章浏览
目录
  • 作者: 周晓清 肖鸣宇
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  493-505
    摘要: 子集反馈顶点集问题是一个经典的NP难问题,该问题是指在一个无向图中删除最少的顶点使得图中某些给定的顶点不在任何圈中.子集反馈顶点集问题包含了经典的最小反馈顶点集、多路割等重要特例问题,并且可...
  • 作者: 刘望舒 刘树龙 陈翔 陈道蓄 顾庆
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  506-520
    摘要: 软件缺陷预测通过挖掘软件历史仓库,构建缺陷预测模型来预测出被测项目内的潜在缺陷程序模块.但在挖掘过程中,对程序模块进行类型标记或软件度量时均可能产生噪声.虽然研究人员对已有特征选择方法的噪声...
  • 作者: 刘俊晖 张璇 李彤 王旭 陈清毅
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  521-544
    摘要: 在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点...
  • 作者: 姜加红 尹帮虎 陈立前
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  545-557
    摘要: 抽象解释是一种对程序语义进行可靠近似的通用理论,该理论在保证可靠性的前提下,可为程序变量的值范围分析提供一个通用的框架.抽象域是抽象解释框架的核心,在该框架下面向数值性质分析的数值抽象域得到...
  • 作者: 付剑晶 陈德人
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  558-573
    摘要: 随着视频编辑软件功能的增强,视频内容的篡改和伪造变得越来越容易,在很多领域可能导致严重后果.在视频依次经历解码、常规信号处理及修改图像组GOP(Group of Pictures)与量化参数...
  • 作者: 傅玉 冯登国 孙晓山 张阳 程亮 邓艺
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  574-587
    摘要: 空指针解引用是C/C++程序中常见的一类程序错误,它可让攻击者旁路安全机制或窥探操作系统敏感信息,一直是计算机安全领域的重要研究课题之一.目前已有很多(自动)分析工具对其进行检测,然而它们都...
  • 作者: 傅浩杰 樊向宇 王赞 郜健 陈翔
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  588-610
    摘要: 当开发人员面对大量缺陷报告无从入手的时候,自动程序修复(Automatic Program Repair,APR)可以成功完成其中一些缺陷的自动修复,从而有效减少开发人员的程序调试时间.因此...
  • 作者: 刘伟 杜玉越 田银花 韩咚
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  611-627
    摘要: 校准是事件日志中迹与过程模型之间一致性检查的重要手段,可以精确定位偏差出现位置.但已有校准方法一次只能计算一条迹与过程模型之间的校准,若计算m条迹与过程模型之间的校准,需调用m次该方法,做大...
  • 作者: 张凡龙 苏小红
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  628-651
    摘要: 软件复用作为一种常见的软件开发手段,会导致大量克隆代码的产生,这无疑增加了软件维护的代价.对克隆代码的维护需求引发了一系列关于克隆代码的研究,如克隆检测、克隆分析、克隆维护等.但是,上述克隆...
  • 作者: 杨志斌 沈国华 王飞 阚双龙 陈光颖 黄志球
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  652-669
    摘要: 嵌入式系统在航空、航天、核能及交通等安全攸关领域中的广泛应用,使得保障其安全性至关重要.需求可追踪是安全攸关领域标准的基本要求,也是安全性分析与保障的重要前提.当前可追踪性的研究主要集中在需...
  • 作者: 姜淑娟 张妙 张艳梅 鞠小林
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  670-694
    摘要: 对于面向对象程序,一个常见的问题是确定集成测试中的类的测试顺序,称为类集成测试顺序的确定问题.类测试顺序的确定问题是面向对象软件集成测试中的关键难点之一.首先,简单介绍类测试顺序确定问题的背...
  • 作者: 刘祥伟 方欢 方贤文 赵芳
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  695-708
    摘要: 业务流程的变化域是潜在的、易导致系统出现非一致性的区域,从流程模型变化域的角度来分析业务系统可信性,也是解决业务系统可信管理的关键点之一.已有的研究大多数针对业务流程的控制流进行变化域分析,...
  • 作者: 于戈 宋杰 徐澍 马忠义 鲍玉斌
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  709-723
    摘要: 计算机系统的性能优化研究早期关注硬件性能,后来更关注软件性能.能耗优化研究与之类似,近年来,面向软件或代码的系统能耗优化方法研究受到重视,而算法作为代码的抽象,其能耗评价技术更是一个研究重点...
  • 作者: 刘悦 刘玉超 刘群 杨洁 淦文燕 王国胤 郭毅可
    刊名: 计算机学报
    发表期刊: 2018年3期
    页码:  724-744
    摘要: 不确定性信息的表达和处理是人工智能的一个重要研究问题.目前有多种理论模型从不同的角度研究不确定性问题,包括模糊集、粗糙集、概率论、证据理论等.1995年,李德毅院士在概率论和模糊集理论两者的...
  • 作者: 任雪亮 周俊萍 李睿智 殷明浩 殷茜
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  745-759
    摘要: MaxSAT问题的研究已成为一个比较热门的研究领域,与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一...
  • 作者: 卜东波 巩海娥 张海仓 朱建伟 王超 郑伟谋
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  760-779
    摘要: 了解蛋白质的三维结构对于认识蛋白质的功能有着重要意义.由于蛋白质结构测定的速度远远跟不上蛋白质序列测定的速度,因此使用计算技术依据蛋白质序列预测结构成为结构测定的有力补充.该文首先总结了蛋白...
  • 作者: 丁立新 何进荣 刘斌 闭应洲
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  780-795
    摘要: 高维是大数据的一个重要特点,数据降维是处理高维数据的有效手段.数据降维算法的设计,关键在于保持原始高维数据集中蕴含的判别信息和几何结构,使得生成的低维特征表示既能刻画原始高维数据的分布形状,...
  • 作者: 卫丽华 朱鹏程 程学云 管致锦
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  796-808
    摘要: 可逆逻辑综合是指根据可逆函数构造可逆电路的过程.真值表变换法是一种常见的可逆逻辑综合算法,其易懂并易实现,但生成的电路含较多冗余逻辑门,有待进一步的优化.为实现一种无需优化便可接近最优解的真...
  • 作者: 于巧 姜淑娟 张艳梅 王兴亚 钱俊彦 高鹏飞
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  809-824
    摘要: 分类不平衡是指不同类别间样本数量分布不均衡的现象.在软件缺陷预测中,传统预测模型的性能可能会因数据集分类不平衡而受到影响.为了探究分类不平衡对软件缺陷预测模型性能的影响程度,该文提出一种分类...
  • 作者: 刘磊 吕帅 张桐搏 李广力 杨洋
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  825-839
    摘要: 作为与归结推理方法互补的推理方法,扩展规则推理方法得到了国内外广泛认可.目前扩展规则推理方法的研究主要集中于完备推理方法,由于极大项变换方式过于机械,导致该方法处理公式的规模比较局限.该文在...
  • 作者: 何发智 吕晓 程媛 蔡维纬
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  840-867
    摘要: 有别于传统分布式系统,实时协同编辑系统强调自然和谐的人人交互和人机交互,允许不同地点的协同用户同时编辑同一共享对象.为了给协同用户提供良好的响应性,实时协同编辑系统有必要采用全复制式体系结构...
  • 作者: 朱光辉 袁春风 黄圣彬 黄宜华
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  868-885
    摘要: 谱聚类是一种比传统聚类算法更为高效的算法,其建立在谱图理论基础上,并将聚类问题转化为图的最优划分问题.与传统k-means算法不同的是,谱聚类算法不仅能够在任意形状的样本空间上实现聚类,而且...
  • 作者: 吴洪博 梁颖
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  886-897
    摘要: MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数,该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公...
  • 作者: 张倩生 申宇铭 郝天永
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  898-914
    摘要: 逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,...
  • 作者: 刘永楠 李建中 高宏
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  915-930
    摘要: 在大数据时代,越来越多的带有缺失值的数据需要处理,因而数据不完整成为一种常见的数据质量问题.不完整的数据给大数据的查询、挖掘和分析带来了困难.在某些情况下,数据中的很多缺失值是无法被确定的....
  • 作者: 姜淑娟 张妙 张艳梅 王兴亚 陈若玉
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  931-945
    摘要: 类测试序列的确定是类集成测试中一个难以解决的关键问题.合理的类集成测试序列可以降低构造测试桩的总体复杂度,降低测试代价.提出一种基于粒子群优化算法的类集成测试序列确定方法.首先,对所有类进行...
  • 作者: 刘挺 李璐旸 秦兵
    刊名: 计算机学报
    发表期刊: 2018年4期
    页码:  946-968
    摘要: 随着电子商务网站及点评网站的发展,评论信息日益影响着人们的生活.越来越多的网络用户通过发布评论分享消费体验、评价产品的质量,并在做出消费决策时参考其他用户的评论.人们对评论信息的依赖催化了虚...
  • 作者: 周傲英 张召 邵奇峰 金澈清 钱卫宁
    刊名: 计算机学报
    发表期刊: 2018年5期
    页码:  969-988
    摘要: 传统的数据库管理系统主要由单一机构管理和维护,在多方参与者协作的场景中,因无法完全信任数据库中的数据,每方都需要单独构建一套承载自己业务数据的数据库,多方数据库间的数据差异会导致繁琐的人工对...
  • 作者: 吴震 李艳东 毛洪亮 沈蒙 祝烈煌 高峰
    刊名: 计算机学报
    发表期刊: 2018年5期
    页码:  989-1004
    摘要: 比特币技术发展迅速,交易规模逐步攀升,引起国内外广泛关注.比特币技术具备去中心化和匿名化特征,使得比特币交易者的身份难以识别,为不法行为(如毒品交易、比特币勒索病毒等)提供了隐匿空间.该文提...
  • 作者: 孔兰菊 张世栋 李庆忠 肖宗水 郑永清 闵新平
    刊名: 计算机学报
    发表期刊: 2018年5期
    页码:  1005-1020
    摘要: 区块链技术可解决数字化资产可信度低下问题,但大多数解决方案存在交易吞吐量低下、共识延迟过高、通信代价高、难以保证数字化资产全局一致性等方面的限制.许可区块链系统由高可信的节点组成,对特定组织...

计算机学报基本信息

刊名 计算机学报 主编 高文
曾用名
主办单位 中国计算机学会 中国科学院计算技术研究所  主管单位 中国科学院 中国科协
出版周期 月刊 语种
chi
ISSN 0254-4164 CN 11-1826/TP
邮编 100190 电子邮箱 cjc@ict.ac.cn
电话 010-62620695 网址 cjc.ict.ac.cn
地址 中国科学院计算技术研究所(北京2704信箱)

计算机学报评价信息

期刊荣誉
1. 中国科学引文数据库来源期刊
2. 科技论文统计源期刊

计算机学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊