当期目录

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

论文

服务总线支持Pub—Sub模式的路由研究

彭禹[1,2] 吴泉源[1] 刘江宁[3]

2007, 29(11): 1-5. doi:

摘要 ( 423 )   PDF (378KB) ( 429 )   　　

近年来，随着电信行业业务应用的发展，对电信业务服务质量提出了更高的要求。面向服务的体系结构（SOA）提供面向业务的系统框架。采用SOA架构的电信业务系统能满足 处理性能、稳定性、完整性及其智能化程度等因素上的高要求。本文以电信行业业务服务性能为目的，从SOA架构的核心基础设施企业服务总线（ESB）对服务路由的支持着 眼，提供服务跨系统的Pub／Sub交互，在基础设施上满足服务性能需求，并应用到电信行业中。

组移动模型下MANET网络单跳簇生成算法性能分析

况晓辉[1] 赵刚[1,2] 郭勇[1,3] 王东霞[1]

2007, 29(11): 6-9. doi:

摘要 ( 521 )   PDF (223KB) ( 514 )   　　

在移动自组网络中，许多应用都依赖层次结构的支持。簇结构是移动自组网络中应用最为广泛的层次结构。针对现有簇生成算法在具有群组特性应用中性能分析不足的问题， 本文在分析随机移动模型和组移动模型特性以及主要簇生成算法优缺点的基础上，通过扩展ns2分析了五种典型簇生成算法在组移动模型下存在的不足，并提出了适应具有群
 组特性应用的簇生成算法研究思路。

HFRR：一种适用于短波组网的按需驱动路由协议

宋宝华[1,2] 余文君[2] 杨平[2]

2007, 29(11): 10-13. doi:

摘要 ( 406 )   PDF (267KB) ( 457 )   　　

美国国防部军标MIL-STD-188—141B给出了短波通信网基于连接交换自适应路由的初步思想，但未给出具体算法。本文借鉴CONEX依路径质量选径的方法，结合按需驱动路由的驱动方式，提出了低开销的HFRR路由协议，并用Petri网对该协议进行了验证。最后的仿真结果证明，该协议有较好的性能。

基于TCP Vegas与TCP Reno的一种改进拥塞控制算法

秦楠 郑应平

2007, 29(11): 14-16. doi:

摘要 ( 479 )   PDF (214KB) ( 958 )   　　

因特网的快速发展带来了信息量的急剧膨胀，网络拥塞已经成为制约因特网发展的瓶颈。在众多TCP拥塞控制算法中，TCP Vegas表现出比其他算法更为优越的性能，然而自1995年提出至今，仍然没有取代TCP Reno成为现今最广泛使用的TCP拥塞控制算法。有研究表明，这是由于Vegas在与Reno共存的网络环境下不能公平地竞争到带宽，因此不能实 实质性地提高网络性能。本文在分析Vegas与Reno如何在网络路由中占用带宽的基础上，提出一种在两者兼容环境下的拥塞控制方法，根据不同瓶颈缓冲区容量合理选择α、β等参数，实现了在Vegas与Reno共存环境下两者良好的兼容性，并通过仿真实验证明了该算法的有效性和正确性。

安全态势感知系统中攻击预测的认知模型

赵文涛 殷建平 龙军

2007, 29(11): 17-19. doi:

摘要 ( 397 )   PDF (163KB) ( 411 )   　　

本文首先提出了攻击的分层认知模型，并采用引入时间和空间因素的LAMBDA逻辑表达方法对攻击行为认知的方法进行了描述，然后对攻击过程的认知提出了形式化的描述方法 ，最后给出了分层认知模型在安全态势感知系统中的应用步骤。

基于TMS320DM642的图像采集和处理系统的研究

徐华中 胡佩雯

2007, 29(11): 20-21. doi:

摘要 ( 445 )   PDF (172KB) ( 388 )   　　

本文介绍一种基于定点DSP芯片TMS320DM642的视频图像采集和处理系统，其主要功能是从CCD摄像头输出的模拟视频信号中提取实时图像，数字化后送入处理器作后继图像处理和分析。本系统具有良好的通用性和可扩展性，可以被应用于视频图像采集和处理的各种场合中。本文给出了该系统较完整的硬件和软件设计方案。

遥感图像像素级融合方法的建模与分析

王攀峰 杜云飞 周海芳 贾佳 杨学军

2007, 29(11): 22-26. doi:

摘要 ( 420 )   PDF (295KB) ( 419 )   　　

遥感图像像素级融合方法众多，但缺乏统一的定义，使得各种方法的差并不明确，不利于有针对性的应用；各种方法的融合质量差异悬殊，缺乏选用合适融合方法的理论指导，往往只能根据操作者的经验进行判断。为此，本文首先对融合方法的一般处理过程进行建模，提出了基于融合过程中图像信息表示的遥感图像融合方法的形式化定义RSPF;  然后，基于RSPF从理论上分析了现有融合方法的融合质量差异；最后，通过实验定量分析了各种典型融合方法的融合质量。结果表明，融合过程中图像信息的表示形式是影响响融合质量的关键因素。

一种有效的DCT域下采样视频解码算法

陈志辉[1,2] 倪宏[1]

2007, 29(11): 27-30. doi:

摘要 ( 437 )   PDF (215KB) ( 570 )   　　

为了提高多媒体处理能力有限的终端上的视频播放能力，本文提出了一种有效的DCT域下采样视频解码算法。利用DCT变换的称卷积特性和能量集中特性对压缩视频进行下采样反DCT，并在下采样运动矢量近似和插值处理之后，通过下采样运动补偿重建下采样的视频图像。算法的下采样反DCT、像素插值和图像重建的运算复杂度分别比常规解码减少少了50％、50％和75％，使得整体解码效率有60％左右的提高。算法在基于XScale的嵌入式终端平台上进行了实现和测试，效果良好。

嵌入式μCLinux引导装载程序的设计与实现

胡贯荣 舒行正 涂刚

2007, 29(11): 31-33. doi:

摘要 ( 411 )   PDF (183KB) ( 397 )   　　

本文以一种双核DSP作为硬件环境，详细阐述了引导装载程序的设计与实现技术。该引导程序运行稳定，具有较好的可移植性，对μCLinux操作系统在不同平台上的移植有很  好的借鉴价值。

图像非刚性配准技术及并行策略研究

杜云飞 王攀峰 周海芳 贾佳 杨学军

2007, 29(11): 34-36. doi:

摘要 ( 445 )   PDF (255KB) ( 469 )   　　

图像非刚性配准是近几年配准方法的一个研究热点，由于其计算复杂度很高，它的并行化问题成为近几年来的研究热点。本文首先给出了图像非刚性配准的数学模型，并给出了形式化定义；其次分类总结了近年来图像非刚性配准串行算法研究的新进展，从而在此基础上重点讨论了相应的并行化策略。本文还详细分析了设计并行图像非刚性配准算算法需要考虑的几个问题；并比较评价了现有并行算法的性能特点，得出了一些结论；最后提出了有待进一步研究的问题。

基于IPTV的网络影视存储系统

杨王黎[1] 王惠影[2]

2007, 29(11): 37-39. doi:

摘要 ( 458 )   PDF (208KB) ( 416 )   　　

海量信息存储与检索一直是基于IPTV的网络影视系统的重要问题。针对现有系统的不足，提出了一种新型的网络影视存储系统，给出了该系统的模型及实现方法。该系统采用对等存储模型以及热点处理机制提高系统的存储效率；同时，该系统采用基于分布式哈希表的对等搜索方法提高影片的检索效率，并提供透明的用户接口。较之传统系统，该
该系统具有较高的存储效率及检索速度。

一种基于奇异值分解的改进图像水印算法

谢勍[1,2] 谢建全[2]

2007, 29(11): 40-42. doi:

摘要 ( 382 )   PDF (230KB) ( 464 )   　　

数字水印作为一种新型的信息隐藏技术而成为目前业界研究的热点。本文提出了一种基于奇异值分解的图像水印改进算法。该改进算法具有如下特点：（1）在水印嵌入时， 对原始图像以块为单位进行奇异值分解，在得到的奇异值中直接嵌入水印；（2）在水印提取时，不需要原始图像数据或原始水印数据。改进后的算法更加简便、快捷。实验
 表明，与DCT算法相比较，本文所提出的方法在抵抗各种常规数据处理和攻击（如高斯噪声、JPEG压缩、滤波、裁剪等）方面具有良好的性能。

基于活动状态预测与分类的多目标跟踪

段萌远 于俊清 王锦

2007, 29(11): 43-45. doi:

摘要 ( 481 )   PDF (234KB) ( 492 )   　　

固定单摄像机多目标跟踪的难点在于对多目标互相遮挡情况的处理。针对此问题，本文提出一种基于活动状态预测与分类的多目标跟踪算法，并通过对数字视频中多人的跟踪对算法进行测试。通过对实际情况的分析总结将目标活动状态分为六类，利用卡尔曼滤波对遮挡的预测信息，结合区域匹配信息对目标的活动状态进行归类。最后，通过采用
用不同的目标定位及模板更新策略处理不同活动状态的目标，达到跟踪的目的。实验证明，对目标的分类处理使算法对多目标跟踪具有较好的适应性和准确性。

基于混合粒子群算法的试验选址问题研究

欧阳星明[1] 林伟周[1] 陈迎春[2]

2007, 29(11): 46-49. doi:

摘要 ( 526 )   PDF (253KB) ( 313 )   　　

大型海上试验涉及分散在全国各地的人员、平台、测量设备和产品等资源。试验海区分布在漫长的海岸线上，将这些资源运输到合适的海区属于运输问题。试验海区的选择会影响资源的取舍，资源的取舍与试验流程优化这一车间调度问题密切相关，而试验流程优化反过来又会影响资源的取舍和海区的选择。因此，试验海区的选择是运输问题和车
 车间调度问题的耦合。本文建立了该问题的数学模型，并分别用粒子群算法和排队论处理流程优化中的时间约束和资源约束，再用启发式算法对运输问题进行优化。最后，以某产品的试验为例对算法进行了验证，结果表明了该方法的有效性。

基于图熵的链接发现算法在反洗钱领域的应用

李玉华 易鑫 孙小林

2007, 29(11): 50-52. doi:

摘要 ( 460 )   PDF (172KB) ( 918 )   　　

从错综复杂的洗钱犯罪网络中找出关键性的节点已经成为反洗钱领域的一个重要课题。本文结合反洗钱领域的专家知识实现了一个基于图熵的影响因子模型，并给出了一个链接发现的算法。该算法的实现对于防范和打击金融犯罪活动具有重要的现实意义。

梅森素数并行求解算法的流式实现

伍楠 吴伟 文梅 杨乾明 柴俊 张春元

2007, 29(11): 53-55. doi:

摘要 ( 560 )   PDF (266KB) ( 399 )   　　

本文以数论中的Lucas-Lehmer检验法为基础，提出了梅森素数并行求解算法在FT64流处理器上的流式实现，并通过重设流记录的大小对程序进行了优化。评测数据表明，在FT 64上运行该应用的时间平均比1．5GHz Itanium2快2．5倍。本文为梅森素数求解问题寻找了一条可行的加速方法，同时证实了流体系结构在高性能计算领域的极大潜力。本文提出的流式算法以及各种优化手段，对于其他科学计算领域中的计算密集型问题在流体系结构上的映射有极大的借鉴意义。

顺序结构多传感器模糊联合概率数据互联算法

吴阳[1,2] 张晶炜[3]

2007, 29(11): 56-59. doi:

摘要 ( 426 )   PDF (195KB) ( 422 )   　　

为解决集中式多传感器系统中的多目标跟踪问题，本文运用模糊理论提出了一种多传感器模糊联合概率数据互联算法。该算法首先应用模糊数学的方法计算测量点迹与航迹测 量预测之间的模糊综合相似度；然后运用阈值判别及经验概率法则给出模糊联合互联概率的计算方法，并提出了顺序处理结构的多传感器模糊联合概率数据互联算法的状态估
估计模型；最后给出了该算法与经典的多传感器联合概率数据互联算法的仿真比较。仿真结果表明，本文算法的综合性能更优越。

带反馈修正的多结构元形态学心电信号QRS波检测算法

毛玲[1] 孙即祥[1] 张国敏[2] 马桂珍[3]

2007, 29(11): 60-62. doi:

摘要 ( 418 )   PDF (164KB) ( 881 )   　　

本文提出了一种带反馈修正的多结构元形态学心电信号QRS波检测算法。首先，采用形态学滤波消除心电信号中的脉冲噪声；接着，基于两种不同宽度的结构元，对滤波后信 号进行形态学峰谷提取，获取QRS波波形陡峭信息和幅度信息；然后，根据形态学峰谷提取结果，采用自适应阈值检测法初步定位QRS波；最后，利用估算出的R-R间期对QRS波检测结果进行评估和修正，并反复此评估修正过程直至获得满意结果。经MIT-BIH心律失常数据库验证，本算法具有很好的QRS波检测效果。

基于Hilbert曲线的双层覆盖网模型

鲁宏伟 陈臣

2007, 29(11): 63-65. doi:

摘要 ( 430 )   PDF (230KB) ( 394 )   　　

资源定位和负栽均衡是P2P网络系统中急需解决的核心问题。本文给出的模型将连续相邻的结点组成一个无结构的结点组，结点组之间利用Chord协议连接成为一个全局结构化的环形拓扑结构，并在该拓扑结构中引入HBLS资源查找算法和动态负载均衡双层环状模型调度策略。整个方案不仅具有很好的负载平衡特性，而且为查找提供了充分的灵活性 性。仿真实验表明，该模型在资源定位和负载平衡两个方面都优于原Chord。

基于UML顺序图的面向对象软件簇级测试用例生成

苏荟[1] 张毅坤[2]

2007, 29(11): 66-68. doi:

摘要 ( 416 )   PDF (166KB) ( 411 )   　　

本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上，首先从＊．MDL文档中提取出类间的交互信息；然后，依据从UML顺序图中提取出来的类间的交互信息，采用文中给出的算法生成测试用例；最后，将生成的测试用例依据XML文档的格式存储，以便于管理，并通过实例对该测试用例生成方法进行了验证。

粗粒度可重构阵列上的布局布线算法

左艳辉 窦勇 徐进辉

2007, 29(11): 69-71. doi:

摘要 ( 376 )   PDF (240KB) ( 338 )   　　

开发粗粒度可重构阵列之上的映射工具是把应用算法正确有效地映射到可重构硬件上，并使算法在可重构硬件上正确高效运行的关键之所在。因此，我们设计并实现了映射工 具。本文介绍了映射工具的设计和实现过程，并给出了实现中的关键技术——布局。最后，本文还就几个测试程序给出了映射工具的映射结果。测试结果证明，布局算法的结
 结果正确且优化，映射工具的设计合理，功能无误。

多通道生物特征认证融合算法

方志刚[1] 鲍福良[1] 叶伟中[2]

2007, 29(11): 72-75. doi:

摘要 ( 417 )   PDF (254KB) ( 435 )   　　

由于单生物特征认证往往难以满足实际应用的要求，本文在信息融合的基础上提出一个多通道生物特征认证模型，它采用基于PCA的人脸识剐方法和基于MFCC与VQ的说话人识别方法，在分数层使用多层线性分类器实现了人脸和语音的双通道融合。实验结果表明，在人脸识剐率和说话人识别率分剐为82．6％和75．9％的情况下，两个通道融合后的
 识剐率达到了92．2％．

基于多方安全计算隐私保持的异常检测算法研究

胡和平 方东波 黄毅群 刘海坤

2007, 29(11): 76-77. doi:

摘要 ( 432 )   PDF (184KB) ( 425 )   　　

本文首先介绍了保持隐私的异常检测算法和多方安全计算，接着提出了一种新的安全和计算算法。该算法有效地解决了多个站点间保持隐私的和计算的串谋问题，并应用于基于垂直划分的分布式数据库的异常检测中，给出了一种保持隐私异常检测算法，最后对该算法的安全性、计算和通讯开销做了简要的估计。

MS SQL SERVER2000的角色存取控制策略

左翠华 卢正鼎 李瑞轩

2007, 29(11): 78-80. doi:

摘要 ( 418 )   PDF (179KB) ( 366 )   　　

数据库的安全策略需要各种模型来表达，访问控制模型就是其中之一。基于角色的存取控制RBAC被公认为是对传统的自主访问控制和强制访问控制的革新及补充，并且是最有 发展潜力的存取控制策略，已成为当前数据库领域研究的热点之一。现代大型关系数据库系（RDBMS）均不同程度地支持RBAC，但不尽相同，各具特点。文中选择了RBAC的用户-角色分配、可分配权限、角色层次关系等几个重要的性能技术指标，对当前广泛使用的MSS SQL SERVER2000典型的础）BMS的RBAC特征进行了研究。

GIS中文查询语句的未登录词识别算法研究

吴振南[1] 熊皓[2] 徐爱萍[2]

2007, 29(11): 81-83. doi:

摘要 ( 467 )   PDF (229KB) ( 452 )   　　

由于GIS中文查询语句的理解是为了构造查询语句，而不同的应用系统其语料库的内容和结构有其特殊性，并且语料库也不可能穷尽所有的查询语句用词，所以本文提出了基 于系统语料库的GIS中文查询语句的未登录词识别算法的研究。将识别出来的未登录词通过人机交互的方式加入语料库，使所输入的查询语句的分词有自动记忆的功能，测试
 结果显示，此算法正确有效，为GIS中文查询语句的正确理解奠定了基础。

不相容决策表的求核方法

徐凤生 李海军

2007, 29(11): 84-85. doi:

摘要 ( 348 )   PDF (146KB) ( 404 )   　　

本文通过将不相容决策表转化为相容决策表，提出了一种不相容决策表的求核方法，并证明了方法的正确性。

一个基于修正的二进制差别矩阵的快速求核方法

张振琳 黄明

2007, 29(11): 86-89. doi:

摘要 ( 357 )   PDF (204KB) ( 426 )   　　

本文研究了二进制差别矩阵中核属性的性质，指出并证明了二进制差别矩阵求核的理论依据，在此基础上给出了一种二进制差别矩阵的修正方法及求核方法。该方法不仅适用 于任何决策表信息系统（相容决策表和不相容决策表），而且有效地降低了计算代价。

泛蕴涵推理机及其应用

马盈仓 陈建斌

2007, 29(11): 90-93. doi:

摘要 ( 340 )   PDF (277KB) ( 296 )   　　

本文提出模糊系统中基于泛逻辑的泛蕴涵推理机，给出其在描绘函数图形时的应用，同时比较了它与Mamdani型和Lasen型两种模糊系统在描绘函数图形时的误差。分析和比较表明，在相同规则下含有泛蕴涵推理机的模糊系统产生的误差最低。

面向方面软件开发：理念和观察

洪贵 毛晓光

2007, 29(11): 94-96. doi:

摘要 ( 338 )   PDF (236KB) ( 560 )   　　

面向方面软件开发是近年来软件开发领域出现的一个重要的前沿研究方向。本文从软件开发方法和方面的哲学基础探讨面向方面软件开发（AOSD）的根本和理念，并以此为指 导，追寻其发展历程，明确AOSD未来发展的目标和核心关注点。

高密度数据存储研究

肖亮 谢长生 胡迪青

2007, 29(11): 97-101. doi:

摘要 ( 348 )   PDF (301KB) ( 557 )   　　

信息存储是当今计算机科学与技术的一个重要分支，其重要性体现在国民经济建设及现代军事科学技术等各个方面。本文首先从信息存储原理、技术手段、存储系统等角度总  结了提高存储容量和密度的途径，指出了下一代超大容量光存储技术的若干思想和研究方向，并对全息存储的原理、相关技术等进行了介绍。

集成CCS和B语言的形式化方法

匡春临[1] 潘孝铭[1] 蒋胜利[2]

2007, 29(11): 102-104. doi:

摘要 ( 381 )   PDF (159KB) ( 459 )   　　

本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。

面向语义的元数据模型及OWL表示

黄宏斌 邓苏 马丽丽 张维明 刘震

2007, 29(11): 105-109. doi:

摘要 ( 440 )   PDF (322KB) ( 455 )   　　

元数据在国内依然是一个研究热点。本文面向基于语义的信息资源共享，就如何利用人工智能领域内的本体理论，建立用于描述信息资源语义及其之间关系的元数据模型进行 了研究；基于给出的元数据模型声明了一个具体的学校实例，并使用OWL语言对其进行描述；初步实现了基于元数据模型的信息资源元数据描述模版和描述工具原型。

基于改进粒子群优化算法的非线性摄像机标定

王德超 涂亚庆

2007, 29(11): 110-113. doi:

摘要 ( 445 )   PDF (199KB) ( 435 )   　　

本文针对传统优化算法在摄像机标定中存在对初始值敏感、收敛性差、易陷入局部最优等缺点，研究了粒子群优化算法在非线性摄像机标定中的应用，给出了利用改进粒子群  优化算法进行摄像机参数标定的具体步骤。标定实验表明，基于该算法的摄像机标定方法可以克服传统算法的不足，是一种有效的标定方法。

基于虚拟服务的电子病历系统研究

杨喜敏[1,2]

2007, 29(11): 114-116. doi:

摘要 ( 387 )   PDF (271KB) ( 372 )   　　

本文针对种类与格式繁杂、数据结构多样、既有应用系统广泛的异构特性等在医疗信息数字化时存在的问题，提出了以“虚拟服务”的电子病历系统VEPRS。VEPRS围绕医疗业务系统构建，能在不影响各业务系统的前提下，隐式完成系统问的数据集成和信息共享。应用结果表明，VEPRS能够有效提高医院信息资源的流动性和利用率，为实现数字化 医院的长远目标提供有力支持。

一个面向语义服务发现的QoS本体

刘志忠[1] 王怀民[1] 周斌[1] 郭艳玲[2]

2007, 29(11): 117-121. doi:

摘要 ( 463 )   PDF (311KB) ( 352 )   　　

随着网络上服务数量的急剧增长，用户使用服务有了更多的选择。服务的QoS属性是用户实施服务选择的一个重要准则。为了实现支持QoS的语义服务匹配和服务选择，本文对语义QoS规范进行了深入研究，并根据QoS和应用的相关性提出了一种分层的QoS语义模型。该模型使得服务提供者可以基于SLA在不同的场景下为用户提供不同层次的QoS保障 。在此模型基础上，本文对支持QoS的语义服务匹配与服务选择算法进行了详细讨论。此外，还给出了一个基于QoS本体的服务发现框架。

MPEC问题的精确罚函数法收敛性

史士英[1] 张圣[1] 徐菲[2]

2007, 29(11): 122-123. doi:

摘要 ( 426 )   PDF (132KB) ( 467 )   　　

应用精确罚函数方法，将MPEC问题转化为目标函数含有罚项的一般约束优化问题。当罚因子足够大时，该约束优化问题的极小点收敛于原问题的极小点。

网格环境下一种可扩展的资源发现机制

张燕[1] 贾焰[1] 黄晓斌[2]

2007, 29(11): 124-126. doi:

摘要 ( 397 )   PDF (261KB) ( 348 )   　　

在分布、异构的网格环境下，如何快速、准确地查找用户所需要的资源是影响网格计算性能的重要因素。本文针对集中式资源发现方法存在的可扩展性弱的不足，将P2P方法应用到网格资源发现领域，提出了一种扩展性好的分布式资源发现方法。该方法使用二叉树来管理数据，网格中每个节点都负责管理一部分资源信息。实验结果表明，本文提
出的方法能有效解决集中式资源发现方法可扩展性不好、资源信息服务器负载过重、容易造成单点失效等问题。

一种基于ATMS的求解所有极小冲突集的新方法

张立明[1,2] 欧阳丹彤[1,2] 赵相福[1,2]

2007, 29(11): 127-130. doi:

摘要 ( 374 )   PDF (199KB) ( 314 )   　　

在Reiter算法的基础上，本文提出一种基于ATMS的求解所有极小冲突集的新方法。其中，对每个元件模型最多调用一次就可求出所有的极小冲突集，防止了ATMS的多次调用，因而能够提高效率。本文提出了极小依赖集的概念，并据此对ATMS求得的极小冲突集进行了分类；分析了算法的复杂度，并将新方法与相关工作进行了比较。该算法程序容 易编制，而且效率高。

矩阵向量乘在流处理器上的实现

杜静 敖富江 杨学军

2007, 29(11): 131-133. doi:

摘要 ( 405 )   PDF (251KB) ( 352 )   　　

Imagine是一款致力于媒体处理的流体系结构芯片，而它是否适合科学计算应用是当前国际上的热点讨论问题。本文研究了典型科学计算核心——矩阵向量乘在Imagine处理器  上的有效映射，主要开发了四种不同的流程序版本，并且提出了优化方法。实验结果表明，经过优化的矩阵向量乘程序能够开发Imagine处理器的潜能。

LTS中的弱不变量与限制乘积

刘晓会[1] 樊磊[2]

2007, 29(11): 134-136. doi:

摘要 ( 395 )   PDF (123KB) ( 381 )   　　

本文在文献[1，2]的框架下给出了弱不变量的定义，讨论了其性质及与不变量之间的关系。此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱 不变量之间的相互转化。

面向方面的软件系统动态交互行为建模

杨敬中[1] 戎玫[2] 张广泉[1,3]

2007, 29(11): 137-139. doi:

摘要 ( 391 )   PDF (175KB) ( 274 )   　　

面向方面编程是一种基于关注点分离的新技术，它成功地解决了面向对象编程中存在的代码缠结和散射问题。但是，在软件设计阶段，面向方面建模并没有得到很好的支持。 通过分析面向方面编程的特点以及UML2．0新增的复合片段概念，本文提出了应用顺序图中的可选片段来表示Aspect与组件之间的横切交互行为，并给出将Aspect引入顺序图  的相关规定，实现了UML2．0顺序图对面向方面建模的支持。

Communication Express通讯软件接口：实现技术与性能评测

谢旻 刘路 卢宇彤 傅清朝 周恩强

2007, 29(11): 140-144. doi:

摘要 ( 440 )   PDF (284KB) ( 377 )   　　

本文描述了一个基于PCI-X总线高速通讯卡的通讯软件接口实现技术，该接口通过虚拟硬件资源，实现了保护的用户级通讯操作，提供报文传输和RDMA两种数据传输方式，实 现进程间数据的零拷贝传输，同时基于该接口还支持IP报文的传输。测试中该接口在单链路上实现501MB／s，双链路上实现1002MB／s的带宽，在基于Socket接口的测试中，实现了384MB／s的通讯带宽。

卫星导航综合仿真平台的研究与实现

田尊华 赵龙 贾焰

2007, 29(11): 145-148. doi:

摘要 ( 397 )   PDF (253KB) ( 910 )   　　

卫星导航系统是各大国争相抢夺的战略高地，卫星导航综合仿真平台可以对卫星导航系统的研究提供帮助。本文详细分析了卫星导航综合仿真平台（NSSP）的设计思想与整体架构，分析了仿真平台的主要功能，给出了NSSP的具体实现，并指出了下一步的主要工作。

WRF三维变分同化并行程序性能分析

卢风顺 宋君强 朱小谦

2007, 29(11): 149-151. doi:

摘要 ( 453 )   PDF (251KB) ( 968 )   　　

并行程序性能分析在科学计算程序设计和优化中发挥着重要作用，通过它可以了解并行程序运行效率，分析计算瓶颈，从而改进和优化程序设计，更好地发挥高性能计算机效 能。本文介绍了WRF三维变分同化原理和并行策略，采用性能分析工具TAU对WRF三雏变分同化并行程序运行效率进行了量化分析，确定了程序的计算热点和瓶颈，并提出了相应的优化方案。

一种集成NER的文本分类特征选择方法

施德明 林洋港 陈恩红

2007, 29(11): 152-156. doi:

摘要 ( 515 )   PDF (293KB) ( 445 )   　　

文本分类是将自由文本自动划分到若干预先定义类别的方法，在信息检索等领域有很重要的作用。其中，如何选择有效的文本特征是影响文本分类器分类性能的一个重要步骤  。很多应用中需要处理的文本信息包含了很多的命名实体，如某个行业的名人，往往能够在很大程度上影响着文本所属的类别。然而，现阶段的文本特征方法都只利用关键词
词的统计意义，而没有考虑关键词作为命名实体所含有的分类特征。针对这一问题，本文提出了一种将命名实体识别方法NER集成到文本分类特征选择中的方法，在保留关键  词统计特征之外，还保留了单词作为命名实体的分类特征。实验结果表明，相对于其他特征选择方法而言，本文提出的方法在一定程度上提高了文本分类的分类准确率。