【摘 要】
：
π-演算是九十年代计算机并行理论领域最重要的并发计算模型.该研究项目旨在用π-演算解释CORBA/IIOP环境下的操作过程.该文记录此项目的初步研究成果,即如何用π-演算来刻划
论文部分内容阅读
π-演算是九十年代计算机并行理论领域最重要的并发计算模型.该研究项目旨在用π-演算解释CORBA/IIOP环境下的操作过程.该文记录此项目的初步研究成果,即如何用π-演算来刻划CORBA/IIOP环境下涉及多供应商多网络平台的ORBs的分布式对象计算过程,重点是描述分布于不同网络平台的ORBs之间的互操作过程(即IIOP).该文的研究方法是协议分析.对一个非形式化描述的协议(CORBA/IIOP),忽略其一些琐碎的细节,提取出实质性的操作(分布式对象计算),用进程代数(π-演算)来刻划系统的结构和行为特性,从而给出CORBA/IIOP的π-演算语义.借助于这个高度简化了的π-演算模型,研究人员演示了CORBA/IIOP支持分布式对象计算这个性质,并且这个模型有助于理解CORBA/IIOP环境下分布式对象计算过程,有助于原型化CORBA/IIOP,有助于推导的CORBA/IIOP环境下分布式对象计算技术的一些新性质.
其他文献
网格是继传统互联网、Web之后的“第三个信息技术大浪潮”，网格以提供高质量的服务为中心、以资源共享任务协同为目的，旨在为科学研究、工业制造、日常生活等构建可信赖的高品
该文较为详细地分析了企业管理信息系统的研究现状,综合比较了管理信息系统发展过程中几种模式,将目前最先进的管理思想ERP与最科学的C/S/S信息系统结构创造出的融合为一体,
随着信息技术的迅速发展，特别是因特网的普及，网络设施和信息资源对于国家、企业和个人都是极其重要的，网络安全及入侵检测系统已成为计算机领域的重要研究课题。基于数据挖掘和
该文从词典的建立,分词的过程,系统地提出了一套基于多级内码和ATN网的分词方法.文章重点论述并模拟了分词的算法.该分词方法包括两部分:求解各种分解方式和对各种方式的切分
该论文研究的课题是基于Inter 80287体系结构的数值协处理器的IP研究与系统设计,最终完成的数值协处理器是自主设计和实现的.该论文在对Inter 80287体系结构分析研究的基础上
磁盘阵列技术广泛应用于提高存储系统的性能与可靠性。随着相关技术的进步，RAID基本技术已经不能满足更多的存储应用要求。开发不同存储结构和数据布局的磁盘阵列成为网络存储
该课题来源于邮电部的项目《图象彩色分类方法的研究》.图象彩色分类是地图计算机自动输入的一个瓶颈问题,完善的彩色分类方法,将大大降低这些地图自动输入识别的复杂性.从而
该课题是对计算机网络中压缩解压器的研究,主要用于提高远程计算机网络之间的通信束率.在该课题中提供了两种解决方案,并针对其软硬件的实现作了详细的论述.该课题中的压缩解
该文运用天然气藏工程原理,采用面向对象的程序设计方法,对天然气藏开采的动态预测、合理产量确定及钻井设计进行了系统分析与设计,完成了《天然气藏开发合理产量确定及井数
随着多媒体技术的发展和图象处理、模式识别的广泛应用,研究基于图象内容的检索具有重要的理论和应用意义.该文在分析了数字化图象处理基本理论的基础上,针对数字化图象检索