当期目录

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

论文

面向安全信息系统的二维角色访问控制模型

熊志辉 张茂军 王炜 王德鑫 陈旺

2008, 30(9): 1-3. doi:

摘要 ( 461 )   PDF (345KB) ( 329 )   　　

在安全信息系统应用中，传统的基于角色的访问控制模型不能为用户过滤业务数据，容易导致数据失密。为解决此问题，本文提出基于二维角色的访问控制模型。该模型为用户定义功能角色和数据角色。功能角色用来规定用户对某类业务数据的操作权限，而数据角色则用来为用户选择和过滤能够操作的业务数据。这样，通过为不同部门的用户赋予不同的数据角色，可以确保该用户只能操作本部门的数据。应用表明，所提出的基于二维角色的访问控制模型既具有“最小权限”特性，又具有“最少数据”特性，适用于安全性要求高的信息系统访问控制。

一种基于多阶段资源感知的拥塞控制算法

时向泉 曹季军 苏金树

2008, 30(9): 4-7. doi:

摘要 ( 473 )   PDF (397KB) ( 401 )   　　

拥塞控制是组成IPQos的重要部分，传统的拥塞控制算法主要是通过对本地的资源拥塞信息来进行拥塞状态的判定和丢弃决策，而这有可能会导致带宽浪费问题。通过对基于网络处理器的路由器的多阶段拥塞控制时机分析，本文提出一个多阶段资源感知算法CC-AMR，并在路由器上进行了具体的实现和性能测试。结果表明，该算法可以在拥塞发生时有效地提高系统的性能。

一种IP分组重组的两级并行计算与负载调度方法

秦勇[1] 梁根[1] 叶建锋[1,2] 蔡昭权[3,4]

2008, 30(9): 8-10. doi:

摘要 ( 456 )   PDF (379KB) ( 420 )   　　

本文构建了基于MPICH和SMP／CMP的IP分组重组两级并行计算集群，并基于N元非合作模型的路由切割调度算法研究了在较大规模IP分组重组环境下集群内部计算节点上的两种负载平衡方法。实验说明，利用集群来解决大规模的IP分组重组问题是一个可行的办法。

异构多子网的以太网物理拓扑发现算法研究

马晓波

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

摘要 ( 425 )   PDF (338KB) ( 493 )   　　

针对异构网络的特点，在分析了网络拓扑发现相关协议的基础上，本文提出了一种依赖SNMP协议、基于异构多子网的以太网物理拓扑发现算法。实验显示，该算法可以准确、高效地进行物理拓扑发现，准确识别链路连接类型，是解决该问题的一种有效方法。

移动Agent技术存入侵检测系统的应用研究冯锋

冯锋

2008, 30(9): 15-17. doi:

摘要 ( 497 )   PDF (252KB) ( 323 )   　　

本文从讨论基于主机的入侵检测系统的局限性出发，分析了入侵检测系统中主机检测器基于移动Agent的技术，提出了一种基于移动Agent的入侵检测系统模型，并对模型进行了详细分析和设计。

基于延时的拥塞控制中反向流量的影响分析

王圣[1,2] 苏金树[2]

2008, 30(9): 18-21. doi:

摘要 ( 466 )   PDF (394KB) ( 377 )   　　

以前的研究与实验已经充分表明，基于延时的拥塞控制优于基于报文丢失事件的拥塞控制。不幸的是，这些模型大多忽略了反向流量的影响。针对这个问题，我们提出了一个简单的分析模型，重点分析拥塞窗口的平衡点与往返延时之间的关系。实验结果表明，反向路径的延时与前向数据路径具有同样的重要性。

TCPV egas／AQM系统稳定性分析与算法设计

彭亦飞[1,2] 银丽萍[2] 张英杰[1] 黄同城[3]

2008, 30(9): 22-24. doi:

摘要 ( 504 )   PDF (286KB) ( 430 )   　　

本文建立支持TCP Vegas的AQM控制器设计的非线性时滞微分模型。通过对该模型线性化，可以得到以丢包率和瓶颈路由器队列长度为输入输出的TCP Vegas／AQM系统的小信号 模型。我们采用劳斯判据，设计了满足闭环系统稳定性的PI型AQM控制器。仿真结果显示了所提方法的有效性。

可编程交换机架构的呼叫中心研究

陈孝全 刘波 田晓朋

2008, 30(9): 25-28. doi:

摘要 ( 426 )   PDF (318KB) ( 328 )   　　

通过对基于可编程交换机呼叫中心平台的研究，本文对比了基于语音板卡的呼叫中心，结合CTI中间件等技术提出可编程交换机呼叫中心体系结构，给出多进程消息队列处理 的ACD排队机制具体实现方式，并描述了业务逻辑功能和程序的数据结构。

最小二乘内插数学模型生成虚拟地形的可视化研究

刘世彬 刘兴彦

2008, 30(9): 29-31. doi:

摘要 ( 405 )   PDF (248KB) ( 1131 )   　　

数字高程模型 可视化 最小二乘 OpenGL （digital elevation model; visualization; least squares ; OpenGL）
【文  摘】本文通过对最小二乘内插数学模型的分析和研究，利用搜索圆的搜索方法，运用C44语言和OpenGL动态连接库将采集的离散点生成DEM数据，实现了由二维平面上的等高线到三维虚拟地形的可视化，并对可视化效果进行了比较和分析。可视化结果表明，此算法速度快且效果好。此研究成果对虚拟战场环境的生成有一定参考价值。

一种基于Petri网的特定手语词汇识别方法

彭小宁[1,2] 邹北骥[1,2] 王磊[2] 陈姝[2]

2008, 30(9): 32-34. doi:

摘要 ( 374 )   PDF (287KB) ( 328 )   　　

本文尝试使用Petri网进行简单的手语词汇识别。首先采用模板匹配方法检测到一系列简单的手势，如手掌张开直立、握拳、伸出大小拇指。其中，每个简单手势的发生对应于Petri网中的一个变迁。待识别的手语词汇是由一串特定的手势序列构成的，如手掌张开直立一握争伸出大小拇指。通过Petri网记录手势的动态变化，并在每次新变迁发生 时检测目标库所的标志增加情况，从而实现特定手语词汇的识别。

MFC应用程序拆分窗口的同步更新方法研究

张顺香 朱广丽

2008, 30(9): 35-36. doi:

摘要 ( 429 )   PDF (247KB) ( 418 )   　　

本文首先介绍在MFC单文档应用程序中的基本绘图方法，以及拆分窗口如何实现同步更新的问题，然后通过一个引例逐步阐述如何提高拆分窗口更新效率的方法。

多分辨率GIS矢量数据模型构建与三维显示方法研究

杨冰 康来 吴玲达 于荣欢

2008, 30(9): 37-40. doi:

摘要 ( 474 )   PDF (348KB) ( 729 )   　　

本文提出一种GIS矢量数据多分辨率模型的构建、组织及三维显示方法。在数据预处理阶段，首先对原始矢量数据（点、线、面）进行简化处理，抽取出若干不同分辨率的矢量层次，然后将各个矢量层次分块，自底向上建立矢量数据的四叉树结构。在实时绘制阶段，在基于四叉树的视锥裁减和基于屏幕误差度量的分块选取基础上，采用多态调度矢量数据分块。实验结果表明，本文提出的矢量数据组织和调度算法能较好地解决矢量数据量大与计算机实时处理能力有限的矛盾，满足大规模矢量数据三维可视化 系统实时绘制需求。

一种基于超混沌序列的图像加密技术

张永红

2008, 30(9): 41-43. doi:

摘要 ( 475 )   PDF (346KB) ( 363 )   　　

本文给出一种构造超混沌序列的方法，并把该混沌序列应用于数字图像加密。该方法基于n次有理Bezier曲线，生成的混沌序列具有很好的伪随机性。通过对混沌序列的非线 性离散化处理，可以生成相应的整数型伪随机序列。利用该整数型混沌序列对数字图像进行加密，使得加密的效果更好。其中，加密的混合参数也可用这里生成的混沌序列代替。数字实验表明，该算法生成的混沌序列对数字图像加密效果良好，而且该加密算法简单易行，具有较好的安全性。

基于颜色直方图熵值及分块主色的图像检索

徐果毅 朱宁波 朱晓林 卢晓阳

2008, 30(9): 44-46. doi:

摘要 ( 590 )   PDF (242KB) ( 1658 )   　　

为了克服在检索相同背景中物体颜色不同的图像时无法利用颜色特征而必须利用物体的形状特征这一缺陷，并进一步提高图像的检索效果，本文提出了一种基于颜色直方图熵值及分块主色的图像检索方法。实验结果表明，该方法不仅可以提高图像检索的查准率与查全率，而且对于检索相同背景中物体颜色不同的图像时只利用颜色特性即可达 检索目的。

结合随机置乱和锐化滤波的数字图像水印算法

徐端全 朱光喜

2008, 30(9): 47-50. doi:

摘要 ( 446 )   PDF (369KB) ( 385 )   　　

空间域随机置乱和锐化滤波是基本的图像处理方法。在某些数字图像水印系统中，水印嵌入前对原始图像做随机置乱预处理，水印提取前对水印图像做锐化滤波预处理，可以有效地改善视觉效果，提升水印检测的准确率。本文在Bami半盲水印算法中验证了该方法的有效性。此外，本文设计了一个新的DCT域水印算法，并对该方法做了进一步验证
   。算法中，将水印嵌入到图像相邻块的DCT系数差值上。实验证明，该算法在保持良好视觉效果的前提下对常见图像处理具有较强的鲁棒性。

基于Radon变换的运动模糊方向精确估计

李秀怡 黄继风

2008, 30(9): 51-52. doi:

摘要 ( 421 )   PDF (246KB) ( 724 )   　　

在模糊图像复原技术中，运动模糊方向的估计有着极其重要的作用。它不仅可以作为模糊复原的一个重要参数，也可以作为估计模糊距离的重要参数。通过运动模糊方向，可 以将图像复原转化到一维进行操作，使复原过程简化。因此，不管从整体上还是局部上运动模糊角度的精确估计，对图像恢复技术都有很重要的应用价值。本文提出一种基于频域特性利用Radon变换对模糊图像的模糊方向进行估计的改进方法。仿真实验证明了其估计结果的精确性。

一种改进的混合遗传算法研究

向佐勇[1,2] 刘正才[2]

2008, 30(9): 53-57. doi:

摘要 ( 491 )   PDF (434KB) ( 454 )   　　

标准遗传算法的求泛能力优于它的求精能力，在求解GA-困难问题时求解精度难以控制，本文由此提出了一种改进的ε-混合遗传算法。本算法在每代找出最优个体之后，以该最优个体为初始出发点在一个固定半径的区域内进行局部搜索，以搜索结果代替最差个体或其它个体，然后再进入下一代操作。算法大大提高了求解精度，同时也提高了稳定定性。

粒子群算法在PERT网络优化问题中的应用

田谦益 何田中

2008, 30(9): 58-59. doi:

摘要 ( 496 )   PDF (226KB) ( 353 )   　　

针对项目工程PERT网络计划的费用一优化问题，本文提出了一种改进的粒子群算法。该算法引入了可行性优先的约束处理技术，不需要罚因子，对问题依赖小。仿真实验表明了该算法的可行性和有效性。

求解VRP的蚁群算法研究

詹玉洪 吴清江

2008, 30(9): 60-61. doi:

摘要 ( 479 )   PDF (270KB) ( 1181 )   　　

车辆路径问题是物流配送中一个至关重要的问题。由于它是一个NP-Hard问题，启发式算法成为求解VRP的主要方法。蚁群算法是近年来发展起来的一种可以用来求解VRP的启发式算法。实验证明，该方法能够很好地解决车辆路径问题。本文详细阐述了蚁群算法的基本原理和求解VRP的蚁群算法过程。

SMS软件流水调度算法的设计与实现

叶丞 朱怡安 王云岚

2008, 30(9): 62-65. doi:

摘要 ( 392 )   PDF (376KB) ( 1091 )   　　

循环是程序中的热代码，对循环进行有效的优化可以显著缩短程序的执行时间。软件流水是一种开发循环体指令级并行的细粒度循环优化技术，它通过调度循环中连续迭代之间的指令使其并行执行，从而提高了循环的执行效率。实验数据表明，用Cerngoop程序包进行测试，循环优化效果明显。

一种哈希表快速查找的改进方法

马如林 蒋华 张庆霞

2008, 30(9): 66-68. doi:

摘要 ( 489 )   PDF (231KB) ( 1040 )   　　

哈希表由于其速度快的优点在数据查询中有着广泛的应用。本文在结合冲突解决机制和数据元素被查找的先验概率的基础上，提出了一种提高哈希表查找效率的优化方法，并对该方法在链地址法处理哈希冲突的情况下进行了理论分析，与原哈希表方法相比，该方法降低了冲突时执行查询的查找长度，从而使查询响应时间更短。最后对该方法进行行了实例验证，实验结果表明，新方法是有效并且简便的。

捷联惯导系统姿态更新旋转矢量算法的优化

郭访社[1] 于云峰[1] 刘书盼[2] 龚宇迪[1] 李仪[1]

2008, 30(9): 69-72. doi:

摘要 ( 503 )   PDF (229KB) ( 651 )   　　

本文研究了捷联惯导系统姿态更新的旋转矢量算法，并以圆锥运动为条件，对旋转矢量算法进行了优化和仿真，分析了锥运动环境下数学平台的算法漂移。

基于二元组合文法的歧义消解模型

张燕 万建成 杨潇

2008, 30(9): 73-76. doi:

摘要 ( 430 )   PDF (422KB) ( 331 )   　　

本文论述了一种基于二元组合文法的汉语句法结构分析的消除歧义方法。首先给出了二元组合文法的基本概念以及基本思想，然后研究了概率上下文无关文法独立性假设的限性，并针对局限性引入了基于二元组合文法的上下文相关的概率信息，同时提出了一种新的计算分值模式。实验结果证明，这种方法对句法分析过程中的歧义消解是有效 的。

基于非等距网格高阶紧致差分格式的多重网格算法研究

马廷福 曹富军 葛永斌

2008, 30(9): 77-81. doi:

摘要 ( 503 )   PDF (453KB) ( 521 )   　　

本文结合非等距网格高精度紧致差分格式的优越性与多重网格方法的快速收敛性，求解二维对流扩散方程。研究结果表明，对于处理物理量在不同的空间方向呈现不同的性态特征或不同变化规律的物理问题时，用非等距网格离散的四阶紧致格式的多重网格算法和二阶中心差分格式的多重网格算法都比等距网格离散得高效。同时，在非等距网格下下，部分半粗化多重网格算法比完全粗化多重网格算法具有更高的计算效率。针对不同的松弛算子对误差残量的磨光效果比较研究表明，线松弛算子是最高效的。而且，非等距网格离散的高精度紧致格式的多重网格算法对于对流扩散问题中大网格雷诺数情形也是收敛的。

基于网格聚类的数据流多事件检测

袁志坚 缪嘉嘉 杜凯 贾焰

2008, 30(9): 82-85. doi:

摘要 ( 518 )   PDF (306KB) ( 409 )   　　

事件检测是事件处理系统最重要的研究问题之一。异常、变化和突发是三类最典型的数据流事件。本文关注如何在数据流中同时检测多种事件，首先研究了多种事件之间的联 系，然后给出了基于网格聚类的统一处理方法，最后为了评估事件的严重程度，给出了打分函数。实验验证了所提方法的正确性与有效性。

一种负载均衡的网格任务调度算法

王鑫

2008, 30(9): 86-89. doi:

摘要 ( 457 )   PDF (316KB) ( 401 )   　　

在分析网格计算中经典的Min-Min和Max-Min任务调度算法的基础上，针对Min-Min算法存在的负栽不均衡的缺陷，本文提出了一种负载均衡的网格任务调度算法LBGTSA，以有效地均衡负载；给出了LBGTSA算法的设计原理和实现过程，而且采用GridSim模拟工具对LBGTSA和Min-Min算法进行了模拟实验，实验结果分析表明，LB（汀SA比Min-Min能获得更小的Makespan，而且能有效地均衡负载。

一种优先满足最小服务需求的动态网格资源调度算法

马士龙 朱怡安 叶丞

2008, 30(9): 89-92. doi:

摘要 ( 463 )   PDF (417KB) ( 465 )   　　

资源调度问题是网格研究必须解决的关键问题之一。目前，围绕着网格中的资源调度算法，国内外已做了大量的研究工作，先后提出了各种静态和动态调度算法。本文针对目前网格调度机制存在的问题，介绍了一种新的网格调度技术——优先满足最小服务需求的动态网格资源调度算法。该调度算法优先满足现有任务对资源的最小要求，从而减小小单个任务的等待时间。实验结果表明，该方法不但可以有效减少单个任务的延迟，而且在任务的吞吐率及CPU效率方面都比较好。

基于计算经济的网格资源管理研究

赵亮[1] 胡娴[1] 徐丽平[2] 金宇街[3] 邹恒德[3]

2008, 30(9): 93-95. doi:

摘要 ( 451 )   PDF (249KB) ( 381 )   　　

网格是为解决大规模资源密集型问题而提出的新一代计算平台，资源管理是网格的关键技术之一。但是，资源的分布性、异构性、自治性、动态性等使得网格资源的管理变得 异常复杂。目前，基于市场的经济资源管理和调度算法非常适合解决网格中的资源管理问题。本文提出了网格环境下基于经济模型的各种代理，给出了一种新的资源管理模型
 型，并定义了效用函数，给出了基于效用最优的资源调度算法。为解决网格资源管理的问题提供了一个有效的途径。

基于结构化P2P模式的数据网格副本定位方法

罗兰花 刘波

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

摘要 ( 481 )   PDF (334KB) ( 420 )   　　

副本定位技术是数据网格的关键技术。本文采用改进的Chord算法，同时借鉴了结构化P2P技术，提出了一种基于结构化P2P模式的副本定位方法。该方法能在一定程度上解决 局域网间的“绕路”问题，提高了定位效率，节省了传输时间和带宽，优化了数据网格的性能。

一种共享主存二维SIMD结构资源分配算法的改进与实现

李初辉 王伟 肖玮

2008, 30(9): 99-102. doi:

摘要 ( 463 )   PDF (423KB) ( 307 )   　　

共享主存二维SIMD结构已经广泛应用于多媒体处理加速部件，其数据并行性可以大大提高处理器的运算能力。目前，已有一些针对共享主存二维SIMD结构编译优化方面的研究 ，这些编译优化技术能有效地提高各种多媒体应用程序的加速比。但是，分析可知，这些优化方法的平均资源利用率只有约50％。本文基于对多媒体应用程序在共享主存二维   维SIMD结构上的执行过程分析，根据原有算法并适当修改经典图着色寄存器分配算法，提出了一种改进的资源分的目的。实验结果说明，该算法的改进对于大部分多媒体应用程序的性能有显著的提高。

支持流数据传输的互连网络控制器研究与实现

马驰远[1] 陈书明[2] 邢座程[1] 郝跃[3]

2008, 30(9): 103-106. doi:

摘要 ( 459 )   PDF (323KB) ( 289 )   　　

本文提出一种支持流数据传输的互连网络控制器的设计。该设计应用于FT64流处理器上，使得多个流处理器能够通过高性能网络进行数据传输，以便进行并行流数据运算。该 设计采用二维环绕网，使用虚通道避免死锁，支持多个流的数据同时传输。投片后的测试结果表明，该设计功能正确，核心频率为500MHz，链路时钟频率为400MHz，满足设 计要求。

科学计算程序在FT64流处理器上的实现、优化和评测

邓宇 晏小波 杜静 张英 杨学军

2008, 30(9): 107-110. doi:

摘要 ( 421 )   PDF (337KB) ( 370 )   　　

流体系结构是一种适应VLSI工艺发展的新型体系结构，它是否对科学计算程序有效是一个广泛关注的问题。本文选取NASA并行测试程序集中的一个数据密集型程序MG，研究了  它在一个64位的面向科学计算设计的流处理器FT64上的实现和优化问题。在FT64上的实测表明，经过面向片上存储层次的优化，FT64能够达到与Itanium2处理器相当的性能。
          。

考虑多输入同时翻转的晶体管级时序分析技术

李振涛 陈书明

2008, 30(9): 111-115. doi:

摘要 ( 446 )   PDF (521KB) ( 377 )   　　

为了克服现有延时模型所遇到的困难，本文对静态时序分析中通过晶体管级电路模拟来计算门延时的方法进行了研究，该技术的关键是延时测试波形的自动生成。文中分析了多输入同时翻转对最大门延时的影响，提出了一种可以用于测试波形生成的多输入同时翻转模型。基于该模型，提出了互补CMOS电路和传输管电路延时测试波形的生成算法 。将模拟计算门延时的方法与晶体管级电路的功能模型提取技术结合在一起，实现了一个晶体管级电路的静态时序分析工具-SpiceTime。实验结果表明，SpiceTime的分析结果均大于HSPICE的模拟结果，而且误差不超过2．7％。Spice—Time的分析时间与电路大小成线性关系，单个门的平均分析时间约为0．3秒。实验结果表明，如果使用单信号翻转模型，最大延时最多可以被低估4．8％。

多核处理器YHFT—QDSP的调试系统

扈啸 李杰 陈莉丽 陈书明

2008, 30(9): 116-118. doi:

摘要 ( 504 )   PDF (347KB) ( 689 )   　　

YHFT-QDSP是一款多核处理器。为满足其并发调试和实时调试的需要，在原有单核调试系统的基础上设计实现了多核同步调试系统和片上实时追踪系统（片上Trace）。多核同步调试提供了命令广播和断点同步触发等并发程序协同调试的功能；片上Trace通过专用硬件记录程序执行路径和数据读写等信息实现非入侵实时调试。本文从原理、结构和
软硬件实现等方面介绍了该调试系统。

双簇结构DSP的数据Cache优化

马鹏勇 陈书明 孙锁林

2008, 30(9): 119-121. doi:

摘要 ( 502 )   PDF (349KB) ( 336 )   　　

数字信号处理常常包含大量数据运算，这使得数据Cache成为影响其性能的关键因素。特别是对于我们研制的双簇VLIW结构YHFrDSP系列处理器，Cache的失效会导致整个内核八条流水线同时停顿。所以，减小Cache失效延迟能给处理器性能带来显著的提升。本文研究的主要问题是如何针对一级数据Cache的读失效操作进行优化，从四个方面进行，  分别为提前发读请求、请求字优先、合并并行失效读和后台处理Snooping。模拟结果表明，采用这些优化措施后，处理器的性能提高了8．36％。

可信业务构件的框架模型及其实现机制

石双元 尹健良

2008, 30(9): 122-125. doi:

摘要 ( 430 )   PDF (371KB) ( 326 )   　　

目前，对于业务构件模型的研究主要是关注于业务构件的识别和描述方法两方面，而业务构件的质量则较少得到关注。质量必然是满足构件使用者的基本前提，而业务构件的 可信则全面体现了业务构件的质量。本文提出了可信业务构件的框架模型和四大可信要素，同时给出了可信要素的实现机制，重点阐述了逻辑可信的实现机制。

数学形态滤波在振动信号分析中的应用研究

李舂枝 何荣建 田光明

2008, 30(9): 126-127. doi:

摘要 ( 480 )   PDF (250KB) ( 565 )   　　

本文介绍了数学形态滤波的基本原理与形态滤波器的构建。针对环境试验振动信号中存在的非线性噪声问题，我们提出一种基于开、闭运算的级联组合数学形态滤波器的新方法。通过将数学形态滤波器用于复杂锥筒结构振动信号中的脉冲干扰的实例分析与运算，说明该方法对振动信号的干扰噪声有很好的滤波效果，亦表明数学形态滤波有很好的的应用前景。

二进制递归网络的连通性

孙云[1] 李舟军[2] 王德强[3]

2008, 30(9): 128-131. doi:

摘要 ( 445 )   PDF (313KB) ( 312 )   　　

二进制递归网络是超立方体的一类特殊变体，它具有很多良好的网络特性。网络的连通性是衡量网络结构通信能力的一个重要性能，虽然到目前为止已知的一些二进制递归网  络的连通性都已被研究过，但这些研究只是针对个体进行的，并不能代表所有二进制递归网络的连通特性。本文通过证明任何一个二进制递归网络中的每对顶点之间只能存在 在”条顶点不交路，得到了整个二进制递归网络的点和边连通度皆为”的重要结论。

一种用于机器翻译的相似句对检索方法

巢文涵[1] 李舟军[2] 陈跃新[1]

2008, 30(9): 132-136. doi:

摘要 ( 503 )   PDF (420KB) ( 467 )   　　

在基于语料库的机器翻译系统中，相似句对的检索对于翻译的质量具有非常重要的作用。本文提出一种新颖的方法，可以利用双语例句来帮助度量待翻译句子与例句的相似度 。为了提高检索的效率，我们还提供了一个双层的语料库索引方法。由于我们的相似度度量在计算相似度时考虑了例句对最终翻译结果的影响，因此在翻译实验中取得了较好好的效果。

多面体表示技术及在程序性能优化中的应用

陆平静 车永刚 束尧 王正华

2008, 30(9): 137-140. doi:

摘要 ( 445 )   PDF (418KB) ( 1571 )   　　

多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合，有利于最优程序变换的搜索。论文首先介绍并评价了几种典型的多面体表示方法，并详细介绍了Cohe n提出的多面体表示模型；同时，对多面体表示在程序性能优化尤其是迭代编译中的应用进行了介绍和评价；最后，对多面体表示技术在迭代编译领域今后的发展方向做出了 展望。

一种基于代价子图的子字并行指令选择算法

王淼 王志英

2008, 30(9): 141-144. doi:

摘要 ( 478 )   PDF (412KB) ( 319 )   　　

子字并行能够充分利用多媒体算法的数据精度小、内部循环处理形式规则的特点，是加速多媒体处理的有效方式。然而，如何充分挖掘多媒体应用中的子字并行仍然是一个难 题。本文说明传统的并行技术可以有效地开发循环中的子字并行性，同时提出一种基于代价子图的子字并行指令自动识别的方法。与其他方法相比，该方法利用代价模型对子 子字并行指令选择进行定量评估。本文在TTA体系结构框架下实现了这一方法。实验结果表明，该方法可以充分地提取循环中的子字并行性。

安全类型系统在编译技术中的应用研究

赵秀凤 杨丽娜 郭渊博

2008, 30(9): 145-146. doi:

摘要 ( 408 )   PDF (239KB) ( 368 )   　　

类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法；给出了类型系统的形式化定义，引入了安全类型和安全类型系统的概念，并给出了安全类型系统的子类型规则和安全类型规则；最后讨论了安全类型系统在编译技术中的应用。

一种面向可重构硬件的编译中间表示方法

董亚卓[1] 左艳辉[1] 刘明政[2] 窦勇[1]

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

摘要 ( 343 )   PDF (321KB) ( 295 )   　　

中间表示氓是构建编译和高级综合工具的基础。本文设计了一种面向可重构硬件的编译中间表示方法。这一工作是我们设计的高级综合工具的一部分。实验结果表明，应用这  一中间表示，可以将C源程序高效地映射到目标可重构硬件上。

分布式对象模型CORBA和RMI的应用研究

姚跃华 陈一栋 李慧芳

2008, 30(9): 151-153. doi:

摘要 ( 421 )   PDF (252KB) ( 395 )   　　

本文对当前流行的两种分布式对象模型CORBA和RMI的性能进行了研究。在C／S模式下，我们分别对有无参数的方法调用的响应时间、以Applet作为客户端的响应时间以及多客 户端请求相同服务的响应时间进行了实验分析，从而为开发基于Web的分布式实时应用提供参考。

用户级通信中基于网络接口的虚实地址变换技术

刘路 谢旻 张磊 傅清朝

2008, 30(9): 154-157. doi:

摘要 ( 393 )   PDF (356KB) ( 312 )   　　

用户级通信允许应用程序直接访问网络接口，减小了通信操作的软件层开销。为了支持用户级通信，高效的虚拟地址到物理地址的变换起到关键作用。本文提出了基于地址变换表的地址变换机制，虚实地址变换都在网络接口控制器上完成，变换过程不需要操作系统的参与，并且无需失效处理。采用这种机制，我们实现了基于PCI-X面向集群系统的互连通信子系统CNI。实际测试获得了2．4μs的最小单边延迟和850MB／s的峰值带宽。