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