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

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

计算机学报杂志综论

安全协议的形式化分析技术与方法1-20

摘要：对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个角度进行了总结．纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结．横向方面主要从所应用的技术手段、技术特点入手，进行总结分析．说明了目前协议形式化分析发展的主要方向．对于目前国际流行的方法和模型进行了例解．

分组密码工作模式的研究现状21-36

摘要：分组密码工作模式是利用分组密码解决实际问题的密码方案．好的工作模式可以弥补分组密码的某些缺憾；相反，不好的工作模式可能带来安全隐患．工作模式的研究始终伴随着分组密码的研究历史，新的分组密码标准的推出，都会伴随着相应工作模式的研究．从针对DES的ECB、CBC、CFB和OFB，到针对AES的CTR、CCM、CMAC、GCM和AESKW，作者以各种模式标准为主线，介绍分组密码工作模式的设计理念、安全模型、二十多年的研究成果以及发展现状．

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

无线局域网有效支持智能天线应用的接入时延性能分析37-44

摘要：在无线局域网中使用智能天线可以扩展其无线覆盖范围并增加网络容量，由此可以采用一种新型媒体接入控制（MAC）机制，接入点（AP）通过检测用户的空间特征向更远处的用户提供接入．该文针对这种有效支持智能天线应用的无线局域网接入机制，提出一种准确推导的方法，详细分析了接入时延性能，得到最佳协议参数，确定区分AP广播范围内外用户的接入机制以更快速地提供媒体接入，并且通过仿真证明了理论分析的正确性．

空间数据库中距离连接选择率估计方法研究45-53

摘要：通过综合分析和比较现有的选择率估计技术，提出了基于MBR缓冲区和直方图的距离连接估计方法，该方法基于空间对象的MBR缓冲区，只需要简单计算几个直方图统计量，就可以快速得到较为准确的估计结果．针对MBR缓冲区方法估计结果偏大的不足，提出一种利用线段分布特性基本定律实现距离连接选择率估计的新方法．该方法基于线段缓冲区，不需要遍历线段数据集，提高了估计效率，减少了估计结果的相对误差．实验结果证明，该文方法能够准确有效地进行空间距离查询选择率估计并且更加适合真实的数据集．

一种基于模型融合的CMM实施过程建模方法54-65

摘要：提出了一种基于模型融合的CMM实施过程建模方法．该方法使用软件过程工程元模型SPEM建立CMM过程模型CPM和企业过程模型EPM，通过融合CPM和EPM来获得CMM实施过程模型CIPM．文中利用带标记的有向图描述过程模型。给出了模型融合方法，并进行了一致性证明．最后通过一个过程模型融合原型工具和实例说明了方法的应用情况．

多寄存器组网络处理器上的寄存器分配技术66-72

摘要：针对传统的图着色寄存器分配算法不能直接处理网络处理器的操作问题，提出了一种多寄存器组网络处理上的寄存器分配技术．在依次分析了一个符号寄存器可能位于哪些寄存器组？如果没有候选组，该如何解决这种冲突？如果有多个候选组，该选用哪个组等问题的基础上，通过将这些方法与图着色寄存器分配算法相融合，在IXP上实现了这种多寄存器组的寄存器分配，提高了它的可编程性．这种方法也可运用到其它具有类似寄存器结构的处理器上．

嵌入式处理器TLB设计方法研究73-80

摘要：以处理器的TLB（Translation Look-aside Buffer）部件为研究对象，探讨嵌入式处理器TLB部件的高能效设计方法．用龙芯1号这款有代表性的真实处理器为设计模型，通过对功耗、面积、关键路径和性能等多方面的试验分析，提出了新颖的TLB低功耗设计方法．在经过改进后的TLB设计中，TLB部件的RAM部分的面积减少了50％，功耗降低了92．7％，整个TLB部件的面积减少了23．7％，功耗降低了28．5％，而电路延迟几乎没有增加，处理器的性能也没有受到影响．这充分说明改进方案是非常实用而有效的．

一种基于分组与适当选取策略的实时多处理器系统的动态调度算法81-91

摘要：在分析了近视算法和节约算法缺点的基础上，提出了一种新的实时多处理器系统的动态调度算法——分组适度算法．分组适度算法包括两个策略：分组策略和适当选取策略．分组策略是为了提高资源的利用率，在保证具有较小目标函数值的任务截止期限的情况下，优先选择可以共享访问资源的任务进行扩展．适当选取策略是为了提高处理器的利用率，当任务不访问资源以及任务所需资源的最早可用时间小于系统中处理器的最小最早可用时间时，选择最早可用时间最小的处理器；否则，选择最早可用时间最接近资源的最早可用时间的处理器．模拟结果表明，分组适度算法的任务接受率高于近视算法和节约算法的任务接受率．

求解旅行商问题的循环局部搜索算法的运行时间和性能分布分析92-99

摘要：旅行商问题（Traveling Salesman Problem，TSP）是组合优化中最典型的NP难问题之一，长期以来人们都在寻求快速高效的近似算法以在合理的计算时间内准确地解决大规模问题，并设计出许多高效实用的启发式和宏启发式算法，其中循环LK算法是性能最好和最具代表性的算法之一．作者研究了该算法的运行时间分布：通过对TSPLIB中大量不同规模的TSP实例的运行时间分布的统计分析和拟合，发现求解TSP问题的循环LK算法的运行时间分布很好地服从Weibull分布，并进一步给出了该分布对求解TSP问题的物理意义．作者同时首次给出了循环LK算法求解TSP问题得到的解的性能分布以及由此得到的一些有实际指导意义的结论．

局部快速微调遗传算法100-105

摘要：给出了一种进行局部快速微调的遗传算法——在变异中，将适应值高的个体和适应值低的个体分别进行诱导和随机动态区域变异；在交叉操作中，划分为搜索阶段和微调阶段，分别采用随机线性交叉和部分确定性诱导交叉．应用该算法对全局最优解邻域进行搜索，能在较短的时间内找到高精度的数值解．对10个典型测试函数优化问题的实验表明，该方法具有快速、稳定和易于实现的优点．如果合理调整控制参数，其全局搜索的收敛速度和解的质量明显优于传统GA．

计算机学报杂志学术活动

《计算机学报》信息安全专辑（2006年第8期）征文通知105-105

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

一种基于Hilbert-Huang变换的基音周期检测新方法106-115

摘要：利用Hilbert-Huang变换对语言信号处理中基于事件的基音周期检测问题提出了一种新的检测方法．该方法利用Huang等人1998年提出的具有高时频分辨能力的Hilbert-Huang变换分析语音信号，并提取其瞬时能量，通过精确定位声门脉冲发生的时刻，从而精确地跟踪基音周期的变化，达到精确检测基音周期的目的．与传统方法相比，其优点主要表现在：（1）不需要对语音信号作短时平稳性假设；（2）检测精度高，适应范围广；（3）具有跟踪基音周期变化的能力；（4）能精确区分清浊音}（5）与传统方法相比，帧长大大增加，因而，在提取连续语音信号的基音轮廓时，用于分帧和拼合的开销大大减少，帧间拼合痕迹小．仿真数据和实际语音信号检测实验均获得了相当精确的检测结果．最后，需要指出的是，Hilbert-Huang变换作为一种新的信号分析方法，被成功地用于提取语音信号的基音周期，这本身是一个有意义的探索，它为拓展Hilbert-Huang变换理论的应用给出了一个新的尝试．

基于纹理语义特征的图像检索研究116-123

摘要：针对Tamura纹理模型，提出了基于语言变量的图像纹理语义特征描述方法；并通过遗传程序设计构造从低层视觉特征到高层语义特征的映射；最后根据这些模糊语义值进行图像检索．实验结果表明系统不仅能得到出众的检索效率，而且与人类的视知觉具有比较好的一致性，提出的方法对于缩小低层视觉特征和高层语义特征之间的“语义鸿沟”具有很大的意义．

计算机学报杂志学术活动

《计算机学报》“服务计算”专辑（2006年第9期）征文通知123-123

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

一种高性能的两类中文文本分类方法124-131

摘要：提出了一种高性能的两类中文文本分类方法．该方法采用两步分类策略：第1步以词性为动词、名词、形容词或副词的词语作为特征，以改进的互信息公式来选择特征，以朴素贝叶斯分类器进行分类．利用文本特征估算文本属于两种类型的测度X和Y，构造二维文本空间，将文本映射为二维空间中的一个点，将分类器看作是在二维空间中寻求一条分割直线．根据文本点到分割直线的距离将二维空间分为可靠和不可靠两部分，以此评估第1步分类结果，若第1步分类可靠，做出分类决策；否则进行第2步．第2步将文本看作由词性为动词或名词的词语构成的序列，以该序列中相邻两个词语构成的二元词语串作为特征，以改进互信息公式来选择特征，以朴素贝叶斯分类器进行分类．在由12600篇文本构成的数据集上运行的实验表明，两步文本分类方法达到了较高的分类性能，精确率、召回率和F1值分别为97．19％，93．94％和95．54％．

计算机学报杂志学术活动

第一届全国数据库应用技术年会131-131

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

一种基于组合测试的软件故障调试方法132-138

摘要：在研究了组合测试基本模型的基础上，提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果，补充一些附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而迅速将故障原因锁定在很小的范围内，这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考．

DNA序列拼接中欧拉超路算法的新并行策略139-144

摘要：序列拼接是全基因组测序的核心问题之一．基于“overlap-layout-consensus”的传统拼接软件虽然被人们应用于人类基因组拼接等项目，但它们始终不能有效解决全基因组重复序列的拼装问题．为了克服上述不足，Pevzner等提出了欧拉超路拼接算法．由于该算法要求构造一个复杂的de Bruijin图，因此用欧拉超路算法拼接大规模全基因组存在存储瓶颈问题．该文对欧拉超路拼接算法做了并行化研究并付诸实现，有效解决了欧拉超路算法中的存储瓶颈问题．测试结果表明，该并行算法具有良好的可扩缩性，能够解决较大规模全基因组的序列拼接．