计算机工程与科学

黄连恩李晓明

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

摘要 ( 488 )

PDF (290KB) ( 511 ) 　　

Webinfomall是北京大学网络实验室从2001年开始建设的中国网页档案馆。迄今，它已经收藏了自2002年初以来出现在中国互联网上的近30亿网页，而且以每天100～200万网页的速度在不断增加。这些网页不仅来源于不同的URL，而且还包含同一个URL的不同内容版本，其中许多内容目前在中国互联网上已经不复存在。如何在这样一个海量信息系统中开展有效的信息挖掘是我们面对的一个基本问题。本文描述一个实验性系统（HisTrace）框架。该系统旨在支持人们从Webirdomall中尽量准确、完整地提取与重要历史事件相关的网络新闻报道，并按照报道发生的时间顺序将它们不重复地展示出来。由于Webinfomall的海量性，也由于网络信息的复杂性和随意性，这其中有不少挑战。本文
对其中的主要环节进行了分析。最后，我们简要介绍了系统的初步实现情况。

一种基于Web的流媒体集群监控系统

李胜利[1] 邱昊[2] 邵志远[3]

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

摘要 ( 425 )

PDF (221KB) ( 518 ) 　　

本文提出了一种基于Web的流媒体集群监控系统。该系统实现了将离散的Helix流媒体服务器节点通过Web应用程序接口集中监控管理。此外，该系统作为集群监控系统，采用了灵活的模块化结构，并在LVS集群应用层的可靠性与容错方面做了不少工作。以上特性提高了集群系统的可扩展性和高可用性。

基于拉普拉斯模型的序列隐写密钥估计

吴明巧[1,2] 朱中梁[2] 金士尧[1]

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

摘要 ( 480 )

PDF (275KB) ( 462 ) 　　

图像序列隐写是指利用载体图像特征数据（包括频域数据、空域数据）连续嵌入信息的隐藏方法。本文提出了一种针对图像扩展频谱序列隐写的密钥估计算法。该方法基于序列分析与突变检测的理论，利用序列概率比累积和检验方法（CUSUM-SPRT）对变化进行检测。考虑图像DCT系数满足拉普拉斯分布，给出了理想平稳拉普拉斯分布信号扩展频谱隐藏密钥估计的模型。采用随机微分方程法（SDE）生成拉氏分布的随机序列进行实验。对于非平稳信号的图像数据，在低信噪比（SNR）下，利用当地最有效序列检测法，给出了拉普拉斯分布的密钥估计模型。实验显示，该方法不但能检测出扩展频谱隐写，估计嵌入密钥，而且比Trivedi的方法更有效。

一种基于素域椭圆曲线的公钥密码方案的设计

郭伟青[1] 陈丹[2] 童华章[3]

2008, 30(2): 15-16. doi:

摘要 ( 427 )

PDF (106KB) ( 516 ) 　　

本文研究了传统公钥密码方案，设计并实现了一种基于素域椭圆曲线的公钥密码算法。该方法从Diffie Hellman判定问题出发，辅以抗碰撞的Hash函数和数字证书进行加密和解密。该方法在自适应选择明文攻击的情况下是安全的，在强自适应选择密文攻击的情况下也是安全的。

网格环境下基于XACML的角色访问控制的实现

张亚红[1,2] 王勇[1] 陈辉[3]

2008, 30(2): 17-18. doi:

摘要 ( 427 )

PDF (115KB) ( 464 ) 　　

本文在GT4的Authorization Framework基础上，提出一种基于XACML的角色访问控制机制，在动态、异构的企业信息网格系统中实现跨平台、可扩展的细粒度全局访问控制。

基于多线程事件驱动框架高性能应用层网关的设计与实现

王晓川金士尧夏明波

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

摘要 ( 452 )

PDF (158KB) ( 582 ) 　　

应用层网关是主动自调度集群服务系统中的关键子系统，其主要功能是接收和分析用户请求，并根据后端执行服务器的控制消息转发用户请求及后继的服务器应答数据。为保证其在高负载下的处理性能，在Linux内核中基于多线程事件驱动框架及协议状态机处理机制，设计并实现了具有很高通用性的应用层网关，支持HTTP等多种集群服务。测试表明，它在数据吞吐率、连接吞吐率等多方面具有很高的性能。

HMIPv6下的新型绑定更新方式

徐庆飞[1] 杨新宇[1] 马婷[1] 张长安[2]

2008, 30(2): 21-23. doi:

摘要 ( 418 )

PDF (195KB) ( 432 ) 　　

分级移动IP网络同时采用移动IP协议及其扩展协议来分别管理移动主机的宏移动和微移动。这种分级的管理方式缩短了绑定更新的时延，提高了移动主机的切换效率，但也存在明显的不足。表现在：移动主机的宏移动绑定更新需要顺次完成与移动锚点和归属代理的两次绑定更新，延迟较大，影响了数据传输效率。本文讲述的新型绑定更新方式能能够同时进行上述两种绑定操作，从而缩短了绑定时延，改善了网络传输性能。对移动锚点引入“记忆性绑定更新”策略，进一步优化了绑定更新过程，消除了归属代理、移动锚点和移动主机三者之间的“三角路由”问题，改善了网络的性能。

一种满足剩余能量约束的方向性Ad Hoc网络路由协议

陈小乐方路平

2008, 30(2): 24-27. doi:

摘要 ( 493 )

PDF (217KB) ( 474 ) 　　

本文提出一种基于剩余能量约束的方向性路由协议ED-AODV。该协议首先控制RREQ分组进行方向性传输来减小网络的洪泛负担；其次，提出基于剩余能量的预警机制，当移动节点剩余能量低于报警阈值时，通知源节点提前主动进行路由选择来提高路由的稳定性。ED-AODV采用的方向性控制RREO分组转发的方法又消除了提前进行路由选择带来的洪泛负担。仿真实验结果表明，在能量有限的情况下，采用ED-AODV协议在平均端到端时延、分组投递率性能指标上均优于AODV协议。

基于有色Petri网的攻击场景构造

王彤彤[1] 吕志军[2] 王航[1]

2008, 30(2): 28-33. doi:

摘要 ( 470 )

PDF (310KB) ( 532 ) 　　

传统的入侵检测系统只提供大量独立的、原始的攻击报警信息，不利于用户和入侵响应系统对攻击及时作出响应，迫切需要根据低层的报警信息，建立高层的攻击场景。本文提出一种利用有色Petri网理论实时、动态构造攻击场景的方法。该方法首先用有色Petri网描述攻击场景，然后用扩展关联矩阵的比值快速匹配、构造攻击对应的攻击场景；并根据已构造的子攻击场景网，验证和检查漏报的攻击，预测下一步可能的攻击；同时，利用子攻击场景合并的方法构造新的攻击场景模式。

ISPView：一种域间路由可视化监测系统

朱培栋邓文平刘欣王小强

2008, 30(2): 34-36. doi:

摘要 ( 481 )

PDF (204KB) ( 537 ) 　　

基于BGP协议构造的域间路由系统是因特网的基础设施，面临多种恶意攻击的威胁且易受人为错误的影响，安全监测是增强域间路由健康和安全的重要手段。本文介绍了域间路由监测的可视化系统ISPView的设计与实现，采用改进的磁场-弹簧的力学模型实现网络拓扑图的动态展示。将算法应用于ISPView中，可以展示不同粒度下的网络拓扑结构，动态显示路由系统的安全状态，实现对域间路由的异常行为的安全监测。

用Delphi实现基于AHP层次分析的KPI赋权研究

李升泽[1] 蒋蓉华[1,2]

2008, 30(2): 37-38. doi:

摘要 ( 364 )

PDF (116KB) ( 572 ) 　　

本文以AHP层次分析法为基础，将平衡计分卡的四个角度（财务、客户、内部运营和学习成长）中的KPI（关键绩效指标）从数据库中导入到Delphi生成的网格之中。使用者可以通过比对1-9标度表来填写各个单元格，做到自动计算权重，赋权后还可以自动采取一致性检验判断信度。该程序具备较强的实用性，从而大大提高了KPI赋权的速度与效率。

基于DSP的嵌入式图像监控系统的设计与实现

柳笛黎福海闫旭

2008, 30(2): 39-41. doi:

摘要 ( 408 )

PDF (202KB) ( 542 ) 　　

基于ADI公司Blackfin533 DSP强大的图像处理能力及专用的并行外设接口，快速实现了图像数据的传输和JPEG静态图像压缩编码并通过以太网进行数据传输。通过改进SDRAM 的读写数据方式以及利用Blackfin特有的汇编指令及内核架构，有效提高了采集、压缩速度，实现了高分辨率的图像监控系统的设计。

海防监控系统中雷达引导功能的设计与实现

王冬华吴壮志

2008, 30(2): 42-44. doi:

摘要 ( 504 )

PDF (198KB) ( 534 ) 　　

为了使海防视频监控系统能全天候、全天时有效地工作，需要将雷达与光电传感器配合使用，雷达引导是一种基本的协调使用方式。雷达引导是指通过雷达锁定目标并引导伺服转台转向目标。针对常用的雷达光标引导和目标引导方式的不足，本文提出了一种新的鼠标引导方式，直接双击雷达画面上的目标即可进行引导。本文阐述了鼠标引导的实现方法。该方法在实际系统中使用后，提高了系统实时性和操作上的方便性。

遥感图像配准中相似性测度的比较和分析

马政德杜云飞周海芳刘衡竹

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

摘要 ( 474 )

PDF (275KB) ( 609 ) 　　

相似性测度是图像配准中的重要部分之一。本文从遥感图像配准的相似性测度中选取了互信息、相关系数和差方和等三种具有代表性的相似性测度，从计算时间、锐度、对噪声的容忍性以及对多源图像配准的影响等方面，通过实验对它们的性能进行了比较和分析。实验结果表明，不同测度具有不同的有效性和适用范围。

基于动态存储结构的地图贴图算法的改进与实现

李艳辉李军

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

摘要 ( 453 )

PDF (175KB) ( 610 ) 　　

游戏地图的算法在整个游戏设计中占有重要地位。通过对游戏地图算法的研究，本文对游戏地图贴图算法中的效率问题进行了分析，提出了改进算法，并在Visual C＋＋的环境下实现。通过改进地图图块的存储方法，将地图图块的句柄和地图图块的索引值等数据以二叉排序树结构的方式存储，使动态树可以随游戏的进度动态地往地图上添加图块，结构灵活，速度快。

一种高鲁棒性的全景图拼接算法

夏倩陈孝威

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

摘要 ( 486 )

PDF (247KB) ( 727 ) 　　

为了提高全景图生成的效率和准确度，本文提出了一种高鲁棒性的全景图像拼接算法。首先根据初始图像构造图像金字塔，然后结合最小局部熵差和自适应阈值的序贯相似检测算法实现全景图的拼接。实验结果表明，该算法具有抗噪声和几何失真的能力，对一般条件下获取的图像表现出较好的鲁棒性。

一种基于内容分割的数字地图插值新算法

谢剑斌李沛秦刘通程江华

2008, 30(2): 55-57. doi:

摘要 ( 476 )

PDF (216KB) ( 407 ) 　　

本文以图像内容分割为基础，提出了一种插值新算法。该方法在HSV空间用DCT系数表征图像的内容差异，将图像内容划分为目标和背景两大类，并且将目标内容划分为两级重要度；根据使用者对目标和背景以及目标重要度的不同要求，对不同部分采用与之相适应的插值算法进行缩放处理。实验表明，该方法可以提高缩放处理速度，而且插值效果果不亚于经典的高质量插值算法。

基于运动复杂度分类的快速模式选择算法

韦耿刘文予李鹏飞

2008, 30(2): 58-60. doi:

摘要 ( 439 )

PDF (146KB) ( 429 ) 　　

为降低H．264编码器的复杂度，本文提出了基于视频运动复杂度分类的模式选择算法。该算法首先利用已编码宏块的运动信息识别出视频运动的平稳区域，然后利用模式信息对运动复杂区域进行细分，从而将视频划分为复杂性不同的区域，并对其进行相应的编码。实验表明，该算法平均节省编码时间达63％，有利于实时应用；同时，PSNR平均下降约0．15dB，不影响主观视觉效果。

一种属性与值约简及规则提取算法

徐凤生

2008, 30(2): 61-63. doi:

摘要 ( 400 )

PDF (133KB) ( 443 ) 　　

本文提出了一种属性与值约简及规则提取算法。该算法无需求出分明矩阵，而是从决策表中直接提出关于属性值分明的属性构造分明函数，并且可以同时求出属性约简和属性值约简。在此基础上提取规则不仅节约了空间，而且提高了效率，并通过实例进行了验证。

基于聚类方法对特定领域术语的自动筛选

李勇

2008, 30(2): 64-66. doi:

摘要 ( 456 )

PDF (223KB) ( 506 ) 　　

从大规模无标注的文本中获取特定领域的术语词典，通常采用的方法是从术语抽取器得到相关术语，而后使用手工的方式进行术语筛选，得到相关领域的术语。这需要大量的人力物力，并且标准无法统一。本文提出了一种利用CBC聚类方法从抽取的术语文本中自动别除非此领域的术语，并且通过对训练语料库文本的不断丰富，还可以对新词进行
识别，以扩大该领域的术语集。最后，通过对实验结果进行评测，显示了CBC聚类方法对术语筛选的良好效果。

基于虚拟容器队列的条烟自动分拣控制算法研究

赵凯[1] 熊红云[1] 戴建民[2] 鲁五一[1] 王莉[1]

2008, 30(2): 67-69. doi:

摘要 ( 485 )

PDF (173KB) ( 535 ) 　　

条烟自动分拣系统是工业控制在烟草物流领域中的重要应用。本文提出了虚拟容器队列的概念，建立了自动分拣控制算法的数学模型，并利用LabVIEW仿真了条烟自动分拣过程。该算法实现简单，应用方便，便于工业PLC控制，是一种开环控制算法。算法的正确性和可行性从仿真程序中得到了验证。

一类新的带记忆模型的非单调信赖域算法

易存晓胡永才

2008, 30(2): 70-71. doi:

摘要 ( 495 )

PDF (146KB) ( 492 ) 　　

本文就无约束优化问题提出了一个带记忆模型的非单调信赖域算法。与传统的非单调信赖域算法不同，文中的信赖域子问题的逼近模型为记忆模型，该模型使我们可以从更全面的角度来求得信赖域试探步，从而避免了传统非单调信赖域方法中试探步的求取完全依赖于当前点的信息而过于局部化的困难。文中提出了一个带记忆模型的非单调信赖域
域算法，并证明了其全局收敛性。

求解TSP问题算法综述

王剑文戴光明谢柏桥张全元

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

摘要 ( 939 )

PDF (229KB) ( 4100 ) 　　

TSP问题（旅行商问题）是一个典型的组合优化问题，具有重要实际应用价值。对于大规模TSP问题，至今尚未找到非常有效的求解方法。为此，本文讨论了传统的确定性算法和流行的智能算法，并指出各种方法的优缺点，提出了未来求解TSP问题的发展趋势。

基于Rank的进化算法解决多目标TSP问题

王建字周春光郭东伟马彧

2008, 30(2): 75-77. doi:

摘要 ( 526 )

PDF (151KB) ( 696 ) 　　

在现代物流应用中，典型的旅行商（TSP）问题是一个单目标优化问题，只反映了最短路程一个因素。将节点的时间窗作为成本损失计算在内，可其将转化为一个反映实际应用需求的多目标优化问题。本文在时间窗成本计算模型基础上，通过使用基于支配解的遗传算法进行优化，得出该问题的Pareto前沿，并通过实验表明了算法的有效性。

传感反应网络中单反应节点任务分配问题的研究

徐振阳张光胜窦文华

2008, 30(2): 78-80. doi:

摘要 ( 393 )

PDF (206KB) ( 385 ) 　　

无线传感反应网络由大量资源受限的传感节点和少量资源丰富的反应节点通过无线通信自主形成的。其中，传感节点负责收集外界的事件信息，而反应节点依据传感节点探测到的信息做出决策，并对外界做出响应。本文主要研究WSANs中单反应节点任务分配的问题，并提出集中式和分布式两种算法，最后用J-Sim评估两种算法的性能。

移动传感器网络覆盖算法研究

张颖郭鹏周宗仪

2008, 30(2): 81-83. doi:

摘要 ( 387 )

PDF (153KB) ( 567 ) 　　

随着MEMS技术的发展，移动传感器网络近年来受到较多的关注，其中覆盖算法是其研究的重要问题之一。现有的移动覆盖算法主要分为虚拟力法、Voronoi图法和Delaunay三角剖分法三类。本文分析了这三类方法的不足，给出了一种新的移动覆盖算法，能够针对大规模移动传感器网络，真正实现分布式的实时响应网络的拓扑变化。仿真表明，该
算法具有良好的覆盖效果。

传感器网络中基于延迟测量的时间标记

陈建荣童洪亮朱培栋齐治昌

2008, 30(2): 84-86. doi:

摘要 ( 436 )

PDF (212KB) ( 543 ) 　　

传感器网络许多应用需要对数据进行时间标记，用来记录数据的产生时间，从而实现报文调度和其他时间相关操作。本文提出了一种不需要时间同步的标记方法，该方法使用时间戳记录报文从产生到报文到达目的节点所经历的时间，从而使得目的节点能够通过本地时钟和时间戳中的时间间隔得到报文产生的相对时间。该方法的主要误差来源于无
无线通信延迟的不确定性，为此，我们采用基于测量的估计方法确定这种延迟，并进行误差补偿。分析表明，这种时间标记方式和维护全局时钟相比不仅开销更小，并且精度较高。使用UC Berkeley基于TinyOS系统的Micaz节点进行实验表明，多跳网络应用的误差平均每跳不超过一个时钟周期。

无线传感器网络的容错问题与研究进展

陈颖文徐明虞万荣

2008, 30(2): 87-91. doi:

摘要 ( 531 )

PDF (346KB) ( 855 ) 　　

在简要介绍无线传感器网络研究现状的基础上，本文重点展开了对无线传感器网络容错特征、需求与解决方法的论述；从整体的角度对无线传感器网络物理层、链路层、网络层、传输层、应用层等不同抽象级别的容错问题进行了归纳；同时，对各种容错技术的细节进行了深入的剖析，并综述了相关研究的当前进展；总结了各种容错技术的关键，为进一步研究提供了新思路。

电子商务系统的数据挖掘与智能推荐预测的研究

刘丽霞[1,2] 庄奕琪[1]

2008, 30(2): 92-95. doi:

摘要 ( 552 )

PDF (223KB) ( 480 ) 　　

本文对数据挖掘的概念做了简要的描述，并对决策树、关联规则和聚类三种数据挖掘算法做了分析比较，认为决策树算法虽然对于每一个项有更详细的模式且支持连续的输入，但不能扩展为大的目录；关联规则算法虽然快速、可伸缩，但是对算法的参数非常敏感；聚类算法虽然按相似性对数据进行分组，但是要设置复杂的参数和变量。

专家知识地图的关键技术与设计

陈强[1] 廖开际[2] 奚建清[3]

2008, 30(2): 96-98. doi:

摘要 ( 442 )

PDF (228KB) ( 492 ) 　　

专家隐性知识是社会的宝贵财富。开发专家知识地图是有效利用专家知识的重要途径。构建专家知识地图的关键技术包括专家信息的获取、知识地图的体系结构与实现技术。本文给出了通过Web挖掘获取专家基本信息、特长信息和社会网络的算法，以及一个专家知识地图的设计方案。

一种支持语义的发布／订阅系统

陈勤张颖张旻

2008, 30(2): 99-101. doi:

摘要 ( 369 )

PDF (150KB) ( 418 ) 　　

针对基于内容的发布／订阅系统中消息异构导致匹配准确率降低的问题，本文通过定义事件和订阅属性间的语义关系，利用语义转换模块，提出一种支持语义的发布／订阅系统的设计方法，并将其应用于SINEA发布订阅系统中。实验结果表明，该方法可在一定程度上支持语义异构，提高匹配的准确度。

光纤通道交换机F端口功能模型研究

王宁张盛兵胡俊

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

摘要 ( 395 )

PDF (209KB) ( 487 ) 　　

要研究并设计出高性能的光纤通道（FC）交换机，首先要对其功能有准确的定位。本文从FC交换机中最基本、最简单的F端口入手，根据交换机对不同类型的数据所采取的处理方式，对FC-FS协议进行了功能上的划分，从中提取出F端口在协议处理过程中需要完成的功能，进行了全面分析，并建立了行为级模型。

虚拟机技术的复兴

刘真

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

摘要 ( 410 )

PDF (308KB) ( 820 ) 　　

虚拟机技术通过解除硬件和软件资源的体系结构和用户感知的行为与其物理实现之间的耦合，去解决计算机系统的安全、性能和可靠性等问题。本文简要地介绍了虚拟机技术的发展历史及其复兴的根源，总结了计算机系统虚拟方法共同的体系结构和虚拟机的概要分类。从CPU、内存和I／O三个方面综述了虚拟机监视器的实现技术，通过对当前产品应用和研究开发情况的阐述，可以感知未来虚拟机技术的发展趋势。最后，讨论了虚拟机技术给我国信息安全建设提供的历史机遇与挑战。

目录服务与分布对象的串行化存储技术

贺秉庚李凯里

2008, 30(2): 110-114. doi:

摘要 ( 430 )

PDF (262KB) ( 413 ) 　　

本文论述了目录服务在分布式计算中的重要作用，强调了目录服务同样适合于分布对象技术。分析了网络环境下对象存储技术（即串行化存储技术）的概念。通过计算实例（圆周率的高精度计算）和具体的目录服务产品（OpenLDAP），构建了一个实验系统并验证了这项技术的可行性与适用性。还着重讨论了CORBA对象技术特点，同时给出了部分关键代码以供读者参考。

高可靠8051中系统管理单元的设计与实现

王友瑞刘芳戴葵王志英

2008, 30(2): 115-118. doi:

摘要 ( 434 )

PDF (205KB) ( 406 ) 　　

微处理器的应用领域越来越广泛。由于应用环境的复杂，微处理器面临的各种干扰日益严重，从而对它的可靠性要求越来越高。针对微处理器最常见的故障源——单粒子翻转效应，本文分析了常用的三模冗余（TMR）技术，并采用了一种新的冗余技术——时空三模冗余技术（ST-TMR）对8051微处理器中的系统管理单元进行加固。最后，对其可靠性进行了测试与分析。

一种高效通用的QC-LDPC译码器架构

刘斌彬[1] 白栋[2] 梅顺良[1]

2008, 30(2): 119-122. doi:

摘要 ( 490 )

PDF (200KB) ( 656 ) 　　

基于软、硬件结合的方法，本文提出了一种高效通用的QC-LDPC译码器架构。该架构可以对不同码长、码率和校验矩阵结构的规则或非规则QC-LDPC码进行译码，支持Min-Sum近似及其改进译码算法，而且可以实现多种消息传递调度策略。通过将部分复杂的信息更新交由硬件加速器来完成，提高了译码吞吐量。针对QC-LDPC码校验矩阵：仁循环的结构，以块为单位对信息进行存储和处理。该架构还可以实现信息的并行处理，而译码器复杂度只有略微增加。

反馈式编译实现机制的研究

杨夏[1] 赵克佳[2] 谭乐平[1]

2008, 30(2): 123-127. doi:

摘要 ( 424 )

PDF (265KB) ( 1319 ) 　　

最大程度地优化代码和挖掘应用程序的潜在性能，是高性能编译器设计中非常重要的一个任务。基于profiling的反馈式编译优化是一种有效的编译优化模式，它通过程序运行时的剖面信息来指导对代码的优化。本文总结了GCC在实现这种模式上的一般流程、所遇到的问题和解决方法，深入分析了GCC4.0的插桩方法、反馈数据文件格式，以及在
中间语言中标注反馈信息等的实现机制。

面向服务架构的迁移方法研究

陈传波张彬彬

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

摘要 ( 369 )

PDF (165KB) ( 392 ) 　　

随着面向服务架构的不断成熟，越来越多的企业选择将原有的应用系统迁移到此架构下，以便更好地整合企事业IT资源。本文对企业应用向面向服务架构迁移的方法进行了研究，结合服务与业务流程的关系，提出了一种以服务为中心、自上而下与自下而上相结合的迁移方法，并结合实例介绍了迁移的关键步骤。

描述逻辑关于CBox的推理复杂性

于洋[1] 王戟[2] 陈火旺[2]

2008, 30(2): 131-134. doi:

摘要 ( 338 )

PDF (198KB) ( 400 ) 　　

本文证明基础描述逻辑ALC关于CBox推理是非确定指数完全的。这个结论说明了描述逻辑关于CBox推理是一致地困难。本文还指出了哪些DL对于基数约束的数字编码是敏感的

一种TCP／IP卸载的数据零拷贝传输方法

王小峰时向泉苏金树

2008, 30(2): 135-138. doi:

摘要 ( 423 )

PDF (226KB) ( 629 ) 　　

目前已应用的TOE网卡是一次拷贝传输，没有实现零拷贝。RDMA技术可以实现零拷贝，但它需要全新编程接口且只能与对等网卡通信。本文介绍了一种面向TCP／IP卸载、由网络协议栈完成本地内存管理的数据零拷贝传输方法，协议栈完成目标空间解析，网卡和用户空间直接进行DMA操作完成数据传输，不改变应用接口且能与普通网卡通信。测试表明该方法性能比一次拷贝传输有很大提高。

远程教学系统中几个关键模型研究

胡宁静岳永恒

2008, 30(2): 139-141. doi:

摘要 ( 403 )

PDF (184KB) ( 367 ) 　　

本文研究了远程教学系统中知识点关联模型、试题难度模型、学生能力评估模型、实时监控模型，提出知识点之间的关联是动态的，知识点体系结构可以转化为层状或网状的结构；试题难度是与系统相互作用并动态变化的；学生能力的评估模型可以很好地把学生能力这个模糊概念标量化。实时监督模型首次使用了基于时间的监控机制。

基于计算智能算法的铣刀状态监测

郑金兴张铭钧孟庆鑫

2008, 30(2): 142-146. doi:

摘要 ( 450 )

PDF (260KB) ( 371 ) 　　

本文提出了基于智能融合技术进行铣刀磨损量监测和预测方法。利用多传感器对切削力和振动信号进行监测，通过频率变换提取切削力特征量，采用小波包分解技术提取振动信号特征量。通过信号特征值的组合，分别探讨了几种计算智能数据融合技术-小波神经网络、遗传神经网络、遗传小波神经网络对刀具磨损量的预测效果。实验分析表明，本文提出的几种计算智能数据融合技术均能够有效地完成刀具磨损量预测。

策略驱动的自配置系统形式化建模及分析验证

林煜明蔡国永

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

摘要 ( 523 )

PDF (226KB) ( 460 ) 　　

使计算机系统具有自主配置的能力，可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题，提出采用CPN建模技术对该类系统进行建模、分析与验证，保证系统自配置过程的正确性；分析了策略驱动自配置系统的基本结构，构造出该类系统的CPN模型，引入CTL的扩展——ASK-CTL描述系统配置过程中具备的性质；最后用CPN Tools2．2．0进行仿真与验证。

面向OpenMP的能耗优化技术

黄春易会战杨学军

2008, 30(2): 151-155. doi:

摘要 ( 418 )

PDF (249KB) ( 422 ) 　　

本文研究了基于OpenMP执行模式的功耗优化技术，面向结点具有动态电压调整能力的并行系统提出了基于OpenMP fork／join执行模式的电压调整和扩展障碍同步两种低功耗优化技术及其实现方法；建立了一个能量消耗分析模型。模拟分析显示，本文提出的功耗优化技术能有效地减少并行系统运行OpenMP程序时的能量消耗。

无铅汽相焊接工艺研究

李元山[1] 李德良[2]

2008, 30(2): 156-158. doi:

摘要 ( 386 )

PDF (166KB) ( 436 ) 　　

采用自行研制的低熔点Sn-Bi-X合金作为焊料，对高热容量的印制板进行汽相焊接，圆满解决了高温型无铅回流焊接中难以克服的各种焊接故障。针对回流焊出现的问题，作者特别设计了一种含有低热容量0402元件和大尺寸高热容量BGA芯片的20层试验板，充分利用汽相焊炉独有的SVP功能对温度曲线进行精确控制，使各种元器件的引脚在焊接过程中始终保持热匹配，避免了小热容量器件的过焊接和大热容量器件的冷焊现象。

当期目录

作者中心

审稿中心

在线期刊