当期目录

• 2011年, 第10期　刊出日期：2011-10-25 上一期    下一期
  本期栏目： 论文

论文

端到端安全可靠通信技术研究进展

侯婕，刘亚萍，龚正虎，黄剑

2011, 33(10): 1-8. doi:

摘要 ( 509 )   PDF (621KB) ( 577 )   　　

随着互联网的飞速发展，在网络边缘部署的大量中间盒设备和各种新型应用给传统的端到端通信带来了连通性、移动性、安全性等方面的问题。针对这些问题，研究者提出了很多改进方案。本文简要回顾了端到端通信的研究工作，重点分析了研究中面临的关键性问题，并对典型研究进行了详细介绍和评价比较，最后对下一步端到端通信的研究方向做出了展望。

无线自组织网络中可用带宽估计准则研究

宋安，赵海涛，王杉，魏急波

2011, 33(10): 9-14. doi:

摘要 ( 386 )   PDF (633KB) ( 371 )   　　

本文对无线Ad Hoc网络中可用带宽估计准则进行了研究，提出应将全局QoS保障作为带宽需求是否能被网络满足的判定条件。建立了基于IEEE 802.11 MAC协议的无线网络的分析模型并得出了时延、丢包率和吞吐量等QoS度量的解析表达式，并给出了该网络环境下的可用带宽判定准则。仿真实验证明了本文提出的分析模型的精确性与可用带宽估计准则的合理性。

基于蚁群优化的Ad Hoc网络生存时间和其他网络性能平衡路由协议

任敬安，涂亚庆，张敏，蒋银华，谢洪涛

2011, 33(10): 15-24. doi:

摘要 ( 477 )   PDF (1533KB) ( 433 )   　　

本文提出了基于蚁群优化（ACO）算法的Ad Hoc网络生存时间和其他网络性能平衡路由协议（ABEAR）。协议按需发送人工蚂蚁进行路由发现，综合节点残留的信息素浓度、下一跳节点剩余能量、节点周围链路质量和拥塞情况选择下一跳节点来转发数据包，尽量避开信道使用频率较高的路径，减少了因信道冲突、数据包丢失和数据包重传所造成的能量损失，还缩短了网络传输时延，提高了网络吞吐量。协议还采用跨层机制根据MAC层通信活动情况，在保证网络连通性的前提下使部分空闲节点转入睡眠状态来节省能量消耗。仿真表明，与AODV协议相比，ABEAR协议在网络生存时间、数据包交付率和端到端平均时延方面均有较大改善。

Jacobi交上的配对计算

唐春明1,徐茂智1, 2,亓延峰1

2011, 33(10): 25-29. doi:

摘要 ( 517 )   PDF (512KB) ( 409 )   　　

目前已知的配对计算都是在椭圆曲线的平面模型下实现的, 比如Weierstrass型曲线、Edwards曲线和Jacobi四次曲线。本文第一次讨论空间曲线上配对的具体计算。密码学中所关心的空间曲线主要是三维空间中的二次曲面的交, 它与Edwards曲线、Jacobi四次型都有极其紧密的联系, 因而研究二次曲面交上的算术与配对将促进我们对Edwards曲线、Jacobi四次曲线上的相关特性的理解。为了讨论的简洁, 我们将主要分析Jacobi交, 但我们的结果基本上可以类推到其他的二次曲面交上去。我们分析了Jacobi交上的几何特性, 构造了Jacobi交上的有效可计算同态, 并在此基础上给出了Jacobi交上配对的具体计算。

GF(3)上三阶分圆序列的自相关值

雷明亮,岳勤

2011, 33(10): 30-33. doi:

摘要 ( 401 )   PDF (383KB) ( 444 )   　　

具有较少自相关值的分圆序列在通信系统和密码学中都有广泛的应用。 设p≡1 mod 3为素数，我们计算了GF(3)上一类非平衡的、周期为p的、三阶分圆的序列的自相关值，并进一步给出素数p的条件，使得此序列的自相关值为3值。

布尔函数的代数免疫与扩散阶的关系

周宇,曹云飞,张文政,祝世雄

2011, 33(10): 34-38. doi:

摘要 ( 397 )   PDF (451KB) ( 426 )   　　

本文利用布尔函数全局雪崩准则得到平方和指标与代数免疫的联系，通过Walsh谱与自相关函数的关系式得到布尔函数满足扩散时自相关值的分布，由此推出了变元数、代数免疫、扩散阶和代数次数之间的不等式，利用计算机搜索得到变元数在4~30之间时这四个指标的简洁表达式。最后得到了扩散阶与线性结构、正规性的关系。

PRESENT的多模型差分错误分析

唐〓明1,2,沈〓菲2,邓〓慧2,尹〓鹏2,邱镇龙2,马〓啸2,张焕国1,2

2011, 33(10): 39-44. doi:

摘要 ( 421 )   PDF (462KB) ( 436 )   　　

分错误分析方法进行研究，提出了针对PRESENT密码的四种差分错误模型，并对它们进行分析对比，从而找到针对PRESENT算法最好的差分错误分析方法。就我们收集到的现有发表著作显示，此次研究比以往PRESENT的差分错误攻击更为有效。最好结果是，在第28轮和第29轮P置换之间引入8bit随机错误，平均使用17个错误样本分析得到最后一轮64bit白化密钥。

跨站脚本漏洞的白盒测试框架的设计和实现

冯〓锴,林柏钢

2011, 33(10): 45-50. doi:

摘要 ( 407 )   PDF (514KB) ( 433 )   　　

伴随着B/S架构的流行和Web2.0时代的迅速发展，由于对不可信用户数据缺乏正确的校验机制，造成跨站脚本漏洞广泛地存在于各类网站中，并严重威胁用户安全。其主要原因在于服务端代码和客户端脚本的混合，使得当前技术无法准确而有效地生成攻击向量，探测跨站脚本漏洞。本文基于静态数据流特征分析，依据脚本注入位置和攻击向量模式设计了新的分析模糊器，通过采用字符串约束求解技术来验证攻击向量的有效性，并实现了白盒测试框架的原型系统XSSExplore。实验结果表明，与同类工具相比，该系统能够较全面而准确地检测跨站脚本漏洞。

互补对称布尔函数的非线性度

陈银冬1,陆佩忠2

2011, 33(10): 51-56. doi:

摘要 ( 425 )   PDF (555KB) ( 359 )   　　

互补对称布尔函数是一类特殊的对称布尔函数。在所有代数免疫最优的对称布尔函数中，有相当的比例均属此类函数。特别是当变元数量为2〖WTBX〗m〖WTBZ〗元时，有2/3比例的代数免疫最优对称布尔函数都是互补对称布尔函数。通过布尔函数非线性度、Walsh谱和Krawtchouk多项式间的关系，计算出互补对称布尔函数的非线性度。结果表明，任意n元互补对称布尔函数的非线性度为2n－1－ 1/2(nn/2)。

全光纤分离调制连续变量量子密钥分发

王旭阳,白增亮,李永民,彭堃墀

2011, 33(10): 57-59. doi:

摘要 ( 435 )   PDF (529KB) ( 478 )   　　

本文给出了基于全光纤的分离调制连续变量量子密钥分发系统。首先介绍了四态分离调制方案及基于该方案的实验原理图；然后对关键器件时域脉冲平衡零拍探测器进行了介绍，并给出了性能测试结果；最后阐述了光脉冲信号的数据结构、编码规则和裸码的获取。

基于神经网络集成的入侵检测系统

徐〓敏,沈晓红,顾〓颀

2011, 33(10): 60-63. doi:

摘要 ( 395 )   PDF (628KB) ( 482 )   　　

目前，较为成熟的入侵检测系统普遍存在检测率偏低、对新的入侵不够敏感等问题，影响了系统的整体性能。在深入研究的基础上，本文提出了一种基于神经网络集成的入侵检测方法。该方法采用神经网络集成分类技术，在去除冗余数据的基础上对成员网络进行训练，并通过动态的方法确定成员网络的个数，最终通过神经网络对成员网络结果进行融合，以提高系统的整体性能。理论和实验表明，该方法能在保证成员网络差异性的同时提高入侵的检测率，具有较好的应用前景。

全定制CORDIC运算器设计

毕〓卓,戴益君

2011, 33(10): 64-69. doi:

摘要 ( 402 )   PDF (984KB) ( 445 )   　　

浮点三角函数计算是导航系统、三维图像处理、雷达信号预处理等领域的基本运算。本文采用CORDIC算法及全定制集成电路设计方法实现了一种浮点三角函数计算电路，其输出数据兼容IEEE754单精度浮点数标准。本文首先介绍了CORDIC算法的原理，并根据性能优先的原则采用了流水线结构；然后给出了基于SMIC 0.13μm 1P8M CMOS工艺下的静态电路结构及版图设计。全定制CORDIC运算器的面积为605 284μm2，最长路径延时（SS条件下）为3.013ns。

高速串行背板10Gbps信号传输性能仿真和分析

郑〓浩,金利峰

2011, 33(10): 70-75. doi:

摘要 ( 405 )   PDF (1210KB) ( 519 )   　　

在高性能计算机系统中，10Gbps串行背板互连设计需求日益显现。作为超高频互连传输，10Gbps背板互连设计中准确仿真和有效分析其传输性能的难度越来越大。本文简要介绍10Gbps背板互连的设计难点，总结提出通道的判断标准。针对一种典型背板通道的设计进行建模和仿真，并通过S参数和传输眼图两种方式分析单通道的传输性能。同时，针对超高频信号串扰影响逐渐加大的现实，建立双通道模型，从S参数角度对近端和远端串扰进行分析，并从传输眼图的角度进行定量对比，结果表明两种分析结果能够符合一致，串扰影响完全可控。通道设计性能经测试可以满足10Gbps信号传输。

一种面向多核处理器I/O系统软错误容错方法

郭御风,郭诵忻,龚〓锐

2011, 33(10): 76-79. doi:

摘要 ( 384 )   PDF (509KB) ( 400 )   　　

集成电路制造工艺的飞速发展，使得集成电路的特征尺寸不断减少和集成度不断提高，造成集成电路对工作环境的影响越来越敏感，发生软错误的几率不断增加，对可靠性造成重要影响。随着微处理器进入了多核时代，丰富的片上资源给软错误加固带来了很好的机遇。本文针对多核处理器中I/O系统软错误，提出了一种基于多核处理器的软件Scrub方法对软错误进行加固。测试结果表明，我们提出的软错误容错方法可以大大提高I/O系统的可靠性。

Pshare:两级自适应分支预测算法及实现

张琦滨,李〓强

2011, 33(10): 80-84. doi:

摘要 ( 606 )   PDF (472KB) ( 966 )   　　

本文提出了一种结合PAs和Gshare两者优点，同时尽可能消除两者缺点的两级自适应分支预测算法及其实现——Pshare分支预测方法。通过使用单独的BHSR来跟踪不同分支指令的历史轨迹，克服了GAs和Gshare机制中统一历史模式带来的缺点;同时,通过使用分支指令部分地址和历史模式位的杂凑运算来索引共享的一维PHT小表，减少了PAs机制中二维PHT大表的面积开销和索引延时开销。Pshare两级自适应分支预测器用接近Gshare的实现代价，达到了近似PAs的预测精度。该分支预测技术适用于强调单核性能的超标量超流水结构的高性能处理器中，有助于减少垂直浪费，提高单核心的性能和效率。

GPGPU技术研究与发展

林一松,唐玉华,唐〓滔

2011, 33(10): 85-92. doi:

摘要 ( 364 )   PDF (1082KB) ( 376 )   　　

半导体工艺的发展使得芯片上集成的晶体管数目不断增加，图形处理器的存储和计算能力也越来越强大。目前,GPU的峰值运算能力已经远远超出主流的CPU，它在非图形计算领域，特别是高性能计算领域的潜力已经引起越来越多研究者的关注。本文介绍了GPU用于通用计算的原理以及目前学术界和产业界关于GPGPU体系结构和编程模型方面的最新研究成果。

自适应策略描述语言编译器的设计与实现

董孟高1，毛新军1，杨〓华2，齐治昌1

2011, 33(10): 93-98. doi:

摘要 ( 382 )   PDF (1071KB) ( 410 )   　　

复杂自适应系统中的软件实体既需要完成业务功能，又需要不断地感知环境，并根据环境的变化调整自己的结构和行为来适应环境，完成自适应功能。当前自适应系统的开发存在将自适应逻辑和业务逻辑相互缠绕的问题，使得自适应系统的开发和维护变得极为复杂和困难。本文将自适应系统中的自主运行单元抽象为自适应Agent，将自适应Agent的业务逻辑和自适应逻辑相分离，提出了表述Agent如何适应环境变化的自适应策略描述语言SADL。为了将自适应策略编译成可执行的程序单元，本文设计并实现了SADL编译器。通过案例分析阐述了如何定义自适应策略，并展示了编译结果，验证了方法的有效性。

基于三值语义的软件运行时验证方法

隋〓平1,赵常智1,董〓威1,李冰鹏2

2011, 33(10): 99-104. doi:

摘要 ( 373 )   PDF (722KB) ( 326 )   　　

运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性，而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法，一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方案；另一方面基于三值语义的监控器有发现一条无穷运行轨迹的最小好（坏）前缀的能力，从而使得监控器能尽可能早的发现性质违背。同时，我们开发了基于三值语义的软件运行时验证原型工具并针对案例进行了分析。

Facade模式在数据持久层中的应用

张〓俐1,张维玺2

2011, 33(10): 105-110. doi:

摘要 ( 364 )   PDF (769KB) ( 429 )   　　

数据持久化工作是企业在进行应用系统开发时首先必须要面对的重要问题。本文在着重分析了门面模式、泛型DAO模式、Hibernate框架和Spring框架的基础上，依据企业实际开发要求，提出了基于Facde模式的数据持久层开发框架，该持久层框架具有组件之间的松散耦合，并且整个持久层框架具备良好的稳定性、可伸缩性和可扩展性。最后成功地将该持久层开发框架应用到某电信客户经理工作管理系统中。

SMT求解器理论组合技术研究

李〓婧，刘万伟

2011, 33(10): 111-119. doi:

摘要 ( 590 )   PDF (1238KB) ( 555 )   　　

可满足模理论(SMT)求解器是计算机科学中用来判定一阶逻辑公式可满足性的程序，是许多形式化方法的验证引擎。理论求解器实现了SMT基于不同理论背景的求解过程，然而实际问题常以多个理论为背景。因此，本文重点介绍理论组合判定方法，概述SMT求解器的发展现状，并分析了几个主流SMT求解器理论组合判定关键技术。通过对照实验，评估各组合判定方法的优缺点以及目前流行的支持理论组合SMT求解器在工业应用中的性能。

云搜索优化算法

曹〓炬,殷〓哲

2011, 33(10): 120-125. doi:

摘要 ( 354 )   PDF (579KB) ( 401 )   　　

本文将云的生成、动态运动、降雨和再生成等自然现象与智能优化算法的思想融合，建立了一种新的智能优化算法云搜索优化算法（CSO）。生成与移动的云可以弥漫于整个搜索空间，这使得新算法具有较强的全局搜索能力；收缩与扩张的云团在形态上会有千奇百态的变化，这使得算法具有较强的局部搜索能力；降雨后产生新的云团可以保持云团的多样性，这也是使搜索避免陷入局优的有效手段。实验表明,基于这三点建立的新算法具有优异的性能，benchmark函数最优值的计算结果以及与已有智能优化算法的比较展现了新算法精确的、稳定的全局求解能力。

基于ACO算法的SVM核函数的参数优化

赵新建，沈友文，徐〓俊

2011, 33(10): 126-130. doi:

摘要 ( 381 )   PDF (617KB) ( 313 )   　　

本文针对核函数参数选择的随意性影响支持向量机分类性能的问题，提出了一种基于离散编码的蚁群算法(CCACODE)的SVM核函数优化模型。CCACODE解决了连续函数优化的蚁群算法(CACO)求解之前必须进行预处理的问题，解决了基于网格划分策略的连续域蚁群算法(CACOGT)在求解精度的缺点、最优解必在定义域内的等分割点问题。仿真结果验证了该方法的有效性， F1值达到了90%以上。

非线性动态加速系数对粒子群算法的影响

孙〓湘

2011, 33(10): 131-134. doi:

摘要 ( 364 )   PDF (489KB) ( 423 )   　　

粒子群算法(PSO)中的加速系数影响着粒子的个体认知和群体认知，而传统算法中的加速系数一般取常量。据研究发现，粒子的个体认识和群体认识分别主导着粒子的全局搜索能力和局部搜索能力，提高粒子个体认识可以有效增强算法的全局搜索能力，而提高粒子的群体认识可以有效增强算法的局部搜索能力。为进一步研究加速系数对粒子群算法的影响，本文在时变线性加速系数的基础上，提出了三种动态自适应非线性加速系数，并利用四个基准函数进行对比仿真实验。实验结果表明：非线性时变加速系数PSO的寻优效果较线性策略有一定的提高，且加速系数以反正切函数动态改变的PSO寻优效果最佳。

OWL本体存储模式研究

常万军1，2,苏强林2

2011, 33(10): 135-139. doi:

摘要 ( 368 )   PDF (654KB) ( 339 )   　　

本文深入研究了本体的存储介质以及本体在关系数据库中的存储模式，指出当前各种本体存储模式的不足之处，提出了新的基于关系数据库的混合存储模式。用教育领域本体测试框架对所提出的存储模式进行实验验证。实验结果表明，该文所设计的基于关系数据库的存储模式具有结构清楚，查询效率高和扩展性能强的优点。用该文设计的混合存储模式要比目前广泛使用的垂直模式在各方面的性能都更优越，而且也适宜于存储大规模本体。

基于SQLite的LOD模式海量影像数据管理系统的设计与实现

杨任农，白〓娟，黄震宇，邬〓蒙，樊〓蓉

2011, 33(10): 140-144. doi:

摘要 ( 332 )   PDF (926KB) ( 419 )   　　

如何实现海量影像数据的合理化存储、高效的访问是视景仿真领域的一个瓶颈问题。本文提出了一种运用SQLite数据库实现基于嵌入式数据库的集中式数据管理方法，将海量影像数据以数据库的形式进行管理，同时又以类似文件操作的方式实现快速访问，为解决基于LOD模式海量影像数据难以管理维护的问题提供了一种可行方案。本文方法有效而稳定地实现了海量影像数据的管理和调度，具有良好的实际应用价值。

一种改进的有向无环图支持向量机

艾〓青1，秦玉平2，赵〓骥1

2011, 33(10): 145-148. doi:

摘要 ( 365 )   PDF (350KB) ( 340 )   　　

构造合理的有向无环图是有向无环图支持向量机亟需解决的一个关键问题。本文提出一种改进的有向无环图支持向量机，根据超球支持向量机获得类的最小包围球，根据该最小包围球计算类与类之间的最短距离，根据该最短距离形成最短距离矩阵，根据该最短距离矩阵来构造有向无环图。实验结果表明，该改进算法较传统有向无环图支持向量机分类精度有明显提高。

基于自适应网格划分的数据流聚类算法

邢长征,张国凯

2011, 33(10): 149-153. doi:

摘要 ( 360 )   PDF (562KB) ( 415 )   　　

本文提出了一种基于自适应网格划分的数据流聚类算法。通过采用网格的自适应划分，对传统的基于密度网格的数据流聚类算法，以均衡划分网格的方法进行改进，使网格的划分更加合理，减少硬性划分对结果可能造成的影响，提高了硬性划分边界的精度。同时采用剪枝方法，减少了算法的执行时间。最后，通过实验验证了该算法的有效性。

一种基于MST的自适应优化相异性度量的半监督聚类方法

陈新泉

2011, 33(10): 154-158. doi:

摘要 ( 365 )   PDF (402KB) ( 333 )   　　

针对混合属性空间中具有同一(或相近)分布特性的带类别标记的小样本集和无类别标记的大样本数据集，提出了一种基于MST的自适应优化相异性度量的半监督聚类方法。该方法首先采用决策树方法来获取小样本集的“规则聚类区域”，然后根据“同一聚类的数据点更为接近”的原则自适应优化建构在该混合属性空间中的相异性度量，最后将优化后的相异性度量应用于基于MST的聚类算法中，以获得更为有效的聚类结果。仿真实验结果表明，该方法对有些数据集是有改进效果的。为进一步推广并在实际中发掘出该方法的应用价值，本文在最后给出了一个较有价值的研究展望。

一种基于动态源数目估计的RLS盲分离算法

汤〓辉,王〓殊

2011, 33(10): 159-163. doi:

摘要 ( 354 )   PDF (610KB) ( 380 )   　　

针对原始RLS类算法无法用于超定和源信号数目动态变化的盲分离问题，本文采用一种新的在线估计源信号数目的方法。通过在线估计观测信号均值和协方差矩阵，定义一个关于源信号数目的代价函数，然后最小化代价函数可得到源信号数目的估计。并且利用估计得到的源数目动态调整RLS算法中的分离矩阵及其它相关参数矩阵的维数，进而使得改进RLS盲分离算法能够有效地分离超定和数目动态变化的源信号。仿真结果表明，新的算法比现有算法具有更好的收敛性和分离性能。

认知无线电中非高斯噪声下主用户信号的协作检测方法

朱晓梅,包亚萍

2011, 33(10): 164-168. doi:

摘要 ( 367 )   PDF (818KB) ( 376 )   　　

本文研究了非高斯噪声情况下主用户的频谱检测问题，采用混合高斯模型拟合了非高斯噪声背景，并采用矩估计方法对混合高斯模型的混合系数等参数进行了估计。在此基础上，将混合高斯Rao检测方法应用于主用户的频谱检测，推导了混合高斯Rao检测的检测统计量和检测性能公式，分析比较了混合高斯Rao检测与高斯Rao检测的性能。此外，建立了多用户协作的检测模型并推导了基于改进的OR准则的协作检测性能公式。通过理论分析和蒙特卡罗仿真说明了在虚警概率一定的情况下,基于混合高斯Rao检测的方法能有效地提高非高斯噪声下主用户的检测性能。

一种新的具有鲁棒性动态二进制时隙防碰撞算法

汪济洲,刘〓伟

2011, 33(10): 169-173. doi:

摘要 ( 409 )   PDF (404KB) ( 376 )   　　

在射频识别系统中，由于信道共享的原因，会发生标签碰撞现象，从而导致阅读器的漏读，因此防碰撞算法在射频识别系统的设计中占有极其重要的地位。现有传统的动态二进制时隙防碰撞算法具有对标签要求不高的优点，非常适用于采用被动标签的RFID系统，但实际使用过程中，由于距离等外界因素会出现弱标签现象，现有算法对此不具有鲁棒性。因此，本文提出一种新的具有鲁棒性动态二进制时隙防碰撞算法，该算法在传统的动态二进制时隙防碰撞算法的基础上，增加一个未确定的标签队列，大大提高了系统的鲁棒性。实验显示该算法比传统BSA识别次数减少55%，同时保证了较好的鲁棒性。

基于并行遗传算法的Ku波段卫星天线设计

郭金翠，邹金欣，赵小娟，王寅澄

2011, 33(10): 174-177. doi:

摘要 ( 391 )   PDF (785KB) ( 438 )   　　

针对一种宽波束、宽带微波Ku波段卫星天线的设计要求，本文采用了并行化遗传算法（GA）和改进的NEC2软件来进行天线综合。所设计的遗传算法并行计算平台由多台微机组成，它们之间的消息传递采用MPI来实现，天线的电磁数值计算采用改进的基于矩量法的NEC2软件完成。宽波束、宽带圆极化天线可以应用于空间广播通信等领域，使用传统手工方法进行这种天线设计有一定困难［1］。采用并行GA设计出来的一种单支7折线Ku波段天线，不仅满足了要求，方向图的特性优良，而且减小了整个天线的设计周期。

S中国销售公司投诉流程优化仿真

金士良,屠冉冉,龚晓婧

2011, 33(10): 178-181. doi:

摘要 ( 430 )   PDF (511KB) ( 417 )   　　

业务流程决定了企业运营的效率，其涵盖了采购、制造、销售等一系列的生产环节，因此对流程的分析和优化对于企业管理来说有着十分重要的作用。投诉，在日常生活中是商家和客户关系中最常见却又最敏感的问题，投诉问题处理好坏直接关系到商家的信誉和品质，应该引起足够的重视。本文分析了现有的S中国销售公司的投诉流程，发现其流程在时间成本和费用成本的消耗上都存在问题，需改进。利用Witness仿真软件对投诉流程系统进行建模和仿真，提出了投诉流程的优化方案，仿真结果证明了改进后方案的可行性和有效性，为流程的优化提供了一种有效的定量分析技术。

Web Services的权重空间距离和定量选择

李〓珍1,2，王红兵2

2011, 33(10): 182-185. doi:

摘要 ( 339 )   PDF (445KB) ( 333 )   　　

一个Web Service服务有很多的QoS属性，不同的用户对不同的QoS有不同的偏好要求，为从众多功能相同的Web Service中选择用户最期望的服务，本文给出了基于n维空间的权重距离的算法。根据用户给定的偏好，计算每个Web Service服务的一阶权重距离，其最大值对应的服务a为最优；如果服务a和次优服务的相对差大于等于给定阈值，则向用户返回该服务；否则计算二阶权重距离对应的最优服务b，如果服务b和次优服务的相对差大于等于给定阈值，就向用户返回服务b；否则，比较服务a和服务b的相对差，将相对差较大的服务返回给用户。该算法能充分体现用户对不同QoS属性的偏好，因而具有明显的优势。

网格计算中任务调度算法的研究和改进

王观玉

2011, 33(10): 186-190. doi:

摘要 ( 452 )   PDF (650KB) ( 493 )   　　

任务调度一直是网格计算中的热点问题，任务调度的目的是最优地分配任务，实现最佳的调度策略，以高效地完成计算任务。在网格环境中，资源的合理有效利用是实现任务调度的关键问题之一。本文首先论述静态任务调度算法和动态任务算法的原理和优缺点等，然后结合Minmin、Maxmin算法的优点设计一种新的调度算法SAMM，根据资源的使用情况自适应调度相应算法进行任务到资源的映射。最后，用GridSim模拟工具对网格计算中Minmin、Maxmin和SAMM任务调度算法进行仿真实验，分析和比较它们的调度长度（MakeSpan）和资源负载情况等影响任务调度效率的指标。