基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

基于SIP的事件通知模型设计

SOAP协议提供一种新的RPC手段,有助于实现事件通知,在一定范围内能改善CORBA／DCOM技术的不足。文章分析了CORBA／DCOM的局限性,在该基础上提出了一个新的事件通知模型,并结合实例深入分析了如何运用SIP和SOAP构造事件通知系统。     

SOA和Web Service的区别

SOA(Service Oriented Architecture)技术无疑为下一代企业分布式架构的趋势,但是很多人目前还无法准确把握SOA的概念。本文旨在帮助读者认清SOA与Web Service(Web服务)的本质区别。文章从分布式计算的发展历程出发,说明Web Service与SOA的出现背景及本质区别。     

油气工程师助手（PDA）移动代理平台的研究与实现

移动计算被认为是对未来最有影响的四大技术方向之一,它使得计算机或其他信息设备在没有与固定的物理连接设备相连的情况下能够传输数据,将有用、准确、及时的信息能提供给在任何时间、任何地点需要它的任何用户。而移动代理是唯一能满足移动计算全部要求的体系框架。为了更好地支持便携式设备上Microsoft的WinCE平台的移动计算,设计了一个基于C＋＋的支持Windows操作系统的企业用移动代理系统——WinMAS,首次提出了基于编译性语言上的新移动代理迁移机制——利用RPC的序列化和远线程插入机制。     

基于RPC机制的容错计费系统的设计与实现

网络计费管理是商业化计算机网络的重要网络管理功能.随着Internet商业化进程的推进和企业Intranet的广泛发展与应用,人们对网络计费管理的需求越来越迫切.对计费系统的一个基本要求就是高效、可靠.文章提出了一个基于RPC通信机制的容错计费系统FTCharge(fault-tolerant charge).在简述了计费的基本依据和原理以后,着重论述了FTCharge的总体结构和多容错机制的实现.     

中间件技术研究

介绍了中间件技术,讨论了中间件的分类,比较了不同中间件技术之间的特色和不足。重点介绍了基于PRC和面向对象技术的中间件机制的工作原理。     

SOAP中的远程过程调用

为了实现异构系统的互操作,进而构造Internet环境的高适应性的统一计算环境,介绍了利用SOAP进行远程过程调用的方法,并比较与其它近似目的的方法的优劣。     

客户机／分布式服务器系统模型中的RPC通信设计

本文详细给出了客户机／分布式服务器系统模型中RPC通信的设计,其中包括客户机／分布式服务器系统模型的提出、基于该模型的RPC通信设计要解决的问题、该模型下RPC通信的设计思路、设计框图、设计对服务器方RPC应用程序的要求、接受客户机调度请求的服务器地址的指定、设计中涉及的关键问题及解决方法等。     

基于SOAP协议的XSOAP系统设计与实现

针对当前分布式网络应用支撑系统的平台限制、防火墙约束和难于掌握等局限,提出了一种跨平台的基于SOAP协议的分布式计算支撑平台XSOAP系统。介绍了系统的实现原理、组成部件和功能结构,描述了采用XML消息结构基于HTTP传输的实现,分析了系统的实现框架和数据流程,并对利用JAVA语言解决XML消息数据和实际数据编码之间的转换以及RPC调用实现做了详细的阐述,实现了对分布式计算的强大支持。     

IKONOS卫星图像的快速三维场景重建

IKONOS卫星立体像对一般经过图像匹配,采用RPC模型,通过繁杂的多项式迭代获取DEM,实现三维重建,其计算花费很大。在对城市三维重建时,认为城市局部的地面是平坦的,有近似相同的海拔,城市的三维信息集中就是建筑物的三维信息,针对IKONOS影像的特点,利用几何光学成像模型快速计算同名点的相对大地坐标,实现城市场景的快速三维重建。实验结果表明,场景重建结果有较好的精度,满足观测和处理的需求,实现了快速处理和分析环境数据。