【摘 要】
：
并发计算模型是理论计算机科学研究的重要领域之一.以π演算为代表的移动进程演算是目前并发理论的研究热点.互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家自然科学基金，国家高技术研究发展计划(863计划)，江苏省教育厅自然科学基金
论文部分内容阅读
并发计算模型是理论计算机科学研究的重要领域之一.以π演算为代表的移动进程演算是目前并发理论的研究热点.互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣.本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系.模型的优点在于它的普适性和开放性.
其他文献
为了在准确测量锅水碱度的前提下节约试剂,以煤粉工业锅炉的锅水为对象,研究了试剂用量和锅水取样体积对锅水碱度测量结果的影响。首先取样锅水100 m L,研究了酚酞和甲基橙试
介绍了多级安全数据库系统的推理问题,及用于推理的信息来源和方法策略;研究并分析了目前在多级安全数据库系统中推理问题的成果:推理的形式化,数据库设计中的推理控制技术,
为了准确测定高硫灰及渣中硫,研究了库仑滴定法和高温管式炉燃烧红外热导法测定高硫灰及渣中硫含量的方法及其影响因素。结果表明,灰的粒径对库仑滴定法和红外热导法测定的准
为解决生产系统切换速度慢、生产方式不明确等问题,上湾选煤厂根据生产需要和智能化建设的要求,归纳了主要生产方式,并对生产系统内的关键闸板进行改造,将闸板及配套液压站的
工作流技术是实现企业业务过程建模、管理、优化与重组,最终实现业务过程管理与自动化的核心技术.而分布式工作流技术的研究已经成为当前研究的热点.本文描述了分布式工作流
提出一种新的基于模糊逻辑的VBR视频流接纳控制算法.该算法通过对调度周期的在线调整,使得系统所剩的磁盘I/O带宽和缓存空间达到一种等量的动态平衡,从而大大提高了系统资源
现代网络中用户的行为以及网络结构不断发生变化,因而需要大量已标记的样本数据,用以动态更新入侵检测模式.但是通过手工方式标记学习数据集非常耗时,因此基于标记数据集的检
数字权利保护机制是数字版权管理(DRM)研究的重要内容.数字权利描述语言为权利执行提供了权利描述信息.本文首先通过权利信息描述和资源的元数据描述的整合提出了教育资源的
入侵检测系统是对防火墙的有益补充,大大提高了网络的安全性.本文试着将PKI技术引入到协议分析的入侵检测系统,用来增强系统安全性.