论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报2015年第11期出版文献
出版文献量（篇）
5154
总下载数（次）
49
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
分享
文章浏览
目录
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 随着嵌入式软件规模、复杂度的持续增长，基于构件的设计技术已在大规模嵌入式系统开发中得到广泛应用。嵌入式构件测试是保证构件质量以及构件间集成构造的重要手段。基于模型的测试是嵌入式软件测试的重要...
-
2. 随机模型检验研究刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 随机模型检验作为模型检验理论的延伸和推广，可用于验证分析系统模型的定性或定量性质，其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域。从20世纪90年代末至今，随机...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 如何利用时间信息改善 Web 搜索效果是近年来的一个研究热点，这是因为大多数的 Web 网页都包含有时间信息，同时许多 Web 查询也含有时间查询词。文中围绕时间感知的 Web 搜索需求，重...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 对象实例化是软件工程类库复用中一个常见、复杂的问题．即根据已知源类型的对象，用户需要编写代码对目标类型进行实例化．研究人员提出了若干种 API 自动推荐系统辅助用户解决上述问题．然而这些系统...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 错误定位是软件调试中非常耗时费力的活动之一，自动错误定位技术可以提高调试效率，降低调试成本。该文提出一种把动态切片、关联分析及排序策略相结合的错误定位方法。首先，收集程序执行的动态切片及相应...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 程序多路径验证方法是对软件性质进行发掘的重要方法之一，现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径，从而分析程序中潜在的安全问题，但存在对路径条件不加选择地进...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 当今普遍流行的多核架构使得硬并发成为现实。为了从硬件的并发能力获益，并发程序设计正越来越流行。然而由于内在的并发性和不确定性，并发程序易于遭遇并发缺陷，并且它们难以检测、调试和修复。文中指出...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 信息通信技术越来越广泛地渗透到人们生活的每个角落，这导致传统的用户体验数据采集方法和手段难以随时随地获取与情境紧密耦合的数据，这种局限使得研究人员很难深入了解用户在真实环境下的行为和体验。文...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 尽管回归测试是一种重要的软件测试方法，但是，如何选择测试目标，并充分利用已有的测试数据，目前尚缺乏有效的方法。文中基于路径相关性，研究求解回归测试数据生成问题的新方法，以高效地进化生成可用于...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 程序源代码中的缺陷是导致软件不可靠的一个主要原因。软件错误自动定位技术通过计算机分析程序源代码或执行过程中产生的运行状态，检测程序中的异常并将其独立出来作为需要进一步调试的可疑代码，从而缩小...
-
11. 一致闭的禁忌交互集生成算法刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 组合测试是侦测软件系统中各因素或配置之间是否有交互作用导致软件系统故障的重要方法，当因素之间的取值组合出现约束时如何生成尽可能少的测试用例是组合测试中的热点问题之一。该文研究了约束出现时由约...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题，提出了动静态分析结合的脆弱性挖掘框架，并针对循环爆炸问题设计了基于懒符号执行的路径求解算法，该路径求解算法应用最短路径...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 服务计算优化问题（如服务选择、服务组合、服务资源调度等）随着云计算、物联网、大数据的快速发展而变得日益复杂。另一方面，各服务行业在其长期演化中逐渐形成了特有的领域特性（如服务先验性、关联性、...
-
刊名： 计算机学报发表期刊： 2015年11期页码:摘要： 变异分析能够辅助生成有效的测试用例集，然而，高昂的测试代价，严重影响了这一技术在实际软件测试中的广泛应用。文中基于弱变异分析，研究求解测试用例生成问题的新方法，以高效地生成具有很高缺陷检测能...
-
15. 《计算机学报》征稿启事刊名： 计算机学报发表期刊： 2015年11期页码:摘要：
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 0254-4164 | CN | 11-1826/TP |
| 邮编 | 100190 | 电子邮箱 | cjc@ict.ac.cn |
| 电话 | 010-62620695 | 网址 | cjc.ict.ac.cn |
| 地址 | 中国科学院计算技术研究所（北京2704信箱） |
计算机学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 科学文摘(英) |
| 5. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 中国科学引文数据库来源期刊 |
| 2. | 科技论文统计源期刊 |
计算机学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
