Web服务编制的形式化模型研究

为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。     

基于视觉与RFID的机器人自定位抓取算法

为实现机器人灵活的自定位,并使其准确地抓取物体,提出一种基于视觉与无线射频识别(RFID)技术的机器人自定位抓取算法。构建网格化环境,利用RFID技术确定机器人的初始位置、行进路线和方向,使用视觉系统获取物体的空间坐标,将其转换到手臂坐标系,采用改进的D-H模型对手臂进行建模,并给出机械臂逆解抓取算法。实验结果表明,该算法使得机器人定位的成功率达到76.7%,抓取成功率高达90%。     

存在滑移和侧滑的轮式移动机器人轨迹跟踪

轮式移动机器人由于存在非完整性约束,其轨迹跟踪有一定挑战性.实际机器人运动中由于轮胎变形或其他原因,往往存在侧滑和滑移,对存在滑移的轮式移动机器人进行了研究,对其建立运动学模型,对存在滑移的轮式移动机器人的轨迹跟踪进行研究.基于Iyapunov函数,提出了轨迹跟踪控制算法,最后使用Matlab进行仿真,证明该控制算法具有快速,精确,全局稳定的良好特性.     

Web服务中基于信任的跨域安全认证模型

在分析XCAML和WS—Security安全规范的基础上,设计出一种基于信任的跨域安全认证模型TB—WSCDSA。该模型解决了跨域服务双方身份认证的问题,并依据各自安全域的访问控制策略和信任计算所需的数据和算法,计算双方的信任度,根据信任度阈值比较结果对双方进行信任评估和授权,并将结果以信任证书的方式发送给服务双方以保证安全通信。     

基于光斑室内移动机器人的定位导航技术

现代建筑室内结构日益复杂化,特别是伴随人口老龄化的加剧,家庭安全问题引起人们广泛关注。为了解决室内定位与导航的问题,提出基于光斑室内移动机器人的定位与导航技术,依靠机器人自带红外发射装置与外带摄像头相结合,实现室内情况下对机器人的精确定位与准确导航,并且可以广泛应用于扫地机器人、家庭监控机器人等家庭服务机器人,为实现机器人自动路径规划、自动充电、自动巡航、自动避障等功能提供保障。     

一种基于树结构的交互电视EPG发布系统

以有线电视网络环境下EPG信息的有效发布和获取为目标,本文将提供EPG信息服务的系统设备抽象为EPG业务节点,然后根据这些节点的逻辑层级关系提出了一种基于树形结构的EPG信息发布系统,实现了EPG信息的按区域、分层级发布和个性化定制。工程实践表明,该系统有效地解决了互动电视业务EPG信息的统筹发布,提高了Web业务系统的运营和维护能力。     

一种消息驱动的SOA 系统集成方法

针对企业SOA平台异构系统和服务的集成问题,提出了一种以Web服务为封装形式,消息队列为联系机制,软件管道为并行计算方案的的支持交互方式扩展的高性能松散耦合SOA系统集成方法。在应用层结合RPC原理、滑动窗口机制,引入商业并行计算软件管道技术,以消息驱动的方式实现了平台各系统间的服务同步/异步调用、并行事务处理以及拥塞控制,满足了业务交互和共享的需求。     

一种WEB服务发现与匹配方法

随着电子商务在互联网的飞速发展,Web服务近年来备受关注。企业可以在互联网上提供自己的服务业务,并且可以动态地将各个服务提供新的增值服务。然而问题在于所需的服务如何被发现。提出了Web服务的发现和匹配机制,给出一个匹配树算法来衡量发现与服务连接,以评估服务的重要性。     

IMS 重叠网络多路径传输内容分发机制

基于IMS的流媒体业务通常以集中方式为终端客户提供直播、点播等内容服务.然而集中式的服务模式并不能充分利用资源,还会因为流量过于集中而拒绝为更多终端提供服务,甚至会因为媒体服务器的失效而影响业务.提出了一种基于IMS重叠网络支持多路径传输的内容分发机制,在传统IMS网络中通过引入重叠网络实现资源的共享与分发,提高了网络资源利用率、降低了中心媒体服务器负载.实验表明与传统媒体服务器为中心的内容分发机制相比基于IMS重叠网络的内容分发机制具有显著优势.     

一种基于迭代学习的移动机器人轨迹跟踪控制方法

机器人迭代学习在某些场合下有着重要的应用。传统的P型或PD迭代学习需要较长的迭代过程,本文提出了一种具有快速收敛的迭代学习策略。在给出的轮式移动机器人运动学模型基础上进行了仿真,结果证明了策略的有效性。