当期目录

• 2008年, 第12期　刊出日期：2008-12-01 上一期    下一期
  本期栏目： 论文

论文

一种面向汇聚网络处理器模型的负载均衡算法

时向泉 苏金树

2008, 30(12): 1-4. doi:

摘要 ( 451 )   PDF (426KB) ( 418 )   　　

本文提出一种由多个网络处理器组成的汇聚网络处理器转发子系统路由器结构模型，并设计了算法DIHDA对多网络处理器的负载进行均衡分配。实验结果表明，该算法能够在 保持负载均衡的同时获得较好的报文保序效果，综合性能优于目前已有的同类算法。

一种基于体系结构的Web服务组合描述方法

魏慧[1] 戎玫[2] 张广泉[1]

2008, 30(12): 5-8. doi:

摘要 ( 526 )   PDF (319KB) ( 415 )   　　

Web服务组合能够快速开发复杂的Web服务，以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上，提出了一种形式化和工业化方法相结合的Web服务组合描 述方法。针对Web服务及其组合的特点，研究了基于体系结构的Web服务组合描述方法，采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件，最后结合一个实例描述Web服 务组合的工作方式。

复杂社会网络的介数性质近似计算方法研究

唐晋韬 王挺

2008, 30(12): 9-14. doi:

摘要 ( 922 )   PDF (624KB) ( 1824 )   　　

随着计算机和互联网的迅猛发展，面向互联网的社会网络挖掘和分析成为一个新的课题。从互联网挖掘的社会网络往往规模巨大，这对网络分析算法的性能提出了更高的要求   。介数值作为图的重要结构性质，广泛应用于基于图的聚类、分类算法，如何降低其计算的复杂性是急需解决的问题。目前，常用的方法是利用对最短路径长度的近似来降低 低网络分析算法的复杂性，但已有的近似方法没有考虑现实大规模网络的复杂网络特性，对最短路径长度的近似方 近似计算方法，其基本思想是结合复杂网络的结构特性，利用通过网络中枢节点的路径来近似最短路径，以近似的最短路径求得介数的近似值。这为图的结构性质的近似估算 算提供了一种新颖的思路。通过与传统的介数计算方法和近的分析得到了若干有益的结论，为进一步的研究工作奠定了基础。

无线传感器网络中能耗均衡的覆盖控制算法

阳娣兰[1] 谢政[2] 陈挚[2] 肖满生[3] 徐桢[4]

2008, 30(12): 15-18. doi:

摘要 ( 724 )   PDF (330KB) ( 425 )   　　

覆盖控制作为无线传感器网络的一个基本问题，对网络的生存时间、部署策略、通信协议和组网等问题的解决具有重要影响。在传感器节点随机冗余部署方式下，传统的方式  是在保证覆盖要求和通信连通的前提下仅将最少量的节点投入活跃工作状态，从而降低网络能耗。但是，若频繁地激活同一批节点，会造成这些节点由于能耗过快而较早失效 效，使整个网络的冗余程度降低。然而，冗余度是传感器网络在单个节点性能有限的情况下提高整个网络的可靠性、容错性、精确性等的基础。为此，本文提出了一个能耗均衡ECB的覆盖问题，指出它是NP完全的，并给出了一个集中式近似算法。该算法根据节点的剩余能量赋于每个节点非负权，再基于Voronoi划分和贪心边方法，在保证覆盖要 求的同时选择权和最小的节点激活。仿真实验结果表明，ECB算法求得的活跃节点集小，可以达到有效覆盖，并且可以保持网络的冗余度。

有向传感器网络中基于概率感知模型的最小连通k覆盖集算法

伍勇安 殷建平 李敏 祝恩 蔡志平

2008, 30(12): 19-22. doi:

摘要 ( 512 )   PDF (407KB) ( 456 )   　　

无线传感器网络的基本问题之一是，网络节点如何利用有限的能量对人们所关注的物理世界进行满意的监测，这可抽象为最小连通k覆盖集问题。传统的最小连通k覆盖集问题是基于确定型全向感知模型的，该模型过于理想化，不能适用于复杂的应用环境，也不能应用于有向传感器网络中。针对上述局限，本文提出了有向传感器网络中基于概率感感知模型的最小连通k覆盖集问题（MCKS），并指出这是NP难问题；设计了基于0-1整数规划和最小生成树的集中式近 BDA），分别证明两种算法最终得到的是MCKS问题的可行解，并分析了算法的时间复杂度、性能比和通信复杂度。通过仿真实验并与ILP算法和BGA算法进行比较的结果表明：  在基于概率感知模型的条件下，IPA和CBDA能够有效实现有向传感器网络中的连通k覆盖，并且激活节点数目较少，网络寿命延长。

基于k—Means改进算法的分布式拒绝服务攻击检测

刘运 殷建平 程杰仁 蔡志平

2008, 30(12): 23-26. doi:

摘要 ( 567 )   PDF (316KB) ( 515 )   　　

分布式拒绝服务（DDoS）攻击是当前主要的网络安全威胁之一。本文分析了DDoS攻击的本质特征，提出了结合流量及流特征分布熵的检测策略，并根据问题需要改进了k—mea  ns聚类算法，并用之建立攻击检测模型。最后，使用LLDOS1．0数据集对该模型进行测试。实验结果表明，该模型具有良好的检测精度，验证了检测策略的有效性。

无线传感器网络密钥管理方案综述

李敏 殷建平 伍勇安 程杰仁

2008, 30(12): 27-31. doi:

摘要 ( 572 )   PDF (529KB) ( 735 )   　　

无线传感器网络密钥管理方案是无线传感器网络研究的热点问题之一。本文结合无线传感器网络的特点，分析了无线传感器网络中密钥管理方案的安全要求和评价指标，介绍了一些主要的密钥管理方案，并对它们进行了分析和比较，最后指出了研究方向。

多指纹识别比较研究

李永 殷建平 祝恩 胡春风 陈晖

2008, 30(12): 32-35. doi:

摘要 ( 454 )   PDF (311KB) ( 565 )   　　

多指纹识别系统包括多手印系统和多手指系统。本文分析了多手印系统和多手指系统的具体模型，并通过五种典型的多生物特征融合技术Sum、Min、Product、Vote、Max对多 指纹识别系统进行了比较研究。实验结果显示，多手指系统能够取得优于多手印系统的性能，多手印系统采用Max规则效果较好，而多手指系统采用Sum规则效果较好。这些结论有助于设计多指纹识别系统

参数曲线曲面实奇异点的计算

李耀辉 刘保军

2008, 30(12): 36-40. doi:

摘要 ( 557 )   PDF (402KB) ( 502 )   　　

本文主要讨论了利用Grobner基理论对参数曲线（面）的奇异点进行判断和计算。如果曲线（面）存在奇异点，由定义可知它的导矢（法矢）等于0。因此，曲线（面）奇异点 的判定就是方程组的求解问题。由Hilbert弱零点定理可知，若一组多项式方程无公共零点，则其生成理想约化的Grobner基为[1]。在计算时，首先根据Grobner基理论判断    曲线（面）是否存在奇异点。当存在奇异点时，利用区间算法对实奇异点进行隔离和迭代。在确定奇异点的存在性时，根据曲线（曲面）的导矢（法矢）方程的Grobner基直  接进行判断，而不需要求解非线性代数方程组。若曲线曲面存在奇异点，进一步采用区间方法对奇异点进行隔离以确定曲线段或曲面片的正则性。该方法可以得到参数曲线曲面的所有实奇异点且达到任意精度。

基于视觉噪声的粒子滤波定位法在RoboCup中的应用

孙海梦[1] 李咏梅[2] 陈海洋[1]

2008, 30(12): 41-42. doi:

摘要 ( 489 )   PDF (155KB) ( 396 )   　　

本文在足球机器人仿真组中引入基于视觉噪声的粒子滤波定位法的视觉信息处理策略，智能体通过此法更新其内部维持的世界模型，为上层决策提供一个更加精确的世界模型

一种基于灰度直方图的遥感影像阴影自动检测方法

于东方 殷建平 张国敏

2008, 30(12): 43-44. doi:

摘要 ( 547 )   PDF (240KB) ( 567 )   　　

在高分辨率全色遥感影像中，阴影的存在既给目标识别带来了困难，又包含了地物的层次和高度信息。本文运用灰度统计直方图的势函数对全色遥感影像的灰度统计直方图函 数进行拟合，使用一阶差分找到直方图势函数的第一个谷点，以该谷点对应的灰度值对原始影像做阈值分割完成阴影检测。实验表明，在各种复杂地物环境下，本文方法都能 能完成灰度分割阚值的自动选取，其阴影检测结果是快速有效的。

基于深度优先搜索的一般图匹配算法

虞成诚[1] 钟声[1] 胡绍华[2]

2008, 30(12): 45-48. doi:

摘要 ( 599 )   PDF (299KB) ( 852 )   　　

对于一般图的匹配问题，Edmonds算法以Berge定理为基础，采用广度优先搜索增广路，图中可能存在“花”。遇到这种情况，要对它进行缩减“花”处理，再进行搜索。当找到增广路时，要将缩减图恢复，算法显得复杂。Gabow等算法使用先给固的顶点和边编号，并使用了不同数组和虚拟顶点，避免了处理花。算法的复杂性为O（n^3），但增加了空间复杂性。本文提出的基于深度优先搜索算法，在搜索增广路时不会出现“花”的情况，算法相对简单；同时，算法时间效率为O（n＊degree（n）），degree（n）为顶顶点的平均度数。另外，当图的边动态增减时，使用该算法可以很快调整最大匹配，并且该算法空间复杂性在同一数量级也可以推广到广度优先搜索。

一种基于核方法的手写数字图像去噪算法

邹剑章 周经野

2008, 30(12): 49-50. doi:

摘要 ( 524 )   PDF (246KB) ( 607 )   　　

手写体数字图像去噪是手写数字图像识别主要的预处理过程。本文从统计特征的角度给出了图像噪声特点，并根据该特点运用核主成分分析的方法对图像进行去噪，给出并分析了基于该思想的去噪实验结果，最后给出了手写数字图像去噪问题未来的研究方向。

动态抢占阈值调度中的快速任务选择算法

贺小川 贾焰

2008, 30(12): 51-54. doi:

摘要 ( 487 )   PDF (397KB) ( 382 )   　　

基于动态抢占阈值的实时调度算法集非抢占调度和纯抢占调度的特点，既减少了由于过多的随意抢占造成的CPU资源浪费，又保证了较高的CPU资源利用率。然而，现有的任务 选择算法运行时的额外代价严重影响了系统的整体性能。针对这个问题，本文提出一种使用“选择树”作为任务队列结构的、时间复杂度为O（｜log2n｜）的快速任务选择 算法。本文从理论上证明该算法正确性的同时，在使用ARM9芯片的Nokia智能手机上验证了该算法在嵌入式实时系统中的有效性。实验表明，该算法在充分利用处理器的同时能够有效降低动态阈值调度算法的额外代价。

几种改进PSO算法在带时间窗车辆路径问题中的比较与分析

张兰 雷秀娟

2008, 30(12): 55-59. doi:

摘要 ( 560 )   PDF (369KB) ( 586 )   　　

车辆路径问题属于完全NP问题，也是运筹学中的热点问题。虽然目前有很多人进行研究，但搜索效率和迭优率较低，而且计算所得平均费用偏高。鉴于此，本文分别用二阶振荡PSO、随机惯性权重PSO、带自变异算子PSO、模拟退火PSO求解带时间窗车辆路径问题。通过仿真实验给出了这四种改进PSO算法在求解该问题时的不同；同时，与文献[1]中中的遗传算法、标准PSO算法求解该问题进行了比较并得出结论：本文中用到的四种改进PSO算法都能更有效地降低成本，缩短运行时间，提高达优率，而且随机惯性权重PSO表现尤为突出。

目标可移动的直线搜索问题的在线算法研究

王明岳[1,2]

2008, 30(12): 60-62. doi:

摘要 ( 413 )   PDF (273KB) ( 481 )   　　

直线搜索问题也被叫做迷失的奶牛问题，解决这个问题的算法叫做线性螺旋搜索。该算法被证明是解决这个问题的最佳在线算法，它的竞争比是9。如果这个问题中的目标可以移动，那么这个问题就被强化了。本文将提出被强化后的问题的最佳在线算法及其竞争比。Minimax定理在这个算法中扮演着重要角色。

贝叶斯网等价类学习算法

贾海洋[1] 刘大有[2] 陈娟[1] 关淞元[1]

2008, 30(12): 63-67. doi:

摘要 ( 524 )   PDF (445KB) ( 529 )   　　

贝叶斯网用一种紧凑的形式表示联合概率分布，具有完备的语义和坚实的理论基础，目前已成为人工智能领域处理不确定性问题的最佳方法之一。贝叶斯网学习是其关键问题，传统学习方法存在如下不足：（1）随节点数增多非法结构以指数级增加，影响学习效率；（2）在等价结构之间进行打分搜索，影响收敛速度；（3）假设每个结构具有相 同的先验概率，造成等价类中包含结构越多则先验概率越高。本文提出一种学习马尔科夫等价类算法，该算法基于骨架空间进行状态转换，利用从骨架空间到等价类空间的映  映射关系实现学习贝叶斯网等价类。实验数据证明，该方法可有效缩小搜索空间规模，相对于在有向图空间搜索的算法加快了算法的收敛速度，提高了执行效率。

基于最小二乘支持向量机的特征增量学习算法

刘新旺[1] 殷建平[1] 张国敏[1] 罗棻[2] 詹宇斌[1]

2008, 30(12): 68-71. doi:

摘要 ( 543 )   PDF (278KB) ( 566 )   　　

本文针对传统的增量学习算法无法处理后采集到的样本中含有新增特征的问题，设计适应样本特征维数增加的训练算法。在基于最小二乘支持向量机的基础上，提出了特征增 量学习算法。该算法充分利用先前训练得到的分类器的结构参数，仅对新增特征采用最小二乘支持向量机进行学习。实验结果表明，该算法能够在保证分类精度的同时，有效效地提高训练速度并降低存储空间。

限制树宽的图的最小标记生成数算法

徐忆展[1] Rudolf Fleischer[2]

2008, 30(12): 72-74. doi:

摘要 ( 415 )   PDF (237KB) ( 440 )   　　

本文研究了图的最小标记生成树问题。首先介绍在一般图上基于搜索树的最小标记生成树的算法；然后考虑了限制树宽的图，得到了效率更高的算法。该算法在树宽为常数的 情况下，时间复杂度关于图的顶点个数为多项式，从而也证明了最小标记生成树在限制树宽的图上属于确定参数可解问题。

一种维持种群多样性的多目标差分演化算法

敖友云[1] 李枫[2]

2008, 30(12): 75-78. doi:

摘要 ( 520 )   PDF (366KB) ( 447 )   　　

差分演化算法是一种简单而有效的全局优化算法。本文将差分演化算法用于求解多目标优化问题，给出了一种维持种群多样性的多目标差分演化算法。该算法采用正交设计法初始化种群，改进差分演化算子，从而有利于维持种群多样性，提高演化算法的搜索性能。初步实验表明，新算法能有效地求解多目标优化问题。

顶点覆盖变体问题的确定参数可解算法研究

洪翔宇 蔡晟

2008, 30(12): 79-81. doi:

摘要 ( 455 )   PDF (333KB) ( 550 )   　　

参数复杂性作为算法研究的一个重要分支，近十年来在国际上受到了广泛的关注，确定参数可解算法是参数复杂性研究的一类重要问题，因此被广泛研究。本文主要研究了顶 点覆盖问题的两个变体问题：一个是连接的顶点覆盖问题，二是含权的树型顶点覆盖问题。这两个问题都是对原始的顶点覆盖问题加入了一些限制的变体问题。本文给出了这两个问题的确定参数可解算法，并且是目前的最好结果。

基于球向量机的中文文本分类

卢祖友 桑永胜

2008, 30(12): 82-84. doi:

摘要 ( 549 )   PDF (217KB) ( 643 )   　　

SVM在文本分类中的应用是近年来文本分类领域重要的进展之一。许多实验表明，SVM在文本分类中比其他的机器学习算法表现出更高的分类精度，但在大规模数据上的收敛速度较慢，成为SVM在实际应用中的一大缺点。球向量机是一种比SVM更快的机器学习方法。本文将BVM应用于文本分类。实验表明，BVM在文本分类中的应用具有与SVM相当的精 度，而且比SVM有更少的训练时间。

任一时间面向任务联盟结构生成算法

骆剑彬[1] 胡山立[1] 苏射雄[1] 林耀海[1,2]

2008, 30(12): 85-89. doi:

摘要 ( 505 )   PDF (372KB) ( 347 )   　　

联盟形成是多Agent系统中的一个关键问题。目前，大多数学者都在CFG下研究联盟结构生成问题。然而，在很多实际应用中，联盟的形成往往是为了完成任务集中某些任务。 但是，在CFG中并没有把联盟和任务一起考虑。显然，加入任务后，问题将变得更复杂。Dang等人已经证明，这是个NP难问题，并且要建立最坏情况下的限界K（n，m），搜索 索面向任务联盟结构集合L1、L2（除{（A，Φ），（Φ，T）}）是必要且充分的，接着提出一个限界具有保证的任一时间算法。本文深刻分析了面向任务联盟结构间的关系，引入更小的搜索粒度（面向任务势结构），提出一种新的任一时间搜索算法；在搜索完最小搜索之后，进一步搜索CTS集合CTS（n，m，b）对应的部分面向任务联盟结构，渐进给出越来越低的限界，大大改进了Dang等人的工作。

一种量化的页面淘汰算法

沈仕敏 陈闳中 方钰

2008, 30(12): 90-93. doi:

摘要 ( 408 )   PDF (334KB) ( 502 )   　　

当前，操作系统和数据库系统中使用较为广泛的页面淘汰算法是LRU-k。但是，随着大量有着不同读写速度的外存设备共存于系统中，LRU-k仅仅根据页面最近访问频率去预测 近阶段“热点”页面的缺点显现。本文提出了一种量化算法ELRUK，该算法不仅考虑到了页面最近访问的频率，同时还考虑了缓冲页面等其他属性，并根据这些信息得到页面 淘汰代价量化值，选取值最小的页面进行淘汰。ELRUK模型是一个针对不同外存储设备的通用模型，这使得原有的LRU-k成为ELRUK的一种退化形式。算法采用了多堆哈希表的组合数据结构，提高了执行效率。实验表明，与LRU-2相比，ELRU2在时间上节省15％～30％。

基于年龄动力学模型的自适应种群演化算法

王玲玲 李元香 林志毅

2008, 30(12): 94-96. doi:

摘要 ( 471 )   PDF (316KB) ( 582 )   　　

本文针对演化算法中的自适应动态种群问题，探讨了年龄动力学模型，给出了简化的模型框架，提出了基于该模型的自适应种群演化算法，实现了对进化种群规模的动态控制 。实验表明，该算法比固定种群规模的经典算法具有更好的性能。

一类弱支配集问题的近似算法

幸冬梅[1,2]

2008, 30(12): 97-101. doi:

摘要 ( 407 )   PDF (375KB) ( 413 )   　　

支配集问题和集合覆盖问题均是图论中的经典问题，尤其是集合覆盖问题，它的近似算法在许多其他问题中均有非常多的应用，如设施选址问题、服务器的安置问题等。本文 研究了支配集问题和集合覆盖问题的关系，讨论了几个弱支配集问题和弱覆盖问题、弱集合覆盖问题等，给出完全支配集问题的近似比为Inn的近似算法，分析了弱完全支配集问题的不可近似比最小规模，讨论了集合击中问题和弱集合b-覆盖问题的最小规模，同时讨论了完全支配集问题、集合d-击中等问题的不可近似性。

控制集与部分控制集问题的原始-对偶算法

丁玲玲 方奇志

2008, 30(12): 102-104. doi:

摘要 ( 431 )   PDF (220KB) ( 448 )   　　

图的控制集问题是一类应用广泛的组合最优化问题。本文利用控制集和部分控制集问题的整数规划模型和原始-对偶方法，分别给出这两个问题近似度为△＋1的近似算法（△为图中顶点最大度）。

相干命题逻辑系统R的一种演绎生成算法

郭远华 曾振柄

2008, 30(12): 105-109. doi:

摘要 ( 433 )   PDF (338KB) ( 381 )   　　

本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构造一棵证明树，对系统R中的定理证明取得了较好的效果。

基于DFL的模糊缺省推理研究

张敏

2008, 30(12): 110-111. doi:

摘要 ( 420 )   PDF (198KB) ( 366 )   　　

统计缺省理论是经典缺省逻辑（Reiter缺省）的推广，借助错误参数ε，允许我们在标准的推理统计中模型化普遍的推理模式。本文针对研究对象以及它们之间的动态模糊性，提出了基于动态模糊逻辑（DFL）的模糊缺省推理，并通过算子语义的方法计算模糊缺省扩充。

模糊错误逻辑事物分解转化联结词

王耀富[1] 潘正华[2]

2008, 30(12): 112-117. doi:

摘要 ( 398 )   PDF (508KB) ( 424 )   　　

本文主要给出了模糊错误逻辑事物分解转化联结词所涉及的概念与运算，对模糊错误逻辑事物分解转化联结词与外延联结词（合取∧、析取∨、不相容析取∨^bxr等）的关系，以及模糊错误逻辑事物分解转化联结词与内涵联结词（不只否定┐bz、不尽否定┐bj、不限否定┐bx、不断否定┐bd等）的关系进行研究，探讨了模糊错误发生的原因和机 机制，以及模糊错误的传递和转化方式的规律。研究表明模糊错误逻辑的事物分解转化联结词可用来描述和推导S（t）变化的逻辑规律。

UML2．0顺序图的一种有穷自动机模型

刘传会[1] 戎玫[2] 张广泉[1]

2008, 30(12): 118-121. doi:

摘要 ( 504 )   PDF (371KB) ( 546 )   　　

为了在软件开发早期阶段对UML2．0顺序图模型进行分析和验证，本文给出了UML2．0顺序图的一种有穷自动机模型。首先给出了顺序图在语法和语义上的形式化描述，然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法，并将该方法扩展到带有组合片段的UML2．0顺序图，最后分析了UML2．0顺序图中的时间建模机制，设计了从UML2．0顺序图中提取时间约束的算法。以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础。

基于移动环境感知的多融合服务计算模型研究

张艳红 孙超

2008, 30(12): 122-123. doi:

摘要 ( 488 )   PDF (264KB) ( 664 )   　　

多融合服务组合在服务计算的集成化、动态性方面实现了较为完整的统一，可以使移动应用的领域计算更加充分。在移动设备和无线的网络异构环境下，研究和开发基于多融合环境感知的应用是一个巨大的挑战。本文将这种感知使用动态服务组合的空间环境计算进行架构，给出了相应的服务计算模型，并在此基础上对这个模型进行了功能扩展、   、动态智能控制的响应性能、空间完成相应行为的移动模拟终端负载压力方面的综合评估。在此基础上，形成一套通用的基于移动服务组合的功能级移动计算模型。

利用不完整和无结构的文本知识的问题求解方法

龙舜 蔡建华 王会进

2008, 30(12): 124-127. doi:

摘要 ( 417 )   PDF (331KB) ( 368 )   　　

学习是智能主体获得解决问题能力的重要途径。当前，大多数的研究工作假设主体从完整和结构化的数据中学习，它们难以应对在很多情况下出现的不完整和无结构的信息。本文提出一种基于信息检索技术的解决问题方法，它能够有效地帮助智能主体从不完整和无结构的文本中寻找有用的知识去解决遇到的问题。在141个故障处理事件上的缺一  交叉测试结果显示，它能使主体的处理事件能力迭3．65分（满分为5分）。这表明，将信息检索和主体技术相整合可以有效地提高后者的解决问题能力。

三维微阵列数据的多目标进化聚类

刘军万[1,2] 李舟军[1,3] 陈义明[1,4]

2008, 30(12): 128-130. doi:

摘要 ( 495 )   PDF (238KB) ( 393 )   　　

聚类技术广泛应用于微阵列数据分析中。在基因-样本-时间GST微阵列数据矩阵中，挖掘三雏聚类成为当前的热门研究课题。3D聚类过程经常需要对多个相互冲突的目标进行优化，而且进化算法以其强大的探寻能力成为高维搜索空间中非常有效的搜索方法。本文基于多目标进化计算方法提出一个新的3D聚类算法MOE-TC，以挖掘GST数据中的3D聚类。现实微阵列数据上的实验验证结果充分说明了本文算法的有效性。

基于道路网络的约束聚类

刘文婷 王志坚 冯钧

2008, 30(12): 131-133. doi:

摘要 ( 402 )   PDF (238KB) ( 413 )   　　

聚类法是最重要的空间数据分析方法之一。在大多数真实的应用中，对受限于网络空间的数据访问和分析更有意义（如道路网络上对象的分析）。目前已有一些道路网络聚类 方法，但都是基于理想的抽象空间，没有考虑现实存在的约束条件（如交通限制信息），因此不能直接应用到现实环境中。本文提出了带约束条件的道路网络模型，扩展了已有的聚类算法。算法的实验结果表明，算法对真实的道路网络中的对象聚类是高效的。

基于关联规则挖掘的中文网页体裁模式发现

吴楚坤 吴扬扬

2008, 30(12): 134-136. doi:

摘要 ( 432 )   PDF (332KB) ( 510 )   　　

本文探讨基于关联规则挖掘的中文网页体裁模式发现问题。通过链表结构，将文档集转换为适用于关联规则挖掘的事务数据库，保证了事务数据库出现的词条项按照在文本中出现的顺序排列，实现了Apriori关联规则算法。实验结果表明，这对于某些类别的体裁模式发现有比较好的效果。

基于构件的嵌入式实时软件建模与分析

张广泉[1] 林苗[2] 戎玫[3]

2008, 30(12): 137-141. doi:

摘要 ( 461 )   PDF (381KB) ( 417 )   　　

嵌入式实时软件具有严格的时间要求，任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此，在软件开发早期，对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法，该方法不仅可以检测出需求模型中的时间冲突，有助于保证嵌入式实时软件时间约束的正确性，而且也 也使得分析结果具有可复用、可扩展的优点。

一种面向分布式系统的程序设计模式

李慧霸 彭宇行 卢锡城

2008, 30(12): 142-145. doi:

摘要 ( 503 )   PDF (331KB) ( 577 )   　　

分布式系统的程序设计模式主要包括多线程模式和事件驱动模式，其中事件驱动模式占据了主导地位。本文讨论了这两种模式的不足，以及Coroutine模式相对它们的优点， 并认为Coroutine模式是最适合分布式系统的程序设计模式。本文在此基础上提出了Libresync，它是一个基于Coroutine模式的分布式系统基础支持库。它既能给应用开发带来非常清晰的控制流程，又具有很高的灵活性和表达力，性能也能满足大多数需求。

恒模盲均衡算法的物理级建模与仿真

刘剑锋 蒋卓勤 盛小平 霍效新

2008, 30(12): 146-148. doi:

摘要 ( 463 )   PDF (299KB) ( 470 )   　　

通过研究恒模盲均衡算法的特点，本文提出了一种基于Simulink的恒模盲均衡算法的建模方法。该方法避开了使用复杂编程语言的实现方式，而是采用基于物理级的动态可视化的建模方法。为了验证仿真模型的正确性和有效性，本文构建了BPSK数字通信系统，并以该通信系统为平台，对其均衡性能进行了仿真分析。为了分析该算法的优缺点，与与基于LMS算法和RLS算法的非盲均衡器进行了对比，给出了三种不同均衡算法的系统误码率、星座图及收敛曲线。仿真结果表明：本文对恒模盲均衡算法的建模方法是正确的，具有很好的对时变信道均衡的性能，并且系统的误码性能很好，而且该算法不需要任何输入信号的先验知识。同时，本文也指出了该算法存在收敛较幔、系统误码率较高的  的缺点。

一种基于线性回归的软件类比估算方法

汤卫民[1] 阎巍[2]

2008, 30(12): 149-152. doi:

摘要 ( 477 )   PDF (289KB) ( 413 )   　　

软件估算是软件开发中的重要活动，而类比估算是软件估算中最常用、最易于理解的方法。为了表征软件项目属性对软件估算结果的不同影响程度，类比估算通常采用加权算法。我们采用多元线性回归方法估计类比估算的加权参数，提高了估算活动的工作效率，同时也可以提高估算结果的准确性。