软件学报杂志 北大期刊 CSCD期刊 统计源期刊

量子克隆多播路由算法

作者：李阳阳; 焦李成 刊期：2007年第09期

BSMA（boundedshortestmulticastalgorithm）被认为是最好的受限多播路由算法；然而，过长的计算时间限制了其应用．作为一种全局优化算法，遗传算法（GA）被越来越多地应用于解决多播路由问题．与传统的算法相比，遗传算法的全局搜索能力更强，但其易“早熟”的特点使它并不总是能够得到最优多播树．提出量子克隆多播路由算法，有效地解决了“...

有Mate-Pairs的个体单体型MSR问题的参数化算法

作者：谢民主; 陈建二; 王建新 刊期：2007年第09期

个体单体型MSR（minimumSNPremoval）问题是指如何利用个体的基因测序片断数据去掉最少的SNP（single—nucleotidepolymorphisms）位点，以确定该个体单体型的计算问题对此问题，Bafna等人提出了时间复杂度为O（2^kn^2m）的算法，其中，m为DN断总数，n为SNP位点总数，k为片断中洞（片断中的空值位点）的个数由于一个Mate—Pair片段中洞的个数可...

Seventeenth International World Wide Web Conference （WWW2008）

刊期：2007年第09期

三维装箱问题的组合启发式算法

作者：张德富; 魏丽军; 陈青山; 陈火旺 刊期：2007年第09期

通过组合拟人启发式和模拟退火算法，提出了三维装箱问题的组合启发式算法．拟人启发式算法的主要思想来源于日常砌墙中的策略，利用找点法以及水平和垂直参考线规则来控制装填过程-用模拟退火算法改进拟人启发式．经过一些数据的测试，实验结果表明，该算法能够同文献中的优秀算法竞争．

三元家庭基因数据的单体分型和单体型频率估计

作者：张强锋; 徐云; 陈国良; 车皓阳 刊期：2007年第09期

研究了在门德尔遗传定理和哈代—维恩伯格平衡假设下，三元家庭基因型数据的单体分型和单体型频率估计问题．过去的研究仅仅关注个体间没有联系或者含有一般家系信息的基因型数据，而对这种特殊的三元家庭关注得不够．考虑到HAPMAP数据库中有一部分数据就基于这种三元家庭，现在有越来越多的需求要求直接分析这种特殊的家系结构．提出一个两段式...

P3P问题的多解现象的概率研究

作者：张彩霞; 胡占义 刊期：2007年第09期

一般情况下，P3P问题可能出现1，2，3或4个解．但是，若3个控制点和摄像机光心这4点共圆，则会出现无穷多组解彳1用“蒙特卡洛，，方法模拟出P3P问题分别出现1,2，3，4个解的概率为0．9993，0、0007，0．0000，0．0000.结果论证了如下的事实，即在大多数情况下，P3P问题有唯一解．

高效的部分冗余容错编译：复制错误流关键子图

作者：高珑; 王之元; 杨学军 刊期：2007年第09期

传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错．这种完全冗余在存储空间和性能上的开销都是相当大的．在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法，并设计了通过复制错误流关键子图实现部分冗余的算法．在保证有效容错能力的同时，部分冗余明显减小了经过容错编...

一种基于性能模型的中间件自配置框架

作者：胡剑军; 官荷卿; 魏峻; 黄涛 刊期：2007年第09期

高动态的计算环境使得QoS（quality of service）保障对于基于组件的分布式系统越来越重要，软件系统需要具备自我调整的能力以适应外部环境的变化．给出一种自适应的中间件配置框架，能够动态感知负载变化，并自动调整系统参数配置以保持用户所要求的服务质量．该框架的核心是一个基于分层排队网络的性能预测模型，用于指导搜索最优的资源配置...

基于Assume—Guarantee搜索复用的C程序验证方法

作者：易晓东; 王戟; 杨学军 刊期：2007年第09期

提出了一种基于Assume．Guarantee搜索复用的验证方法，对C程序源代码进行验证．其思想是，在程序的每点处都引入一个保守假设条件，并假设从任意点出发，变量取值满足该点假设条件的所有执行路径都不会违背给定性质，然后根据这些假设条件遍历所有可能的执行路径以验证给定的时序安全性质，并在遍历的过程中验证这些假设条件是否满足，如果不满...

基于SPEM2XPDL模型转换的软件过程执行

作者：袁峰; 李明树 刊期：2007年第09期

SPEM（soft ware process engineering metamodel）是国际标准化组织制定的标准元模型，正日益成为软件过程建模领域的行业标准，但在过程执行方面，SPEM还存在不足．将软件过程看作是一种特殊的工作流，提出了一种应用X-作流运行机制支持软件过程执行的方法．通过将SPEM模型转换为XPDL（XMLprocessdefinitionlanguage）模型，利用XPDL引擎支持S...

工作流时序约束模型分析与验证方法

作者：王远; 范玉顺 刊期：2007年第09期

为了解决工作流时间建模与时序一致性验证问题，以时序逻辑和模型检查为基础，提出了一种工作流时间建模与时序一致性验证方法．该方法用一阶逻辑描述工作流模型及其时间信息，用时序逻辑描述工作流的时序约束用模型检查算法对时序约束进行验证与分析．该方法不是针对某一种时序约束提出来的，而是能够验证任何用时序逻辑描述的工作流时序约束．...

基于多通道融合的连续手写识别纠错方法

作者：敖翔; 王绪刚; 戴国忠; 王宏安 刊期：2007年第09期

在基于识别的界面中用户的满意度不但由识别准确度决定，而且还受识别错误的纠正过程的影响提出一种基于多通道融合的连续手写笔迹识别错误的纠正方法．该方法允许用户通过口述书写内容纠正手写识别中的字符提取和识别的错误．该纠错方法的核心是一种多通道融合算法．该算法通过利用语音输入约束最优手写识别结果的搜索，可纠正手写字符的切分错...

形式概念分析对粗糙集理论的表示及扩展

作者：曲开社; 翟岩慧; 梁吉业; 李德玉 刊期：2007年第09期

侧重于建立形式概念分析与粗糙集之间融合的理论基础．利用形式概念分析中名义梯级背景（nominalscale）的概念，对信息系统进行平面梯级（plainscaling）得到了衍生的形式背景．证明了粗糙集理论中的划分、上下近似、独立、依赖、约简等核心概念都可以在相应的衍生背景中进行表示．揭示了粗糙集理论在分析处理数据时的局限性．指出了利用梯级的...

交互式进化计算的适应值噪声及收敛鲁棒性

作者：郝国生; 史有群; 黄永青; 吕俊怀; 郭广颂 刊期：2007年第09期

噪声是影响进化计算（evolutionary computation，简称EC）算法性能的一个重要因素对于传统EC中的噪声，已有许多研究成果，但交互式进化计算（interactiveevolutionarycomputation，简称IEC）的噪声研究成果却较少．首先回顾了传统EC中噪声的定义、来源、类型及各种处理噪声的方法；其次，从IEC的理性用户观点出发，研究了IEC的适应值噪声及收...

Xmesh：一个mesh—like片上网络拓扑结构

作者：朱晓静; 胡伟武; 马可; 章隆兵 刊期：2007年第09期

针对片上网络（networkonchip，简称NoC）的节点数量少、距离近、物理实现复杂度受到限制的特点，提出了一种新的Xmesh拓扑结构，并为该结构提出了XM路由算法．该结构在经典的mesh结构的基础上添加了两个对角线型的回边，缩短了节点间的距离，而且路由计算的复杂性不高，实现的复杂度基本没有增加‘将Xmesh与经典的Mesh和Torus结构进行了理论分...