当期目录

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

论文

虚拟计算环境中的虚拟网络

蔡志平 陈彬 肖侬 王志英

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

摘要 ( 500 )   PDF (488KB) ( 636 )   　　

虚拟计算环境是近年来的学术研究热点，而虚拟网络是构成虚拟计算环境的核心技术。本文介绍了主流的虚拟网络构成原理和虚拟网络实现技术，分析了虚拟计算环境中虚拟网络的特点，总结并提出了虚拟网络的性能开销、QoS、自适应和安全性等开放性问题。

基于赋时分层着色Petri网的以太网系统建模

朱连章 张乐伟 刘璐璐

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

摘要 ( 490 )   PDF (443KB) ( 512 )   　　

基于以太网响应时间的恰当的分析模型具有并发、动态、冲突、实时性等特点。传统的建模方法在解决这类问题时存在着复杂、僵化、柔韧性差、没有时间概念等缺点。赋时 分层着色Petri网（HTCPN）通过增加请求、服务、协调、多实例化等新的建模元素，能够仿真和模拟基于实时性的客户枷服务器交互关系的问题，同时分层技术的引入也更    利于模拟任意结构的以太网模型。本文基于HTCPN建立了共享式和交换式以太网模型，通过对以太网模型响应时间的分析证明了HTCPN适合仿真和模拟这类问题。

公钥Kerberos协议的认证服务过程的建模与验证

周倜[1] 李梦君[1] 李舟军[1,2]

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

摘要 ( 449 )   PDF (465KB) ( 420 )   　　

公钥Kerberos协议是目前广泛使用的一类认证协议。本文使用安全协议验证工具SPVT对公钥Kerberos协议（PKINIT）的认证服务过程进行了形式化的建模与验证。SPVT自动地 检测出PKINIT存在一个中间人攻击，该攻击可使攻击者假冒密钥发布中心和终端服务器，骗取用户信任，窃取重要数据。本文首次使用验证工具检测出公钥Kerberos协议的攻击，该攻击的自动检测对大型复杂协议的自动验证具有重大意义。借助于SPVT，人们能尽早发现协议缺陷。这充分说明，SPVT能够对大型复杂安全协议进行建模与验证，是 一个有效的协议验证工具。

基于支持向量机的面向对象软件易发性故障预测

赵艳[1] 钟诚[1] 李智[1,2] 闫铁[1]

2008, 30(11): 11-117. doi:

摘要 ( 464 )   PDF (261KB) ( 344 )   　　

本文考虑软件故障严重程度，并采用C＆K面向对象度量集，以支持向量机分析方法为数学工具，建立一种基于面向对象软件易发性故障预测模型。实验结果表明，与基于朴素贝叶斯的预测模型、随机预测模型和NNge预测模型相比，本文提出的预测模型对于高严重程度故障、低严重程度故障以及未划分故障严重程度的情形均获得较好的预测效果。

使用组合协议逻辑PCL验证

刘锋 李舟军 周倜 李梦君

2008, 30(11): 13-15. doi:

摘要 ( 425 )   PDF (234KB) ( 538 )   　　

安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL，并采用PCL对Amended Needham- Schroeder协议进行了验证，证明该协议满足保密性。在验证中将完整的协议划分为三个子协议，对子协议分别做性质描述和验证，最后将三个子协议组合成完整的协议，通过三个子协议之间前置断言和后置断言的一致性，证明了组合之后的协议满足保密性。

一个基于神经网络的信息系统安全性综合评估模型

刘海燕 王维锋 蔡红柳

2008, 30(11): 16-18. doi:

摘要 ( 512 )   PDF (245KB) ( 111 )   　　

本文提出了一个将神经网络技术与模糊综合评价法结合的评估模型。首先根据信息系统资产的组成以及安全性因素建立层次性的安全性指标体系，使用层次分析法确定指标权 重；然后借助安全工具的测试结果，使用模糊综合评估法构造前向神经网络；最后，使用神经网络的反向传播算法调整指标权重。在此模型的基础上，设计并实现了一个信息息系统安全性评估系统。

遗传BP神经网络及其在异常检测中的应用

任勋益[1] 王汝传[1,2] 周何骏[1]

2008, 30(11): 19-20. doi:

摘要 ( 632 )   PDF (263KB) ( 696 )   　　

为了克服BP神经网络速度慢、易陷入局部最小的缺点，利用GA的全局搜索能力优化BP神经网络权值，本文提出了遗传BP神经网络算法，并将其用于异常检测之中。在对Kddcup，99攻击数据进行分析和特征约简的基础上，设定了遗传BP神经网络算法的参数。实验结果表明，基于遗传BP神经网络异常检测模型的建立快于BP神经网络算法。

基于PSO智能优化的SFS三维重构算法研究

班晓娟 李欣 宁淑荣 景俊杰

2008, 30(11): 21-24. doi:

摘要 ( 452 )   PDF (387KB) ( 513 )   　　

智能优化算法在优化计算、搜索和人工智能方面有着广泛的应用潜力。为了提高三维重构模型的逼真度，本文把智能优化算法中的PSO算法应用在SFS算法改进中，并应用基准   测试函数对算法进行仿真比较，最后分析了算法的性能效率与收敛性。可以看出，优化后的SFS算法性能有了显著提高。

椒盐噪声下图像直方图的行为

蔡利栋

2008, 30(11): 25-27. doi:

摘要 ( 445 )   PDF (508KB) ( 504 )   　　

重获噪声图像的原始直方图有助于确定像素的原始灰度值。本文讨论了脉冲噪声下图像直方图的行为，给出了由噪声图像直方图直接或近似估计原始图像直方图的公式，表明  了公式的收敛性，并作了仿真验证。结果成功地应用于高椒盐噪声图像的恢复问题。

基于PCA的眉毛识别方法研究

李玉鑑 王利娟

2008, 30(11): 28-30. doi:

摘要 ( 518 )   PDF (346KB) ( 400 )   　　

本文分析了人类的眉毛作为一种独立生物特征进行身份鉴别的可能性，提出了利用PCA方法进行眉毛识别的基本思路。通过32个人的小规模眉毛图像数据库，在直接利用纯眉毛图像或间接利用其傅里叶变换构造特征向量的两种情况下，分别研究了PCA方法在眉毛识别中的识别率与所采用的归一化方法和信息阈值之间的关系。实验结果表明，PCA方法的最高识别率在不采用傅里叶变换时为60．00％，而在采用傅里叶变换时为90．63%。

基于Java技术的关联规则可视化新方法及实现

罗建[1,2] 晏华[1]

2008, 30(11): 31-33. doi:

摘要 ( 539 )   PDF (304KB) ( 592 )   　　

本文分析了关联规则的可视化技术，提出了关联规则可视化的一种新方法VOCAR。该方法解决了关联规则文本挖掘结果晦涩难懂的问题，使挖掘结果图形化，增强了可理解性 。利用Java3D、JFreeChart等技术实现了从预处理到最后挖掘结果的关联规则可视化系统。实验结果表明，该系统利用VOCAR方法能有效地展示大量高维复杂的关联规则挖掘结果，使图形化结果更易理解和可信。

基于加权相邻关系的形状轮廓点匹配

罗磊 殷建平 张国敏 于东方

2008, 30(11): 34-37. doi:

摘要 ( 420 )   PDF (344KB) ( 615 )   　　

轮廓点匹配是形状匹配的一种典型方法。在各种形变情况下，形状轮廓点的相邻关系往往比其他全局关系更稳定。本文在保持局部邻居结构的点匹配算法基础上，引入了邻居 的权的概念。首先基于点到邻居的距离为每个点的邻居关系赋权，然后结合形状上下文距离把点匹配问题转化为有向属性关系图匹配问题，用松弛迭代法求解。引入邻居关系系的权，使匹配不仅保持邻居集的一致性，同时还保持邻居之间的距离相对关系。实验证明，本文方法能够提高匹配效果，加快匹配算法收敛速度。

基于PCNN图像分割与边缘匹配的支票验证方法

毛华 章毅

2008, 30(11): 38-41. doi:

摘要 ( 500 )   PDF (373KB) ( 502 )   　　

本文提出了一种新的支票验证方法。该方法包括从复杂背景中提取印文的算法和一种改进的方形印章的配准方法。在印文分割中，首先采用基于脉冲耦合神经网络（PCNN）同 步特性的细化算法，定位出轮廓的外围轮廓；然后根据外围轮廓的颜色信息，采用全局阈值分割方法将印文提取出来。对于方形印章，采用边缘匹配方法对印文进行由粗到精 精的配准。实验结果表明，本文提出的支票验证算法能够从复杂盖印背景中分割印文，并且得到较好的配准效果。

时间依赖有向无环网最小时间路径算法

余伟辉 陈闳中

2008, 30(11): 42-45. doi:

摘要 ( 383 )   PDF (390KB) ( 400 )   　　

经典模型及算法可解决固定弧权条件下的最短路问题，然而实际应用中孤权往往是动态的，即弧权依赖时间变化。本文提出一种特殊最短路径算法，即在有向无环网络中最小 时间路径算法的一种实现。该算法是一种改进的扩散法，克服了扩散法的一些显著缺点。文中证明了该理论的正确性，最后列举了一个传统算法不能解决的实例，证明了该算算：法的正确性。

一种基于修正信息增益的ID3算法

张春丽 张磊

2008, 30(11): 46-47. doi:

摘要 ( 471 )   PDF (252KB) ( 528 )   　　

ID3算法是决策树中影响最大的算法之一，它以信息增益为标准选择决策树的测试属性。这种算法存在不足之处，在选择合适的测试属性时，倾向于选择取值较多的属性，而在实际应用中，取值较多的属性未必是重要的。针对此算法的不足，本文提出了一种对增益修正的 ID3算法，为改善 ID3的多值偏向问题提供了一种有效途径。通过理论分析和实验证明，这种算法能较好地解决多值倾向的问题。

人机丈棋游戏算法研究

张德富 郑捷敏

2008, 30(11): 48-49. doi:

摘要 ( 426 )   PDF (274KB) ( 417 )   　　

丈棋游戏是一种新发明的二人对弈数字游戏，该游戏对开发人类智力有很大的帮助。通过分析研究，我们发现丈棋游戏实际上是一个数字组合问题，它很难设计出博弈搜索算法。最后，我们提出了求解丈棋游戏问题的动态规划算法，并用实验验证了算法的有效性。

MAX—SAT问题一种改进的局部搜索算法

赵同昇[1] 朱文兴[2]

2008, 30(11): 50-52. doi:

摘要 ( 445 )   PDF (330KB) ( 972 )   　　

局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等，但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生“初 始概率”（每个变量取1的概率），用“初始概率”对局部搜索算法中变量的初始随机指派进行适当的约束，使在局部搜索的开始阶段，满足的子句数大大增加，加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明，这些改进有效地提高了局部搜索算法求解SAT问题的效率。

一种基于粒子群优化算法的组合预测模型

赵文涛 殷建平 龙军

2008, 30(11): 53-55. doi:

摘要 ( 467 )   PDF (325KB) ( 455 )   　　

本文首先分析了若干传统的预测方法，提出了一种组合预测模型，在该模型中利用加权系数对各种预测方法进行组合，集成不同来源的预测结果，从不同的侧面反映整个预测过程，力图使预测结果更加精确。在各种预测方法加权系数的确定上，利用PSO快速全局优化的特点，可以减少试算的盲目性，提高模型预测的准确性。

一种基于优先级扩展的时间自动机模型中DBM减法算法的改进

赵旭辉 庄雷

2008, 30(11): 56-59. doi:

摘要 ( 398 )   PDF (349KB) ( 379 )   　　

本文介绍一种具有优先级扩展的时间自动机模型，并对一种计算DBM减法算法进行改进。这种减法是DBM上操作中的一种，它会产生需要用DBM集来表示的非凸集合。DBM的数量影响符号模型检测的性能，我们的减法算法是有效的，因为它产生的DBM的数量相对于最初算法具有较大程度的约减。DBM减法操作扩展了具有优先级的时间自动机理论，它对对于具有紧急行为的变换描述、死锁检测、时间博弈等问题具有非常重要的作用。

TSP问题的一种改进的GRASP算法

郑雅燕[1] 朱文兴[2]

2008, 30(11): 60-64. doi:

摘要 ( 509 )   PDF (381KB) ( 611 )   　　

本文对Marinakis等提出的扩展邻域GRASP算法进行改进。首先使用最近α值方法构造初始TSP回路，然后运用混合的局部搜索即2-opt算法、双桥策略和3-opt算法来改进初始回路，并且引进α-nearness候选集和don’t-lookbit技术来提高搜索速度。实验结果表明，本文提出的GRASP能够在合理的时间内得到很好的解，并且解的质量优于M~rinakis等提出的扩展邻域GRASP算法得到的解。

具有两种否定的描述逻辑系统MALC

程天笑 潘正华

2008, 30(11): 65-67. doi:

摘要 ( 428 )   PDF (307KB) ( 353 )   　　

否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展，大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集，并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词 引入描述逻辑ALC，建立了一个扩展的描述逻辑系统MALC，使其具有处理模模糊知识的能力。同时，文章给出了基于中介无穷值语义模型的语义解释；在推理机制上，给出了可满足性的定义和可满足性的Tableau算法。

局部引理及其在（r，s）-SAT问题中的应用

邓天炎[1,2] 张庆顺[1] 许道云[1]

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

摘要 ( 352 )   PDF (263KB) ( 367 )   　　

一般说来，寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径：证明满足一定结构性质的对象的概率大于零。在概率方法中，局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法，并将其应用到估计（r，s）-SAT问题中临界函数的下界。

基于量子逻辑的下推自动机的代数刻画

韩召伟[1,2] 李永明[2]

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

摘要 ( 380 )   PDF (255KB) ( 478 )   　　

首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量子状态构造证明了任意 L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性；其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。

部分四值逻辑中Sheffer函数的判定与构造

刘任任

2008, 30(11): 75-76. doi:

摘要 ( 300 )   PDF (139KB) ( 314 )   　　

根据部分K值逻辑的完备性理论和相似关系概念，利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4^＊中的Sheffer函数。

模糊逻辑系统的非线性组合预测方法与系统误差分析研究

史士英[1] 李涛[2] 张圣[1] 尹义龙[3]

2008, 30(11): 77-79. doi:

摘要 ( 466 )   PDF (225KB) ( 463 )   　　

本文提出一种基于模糊逻辑系统的组合预测方法。其基本思想是利用模糊系统的万能逼近特性，采用模糊Taki Sugeno模型来进行非线性组合预测函数的φ（x）模拟。这种全 新的组合预测方法不仅降低了构造非线性组合预测函数φ（x）的难度，而且使预测精度大大提高。

基于中介逻辑的模糊知识表示及应用

王岑 潘正华

2008, 30(11): 80-82. doi:

摘要 ( 392 )   PDF (296KB) ( 370 )   　　

本文基于中介逻辑理论，在知识描述中区分知识的“矛盾”与“对立”，肯定对立的模糊概念之间存在中介对象（中介概念），将矛盾否定与对立否定运用于知识表示中；并  以一金融决策实际问题为例，采用距离比率函数为模糊谓词表达式赋予属于[0，1]区间的真值，结合中介谓词逻辑的无穷值语义模型与具体情形，给出了模型中变量（取值的的一种确定方法及其意义，最后通过一具体实例讨论了模糊知识推理。

并发系统概率空间的形式化构造方法

王金双 张兴元 杨华兵 张毓森

2008, 30(11): 83-85. doi:

摘要 ( 358 )   PDF (239KB) ( 384 )   　　

本文用Paulson归纳法描述并发系统，对系统执行的不确定性进行建模，给出了一种适合定义测度的产生集合，利用测度评估函数将产生集合的测度与有限执行序列的测度联系起来；证明执行序列集合上的测度满足非负性和可列可加性，利用测度扩张定理构造并发系统执行序列集合上的概率空间。所有证明脚本经过定理证明工具Isabelle／HOL ／Isar的检查。

基于Dirichlet分布语言建模的信息检索技术研究

文健[1] 李舟军[2]

2008, 30(11): 86-91. doi:

摘要 ( 487 )   PDF (464KB) ( 571 )   　　

基于多项式的一元语言模型不能表示文档中的突发（Burstiness）现象，而基于Diriehlet分布的语言模型能够较好地处理突发现象。本文分析和讨论了几种基于Dirichlet分 布的语言模型，并以ECM模型为基础，分别对文档和查询项进行语言建模，然后采用KL-divergence方法来度量文档模型和查询项模型的相似度。在TREC数据集上的实验表明，，与基本的模型相比较，采用EGM模型能够提高信息检索的平均精确度。

格值树自动机与格值上下文无关树文法的等价性

杨文武[1] 李永明[1] 孙丹丹[2]

2008, 30(11): 92-94. doi:

摘要 ( 359 )   PDF (238KB) ( 397 )   　　

本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文法是等价的。同时给出了构造正规形式的等价文法的方法。

二元文法

张继军 费玉奎 董卫

2008, 30(11): 95-97. doi:

摘要 ( 358 )   PDF (291KB) ( 513 )   　　

在正规文法的基础上，通过增加一个约束变量集合，给出了二元文法的定义，证明了二元文法与袋自动机的等价性，定义了平衡推导、递增推导、递减推导和传递推导，证明了它们与不变重复序列、增重复序列、减重复序列和传递重复序列之间的关系，并且给出判定一个二元文法所产生语言（袋语言）分别是正规语言、上下文无关语言或上下文 文有关语言的充分条件。

基于场景的软件早期可靠性模型

罗云锋 贲可荣 普杰

2008, 30(11): 98-101. doi:

摘要 ( 386 )   PDF (345KB) ( 333 )   　　

本文从场景的角度研究软件早期可靠性建模方法，给出了基于用例图确定场景运行剖面的方法，利用简化通信图确定可靠性模型中的参数。模型与UML图无缝集成，可应用于软件开发生命周期早期。用个人登录控制系统（PACS）实例介绍了模型的应用。与已有方法相比，该模型简单且吝易工具实现。

一种基于OSGi的动态演化方法

陈志伟 贲可荣 张志祥 姚振兴

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

摘要 ( 441 )   PDF (372KB) ( 449 )   　　

OSGi框架为软件动态演化提供了一个强大的平台，在该平台上运行时可进行模块的加载、卸载和替换。针对替换过程中遇到的状态丢失问题，本文利用OSOi R4规范提供的面向服务组件的编程模型，将服务组件的数据部分独立出来，实现了替换过程中状态的连续性。

一种基于行为的多视点需求描述方法

肖晶 毋国庆 陈曙

2008, 30(11): 105-108. doi:

摘要 ( 338 )   PDF (310KB) ( 426 )   　　

传统多视点方法存在着诸多不足之处。本文在此基础上提出了一种基于行为的多视点需求描述方法（BVORA），从行为的角度对需求进行了描述，提出了以场景对视点进行划分的方法，给出了视点的定义以及视点表达，定义了视点间的关系。

面向对象测试代码复用算法与工具

谢冰[1] 张晨东[1] 强彦[2]

2008, 30(11): 109-110. doi:

摘要 ( 458 )   PDF (278KB) ( 421 )   　　

本文主要研究面向对象软件系统的自动化测试代码的复用问题。复用测试代码是基于建立的方法测试用例。当创建了一个方法的测试用例之后，可以发现这个用例可在其他相  关方法的测试过程中起到多种作用。这个生成的测试用例可以作为另一个方法测试输入的对象参数，或者作为一个主测试对象以调用其方法。我们设计了一个可自动生成复用 用测试代码的算法，并应用于一个微软平台上的对象测试自动化工具的研发过程中。

使用基于进程代数的方法建立软件体系结构的安全模型

杨捷[1] 毋国庆[2] 齐德昱[1]

2008, 30(11): 111-114. doi:

摘要 ( 444 )   PDF (388KB) ( 406 )   　　

安全体系结构集成了软件体系结构与信息安全两大领域的研究，基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模，形成安全的软件体系结构。

基于增量学习的RBF神经网络的噪声源识别

高志华[1] 李朝旭[2] 田立业[1]

2008, 30(11): 118-119. doi:

摘要 ( 390 )   PDF (242KB) ( 415 )   　　

本文提出了一种用于水下航行器噪声源识别的RBF模糊神经网络模型。该模型采用PCM聚类算法并具有增量学习能力，网络输出节点在线可调，保证了网络具有较高的泛化能力和一定的学习新故障模式的能力。仿真结果表明，该模型是有效的。

基于STAGE的指挥自动化系统仿真研究

龚德良[1,2] 陈志刚[1] 黄炎焱[3]

2008, 30(11): 120-122. doi:

摘要 ( 483 )   PDF (273KB) ( 496 )   　　

针对指挥自动化系统（C4ISR）难以进行有效建模与仿真的问题，本文提出一种基于STAGE的战场指挥自动化仿真方法。首先建立装备对抗双方的指挥控制体系结构，然后在装 备平台上配置武器装备和传感装备，最后重点对传感器的行为模型及其控制脚本进行开发。基于上述方法，以某红蓝双方的装备对抗为背景，建立C4ISR下装备对抗的模型并进行仿真应用。结果表明，该方法具有合理性.

基于特征距离的组合核矩阵模型选择标准

贾磊 廖士中

2008, 30(11): 123-125. doi:

摘要 ( 386 )   PDF (311KB) ( 552 )   　　

核矩阵的组合方法是核函数构造和核方法学习的崭新的、重要的方法。目前，组合核矩阵的模型选择标准并不多见，应用较多的是核目标匹配，但该标准并不严格，尚具有较大的冗余性。针对这一问题，本文提出一个有效的基于特征距离的组合核矩阵模型选择标准。本文首先讨论核目标匹配标准及其局限性，然后提出基于特征距离的核矩阵模型 型选择标准并分析该标准的计算性能，最后通过实验验证所提出的模型选择标准在核参数选择和组合系数选择两方面的效能。理论分析和实验结果表明，所提出的基于特征距
 离的组合核矩阵模型选择标准是合理且有效的。

基于分群策略的机群系统上Motif发现并行算法

李锦 钟诚 卿海军

2008, 30(11): 126-128. doi:

摘要 ( 455 )   PDF (260KB) ( 427 )   　　

Motif发现是生物信息学的一个重要研究问题。采用均匀分配后缀群策略、并行淘汰和归并方法，在机群系统上设计一种Motif发现并行投票算法。实验结果表明，在保证解精  度的前提下，该并行算法获得了良好的加速，执行效率达到95％以上。

基于分组的次数与规则剪枝相结合的语言模型压缩方法研究

吴晓春 吴娴 李培峰 朱巧明

2008, 30(11): 129-133. doi:

摘要 ( 457 )   PDF (417KB) ( 648 )   　　

由于庞大的训练语料，统计语言模型的大小往往会超出手持设备的存储能力。随着现阶段资源受限设备的迅速发展，语言模型的压缩研究也就显得更加重要。本文提出了一个 语言模型压缩方法，即将次数剪切与规则剪枝方法相结合，并使用分组的方法保证在不减少单元数目的情况下压缩模型。文章对使用新的算法得到的语言模型与次数剪切和规规则剪枝方法分别进行困惑度比较。实验结果表明，使用新方法得到的语言模型性能更好。

FNM结合CFD在电子设备热设计中的应用

许敏 张平

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

摘要 ( 335 )   PDF (266KB) ( 359 )   　　

本文通过对一高密度电子设备的热设计实践，将基于FNM技术的MacroFlow软件和CFD分析软件相结合，建立起系统级的流体网络模型；阐述了流体网络建模技术（FNM）结合CFD的设计思想，预测出整个系统中流量的分布情况。实测表明，此方法比仅用CFD技术高效、快速、成本低。这些优点显示了流体网络建模技术具有广阔的应用前景。

基于Rocks的高性能集群平台搭建与应用

张洋 陈文波 李廉

2008, 30(11): 137-139. doi:

摘要 ( 411 )   PDF (378KB) ( 1408 )   　　

高性能计算是实现大规模并行计算的有效途径，本文论述了如何构建一个高性能集群，介绍了集群安装工具——Rocks，分析Rocks安装机制、特点以及Rocks如何管理集群，利用Rocks搭建了一个基于Linux的高性能集群平台，并在该平台上实现了量子化学软件Gaussian的应用，进一步测试了Rocks系统的性能。

基于面向对象存储系统的对象及数据副本布局方法设计

陈平增 齐路 刘晓光 王刚

2008, 30(11): 140-143. doi:

摘要 ( 432 )   PDF (337KB) ( 409 )   　　

面向对象存储是近年来存储系统领域的研究热点之一。与传统存储系统相比，面向对象存储系统具有高性能、可伸缩、更安全、更可靠的特点。针对面向对象存储的特点，本文给出了一种对象和数据副本的布局方法，并在原型系统上验证了实现。实验测试表明，这一布局方法能够很好地实现系统的负载均衡和可伸缩性。

基于OpenGL的空间管线的拼接显示与应用

宋能 曹菡

2008, 30(11): 144-146. doi:

摘要 ( 446 )   PDF (246KB) ( 532 )   　　

空间管线是城市和矿山的重要基础设施。三维管线建模与可视化是构建三雏“数字城市”和“数字矿山”、实现城市现代化管理中不可或缺的重要组成部分。本文首先介绍管  线应用的现状，然后阐述了管线数据结构和相邻管线的拼接过程，提出了管线图形对象先存储拼接计算的结果。最后，介绍了基于Visual C＋＋和OpenGL技术所开发的系统。

一个组合几何最优化未解决问题的半机械化解法

单美静 曾振柄

2008, 30(11): 147-150. doi:

摘要 ( 492 )   PDF (322KB) ( 397 )   　　

本文证明了一个关于凸n边形面积的不等式猜测在n=8时的正确性，并对n=9的情况做了讨论。首先将这个最优化问题转化为多项式不等式方程组的实解的存在性问题；其次通过分析最优图形给出了一些化简不等式方程组和减少系统自由变元的方法；利用符号计算等方法建立了一个半机械化方法求多项式方程组作为约束条件的非线性规划问题准确
 解。

一种高效的基于排序二叉树的数据流挖掘算法

何昭青[1,2]

2008, 30(11): 151-154. doi:

摘要 ( 481 )   PDF (362KB) ( 473 )   　　

数据流挖掘分类技术是数据挖掘领域非常具有挑战性的工作。VFDT利用Hoeffding不等式很好地解决了在数据流上进行单遍扫描获取高精度决策树的问题；VFDTc改进了V-FDT  ，使其能够处理连续属性。基于VFDT和VFDTc，我们设计并实现了一种基于排序二叉树的高效算法V-FDT-BSTree。该算法解决了VFDTc中存在的问题，提高了样本动态插入和最  佳划分节点选取的速度，从而提高了分类速度。实验结果表明，VFDT-BSTree在保持决策树大小和分类精度不变的基础上，执行时间相比VFDT平均减少32．25％，比VFDTc平均均减少24．96％。

无线传感器网络连通忌覆盖问题及其解决方案综述

伍勇安 殷建平 李敏

2008, 30(11): 155-158. doi:

摘要 ( 576 )   PDF (418KB) ( 472 )   　　

覆盖控制是无线传感器网络的一个基本问题，通过对网络空间资源的优化分配，来更好地完成环境感知和有效传输等任务。作为覆盖控制理论的研究热点之一，连通k覆盖问 题研究如何从随机部署的大量传感器节点中选择一部分节点激活，使得任意监测目标都被至少k个不同的活跃节点同时覆盖，而且所有活跃节点都是通信连通的。本文分析了无线传感器网络中连通k覆盖问题的系统模型和算法评价指标，介绍了一些典型的近似算法并对其进行了分析和比较，最后进行了总结和展望。