【摘 要】
：
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型.x-演算是一个通信机制与π-演算完全不同的
论文部分内容阅读
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型.x-演算是一个通信机制与π-演算完全不同的移动进程演算,它在π-演算的基础上进一步统一了两类受限名.在进程演算中,互模拟等价关系的一直是研究的中心.而符号互模拟方法则是开发验证互模拟等价的自动工具的理论基础.该文对带不等名测试算子的x-演算上的弱早开互模拟和弱迟开互模拟的符号互模拟刻画进行了研究,成功地对这两个弱开互模拟进行符号互模拟刻画既具有实际意义,也具有理论意义.从实际上来看,我们的工作为开发x-演算上进程互模拟等价关系的自动验证工具奠定了理论基础.从理论上来看,我们的工作说明了用现有的符号化的方法来研究x-演算是可行的,用符号化方法能够准确的区分弱互模拟等价关系（弱早开互模拟和弱迟开互模拟）之间的细微差别（早和迟）,为进一步研究符号化方法在x-演算上的应用做了初步的探索.
其他文献
目前，我国银行传统业务已趋成熟，邮政储蓄系统、会计系统等业务系统运行亦较稳定。开发以服务为主导的邮政储蓄中间业务系统，成为邮政盈利的一个重要手段。本文是在研究国内外中
计算机安全是系统的安全。随着黑客入侵事件的日益猖獗，人们发现只从静态防御的角度构造安全系统是不够的。入侵检测技术是继“防火墙”、“数据加密”等传统安全保护措施后新
该论文根据当前Internet上信息终端设备多样化的发展趋势,设计了一种基于网络集中计算模式的远程桌面控制协议,并以此为基础,详细描述了在Windows操作系统平台上开发远程主机
随着网络应用的深入普及，多个服务器系统的应用越来越广泛。负载平衡算法作为多服务器系统效率的决定因素之一，越来越为人们所重视，同时对负载平衡算法的要求也越来越高。在考虑
多媒体作业网上发布与批阅系统具有作业发布、提交与批改等功能,学生在不同时间不同地点就可完成作业,并查看作业的批改情况,同时还具备对作业资源库的更新与维护的功能,以多
随着生态环境的恶化以及其它的一些问题,全球范围内癌症的发病率一直持续上升尤其是中国。全球半数癌症病例在亚洲,而亚洲大部分的癌症患者集中在中国。大量的研究表明,许多
该文应用CTI(ComputerTelephonyIntegration)技术,设计了基于板卡的呼叫中心的接入单元部分的设计思想和实现细节,并把该系统应用到电子商务中.该文采用了分以的软件结构,将
该文采用CORBA技术,对分布式视频点播系统进行了深入仔细的研究.该文的研究目标就是利用CORBA技术所提供的特定服务和开发方法来实现高性能分布式视频点播系统,其中的核心问
JAPF(J2EE-basedApplicationFramework)是日本东芝提出的一种基于J2EE的企业级应用程序框架.评估和实现一个框架的价值的有效途径是实际应用,面向对象,基于构件开发是通用的
这篇论文主要介绍了一个基于IP的数字视频监视系统的设计和在设计过程中一些实际运用问题的解决。 本文针对固定场景、长时间的视频监控特点，提出一种监视对象状态变化的视