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

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

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

一种新的二水平多因素系统两两组合覆盖测试数据生成算法841-848

摘要：作者系统地研究了使用已有方法对二水平多因素系统（以下简称SM2）生成的两两组合覆盖的测试数据,针对已有方法对该具体问题效果并不理想的情况,利用组合分析方法,给出了一种新的SM2测试数据生成算法,与几种现有的方法相比,生成的测试数据具有数量少、效率高的优点.将其应用于Linux的一些源代码测试以及软件配置测试的测试方案设计,结果表明生成的测试数据具有较高的代码覆盖率和错误检测能力.

基于解空间树的组合测试数据生成849-857

摘要：在组合覆盖测试模型的基础上提出：将所有的可用测试数据表示为一棵解空间树,利用回溯法对解空间树进行路径搜索来生成测试数据,然后使用贪心算法补充生成测试数据,以满足两两组合覆盖标准.并且实现了基于该方法的测试数据生成工具,所生成的测试数据集与同类工具相比具有一定的特点和优势.

受限本体相似858-866

摘要：在从不同的语义Web上得到用本体表达的文档资源以后,这些文档资源通常被转换成基于同一个本体的本体描述,这样既便于对文档的分析,又便于在此基础上进行信息抽取.这些文档本体之间仅仅在实例和关系层上彼此相互不同,在类、属性、规则、谓词方面都基本相同.对这种文档的检索,一个最普通的操作就是计算本体之间的相似性.很多计算本体相似性的方法基本上都是以分别属于不同本体的实体之间配对比较来实现,而且往往要考虑所有相关的元素.这不仅增加了计算复杂度,还会遇到循环计算的问题.在对语义网本体语言的推理能力进行研究以后,提出了一种基于知识推理的二阶本体相似技术,解决了循环计算的问题.

一个构件化嵌入式操作系统的精确控制内核867-874

摘要：近年来,嵌入式系统的应用数量和复杂度以及程序的规模增长迅速,构件化嵌入式操作系统已经成为研究热点.过去的以抽象接口和封装计算为基础的通用构件体系结构难以满足许多数据流应用（包括多媒体处理和信号处理等）在并发性和实时性等方面的要求.对此设计了一个构件化嵌入式操作系统Pcanel,其核心是一个基于构件转换控制模型的精确控制核PCC.PCC将构件分成静止和执行两种状态.构件计算采用并行与分段执行的方法.同时,采用非阻塞式的调度方法有效解决了优先级倒置的问题.PCC由事件控制器和任务控制器协同工作,具备高度并发处理能力,从而支持构件技术在嵌入式系统中的应用.

队列长度加权服务的输入排队交换结构匹配算法875-883

摘要：针对输入排队交换结构调度问题,提出了队列长度加权服务匹配的思想.基本思路是匹配求解基于实现极大匹配的并行迭代算法,但对于每一个输入输出匹配,一次可以保持超过一个时隙的一段时间,其长度为对应的虚拟输入队列长度的加权函数.依据这一思想,设计了一种基于轮转仲裁器的队列长度加权服务匹配算法.通过实现复杂性的分析与性能评估,给出了优选的权重函数.所提方案以极大尺寸匹配算法近似的复杂性,取得与极大权重匹配算法近似的性能,在非均匀流量模式下也能达到接近100%的吞吐效率,明显优于iSLIP和EiSLIP算法,适合于高性能输入排队路由器的应用.

保证实时数据对象统计意义时序一致性的QoS884-897

摘要：首先提出了广义统计More-Less（GSML）方法,建立了作业接入控制算法GSML-BA,用以提供事务所请求的QoS,然后推广为GSML-OPT方法,将保证的QoS最大化;其次,如果给GSML-OPT增加一个空闲时间回收策略SML-SR,则可进一步提高QoS.与More-Less及半有效期方法相对比的性能实验结果表明：GSML方法能更有效地平衡可调度性及QoS.与GSML-BA及GSML-OPT方法相比,GSML-SR显著提高了QoS和可调度性.

异构带宽约束的动态层次组播路由898-905

摘要：针对动态组播路由中异构带宽约束的问题,提出了可扩展的异构带宽约束的动态层次组播路由框架（Heterogeneous Bandwidth-constrained dynamic Hierarchical Multicast Routing,HBHMR）.为了增添对组成员异质性的支持,HBHMR在支持QoS的层次组播路由算法QHMR（QoS-based HMR）的基础上,增加了对组播树上节点的最大可接收能力信息的收集及其聚集方法的定义,并设计了适用于层次网络的支持组成员动态性和异质性的组播路由算法.理论分析和实验结果表明,HBHMR不仅解决了异构带宽约束的动态组播路由的可扩展性问题,而且具有和基于平面详细网络状态的路由相比拟的带宽阻塞率和组播树的带宽资源占用率.

一种优化相关规划的发现方法906-913

摘要：提出了一种基于相关性的框架.在此框架内,使用残差分析来判断两项之间是否是独立的.残差分析可以使得我们很容易地获得包含负蕴含规则在内的真正的关联（而不是并发）规则,而且不需要指定支持度和可信度阈值.为了提高发现规则的质量,文中使用遗传算法来发现优化规则.在人工数据集和真实数据集上的实验结果表明文中的算法在发现规则的有趣性上优于类Apriori算法.

一种低复杂度H．264宏块级码率控制算法914-919

摘要：首先分析了H.264的码率控制算法复杂度高的原因;接着分析MPEG-2 TM5码率控制算法中的虚拟缓冲区机制,并由此得到了一种简单的积分控制算法;最后把这个积分控制算法应用到H.264码率控制算法的宏块层上,提出了一种新的宏块级码率控制算法.该算法避免了传统码率控制算法与率失真优化技术之间的矛盾.实验结果表明,改进的算法同时适应CBR（Constant Bit Rate）和VBR（Variable Bit Rate）情况.该算法不仅有效降低了原算法的复杂度,使得码率控制更加准确,同时得到的平均PSNR值与原算法基本相同.

基于三参数模型的快速全局运动估计920-927

摘要：提出了一种新的全局运动估计方法——基于三参数模型的快速全局运动估计.新的参数模型在保证准确性的同时,使用更少的参数来描述和估计全局运动,从而简化了计算复杂度.此外,对光流场计算做出了两方面改进：（1）提出了宏块预判的方法,计算光流场前对宏块的梯度信息进行预分析,通过减少参与计算的宏块数目提高光流场的计算速度;（2）提出了快速估计宏块运动向量的方法,在块匹配的过程中同时考虑图像的梯度和灰度信息,通过引入更多的约束提高运动向量的计算速度.实验证明了该方法的有效性.

用于图像分割的滤波EM算法928-935

摘要：利用邻近像素类别上的相关性,在采用EM算法对模型参数求解的过程中,以滤波方法引入像素的空间位置信息,降低了EM对初始值选择的敏感性.该算法在引入了像素的位置信息的同时,保持了EM算法的简单性,并为混合分量个数的选择提供了一种新的实现途径.对实际图像的分割结果证实了算法的有效性.

广义互缩生成器936-943

摘要：设计了一类称为广义互缩生成器的密钥流生成器.研究表明该类密钥流生成器所产生的序列具有如下良好特性：（1）大的周期;（2）高的线性复杂度;（3）生成的广义互缩序列族具有线性空间结构,形成Abel群;（4）广义互缩序列族内序列间互相关函数值可以由控制序列中1的数目来确定;（5）在一定条件下,序列的k-错线性复杂度显著增加.另一方面对新序列进行的安全性分析结果表明,与互缩序列相比,由较少的密钥量可以获得更好的安全性.

一种基于数据挖掘的拒绝服务攻击检测技术944-951

摘要：提出了一种新的、基于数据挖掘的DoS攻击检测技术--DMDoSD,它首先利用Apriori关联算法从原始网络数据中提取流量特征,然后利用K-means聚类算法自适应地产生检测模型,这两种算法的结合能够实时地、自动地、有效地检测DoS攻击.DMDoSD除了向现有的IDS发出攻击报警外,还进一步利用关联算法分析异常网络数据包,确定攻击特征,为DoS攻击的防御提供支持.

结构化对等网中的P2P蠕虫传播模型研究952-959

摘要：基于结构化对等网路由表构造方法,抽象出描述P2P节点空间结构特征的命题并加以证明,将命题结论引入蠕虫传播规律的推导过程,使其转化成新问题并加以解决.建立了P2P蠕虫在三种典型结构化对等网中的传播模型,给出刻画P2P蠕虫传播能力的函数,并揭示了覆盖网拓扑对蠕虫传播的负面影响.所有模型都通过了仿真实验的验证.

扩频卷积指纹及其安全性分析960-968

摘要：数字指纹是一种在每个数字作品拷贝中添加唯一性信息的版权保护技术.文中证明了扩频序列对组合、平均及噪声攻击具有有效的合谋容忍性质,并提出一种卷积码与扩频水印码相链接的安全指纹方法.译码方法也通过将备选子码集应用于Viterbi译码算法给予改进,进而合谋安全性和性能被分析与证明.结果表明该方法具有更短的码长和更快的叛逆者搜索性能.

网络脚本病毒的统计分析方法969-975

摘要：基于统计学习理论,提出了脚本病毒的统计分析方法.其主要思想是,对脚本病毒样本代码进行明文的统计分析,得到其关键字的分布概率,以及附加统计信息后,利用该知识识别未知网络病毒.实验结果表明本方法对于未知网络脚本病毒具有很高的识别率.

实时异构系统的动态分批优化调度算法976-984

摘要：提出了一种实时异构系统的动态分批优化调度算法,该算法采用的是在每次扩充当前局部调度时,按一定规则在待调度的任务集中选取一批任务,对该批任务中的每项任务在每个处理器上的运行综合各种因素构造目标函数,将问题转化为非平衡分配问题,一次性为这些任务都分配一个处理器或为每个处理器分配一项任务,使得这种分配具有最好的“合适性”,以增大未被调度任务的可行性.这种方法有效地提高了算法调度成功率.同时,为了评估该算法的性能,对其进行了大量的模拟,分析了一些任务参数的变化对算法调度成功率的影响,并与老算法的调度成功率进行了比较.模拟结果显示,新算法优于老算法.

计算机学报杂志短文

一种同构、非同构布局模式构造算法985-991

摘要：给出了一种基于完全关联图的准确构造同构、非同构布局模式的算法,并给出了其计算复杂度及适应范围.与李广强等（2003）的布局模式构造方法相比较表明,本算法能构造准确布局模式,适用范围较广,计算复杂度低,前者为O（n^3）,本文为O（n）,O（n^2）或O（n^3）.