【摘 要】
：
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,
【机 构】
：
上海交通大学电子信息学院,上海交通大学电子信息学院
论文部分内容阅读
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是"真正并发"的又是"交互"的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得π-网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π-网N,都存在一个π-进程P,在π-网与π
其他文献
本文主要介绍了地铁车辆空气制动系统所配置的空气干燥器的工作原理、常见故障及对策,对深入了解制动系统,有效解决现场问题提供有益的借鉴。
传统计算机免疫系统检测器训练效率低下，自体／非自体定义缺乏动态的演化机制，适应性较差，不能满足真实网络环境下网络监控的需求．有鉴于此，该文提出了一种新型的基于免疫的网络监控
本文采用现代质量管理风险评估设计手段,分析并确定风险源等级,从而制定对策。通过国高网莆炎高速岐山特长隧道设计的具体案例,针对工程存在的通风、洞口失稳、地应力、塌方
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的
提出了一种新的寄存器重命名机制——两级分配多可用重命名寄存器,简称2L-MuRR,其特点如下：（1）对重命名寄存器文件（RRF）的占用要经过两级重命名和分配过程,减少了无效占用时间.（2）RR
描述了1个新种,即安徽苦草,并提供了该属全部已知国产种的分种检索表。
本文使用光学显微镜和扫描电子显微镜对等片灌属Ｄｉａｔｏｍａ的６个种；冬季等片藻Ｄ．ｈｉｅｍａｌｅ（Ｒｏｔｈ）Ｈｅｂ．、巨大等片藻Ｄ．ｍａｘｉｍｕｍ（Ｇｒｕｎ．）Ｆｒｉｃｋｅ、中型等片藻Ｄ．ｍｅｓｏｄｏｎ（Ｅｈｒ．）Ｋｕｅｔｚ．、念珠状等片藻Ｄ．ｍｏｎｉｌｉｆｏｒｍｅ Ｋｕｅｔｚ．、纤细等片藻Ｄ．ｔｅｎｕｅ Ａｇ．、等片藻Ｄ．ｖｕｌｇａｒｅ Ｂｏｒｙ及其下的４个变种作了研究，并讨论了它们的
本文以普通国省干线公路联六线明溪县境二期工程白岚至白叶段公路工程初步设计的总体设计及路线方案比选为例,针对我省山区公路项目的特点及难点,重点介绍特殊路段路线方案的
本文以何家坡水库现场滑坡治理为工程背景,结合滑坡工程实际情况,对水库滑坡体进行了稳定性计算分析,采用了抗滑桩治理方案,并阐述了抗滑桩的设计及计算原理,对山区高速公路
本文以S203省道水泥路面＂白改黑＂改造工程为背景,从路面结构方案设计、原材料试验评价、混合料设计及性能评价验证、试验段铺筑等方面进行试验研究,创新性的提出了水泥路面＂白改