Web服务组合运行时的容错处理

基于WebJet服务组合组装与运行平台,设计了一个基于反馈容错机制、支持Web服务组合运行时自动容错处理的基本框架。针对服务组合运行时的时间QoS质量和用户SLA计算容错选择因子,运用聚类算法确定容错边界值,提出容错处理的一般映射方法,并给出了故障处理及流程重构区域计算方法。系统支持流程在线自恢复,适应复杂的网络生态环境,为流程执行时业务功能与服务质量的保障提供了一种有效的机制。     

Web服务组合语言的出错与补偿处理的pi演算编码

本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。     

基于类型化Pi-演算的Web服务组合相容性检测

定义了一个Pi-演算的类型系统，然后利用扩充后的类型化Pi-演算建模BPEIAWS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段，说明利用该算法检测服务组合系统相容性的可行性。     

一种安全增强型无线认证与密钥协商协议

针对当前3G网络身份认证与密钥协商方案存在扩展性差、用户身份信息易泄露的问题,提出一种基于无线公钥体制的安全增强型无线认证与密钥协商协议,实现实体间的双向身份认证,保护空中接口及有线通信链路,防止用户和接入网络身份标识泄露。该方案支持数字签名,可提供不可否认性业务。形式化方法验证分析表明,该协议能够满足安全需求。     

远程教学平台的研究

研究了在Internet/Intranet环境下采用多媒体课件、智能代理、规则推理等技术构造远程教学系统,提出了一套解决设计方案并基此建立了远程教学平台原型系统.     

数据流上快速子序列匹配

数据流技术目前已广泛应用于金融分析、网络监控及传感器网络等诸多领域,而已有的相似性匹配技术主要针对时间序列数据库,难于直接应用于高速、连续、实时、海量的流数据,因此在数据流上渐进、实时地进行子序列匹配成为一个极具价值和挑战性的问题。在动态时间规整技术的基础上,设计了一种新颖的界限机制,充分利用相似性阈值,尽量减少冗余计算,算法完全符合数据流“单遍扫描”的性能要求,并通过大量的模拟和真实数据实验表明：与现有的SPRING算法相比,在不损失任何算法精度的前提下,仅增加几个字节的空间开销,速度至少提高3倍。     

一种基于数据流约束的Web服务组合划分方法

在WebJet平台工具支撑下,针对数据流约束的应用环境,对Web服务采取集中式组合,分布式运行的技术路线。在满足划分之间数据流量最小化以及分布式系统吞吐量最大化的目标约束下,运用图划分的多级算法将Web服务组合划分成分布式代码片段。在划分过程中,以极小化边割权值和为目标,多资源负载均衡为约束条件。实例分析说明该算法能自动、快速地将集中式BPEL程序划分为分布式的BPEL程序,并对BPEL程序迁移到的分布式节点之间的负载进行基于多资源约束的均衡调整,使分布式运行系统达到负载均衡。     

基于QoS的Web服务组合的全局优化方法

研究在服务组合预先优化阶段及在运行时容错处理阶段对重构的服务组合进行基于QoS的在线全局优化方法,提出并实现了一种结合修正单纯形法和启发式枚举法解决多目标全局组合最优化问题,加快了解空间搜索的收敛速度以及提高了目标函数的优化水平。     

改进基本矩阵计算和优化的多摄像机并行标定算法

多摄像机系统具有摄像机数目多、空间位置分布复杂特点,导致多摄像机标定效率低。基本矩阵计算和非线性优化是摄像机标定算法的关键步骤。针对标定物空间位置相互独立性,改进随机抽样一致性(RANSAC)的基本矩阵计算和简化非线性优化的增量方程,提出多摄像机系统的并行标定算法。该算法挖掘多摄像机标定过程的内在并行化,从而提高了标定的时间效率。相比于传统的多摄像机标定算法,并行算法的时间复杂度从O(n3)降为O(n)。实验结果表明：使用多摄像机系统并行标定算法在不损失精度的同时能够减少标定时间,实现多摄像机系统的快速标定。