新一代开放系统及互操作性研究

经历 2 0世纪 90年代的持续实践 ,采用“开放系统”的思想来集成大型的计算机系统已成为技术界不争的事实。然而 ,技术的发展使得传统的开放系统面临严峻的挑战 ,需要新的标准、技术来使开放系统体现高度的智能协作性及移动性。基于完善的开放系统的实际形成有赖于“互操作性”的实现这一原因 ,以互操作性为研究对象 ,以移动agent为研究工具 ,探讨了新一代开放系统实现机制以及未来发展的前景。     

开放系统环境中全局安全系统的设计与实现

在开放系统环境中,由于节点分散,资源易于动用和管理者距远莫及等原因,系统极易受到各种非法操作和恶意攻击的影响.因此,安全性是系统的一个非常重要的问题.文中介绍了一种基于交易器的开放系统环境,分析了该环境中的安全需求和全局安全系统的结构;提出了适用于该环境中的全局安全系统的设计方案,并实现了该全局安全系统原型.     

适用于ODP环境的多级全局安全系统的模型

提出了ＯＤＰ环境的全局安全系统的格模型，给出了其中安全域的表示和构造；在这一格模型的基础上，悍出了多安全级的全局安全系统的模型，该模型将安全系统中的安全域划分成了不同的安全级，并结合层次结构对安全系统进行组织和管理。     

高可用证券实时监管中间件平台

证券市场的发展迫切需要相应的监管系统,以实时捕获违规操作.为了达到实时、可靠及高扩展性,以移动agent为基础,开发了高可用证券实时中间件监管平台.重点阐述了该平台的构成、实现过程,并给出实验数据以体现其优良特性.     

觉察上下文应用的开放式支撑环境的研究

设计和实现了普适计算中觉察上下文应用的开放式支撑环境———OCAenv.提出并探索了一系列的相关关键技术:觉察上下文功能层次模型、主体-类型模型、上下文服务统一模型、动态绑定机制、交易器联邦路由机制;设计了一个基于中间件的觉察上下文支撑环境OCAenv,包括pvcwCORBA、上下文服务、发现服务和动态绑定层.在以上工作的基础上,开发了一个觉察上下文应用WiW2,检验了原型OCAenv的各项特征.通过演示系统WiW2证明了本方案的实用性和开放性.     

实时分布式环境中动态调度服务研究

在分析中间件技术用于实时分布式系统所面临问题后,指出了在此环境中必须引入调度服务.比较了静态调度与动态调度的优缺点.根据目前国外对实时CORBA动态调度服务的研究,提出了一种面向实时应用的动态调度服务框架,并对其原理、行为和主要组成成分进行了探讨.     

基于Pi-演算的Web服务可替换性验证

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.     

虚拟环境交互技术研究

虚拟现实的研究已步入第三阶段。现阶段,VR作为未来理想的人机交互媒体对虚拟环境交互技术的研究提出了具有挑战性的要求;同时,也要求VR研究人员用系统的方法来开发虚拟环境交互技术。本文描述了虚拟环境中的基本交互任务和已有的交互技术,分析了交互技术的设计和评价方法,并为后续工作提出了一些研究方向。