杂志简介：《计算机学报》杂志经新闻出版总署批准，自1978年创刊，国内刊号为11-1826/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：研究论文与技术报告、短文、学术通信、学术活动、中国计算机学会学术动态
杂志简介：《计算机学报》杂志经新闻出版总署批准，自1978年创刊，国内刊号为11-1826/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：研究论文与技术报告、短文、学术通信、学术活动、中国计算机学会学术动态
作者：SIEWlOREK; Daniel; P.; 杨孝宗; CHILLAREGE; Ram; KALBARCZYK; Zbigniew; T 刊期：2007年第10期
可信计算实验研究已经进行了30多年，特别是在航空、航天、金融、证券、交通等安全关键领域取得了令人瞩目的成就．为了从数量和质量两方面综述可信计算的发展和进一步推动可信计算的研究，文中分析了可信计算的产业趋势，包括：（1）差错源的变化；（2）复杂性的迅速增加；（3）计算设备总量的增加．针对每一种趋势，指出了那些可以应用于终端...
作者：龚锐; 陈微; 刘芳; 戴葵; 王志英 刊期：2007年第10期
文中给出一种容软错误高可靠微控制器FT51．首先它具有基于异步电路的时空三模冗余结构，采用此结构可以对时序逻辑单事件翻转（SEU）和组合逻辑单事件瞬态（SET）进行防护．所有的片内存储器采用Hamming编码进行防护．针对现有控制流检测的不足，该设计采用了软硬件结合的控制流检测与恢复机制．FT51在HJTC0．25μm工艺下进行了实现，与未经加固...
作者：张仕健; 胡伟武 刊期：2007年第10期
随着深亚微米工艺的广泛应用，瞬态故障已成为芯片失效的主要原因．文中提出了一种向分支指令后插入冗余指令的容错微结构，利用分支误预测浪费的处理带宽，降低了冗余执行导致的性能损失．实验结果表明，该技术的性能损失在6％～31％之间，平均为21％，明显低于MBI技术而和DIE技术的性能损失相当．该技术能够检测流水线上各阶段发生的瞬态故障...
作者：张旻晋; 李华伟; 李晓维 刊期：2007年第10期
随着特征尺寸进入纳米尺度，相邻连线之间的电容耦合对电路时序的影响越来越大，并可能使得电路在运行时失效．准确和快速地估计电路中的串扰效应影响，找到电路中潜在的串扰时延故障目标，并针对这些故障进行测试是非常必要的．文中提出了一种基于通路的考虑多串扰引起的时延效应的静态时序分析方法，该方法通过同时考虑临界通路及为其所有相关...
作者：梁华国; 詹凯华; 蒋翠云; 易茂祥 刊期：2007年第10期
提出一种基于部分测试向量奇偶位切分的LFSR重新播种测试方法．针对确定测试集中各个测试向量包含确定位的位数有较大差异以及测试向量所含的确定位大多连续成块的特点，通过奇偶切分部分确定位较多的向量，使得编码压缩的LFSR度数得到有效降低，从而提高了测试数据压缩率．其解压缩电路仍然采用单个LFSR进行解码与切分向量的合并．与目前国际同...
作者：李军国; 黄罡; 邹键; 梅宏 刊期：2007年第10期
提出一种基于运行时刻软件体系结构的容错管理方法，支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制．首先，运行时刻软件体系结构自动构造构件依赖视图和错误传播视图，为理解和分析整个系统的可靠性提供全局视图；然后，操作运行时刻软件体系结构配置容错机制；最后利用AOP技术将容错机制插装到中间件中，使其具备指...
作者：马良荔; 郭福亮; 李永杰 刊期：2007年第10期
文中提出一个方法，由构件开发方提供有关构件内接口变量定义和使用的信息，以提高构件的可测试性和可理解性．形式化地定义了构件耦合测试准则，定义-使用属性和观察点值．在此基础上，引入包含上述两项属性的定义一使用表（DU表），给出基于该表的构件框架．最后将上述方法应用于自主开发的构件中，并生成了相应的测试用例．将文中提出的方法...
作者：赵靖; 张汝波; 顾国昌 刊期：2007年第10期
软件可靠性增长模型是用来评估和预测软件可靠性的重要工具．目前，绝大多数的软件可靠性增长模型并没有考虑故障之间的相关性，也没有考虑测试环境和运行环境的区别．文中提出了一种随机过程类非齐次泊松过程（NHPP）中的考虑故障相关性、测试环境和运行环境差别的模型．在两组失效数据上的实验分析表明：对这两组失效数据，文中提出的模型比其...
作者：万武南; 吴震; 陈运; 王晓京 刊期：2007年第10期
在EVENODD码的基础上，提出一种新的基于EEOD码的RAID数据布局，只需要3个额外的磁盘保存校验信息，能容许任意3个磁盘同时故障，并给出了EEOD的代数定义，理论上证明了EEOD码的MDS性质．从一种新的途径讨论了EEOD码的译码过程：用图的回路表示通过“异或”运算得到的校验方程组，把译码过程归结为图回路的叠加，进而校验方程组图中度为偶数的顶...
作者：汤海鹰; 许鲁 刊期：2007年第10期
传统高可用系统存在可扩展性较差的问题．文中提出基于服务部署的高可用系统模型，利用对计算资源与存储资源的分离管理实现虚拟高可用服务节点，通过不同服务间共享冗余资源提高资源利用率，有效解决可扩展性问题．基于服务部署高可用系统的关键问题为如何根据服务可用性期望值和使用模式等合理分配资源．针对本系统可用性分配特点，文中提出了...
作者：罗威; 阳富民; 庞丽萍; 涂刚 刊期：2007年第10期
提出一个基于抢占性实时周期任务的可靠性调度模型，该模型与现有可靠性模型相比充分考虑了单处理机故障容错情况下的系统可靠性，因而更加接近现实和精确．在此基础上，提出一个基于异构分布式系统的实时容错调度算法IRDFTAHS，IRDFTAHS算法以提高系统的可靠性为目标来进行任务的分配，从而在不增加硬件代价的前提条件下通过调度增加了系统的可...
作者：邓晓衡; 卢锡城; 王怀民 刊期：2007年第10期
随着网格计算、P2P、Web服务技术在电子商务、电子政务领域应用的不断扩展，基于Internet的资源共享的安全可信问题变得越来越重要．该文在基于Internet的虚拟计算环境（Interenet-Based Virtual Computing Environment，iVCE）的资源共享的用户与资源关于身份可信、能力可信、行为可信的信任模型的基础上，提出了一种可信优化的资源调度算法．...
作者：赵会群; 孙晶 刊期：2007年第10期
基于路由网络代数（Routing Network Algebra，RNA）提出了一种新的路由振荡检测方法．通过建立路由系统的路由网络代数模型，把路由分析转化为代数演算；通过引入路由网络元素线性相关性概念，证明了路由振荡的充分必要条件是网络元素线性相关．在此基础上，提出了O（H×L＋N^2）时间级的路由振荡检测算法．为了支持文中提出的算法，设计实现了...
作者：曹冬磊; 曹建农; 金蓓弘 刊期：2007年第10期
特殊环境中的事件区域检测是无线传感器网络的一种重要应用．由于传感器的错误会导致事件区域检测的不准确，所以相关的容错算法成为近年来的研究热点．已有研究工作都仅考虑了事件的空间相关性，通过相邻传感器之间的数据交换实现容错．文中从事件的空间相关性和时间相关性入手，提出了一种以局部检测为主的分布式事件区域检测算法．该算法通过...
作者：王跃武; 荆继武; 向继; 刘琦 刊期：2007年第10期
提出了基于拓扑结构控制的蠕虫防御策略，并通过构建仿真模型对其进行了仿真验证分析．首先对蠕虫传播所依赖的拓扑结构的主要形式进行了分析，提出了相应的生成算法，并对算法的有效性进行了验证；随后提出了三种拓扑结构控制策略仿真模型；最后分别对这三种策略在不同拓扑结构下的蠕虫传播控制性能进行了仿真实验．实验结果证明：通过适当地控...
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：0.94
期刊级别：北大期刊
发行周期：月刊
影响因子：0.79
期刊级别：北大期刊
发行周期：月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：0.68
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.55
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.58
期刊级别：北大期刊
发行周期：月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊