论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报2016年出版文献
出版文献量（篇）
5154
总下载数（次）
49
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
分享
文章浏览
目录
-
151. 软件自适应：基于控制理论的方法刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 软件自适应是软件系统为应对外部环境、用户需求和系统自身的频繁变化而进行自我调整的一种能力，是近年来软件工程领域研究的热点。由于基于“感知-决策-调整”的软件自适应环与基于“感知-规划-动作”...
-
152. 软件运行时可变性动态演化机制研究刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 持续变化的需求对开放环境下软件系统的灵活性和可伸缩性提出了较高的要求．在许多情况下，这需要系统中能够发生变化的位置、变化的程度等可以被动态调整，即要求软件的运行时可变性是可以动态演化的．然而...
-
刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 基于模型的测试是测试自动化的重要手段，通常采用模型检验技术从系统模型自动生成测试用例集，但生成的测试用例集往往存在冗余，这将影响测试用例执行的性能和成本。该文以扩展有限状态机（Extende...
-
154. 基于时间多栈下推网络的实时系统验证刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 多栈下推网络（MPDN）是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型．为了描述基于线程之间交互的实时并发递归程序，首先将描述连续时间的时钟引入到 MPDN，提出了时间多栈下推...
-
155. 面向代码的软件能耗优化研究进展刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 面向代码的软件能耗优化从程序设计和编码角度优化软件系统的能耗，能够很好地弥补面向硬件和面向资源的能耗优化方法过多依赖硬件环境、普适性较差、粒度过大，且难以在软件开发过程中应用等缺点。该文综述...
-
刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 工作流可满足性（Workflow Satisfiability，WS）（≠）判定给定授权和互斥约束下的资源分配是否存在，是工作流访问控制中的基本问题。目前可以通过寻找一个具体的解来完成该判定...
-
157. 一种基于优先级的迭代划分测试方法刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 随机测试和划分测试是两种重要的测试方法，关于两者在失效检测能力和效率方面的比较一直是软件测试领域的研究热点之一。适应性随机测试是对随机测试的一种增强，通过实现测试用例在输入域上的均匀分布，提...
-
158. 面向移动应用软件信息泄露的模型检测研究刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露，而泄露形式和内容的复杂性增添了该类漏洞的检测难度。现有方法主要利用传统的静态数据流分析及动态监控等技术，易发生漏报和误报...
-
159. 信息物理融合系统的软件需求分析刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 计算过程与物理过程的融合使得信息物理融合系统（Cyber-Physical Systems，CPS）的软件需求分析成为一个具有挑战性的任务。首先，分析人员需要从用户所期望实现的物理实体变化出...
-
160. 基于统计分析的弱变异测试可执行路径生成刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 变异测试是一种面向缺陷的软件测试技术，然而高昂的测试代价，影响了其在实际程序测试的应用。 Papadakis 等人将某一程序的弱变异测试问题，转化为另一程序的变异语句真分支覆盖问题，以期采用...
-
刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 故障修复后，程序员还需验证那些与修复故障相关的区域是否还存在故障或者引入了新的故障，这时有可能需要补充新的测试用例。现有研究大多依赖符号执行等技术，这样可能导致状态空间过大。且现有的研究统一...
-
162. 左侧带权凸二分图动态权值匹配刊名： 计算机学报发表期刊： 2016年11期页码:摘要： 动态匹配问题是指在图结构变更的情况下求解某特定匹配，包括添加和删除图中顶点和边的更新操作以及计算匹配信息的查询操作。凸二分图是一类特殊二分图，在其顶点二划分（X ，Y ）中，Y 顶点集为一个...
-
163. 量子计算复杂性理论综述刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 量子计算复杂性理论是量子计算机科学的基础理论之一,对量子环境下的算法设计和问题求解具有指导意义.因此,该文对量子计算复杂性理论进行了综述.首先,介绍了各种量子图灵机模型及它们之间的关系.其次...
-
164. 通用量子计算机:理论、组成与实现刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通...
-
165. 开放量子行走:概率分布与中心极限定理刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 作为量子算法研究的一个基本工具,量子行走已经成为一个重要研究课题.在开放量子环境下,同质量子行走已经得到充分研究,包括其概率分布和中心极限定理.然而,对于高维格上且在异质环境下的开放量子行走...
-
166. 形状图理论的定理证明刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 验证操作易变数据结构的指针程序仍面临很多挑战.数据结构中严重的指针别名显著地复杂化对操作这些结构的程序的推理.为分析和验证操作易变数据结构的指针程序,文中提出了形状图逻辑.形状图是描述程序中...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 带时间约束的实时任务图(TCDRT)模型具有接近于时间自动机的丰富表达性,但是其关联的可调度性分析(SA)问题却是强NP困难的.目前的研究仅关注一类约束个数为常数K的易解模型:K-TCDRT...
-
168. 高阶熵压缩的全文自索引刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 大数据集正在以前所未有的速度产生,研制大数据集的实用压缩全文自索引是目前的挑战问题之一.该文提出了一种高阶熵压缩的全文自索引.对于长为n的文本T以及任意k≤c log,,n-1和c＜1,该压...
-
169. Bi-swapped网络的支配集问题研究刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 图论中支配集和连通支配集概念可用于并行分布式系统中资源布局和路由策略.作为著名Swapped网络的改良形式,Bi-swapped网络是一类组合网络体系结构,它采用任意因子网络的多个拷贝作为模...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 对于模糊系统中的否定知识的认识,首先从哲学层面上对潘正华提出的3种否定关系进行了研究,提出了矛盾否定关系、对立否定关系和中介否定关系的本质特征.接着,在Zadeh提出的语言变量中引入3种否定...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 基于μ-演算的一阶谓词界程逻辑,用谓词变量构造不动点公式,方便描述闭环系统的性质,公式语义简洁.该逻辑在有限控制移动界程上的模型检测目前性能最好的算法的时间复杂度与公式中不动点算子交错嵌套深...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 随着社会媒体的普及,用户信息的爆炸式增长为深入理解在线用户行为提供了非常丰富的信息源.由于用户人格特质是用户行为的主要驱动力,人格特质的差异可能会对用户的在线行为产生一定的影响,因此,用户人...
-
173. 基于DNA计算的线性时序逻辑模型检测方法刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 含有大规模变量的多目标优化问题是目前多目标进化算法领域的研究重点.多目标粒子群优化方法具有收敛性良好、计算简单和参数设置少等优点,但随着优化问题决策变量的增多,“变量维度”成为了瓶颈.针对上...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 目前,求解折扣{0-1}背包问题(D{0-1}KP)的主要算法是基于动态规划的具有伪多项式时间的确定性算法,当D{0-1}KP实例中各项的价值系数与重量系数在大范围内取值时缺乏实用性.文中基...
-
刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 为了减少智能优化算法求解复杂问题时所需的目标函数评价次数,降低算法计算代价,在差分进化算法框架下,结合Lipschitz估计理论,提出一种基于局部Lipschitz下界估计支撑面的差分进化算...
-
177. 基于自适应搜索中心的骨干粒子群算法刊名： 计算机学报发表期刊： 2016年12期页码:摘要： 该文在对标准粒子群算法(Particle Swarm Optimization,PSO)和骨干粒子群算法(Bare Bones Particle Swarm Optimization,BBP...
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
