【摘 要】
：
程序语言有两类:一类是函数语言,一类是并发语言.相应的计算模型也可以分为两类,顺序计算模型和并发计算模型Pict是一种基于π-演算的高级并发程序语言.该文利用形式化的方法
论文部分内容阅读
程序语言有两类:一类是函数语言,一类是并发语言.相应的计算模型也可以分为两类,顺序计算模型和并发计算模型Pict是一种基于π-演算的高级并发程序语言.该文利用形式化的方法对pict语言的语义问题及其代数性质做了系统深入的研究,主要贡献有以下几个方面:1.对Pict语言的核语言进行了系统深入的研究,给出了Pict语言的核语义.2.研究Pict语言的描述能力,对于Pict语言如何描述复杂条件语句,提出并定义了带不等名测试算子的π-演算.3.研究证明了带不等名测试算子的π-演算的强Barbed互模拟和弱互模拟关系,并给出了弱同余的公理化系统.4.以π-演算为模型,改进Pict核语言的语法和语义.
其他文献
嵌入式系统是以应用为中心，以计算机技术为基础，软硬件可剪裁的专用计算机系统。近十几年来，嵌入式系统的发展异常迅速，而嵌入式操作系统作为嵌入式系统的核心，其应用也越来越广泛
早在19世纪末，当交流电以一种新兴的动力形式出现时，人们就发现了系统中电压、电流存在畸变的问题。随着近代工业的不断发展，电力系统中各种负荷不断增加，特别是非线性负荷的增加，使得电网中谐波的畸变越来越严重，甚至已经达到了危害电力系统本身及其各种用电设备安全运行的程度，谐波的研究和治理已经成为一项的重要研究课题。目前此课题包含的内容主要有：电力系统谐波潮流计算、非正弦电量的测量方法和测量装置的研究、无
在制造业的生产管理方面,按照单项目无能力约束的批量生产计划制定的计划方案在实际执行过程中效果不是很理想,其中主要的原因是所作的批量计划方案超出了正常生产能力.有限
企业在信息化过程中开发了许多面向特定功能，基于不同技术的应用系统。如何将这些应用系统进行集成，从而在企业中实现资源共享、业务自动化、提高效率和降低成本，对于企业有着特
处于信息大爆炸时代的现代信息社会,大量的短文本正以迅猛的势头闯进了人们的生活中。短文本的形式有很多,比如,email,微博,手机短信,新闻标题摘要,书评及影评,产品介绍及评
随着计算机以及网络技术的发展,在计算机集群中采用并行的分布式计算方式提高计算处理能力已经成为发展趋势。云计算(Cloud Computing)的一个最主要的优势就是它的强大的并行
东北大学开发的嵌入式设备——Webit2.0采用的是8位AT90S8515微控制器,其程序空间仅有8KB Flash、512 Bytes SRAM.该文所研究的内容是为Webit2.0提供嵌入式系统软件和用户应
该文详细叙述了东软数字医疗公司的双层及多层螺旋CT机高速数据传输系统的设计过程.新的数据传输系统建立在PCI总线之上.系统的核心功能是通过PCI I/O加速器芯片PCI-9054实现
该文首先介绍了数据挖掘的概念和背景知识以及数据挖掘中的新兴领域——多媒体数据挖掘的方法和理论.接着针对多媒体数据挖掘,结合作者的实践,介绍了一个基于web的多媒体数据
该文主要利用数据挖掘中的分类技术——决策树和面向属性规约的方法分别处理数据仓库中的数据和Web的日志文件.对数据仓库中的数据进行处理,是从海量的数据中发现其中蕴涵的