论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机学报期刊 >
计算机学报2011年出版文献
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
计算机学报
分享
投稿
本刊是中国计算机领域的有代表性学术刊物，作为一种科学研究档案，代表了计算机领域各个研究阶段的水平。
本刊被《工程索引》（美国）、《科学文摘》（英国）、《数学文摘》（美国）、《科技文献速报》（日本）、《文摘杂志》（俄罗斯）等多种权威系统收录。是科技部科技信息研究所科技论文统计源期刊、中国科学引文数据库来源期刊。
主办单位：
中国计算机学会
中国科学院计算技术研究所
期刊荣誉：
中国科学引文数据库来源期刊
科技论文统计源期刊
ISSN：
0254-4164
CN：
11-1826/TP
出版周期：
月刊
邮编：
100190
地址：
出版文献量（篇）
5154
总下载数（次）
49
总被引数（次）
187004
分享
文章浏览
目录
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： TTCN-3(Testing and Test Control Notation version 3)是一种面向黑盒测试的测试描述与实现语言.随着TTCN-3语言的广泛应用,用户对使用TTC...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念...
-
93. 基于模型的Web应用测试刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测...
-
94. 用户需求驱动的Web服务测试刊名： 计算机学报发表期刊： 2011年6期页码:摘要： Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 类间测试顺序的确定是类集成测试中难以解决的一个关键问题.类的测试序列不同,构造相应的测试桩需要花费的代价也会不同.每一个测试桩复杂度度量的准确性决定最终打破环路所需构造测试桩的总体复杂度.对...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 类间集成测试是面向对象软件测试的重要组成部分,合适的测试顺序能够极大地节省测试成本.类间依赖关系构成环路的情况下,需要删除某些依赖关系以消除环路,同时需要引进测试桩.忽略类间动态依赖关系导致...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息,由于其中包含与缺陷检测无关的数据流,因此会导致分析效率下降.为了避免全路径敏感分析时的路径爆炸问题,一般会在控制流汇合节...
-
100. 一个可半自动化扩展的静态代码缺陷分析工具刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 基于缺陷模式的代码缺陷分析技术根据预先设定的缺陷模式知识对受检代码进行缺陷分析.这种分析技术具有使用简单、查找速度快等优点,是近年来静态代码缺陷分析方法中发展比较迅速的新技术.但是目前基于这...
-
101. 基于部分覆盖表的错误交互定位方法刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖...
-
102. 复杂软件的级联故障建模刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 软件复杂性的增加直接导致软件故障的复杂性增加.从系统科学的角度出发,采用复杂网络等方法和技术在整体上研究复杂软件的级联故障特性是研究软件质量的一个新视角.以函数为节点、以调用关系为边,提出了...
-
刊名： 计算机学报发表期刊： 2011年6期页码:摘要： 针对传统软件缺陷预测模型的应用范围通常被局限在一定的子空间而影响其适用性和准确性的问题,文中利用支持向量机(SVM)的非线性运算能力和蚁群优化算法(ACO)的寻优能力提出了一种基于ACO-S...
-
104. 基于位置的服务:架构与进展刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 随着无线通信技术和智能移动终端的快速发展,基于位置的服务( Location-based Services,LBS)在军事、交通、物流等诸多领域得到了广泛应用,它能够根据移动对象的位置信息提...
-
105. 电子织物研究进展刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 电子织物是织有或者植入电子功能组件、模块互联和电源等器件的智能布块,被认为是实现普适计算的一种理想平台,也是物联网的一种使能器件.文中首先介绍了电子织物系统的定义,分析了织物系统的特点,并界...
-
106. 物联网环境下UC安全的组证明RFID协议刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 物联网的安全和隐私保护问题是制约其进一步发展的关键性问题,如何设计一个安全、高效的组证明RFID协议是物联网安全需要重点研究的一个问题.首先,文中对物联网环境下组证明RFID协议的交互模型和...
-
107. 面向无线传感器网络应用的自适应调试方法刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 传感网技术是物联网得以实现的重要基础.然而,受到资源有限以及程序行为不确定等因素的影响,无线传感器网络上编程和调试的难度尤甚于普通的分布式程序.文中提出了一种面向无线传感器网络程序的源码级错...
-
刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 在无线网络中采用专用节点对用户的通信活动进行监测可实现网络的故障诊断和资源管理.由于硬件资源受限,无线节点通常在一个时刻只能工作在一个信道上,因此优化各个节点的信道选择使整个网络收集的用户信...
-
109. 基于包含的指针分析优化技术综述刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束...
-
110. 蛋白质网络中复合体和功能模块预测算法研究刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 预测蛋白质相互作用网络中的复合体和功能模块对于理解生物系统的组织和功能具有重要的意义.到目前为止,已经出现了大量的蛋白质复合体和功能模块预测算法及相关的软件,这些算法各具特色,但同时也具有一...
-
111. 社交网络蠕虫仿真建模研究刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 随着互联网虚拟社交网络的发展,借助网络用户进行传播的社交网络蠕虫已经成为威胁网络安全的重大隐患之一.文中从社会工程学的角度研究社交网络蠕虫的传播机制,通过量化影响用户行为的若干因素,提出了微...
-
112. 基于可信概率的电子数据取证有效性模型刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 针对当前证据有效性不足的缺点,结合概率论,提出了基于可信概率的电子数据取证有效性模型.以Petri网为基础,将取证后经形式化处理的数据抽象为Petri网中的库所,操作行为和取证方法抽象为变迁...
-
刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 基于一般逻辑程序停机性刻画的动态方法,研究了解形式不动点不停机的一种动态刻画方法,给出了安全协议Horn逻辑扩展模型解形式不动点不停机性的一个充分条件.基于这个充分条件给出了一种不动点计算不...
-
刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 通过对SFLASH的中心映射进行扰动,最近Wang等人提出了一个新的多变量公钥系统pSFLASH.pSFLASH的设计者认为,扰动后的中心映射可以破坏SFLASH公钥潜在的数学结构,从而抵抗...
-
115. 具有代理解签密功能的无证书签密方案刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 首先,提出具有代理解签密功能的签密概念.此模型中,原始解签密者把消息分为不同的主题,按照主题把解密权力授予不同的代理人;代理人可以代替原始解签密者解密其授权主题下的密文.其次,给出安全模型并...
-
刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 分组密码是信息安全中实现数据加密、认证和密钥管理的核心密码算法,其安全性分析是密码学的重要课题之一.基于差分分析原理,文中提出了分组密码新的分析方法:非对称不可能飞来器攻击.该方法是通过构造...
-
刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 研究怎样在因子分解假设下有效地提取复合模数上的广义菲赫尔曼问题的伪随机比特串.证明了Blum-Blum-Shub生成器是一个合适的广义菲赫尔曼问题提取器.利用Naor-Reingold-Ro...
-
118. 混合体系结构中有状态硬件加速器的优化刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 在诸多计算领域中,硬件加速器可以代替通用处理器上执行的软件完成专用功能,达到提高性能和降低功耗的目的.网络应用中,许多硬件加速器是无状态的,这就需要一个网络流的全部数据包到达后才能被处理.有...
-
119. 提升小波变换的数据并行计算方法研究刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 研究了基于SIMD PE阵列对G级像素帧进行9/7提升小波变换的数据并行计算实现方法.首先,在分析9/7提升小波变换运算公式的局部计算特点的基础上,提出了 PE状态标识法和基于PE标识的条件...
-
120. 下一代光核心负载均衡分组交换机研究刊名： 计算机学报发表期刊： 2011年7期页码:摘要： 着重研究了在第五代交换机体系结构中极具竞争力的以阵列波导光栅路由器件为核心的负载均衡交换结构(AWGR- LB).负载均衡结构通常使用严格的时分复用方式,调度简单但性能不够理想；AWGR的使...
计算机学报基本信息
| 刊名 | 计算机学报 | 主编 | 高文 |
| 曾用名 | |||
| 主办单位 | 中国计算机学会 中国科学院计算技术研究所 | 主管单位 | 中国科学院 中国科协 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
