【摘 要】
：
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)，国家重点基础研究发展计划(973计划)
论文部分内容阅读
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在
其他文献
面对新兴媒体的挑战以及传媒格局的改变,广播媒体既有的影响力正受到明显的影响：移动群体兴起、手机、电脑等收听终端多样化,微博等信息平台的发展壮大,导致人们的选择性空前
<正>乡镇企业是当前社会主义经济改革一朵花!您要了解乡镇企业,知今宜鉴古,请也了解乡镇的历史,有必要一读我国古代乡镇历史黄金岁月的宋代草市镇历史的这本专著。本书三十万
数学源于生活，服务于生活，高于生活。数学教学活动要以学生酶发展为本，要把学生的个人知识、直接经验和现实世界作为数学教学的重要资源。从学生的生活经验出发，让学生调用、摄取
介绍了碳/环氧复合材料模压成型工艺特性和成型工艺过程,并从模压成型温度、压力和保温时间等工艺参数对制品性能的影响作了较为详细分析。文中还提出将基础理论分析应用于生
长江三峡,不仅有壮丽的自然奇观,而且还是一座天然的赏石艺术宝库、赏石文化的温床,它孕育出名扬天下、蜚声海外的三峡观赏石。长江卵石与清江卵石构成了三峡赏石资源的主体
一、朋友和我之间的故事起初,网络给予我的是一种强烈的神秘感,因为在我的生活圈子里,几乎天天都有人在谈论着网络,议论着网络,因此,在很早的时候,我便萌发了对网络的兴趣和
数学知识像海洋那样辽阔，像大山那样宏伟。一个人无论天资多么高，精力多么充沛，毅力多么顽强，学习条件多么优越，也不可能把所有数学知识学到手。有的同学总想学到一切，他们希望一串
中华民族精神是中华民族赖以生存和发展的精神支撑。当前,我国正处于经济全球化和全面建设小康社会新时期,开放多元的社会环境为高校大学生民族精神培育带来了机遇和挑战,一
合成了6种不同修饰度的聚丙烯酰胺疏水聚合物(PAM1~PAM6),考察了聚合度、共聚物片段含量及疏水基团大小等内部因素和聚合物的抗剪切能力、剪切恢复性及抗盐性等外部因素对这
小学班级管理对小学生的心智和认知水平都有着巨大的影响,有针对性地开展班级管理工作,促进班级管理水平的提升,对小学生今后的成长成才有重要意义。故对小学低年级班级管理