【摘 要】
：
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动
论文部分内容阅读
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在"进入时检查"这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代
其他文献
动态调压算法能够降低系统功耗，可用来降低CPU发热量、延长电池供电系统的工作时间．然而，现有动态调压算法均不允许进程进行资源操作（申请或释放资源），这在实际应用中是难以满足的．
敦煌壁画中的高僧坐具,从箱形榻式高座发展到椅式高座,说明佛教在中国化的进程中,不断学习、借鉴华夏固有的用具以融入当时社会。椅子输入中土,又经过僧俗大众的改造,椅式高
详细分析了Stanford大学提出的ROME上下文事务触发模型,指出了其运用于普适计算中的不足.针对其不足,提出了新的触发模型-CTMPC,并对其结构和功能进行了阐述,新的模型可以支
目的采取中西医结合治疗巨细胞病毒性肝炎，并与传统方法对照，观察其各自疗效。方法将无黄疸型58例和黄疸型52例患儿按病历号单、双数分为观察组52例和对照组58例。观察组中无黄