需求驱动的Web服务建模及其验证:一个基于本体的方法

从Web服务所交互的环境角度出发，提出了基于环境本体的Web服务能力描述框架，从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力，并由此建立了需求驱动的Web服务组合模型．同时提出用π演算的进程表达式表示Web服务的行为语义，并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制，在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法．经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者．     

分布式环境中服务组合的迭代选择算法

在面向服务的体系结构（service oriented architecture，SOA）中，服务组合是一种极有前景的创建新服务的方式．然而，服务组合技术尚有一些瓶颈在阻碍着其广泛运用．组合服务提供商面临的一个难题是如何跨越多个不同的自治网络和商业域选择一组服务实例来实现组合服务，并且向用户提供端到端的服务质量（quality of service，QoS）保障．文中提出一种迭代选择算法用于质量驱动的服务组合．该算法运行于一个P2P（peer-to-peer）的服务执行环境——分布式智能服务执行（distributed intelligent serviceexecution，DISE）环境．该迭代选择算法最显著的特点是既可以运行于中心式的QoS注册系统，也可以运行于分布式的QoS注册系统．在文中的QoS模型中，网络状态作为可选项在选择算法中考虑．由于该算法按照组合服务逻辑执行顺序迭代的选择服务，所以该算法可以在组合服务执行之前或者组合服务运行时执行，不需要作任何更改．在分布式服务执行环境上的一系列实验表明，文中提出的算法可以提供极好的选择结果，并且具有很好的性能．     

一种基于多维DHT空间映射的P2P安全拓扑方案

基于DHT（distributed Hash table）的分布式检索和路由算法凭借其良好的分布性、自组织性、可扩展性等优点，正成为国际上结构化P2P（peer—to—peer）网络研究和应用的热点．但相对于传统的C／S fclient／server）网络，P2P网络的非中心化特点以及网络中节点较强的自治性和动态性，使得节点实施恶意行为的可能性大大增加，这令DHT对节点安全性的要求很难得到满足．本文提出了一种基于多维映射机制的安全DHT协议，该机制通过对标识符进行按组划分，将P2P网络中的节点映射到一个多维空间，并通过设计合理的路由算法，使安全工作定位到相对简单的节点区域内进行．理论分析和实验结果表明，本机制能够简化现有DHT安全机制，有效抑制恶意路由行为，提高资源搜索成功率．     

平面化问题的一种新型神经网络算法

文中针对在大规模集成电路中有重要应用的图的平面化问题，指出了可平面图的平面嵌入是有条件的，只有在特定的顶点顺序下才是可直线嵌入的，并通过给出既满足直线嵌入条件又实现正确布线的能量函数，进而用Hopfield神经网络实现了对可平面图的平面布线和不可平面图的最大可平面子图的寻找和平面布线，并引入模拟退火算法实现网络局部极小点的逃离．实验及与传统方法的比较结果验证了文中所提方法的有效性和可行性．     

三角曲面显式最佳降多阶的一个新颖算法

计算机辅助设计（CAD）系统中的数据通讯和数据压缩经常需要把参数曲面近似地降阶．而其中对三角曲面一次性降多阶是一个悬而未决的技术难题．文中把三角Jacobi基正交的代数性质应用到几何逼近，借助三角Bemstein基和三角Jacobi基相互转换的最新成果，自然地诱导出三角B6zier曲面一次性降多阶的一个新颖算法．此算法具有误差预测、显式表达、机时最少、精度最佳的4个特点：第一，降阶前可迅速判断是否存在满足给定公差的降多阶曲面；第二，全部降多阶运算仅需对曲面的控制顶点序列按词典顺序排序所写成的列向量执行一个矩阵乘法；第三，此矩阵无需临时计算而是从数据库中直接调用；第四，这张降多阶曲面在L2范数意义下达到最佳逼近效果．数值实验证实了理论推导的正确性，表明此算法对CAD系统的产品信息处理将会带来显著的应用效益。     

无人机图像全自动生成大比例尺真正射影像方法

随着无人机遥感技术逐步从研究开发阶段发展到实际应用阶段，采用无人机图像进行大比例尺的真正射影像生成方法的研究具有重要的现实意义．本文旨在探索将计算机视觉中获得巨大成功的多视三维重建技术应用到对无人机影像处理中，给出了一种基于运动恢复结构重建算法和多视图立体视觉算法全自动生成大比例真正射影像的方法．本文首先分析了无人机图像PMVS重建点云的特点，给出一种由基于面片多视图立体视觉稠密点生成数字表面模型的方法，然后详细介绍了包括正射影像图像坐标映射模型、可见性计算、基于Markov随机场能量优化的面片选择和匀光处理等真正射影像生成的关键步骤．实验结果以及与商业软件的比较表明：本文给出的方法在野外地形和城市区域均能获取有效的真正射影像结果．