计算机学报杂志 北大期刊 CSCD期刊 统计源期刊

计算机学报 2006年第04期杂志 文档列表

计算机学报杂志研究论文与技术报告

基于场景规约的构件式系统设计分析与验证513-525

摘要：使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

一种基于模块单子语义的动态程序切片方法526-534

摘要：提出一种基于程序模块单子语义的新动态切片方法--模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体：切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.

一种有效的同时多线程处理器取指控制机制535-543

摘要：同时多线程处理器通过每时钟周期从多个运行的线程取指令执行,极大地提高了处理器的性能.分支预测器的预测精度和取指策略的效率是影响同时多线程处理器性能的关键.通过将一个基于值的分支预测器和一个基于线程推进速度的取指策略相结合,提出一种新的取指控制机制.该结构的硬件开销较小,实现复杂度较低.实验结果表明,该取指控制机制有效地提高了处理器的性能,其相对于传统取指控制机制的性能加速比为28%且该加速比也高于目前基于流缓冲区和基于分支分类器的取指控制机制.

节点和边都有容量的有向平面网络中的最小截和最大流544-551

摘要：在一般网络中,节点和边都有容量的最小截、最大流问题很容易转化为仅边有容量的问题.但传统转化方法用在平面网络中破坏了网络的平面性,使平面网络中节点和边都有容量的问题比仅边有容量的问题难.使用传统转化方法得到的两个问题的算法复杂度均为O（n2logn）（n表示网络中的节点数）.对此,作者曾给出了无向平面网络中最小截问题的保持平面性的转化方法.在此基础上,这里进一步讨论有向平面网络中的最小截、最大流问题,给出有向网络中保持平面性的转化方法,并利用此转化得到了复杂度均为O（nlogn）的最小截和最大流算法.从并行计算复杂性角度来看,传统方法转化后的问题是P-完全的.而使用新方法可以得到NC算法,且可以证明节点和边都有容量的有向平面网络中的最小截、最大流问题都是属于NC的.

典型AQM算法的性能评价模型552-560

摘要：利用GI/M/1/N排队系统和Internet业务流量自相似性的特点建立了一个评价AQM算法在非响应业务流量下性能的分析模型,提出了利用模型的分析计算结果而不是模拟或实验手段评价AQM算法性能的新方法.同模拟或实验手段相比,该方法能更深刻地刻画AQM算法在实际网络环境中的性能.用该模型分析比较3个经典的AQM算法——TD、RED和GRED的性能,所得的结果同其他研究者利用模拟或实验方法所得的结果一致.

BI-STCM-ID系统的标识映射设计及性能分析561-569

摘要：重点研究了对比特交织空时编码及迭代译码系统（BI-STCM-ID）性能影响较大的标识映射方法,提出了给定区间最佳映射（DRO）的设计方法以及自适应标识映射集的思想.通过对各种映射方法特征参数及渐进BER性能限的分析,得出了瑞利衰落信道环境下决定BICM-ID以及BI-STCM-ID系统性能的关键参数,进而给出了标识映射设计的参考准则.

光纤通道交换机在强实时约束下的分组调度570-575

摘要：以光纤通道交换网络强实时约束下的性能研究为背景,采用实时通信中的周期性任务模型,提出了负载匹配的加权轮循分组调度,导出了在该方法下网络消息集严格实时的充要条件,以最差情形下强实时的网络可达负载率为性能衡量指标推证了采用该算法的优越性并通过仿真进行了验证.

WAPI实施方案中的密钥协商协议的安全性分析576-580

摘要：利用Canetti-Krawczyk模型对WAPI实施方案中的单播密钥协商协议进行了分析,结果表明：如果所采用的椭圆曲线加密方案ECES能够抵抗适应性的选择密文（CCA2）攻击,那么该密钥协商过程就不提供完美前向保密性（PFS）的会话密钥安全（SK-secure）.在协议结束时该认证模型实现了用户STA和接入点AP相互的身份认证.相对于原国家标准,实施方案的安全性有了很大的提高.

RFID安全协议的设计与分析581-589

摘要：回顾了已有的各种RFID安全机制,重点介绍基于密码技术的RFID安全协议;分析了这些协议的缺陷;讨论了基于可证明安全性理论来设计和分析RFID安全协议的模型和方法.

RSA密码算法的功耗轨迹分析及其防御措施590-596

摘要：针对RSA密码算法的电路,提出了一种新的功耗分析攻击方法--功耗轨迹分析.该方法的基本特点是通过处理电路的功率信号,从信号的轨迹图形中获取RSA算法的敏感信息（如密钥）,因此,功耗轨迹分析能够有效地攻击现有的多种形式的RSA实现方案.同时还探讨了RSA密码电路防御攻击的措施：直接在算法中添加冗余的伪操作能够抵御功耗轨迹分析攻击,但是这会导致电路功耗增大和速度降低.进而还提出了一种将RSA算法中的伪操作随机化的新方法.该方法能够在保证电路安全性的同时又节省电路功耗和运算时间.

集成电路中的规则性提取算法597-601

摘要：通过对现有文献中的规则性提取算法的全面分析,提出了一个新的基于图论方法的规则性提取算法.此算法可以生成任意给定电路系统的模块,并且在同构的前提下自动将模块分类.在生成模块的过程中保证相同顶点的模块只出现一次,降低了模块分类时的复杂性.算法对电路以及模块的结构没有任何限制,弥补了现有算法的不足.

IS-P2P：一种基于索引的结构化P2P网络模型602-610

摘要：在分析无结构与有结构P2P网络结构的基础上,提出了一种新的基于索引的有结构P2P网络模型IS-P2P（Index-based Structured P2P Networks）.IS-P2P网络采用两层混合结构,上层由比较稳定的索引节点组成有结构索引网络,使用文档路由搜索机制,提供资源的和查找功能.下层由普通节点组成分布式网络.IS-P2P模型充分利用P2P网络中节点的性能差异,具有高效的查找性能,且能适应P2P网络高度动态性.进一步计算IS-P2P模型中索引网络路由性能、查询处理速度、索引节点索引数据库大小以及索引节点转发查询消息代价表明,IS-P2P具有良好的性能.

LinkNet：一种用于大规模P2P系统查找的新方法611-617

摘要：提出了一种新的可扩展分布式数据结构LinkNet来支持大规模P2P系统中的数据查找.在LinkNet中,所有的元素存储在一个有序的双向链表中,该链表中的每个结点都可以存储多个元素.LinkNet使用虚拟链接来减少存储开销和加速查找过程.在一个包含N个结点M个元素的网络中,LinkNet占用的存储空间期望值为O（M）,并且当M足够大时,查找操作期望只需要传递O（logN）条消息.

联网审计系统中海量数据的存储与管理策略618-624

摘要：分析了联网审计应用系统的特点,提出了一种适用于计算机联网审计系统的海量数据存储与管理策略,并着重对该系统的基本构成、物理设计与逻辑设计进行了描述.针对本系统中所采用的集群并行数据库系统,还提出了计算机联网审计系统中并行事务处理操作的设计原则,并给出了具体的操作案例.

关联规则挖掘的取样误差量化模型和快速估计算法625-634

摘要：在关联规则挖掘过程中,现有的取样误差量化方法和快速估计算法存在着不足,对此提出了一种新的取样误差量化三元组模型,并在实验观察和理论分析的基础上给出了一种取样误差的快速估计算法--主误差区间估计法.理论分析和实验结果均表明,此方法不但可以精确、有效地度量出样本集与原始数据集包含的频繁模式信息间的差异,而且,主误差区间估计法还可以精确、快速地估计出取样误差,并能灵活地嵌入到关联规则挖掘的各种取样方法之中;其核心思想还可以用于改进分布、并行关联规则挖掘方法的效率.

基于后验概率解码段模型的汉语语音数字串识别635-641

摘要：通过对语音解码的分析指出了基于似然概率解码的连续语音识别的局限性,并给出了三种基于后验概率段模型（Segment Model,SM）的语音解码方法.这三种方法成功地运用于随机段模型（Stochastic Segment Model,SSM）,使误识率比基线系统下降了11%;与此同时还给出了段模型的快速算法,使算法的计算复杂度降到了与隐马尔可夫模型（Hidden Markov Model,HMM）相同的数量级,满足了实用要求.

计算机学报杂志学术活动

2006年全国开放式分布与并行计算学术会议征文通知641-641

计算机学报杂志研究论文与技术报告

基于自适应滤波的视频序列超分辨率重建642-647

摘要：针对视频序列的超分辨率重建,提出了一种动态自适应滤波方法.在最大后验概率估计和加权最小二乘的基础上,给出视频序列超分辨率重建数学模型;深入研究了运动补偿矩阵和权值矩阵的构成和性质;详细推导了自适应滤波器的递推公式;分析了算法的存储与计算复杂度.仿真实验表明该算法的重建结果相当有效,相比双三次插值和无运动补偿的单帧迭代重建,可以获得一定的PSNR增益;与Elad滤波方法相比,具有更小的计算量和更强的自适应性和鲁棒性.