论文部分内容阅读
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进--鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余关系.同时,作为上述工作的应用,给出了一些重要进程等价性定律的简洁证明.
鲁棒环境演算中的互模拟同余关系
【摘 要】
：
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进--鲁棒环境演算,提出了一
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
南京大学学报：自然科学版
【发表日期】
：
2005年2期
【基金项目】
：
国家重点基础研究发展计划(973计划)，中国科学院资助项目，国家高技术研究发展计划(863计划)，江苏省自然科学基金
其他文献
中石化集团天津石化公司宣布，将引进巴塞尔Spherizone技术，在天津大港建造年产45万t的聚丙烯生产线，计划于2009年开工建设。截至目前，天津生产线是第八条使用Spherizone技术的生
作者根据自己的研究资料，介绍了同功酶在研究树木遗传结构，种子园授粉特性，以及鉴别树种和无性系等方面的问题，并对这一方法的优点和局限性作了简单的讨论。
本文介绍了多型腔注塑模流动平衡的计算公式,利用流道树形结构的拓扑关系,采用类后序遍历算法得出各级流道的相对值,并在聚合物幂律模型的基础上提出了改善流道尺寸,合理提高
<正>近日阅读了上海音乐学院孙国忠教授的新书《向交响乐传统致敬》(广西师范大学出版社,2017年),感触颇深。这部文集收录了作者学术性写作之外的谈音论乐的文章40篇,其中一
目的观察补肾活血方联合低分子肝素治疗非经典产科抗磷脂综合征复发性流产患者的抗体转阴率及活产率,为临床诊疗提供依据。方法将2015年1月~2016年12月于浙江省立同德医院生
结合具体的桥梁工程,对钢纤维混凝土设计、几何参数的选取、钢纤维体积率选用以及具体的施工过程进行探讨,提出了钢纤维材料的选取要求和操作性强的技术措施,从该桥梁工程实
在全球经济一体化发展背景下,民宿旅游产业的发展速度正不断加快,发展规模也持续扩大,民宿产业的发展不但能够为当地旅游产业发展提供重要动力,还对带动地区经济发展起到了关
地球相对适宜的平均温度为15℃，这种动态平衡显然已被打破，全球加速变暖已是不争的事实。在影响地球环境变迁的天-地-人三大因素中，天和地的作用是客观的、决定性的、不可逆的；生
<正> 一九八二年八月五日凌晨三点钟,北京市密云县大城子公社苍术会大队汗峪沟发生了暴雨泥石流,危及汗峪及鳌鱼沟两个生产队,共冲毁耕地110亩,房屋46间,有9户的院墙倒塌,冲