当期目录

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

论文

一种基于交叉视图的Windows Rootkit检测方法

陈晓苏 黄文超 肖道举

2007, 29(7): 1-3. doi:

摘要 ( 410 )   PDF (199KB) ( 524 )   　　

针对互联网上日益流行的Windows Rootkit程序的实现机制，本文分析了现有的检测方法，指出了其中可能存在的不足，在此基础上提出了一种基于交叉视图的Windows Rootk it检测方法，给出了基本检测思想以及具体实现步骤，讨论了其中关键检测步骤的处理过程，并通过一个有代表性的实例给出了实际的检测效果。

一种基于身份证书的数字签名方案设计

郭伟青[1] 求伟[2] 童华章[3]

2007, 29(7): 4-5. doi:

摘要 ( 382 )   PDF (155KB) ( 288 )   　　

在分析了基本数字签名方法的基础上，本文设计并实现了基于离散对数困难问题（DLP）、辅以Hash函数和公钥证书进行签名和验证签名的数字签名方法。它在随机Oracle模式下是安全的且签名方进行签名只需要一次指数运算、一次模乘运算和一次加法运算，在线计算量则只需一次乘法和一次加法，因而是高效的且适合智能卡的应用。

API拦截技术在串口通信安全中的应用

文小华[1] 虞水俊[2]

2007, 29(7): 6-8. doi:

摘要 ( 382 )   PDF (244KB) ( 375 )   　　

本文首先讨论了API拦截技术的基本原理，研究了API拦截的实现方法，最后对利用API拦截技术实现安全串口数据通信的思想进行了阐述。仿真结果验证了该方法的有效性。

基于全局信誉机制的认证路由协议

徐兰芳 邹艳 徐风鸣

2007, 29(7): 9-12. doi:

摘要 ( 421 )   PDF (228KB) ( 316 )   　　

在介绍和分析认证路由协议ARAN后，发现其存在着无法防范认证节点丢弃数据包或者不参与到路由发送中去等弱点。因此，本文在ARAN的基础上提出了一种基于全局信誉机制的认证路由协议（RARAN）。其主要思想是计算和存储节点的全局信誉值并以此作为路由选择的依据来促进节点间的相互合作。仿真结果显示，在RARAN网络中存在自私节点的 的情况下，与ARAN相比，在协议的安全性和网络的包传输率等方面具有更好的性能。

一种基于“相似属性”的层次性对等网络协议

章勤 刘宇 张浩 罗飞

2007, 29(7): 13-15. doi:

摘要 ( 431 )   PDF (157KB) ( 252 )   　　

针对Chord协议中物理和逻辑网络拓扑不匹配造成查询效率降低的问题，本文提出了一种改进的对等网络协议。该协议综合考虑了物理和逻辑网络拓扑之间的关系，构造了基 于“相似属性”的层次性P2P网络。实验结果表明，该协议不仅能够提高查询的效率，而且可以减轻物理网络的负载。

2阶pq长度扩展分圆序列的迹表示

杜艳玲[1] 李超[1,2]

2007, 29(7): 16-18. doi:

摘要 ( 417 )   PDF (192KB) ( 250 )   　　

本文对2阶pq长度的扩展分圆序列用从F2^n到F2上的迹函数与从F2^m到F2上的迹函数来表示。其中，n为2模p的阶，m为2模q的阶。

基于API监控的服务程序防御技术

王彤彤 韩文报 王航

2007, 29(7): 19-22. doi:

摘要 ( 401 )   PDF (301KB) ( 349 )   　　

目前大多数因特网应用都采用服务器／客户机模式，服务器程序安全对网络安全至关重要。本文提出了一种新的针对服务进程的防御技术，通过对关键API的拦截和安全性检 查，可以发现大多数针对服务器程序的攻击．这种方法具有鲜明的特色：效率高，通用性好，漏报率低，误报率为零。实验表明，该方法能够防范一大类针对服务器程序的已
 知和未知攻击。本文给出了该技术在Microsof IIS上的实现。

面向分布式实时仿真的应用层多播系统DVSCast

廖海宁[1] 朱培栋[1] 赵金晶[1] 王进文[2]

2007, 29(7): 23-26. doi:

摘要 ( 481 )   PDF (319KB) ( 426 )   　　

多播通信已经成为可缩放RT-DVS的一个重要支撑技术。针对IP多播部署的局限性和现有应用层多播系统的不足，本文提出了适用于分布式实时仿真的应用层多播系统DVSCast 。DVSCast综合考虑了广域网组通信中的可靠性、时延争端到端的流量控制等需求，在层叠网路由算法、可靠多播和端到端的拥塞控制方面具有良好的可伸缩性，可支持大规模组应用。

一种用户任务级别上的数据库入侵检测方法

胡和平 崔春英 刘海坤

2007, 29(7): 27-29. doi:

摘要 ( 401 )   PDF (243KB) ( 294 )   　　

通常，更新数据库中一个数据项之前可能读或者写一些数据项，更新一个数据项后，可能也有一些数据项被更新。依据数据之间的这种依赖关系，本文提出一种用户任务级别  的数据依赖挖掘算法，从数据库日志中挖掘出用户任务事务中存在的数据依赖关系。如果在检测阶段发现同一用户任务中有事务与挖掘出的数据依赖关系不符合，则可判断此
此用户任务中有异常活动出现。

一种基于代理签发的PMI特权委托模型

洪帆 张樟

2007, 29(7): 30-33. doi:

摘要 ( 360 )   PDF (312KB) ( 272 )   　　

代理签发服务是X509 2005修正草案中提出的一种新的特权委托方式，该方式实现对证书的代理签发，具有策略易于发布、审计方便、密钥易于维护等优点。通过分析X509 v4（2000）中委托模型的不足，基于X509 2005修正革案中的DIS提出了一个包含代理签发模块的委托模型，并对该模型的性能进行了进一步的分析。

基于P2P的协同设计系统访问控制研究

於光灿 卢正鼎 李瑞轩 唐卓 宋伟

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

摘要 ( 391 )   PDF (285KB) ( 275 )   　　

本文详细分析了基于P2P协同设计系统访问控制对象及特点，提出分布执行的RBAC访问控制模型，实现RBAC模型的策略模块与执行模块的分离。这样，既有安全性高的集中式  全局访问控制策略，又通过分布式执行消除瓶颈提高系统响应速度。

带观察器的安全、公正的离线电子现金系统

崔国华 徐昳轩 涂昭

2007, 29(7): 37-40. doi:

摘要 ( 412 )   PDF (289KB) ( 330 )   　　

本文提出了一个带观察器的安全、公正的离线电子现金系统，其特点是将预先防止重复花费机制、部分盲签名机制以及可信第三方的跟踪机制结合起来，使得银行不必使用多 个密钥就可以实现电子现金的多面值属性和有效期管理，并且银行只需保留所有未过期的记录，从而大大减少了存储量。与基于Brand方案的系统相比较，该系统中电子现金
 的不可伪造性和合法用户的匿名性都是可证明安全的。该系统的安全性基于随机Oracle模型和确定性Diffie-Hellman（DDH）问题的难解性。

一种基于ICA的音频数字水印方法

李亚琴[1] 孙星明[2]

2007, 29(7): 41-44. doi:

摘要 ( 426 )   PDF (222KB) ( 265 )   　　

本文提出了一种基于独立分量分析ICA的音频数字水印方法。嵌入水印时，对原始音频文件进行一级小波分解，在分解得到的逼近分量中利用随机混合方法嵌入水印后进行小 波逆变换形成嵌入水印的音频文件。提取水印时，对音频文件进行一级小波分解，用基于最大峰值的ICA方法进行水印提取。仿真实验结果表明，这种方法的强鲁棒性和可行
 性很强。

图像通信中有误码信道下同步标志研究及改进

刘伟 杜奇才 林嘉宇

2007, 29(7): 45-48. doi:

摘要 ( 406 )   PDF (236KB) ( 348 )   　　

由于无线信道带宽的限制，图像数据在传送前要经过压缩处理。压缩过程中采用的变长编码使压缩数据对信道噪声非常敏感：如果一个码字在传输过程中发生错误，其后续所 有码字都可能受到误码的影响，从而导致重建图像的质量急剧下降。因而，无线信道的信道质量可能不会太好，数据的传输误码率可能会比较严重。在宏块数据间插入同步标  标志是限制误码扩散的一种简单有效的方法，并且有利于解码端进行误码定位、对内容的快速搜索等，其缺点是引入了编码冗余。本文以JPEG压缩体制为背景提出采用一种特  殊的码字作为宏块同步标志，一方面尽可能降低编码冗余，另一方面通过增加同步标志与数据码字之间的汉明距离，提高同步码字本身的抗误码性能。实验结果表明，这种方
方法效果较好。

基于分形的肝脏B超图像的识别方法

陈彦华

2007, 29(7): 49-50. doi:

摘要 ( 370 )   PDF (109KB) ( 349 )   　　

本文首先引入离散分形布朗随机场模型，得到肝脏B超图像的分形维数与变差函数之间的关系。分形维数可以通过计算图像的变差函数并用最小二乘线性回归法来得到，它被 选为图像的特征值，做为分类依据。实验表明，正常肝脏与癌变肝脏的B超图像表现出不同的灰度值空间变化特征。采用不同的滞后距离方向对最终的图像分类结果有一定的
  影响，使用四个方向的平均值的分类精度最高。

方向性小波理论应用特性分析

廉蔺 张军 李国辉

2007, 29(7): 51-54. doi:

摘要 ( 361 )   PDF (269KB) ( 327 )   　　

方向性小波理论为图像处理提供了一种新的稀疏表示方法，能够更有效地捕捉图像中的几何结构。本文从基的特征入手，比较了方向性小波与传统小波在逼近图像几何边缘时 的不同之处；总结了近年来该领域内提出的几种主要理论，以Ridgelet变换为例说明了方向性小波理论的基本原理。实验演示了Contourlet变换和小波变换的非线性逼近性能
能和去噪效果。最后指出了该领域进一步研究的方向

基于X3D的虚拟场景动态交互技术研究

黄正军 周建中

2007, 29(7): 55-57. doi:

摘要 ( 375 )   PDF (186KB) ( 398 )   　　

分布式虚拟现实具有虚拟现实的交互特性和网络的分布特性，满足了异地用户协同工作的需求。由于受到网络带宽、时延以及异构性等因素的限制，分布式虚拟现实系统中的3D图形文件要求尽可能小并具有跨平台的特性。本文介绍了基于X3D的虚拟场景中用户和场景交互的原理、方法以及实现过程，并给出了一个典型的应用实例。

卫星成像规划调度系统中的可视化决策支持研究与实现

陈慧中[1,2] 王钧[2] 李军[2] 郭玉华[2]

2007, 29(7): 58-61. doi:

摘要 ( 488 )   PDF (263KB) ( 268 )   　　

本文提出了一种成像卫星规划与调度的可视化决策支持方法。该方法基于多目标进化算法和地理信息系统技术，能够在考虑多目标准则、多约束的条件下对成像卫星的成像方 案进行优化，并通过可视化技术进行成像方案的决策辅助，很好地解决了卫星规划调度优化方案制定的问题。

一种新的自由曲面高斯图分解算法

文丹 欧新良 徐长梅

2007, 29(7): 62-63. doi:

摘要 ( 351 )   PDF (165KB) ( 280 )   　　

将高斯图分解成单类型区域是进行自由曲面的形状分析与控制研究中把握自由曲面整体形状的关键算法之一。本文提出了一种新的自由曲面高斯图分解算法，该算法通过引入 二阶导数改进了现存高斯图外边界计算算法，实现了对高斯全图的最小闭域分割。理论分析及实验结果均表明，该算法不但可行，而且具有更好的鲁棒性。

一种新的两阶段抽样算法

马光志 张耀坤

2007, 29(7): 64-66. doi:

摘要 ( 365 )   PDF (232KB) ( 314 )   　　

两阶段抽样算法从海量数据集中抽取样本数据用于数据挖掘，当数据集规模过大时算法效率偏低，当数据集规模过大且为稀疏数据集时抽样精度偏低。本文改进了传统两阶段 抽样算法，提出新的抽样算法EAFAST，可自适应地调节算法参数，而且能充分利用历史信息进行启发式搜索。实验证明，EAFAST算法可同时提高算法效率和抽样精度，弥补了传统算法的不足。

系数快速振荡的抛物型方程求解的新方法

王军华 欧阳洁

2007, 29(7): 67-70. doi:

摘要 ( 397 )   PDF (204KB) ( 272 )   　　

本文将小波数值均匀化方法用于求解系数快速振荡的抛物型方程，对系数周期快速振荡、局部快速振荡、随机快速振荡的抛物型方程分别进行了求解。由于所求方程难以得到 解析解，以精细剖分有限体积法的解作为参照解。计算结果表明，与精细剖分的有限体积法相比较，小波数值均匀化方法既大大节省了计算时间又保持了较好的计算精度。

基于混合本体方法的集成算法研究

李玉华 刘涛

2007, 29(7): 71-73. doi:

摘要 ( 332 )   PDF (249KB) ( 400 )   　　

本文提出了一种基于混合本体的集成算法。该方法充分利用了领域知识模型以及局部本体之间存在的语义相关性，从语义匹配的角度探讨了构造新的全局本体的可能。本文还 重点讨论了n个局部本体如何构造全局本体的算法；最后介绍了一个本体构造系统，并结合项目给出了具体实例。

F2＋uF2上奇偶长循环码的结构特性

盖新貌[1] 李超[1,2]

2007, 29(7): 74-76. doi:

摘要 ( 360 )   PDF (151KB) ( 308 )   　　

码长为2n（n为奇数）的循环码被称为奇偶长的循环码。本文证明了F2＋uF2上奇偶长循环码具有形如（a1（x^2）a3（x^2）a4（x^2）a5（x）a6（x），ua1（x^2）a2（x^2） a4（x）a5（x^2））的结构，其中ai（x），i=1，2，…，6，满足Пi=1^6ai（x）=x^n-1，而且a5^ ～（x）≡a5（x）（modu），并给出了奇偶长循环码之对偶码的生成元 表达。

核函数对v-支持向量机的泛化能力影响分析

刘华富 王仲

2007, 29(7): 77-79. doi:

摘要 ( 426 )   PDF (145KB) ( 509 )   　　

支持向量机在模式分类中得到了很好的应用。对于线性不可分的样本空间，需要寻找核函数，将线性不可分的样本集映射到另一个高维线性空间。支持向量机的泛化能力直接 影响其实际应用效果。本文讨论了v-支持向量机的泛化能力的一个估计，定性分析了核函数对v-支持向量机的泛化能力的影响，并就高斯核函数对v-支持向量机的泛化能力的
  的影响进行了具体分析。

十亿晶体管处理器体系结构研究

温璞 杨学军

2007, 29(7): 80-84. doi:

摘要 ( 401 )   PDF (308KB) ( 423 )   　　

半导体工艺技术的飞速发展促使单芯片内集成有更多的晶体管资源。如何利用丰富的片上资源，已成为处理器体系结构研究的一个重点。本文综述了目前关于十亿晶体管处理器结构的研究现状，认为在缓解当前处理器面临的存储墙问题、功耗问题、线延迟问题以及充分利用片上资源等方面，PIM结构是一种有效的途径，而与向量结构相结合则更
能体现PIM结构的高带宽．低延迟优势。

基于安腾2的机群系统的实现与应用

赵军 张磊 李金才 宋君强

2007, 29(7): 85-87. doi:

摘要 ( 367 )   PDF (247KB) ( 271 )   　　

本文设计并实现了一个基于安腾2处理器的机群计算系统，并结合安腾2处理器和机群系统的特性，对气象应用并行程序进行了I／O问题优化、通信优化、计算代价优化和通信 数据的Cache利用率优化，以发挥该机群系统的长处，规避其弱点。测试结果表明，该机群系统适合气象应用并行软件的高效并行计算。

线性方程组迭代法在流处理器上的映射与分析

王桂彬 唐沛蓉 唐玉华

2007, 29(7): 88-90. doi:

摘要 ( 413 )   PDF (242KB) ( 293 )   　　

斯坦福大学的Imagine流处理器具有很强的计算能力，如何将该体系结构应用在科学计算领域是当前研究的热点。解线性方程组的迭代法在工程和科学计算的各个领域中有着 十分广泛的应用，该算法具有较好的计算密集性和并行性，十分适合流处理器的计算模型。本文分别针对系数矩阵的规模大小和稠密程度，介绍了Jacobi和Seidel迭代在流处
理器上的映射。实验结果表明，迭代算法能高效地开发Imagine的计算能力，取得较高的性能加速。

基于加权Gray码及实时状态检测的异步FIFO设计

刘祥远 陈书明

2007, 29(7): 91-95. doi:

摘要 ( 398 )   PDF (273KB) ( 469 )   　　

本文提出了一种新颖的异步FIFO设计，它采用加权Gray码进行指针编码，采用实时的全局状态检测器来控制写／读，是一种高性能的异步FIFO。模拟结果表明，在FIFO深度为4～16的情况下，该设计与已有的FIFO设计相比在性能以及面积开销等方面都获得了明显的改善。该异步FIFO在多核SoC互连设计中具有广泛的应用前景。

DotNet环境下分布式并发离散事件仿真建模与实现

胡斌[1,2] 章德宾[1,2] 张金隆[1]

2007, 29(7): 96-101. doi:

摘要 ( 509 )   PDF (466KB) ( 1314 )   　　

DotNet环境对多线程技术提供了良好的支持，对于分布式离散事件，多线程技术能够以最少代价、最便捷的方式实现其并发活动的仿真。异步多线程仿真编程中的主要问题是 线程的引入与控制、对各结点间的仿真时钟同步问题、线程间活动的同步与消息传递、临界变量的访问与保护机制等。从系统实现角度对这些问题进行分析是建模的必要条件 件。本文进一步讨论了各结点间通过消息交互的加工过程，最后以控制台方式将分布式离散事件仿真中的主要关键活动编程实现。通过对仿真实现全过程的讨论可以看出，多 线程技术能够有效地实现分布式并发离散事件的仿真。

群集行为的建模与控制方法综述

陈世明

2007, 29(7): 102-105. doi:

摘要 ( 392 )   PDF (263KB) ( 566 )   　　

本文首先指出群集行为研究要解决的主要问题，总结了当前国内外关于群集行为建模与控制方法的研究现状，然后指出当前群集行为研究中存在的一些问题以及在实际设计工程群体系统时应考虑的问题，最后指出了今后的研究方向

多量子位Grover量子搜索算法的NMR仿真实现

孙力[1] 卢春红[2]

2007, 29(7): 106-109. doi:

摘要 ( 374 )   PDF (217KB) ( 333 )   　　

核磁共振（NMR）技术目前是能有效实现量子计算的物理体系之一。多量子算符代数理论可以将幺正变换分解为一系列有限的单量子门和对角双量子门的组合。本文以核磁共振和多量子算符代数理论为基础，提出了实现多量子位Grover量子搜索算法的核磁共振脉冲序列设计方法，并在量子计算仿真程序上进行了3量子位的Grover量子搜索算法的实验验证。

实时中间件自适应资源管理策略的分析与实现

刘云生 王振宇 段爱群

2007, 29(7): 110-112. doi:

摘要 ( 393 )   PDF (224KB) ( 269 )   　　

本文介绍了一种分布式实时计算环境下自适应资源管理概念，提出了实时中间件的自适应资源管理策略和相关的实现机制，并给出了该策略的QoS模型和服务管理器层次结构

基于P2P的分布式工作流管理系统研究

时秀波[1] 徐建良[1] 任荣升[2]

2007, 29(7): 113-115. doi:

摘要 ( 369 )   PDF (232KB) ( 415 )   　　

在分布式环境中，C-S结构的工作流管理系统会表现出一些不足之处。本文在分析了这些不足和相关工作的基础上，提出了一种包含三种节点的P2P结构的工作流管理系统，该 系统能够较好地满足功能上和性能上的要求.

一个集成的软件可靠性工程环境

唐赞岳[1] 毛晓光[2] 王戟[2] 徐锡山[2] 董威[2]

2007, 29(7): 116-118. doi:

摘要 ( 384 )   PDF (210KB) ( 277 )   　　

针对软件可靠性工程实施中发现的核心问题，本文介绍了我们在软件可靠性关键技术上取得的突破，以及以此为支撑的集成环境SREE。该系统依托Eclipse，支持软件可靠性工程的关键活动：使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。

μClinux实时改造技术

阳富民 王彩霞 李俊

2007, 29(7): 119-122. doi:

摘要 ( 355 )   PDF (244KB) ( 251 )   　　

本文提出了一种对μClinux进行实时改造的方案，该方案采用双内核机制，借助RTLinux的实现思想，利用内核模块的可动态加载技术，对普通μClinux进行实时性改造。实验表明，该系统实时任务的调度响应和中断延时在微秒级别，能够满足硬实时系统对时间的限制。

嵌入式实时中间件QoS体系结构的分析与实现

许贵平 田云操 赵刚

2007, 29(7): 123-124. doi:

摘要 ( 371 )   PDF (195KB) ( 293 )   　　

本文在分析现有嵌入式实时中间件的基础上，给出了一种随环境动态变化而调整服务策略的分布式嵌入式实时中间件QoS体系结构，并分析了两种保证服务质量的资源管理策 略。

气瓶焊接设备的虚拟设计与改装

朱春耕[1] 杨雨图[2] 蒋洪奎[1] 卢章平[3]

2007, 29(7): 125-127. doi:

摘要 ( 354 )   PDF (284KB) ( 280 )   　　

为了降低老旧设备改造的工程成本，本文提出了设备虚拟改装的概念。本文基于虚拟制造技术讨论了设备虚拟改装的原理和特点，提出了虚拟改装系统的实现方法和运行模式  ；探讨了老旧机床本体及新附加装置的建模方法，并在工业用非重复充装焊接钢瓶生产线建设中进行了焊接专机的改装实践。设计中可动态展示虚拟样机的结构、工作原理， ，确保了机床改装一次成功。结果说明，这些机床结构简单、成本低，在生产中能满足工艺要求。

k-组群通信成本的研究

陈君 黄干平

2007, 29(7): 128-133. doi:

摘要 ( 350 )   PDF (319KB) ( 265 )   　　

Kakugana在文献[1]引入k-组群（k-Coteries）的概念来解决分布系统中的k-互斥问题。本文研究使用k-组群技术解决k-互斥问题时的通信成本，它是单个组群通信成本的扩  展。在对k-组群通信成本进行精确定义并给出受支配和不受支配k-组群的概念之后，本文证明了不受支配k-组群的通信成本不会大于它所支配的k-组群的通信成本,据此定理  ，给出了获得通信成本最小k-组群的方法。

基于PSL与XML的软件过程描述模型SPRM的设计和实现

曾一 肖敏 王海波 张元平 袁纲

2007, 29(7): 134-137. doi:

摘要 ( 447 )   PDF (242KB) ( 386 )   　　

本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想，设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求，采用XML Schema作为其统一描述语言，保证了软件过程的统一性和可扩展性，有利于实现软件过程的互操作与过程资源的共享，为实现统一的软件过程管理打下了基础。最后，本文利用SPRM模型实现了一个过程实例——简单评审过程，说明了如何利用SPRM定义企业的不同软件过程。

支持动态修改的MINI工作流过程元模型

齐璇

2007, 29(7): 138-140. doi:

摘要 ( 355 )   PDF (170KB) ( 282 )   　　

工作流过程元模型是指导工作流管理系统过程建模的基础。本文分析了当前几种重要的工作流过程元模型，对WfMC的工作流过程元模型进行了扩展，提出了一种支持动态修改 的MINI工作流过程元模型。

一种基于框架结构的专有名词自动识别方法

王蕾[1,2] 李培峰[1] 朱巧明[1] 杨季文[1]

2007, 29(7): 141-144. doi:

摘要 ( 381 )   PDF (293KB) ( 243 )   　　

本文提出了一种基于框架结构的专有名词统一识别方法。该方法首先根据专有名词的成词特点及出现的上下文环境，重新定义语料属性；然后，提出了属性标注点（AP）的概念，对训练语料进行初次标注，并采用错误驱动的学习方法来获取规则；最后，结合规则和实例对文本进行专名识别。实验表明，该方法在测试样本集上准确率最高可以达到
 到92．3％，召回率最高可以达到80．4％，是一种有效的专有名词识别方法。

一种基于XML的信息搜索技术

尹鹏[1,2] 卫金茂[1] 郑伟[1]

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

摘要 ( 348 )   PDF (224KB) ( 239 )   　　

以XML形式组织的数据结构层次清晰，语义明确。本文利用XML技术的这一特点，提出了一种基于XML的信息搜索方法：以用户需求信息的结构为基准，根据拓扑匹配原则，以倒向路径（L-R）的拓扑匹配为出发点，给出了信息搜索时有关用户需求在某一数据源中的匹配度Tmd计算方法。

基于SAML的图书资源联合身份访问控制机制

石柯 黎明 邹德清

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

摘要 ( 429 )   PDF (169KB) ( 341 )   　　

针对目前图书馆电子资源传统访问控制机制存在的缺陷，本文提出一种基于SAML规范的联合身份访问控制机制。该机制能够实现单点登录、保障身份认证的强度和保护用户的 隐私，从而能够满足用户、管理员、分布资源和服务提供者的要求。

基于InfiniBand的SAN存储系统研究

郭御风 李琼 刘路 肖立权

2007, 29(7): 152-154. doi:

摘要 ( 482 )   PDF (187KB) ( 287 )   　　

InfiniBand是一种新型高性能互连技术，它采用基于通道的高速串行链路和可扩展的光纤交换网络替代共享I／O总线结构，提供了高带宽、低延迟、可扩展的I／O互连，克服 了传统I／O总线结构的种种弊端。本文提出了一种基于InfiniBand的SAN（IBSAN）存储系统方案，并对其关键技术进行了研究。