【摘 要】
：
移动计算是新兴的分布式计算范型,其主要特征是计算组件与计算场所能动态改变绑定关系, 表现出移动性,从而带来许多新的系统设计需求.从系统模型层次角度对位置、移动组件、
论文部分内容阅读
移动计算是新兴的分布式计算范型,其主要特征是计算组件与计算场所能动态改变绑定关系, 表现出移动性,从而带来许多新的系统设计需求.从系统模型层次角度对位置、移动组件、移 动和资源访问等移动计算核心概念,以及组件与位置之间的各种关系和关系变化刻画的移动 范型进行了描述.通过使用集合论和操作语义的规约规则形式地表示这些概念、关系和移动机制,进而抽象出移动系统设计所需的语言结构,为移动系统设计和开发提供了分析基础.“,”Mobile computing is a new computing paradigm. A main feature of this paradigm is dynamically changing the binding between com putational components and computational locations, which brings new requirements to the design of distributed systems. In this paper, an abstract model for mobi le component systems is proposed. Not only Location, Component, Mobility and Res ource Access as the basic elements of mobile systems are identified in the abstr act model, but modeling mobile systems by basic elements, relationships among el ements and relationship changes is also characterized. Based on set theory and o perational reduction rules, these elements, relationships and mobility mechanism s are specified in a formal manner. The analysis and formal specifications can b e applied to the design basis of mobile systems and their specification languages.
其他文献
July 12～15, 2001, London, Ontario, CanadarnrnrnURL: http://www.cscwid.org/ E-mail: cscwd2001@cscwid.orgrnrnrnOrganized by NRC-IMTI, University of West Ontario, U
由中国计算机学会数据库专业委员会(www.ccf-dbs.org.cn)主办、燕山大学承办的第1 8届全国数据库学术会议（NDBC 2001）将于2001年8月25～27日在中国秦皇岛市举行。本届会 议将为中
对核电站压水堆一回路用Z3CN20-09M铸造双相不锈钢进行400℃恒温加速热老化试验,持续加热时间分别为1000h和3000h,利用透射电镜(TEM)分析其在不同热老化时间下亚结构的变化,
水轮机的使用原理是通过循环水泵中的扬程趋动风机进行运转的,以此来取替风机达到最终的节能目的.以水轮机节能技术在石化行业循环水冷却塔中的应用为参考,对电动风机和单开
肱骨髁上骨折是临床常见的儿童上肢骨折,多见于3～12岁儿童,占全部骨折的50%～70%.骨折经保守或手术治疗后,常残留肘关节功能障碍,进而影响上肢功能,影响生存质量及发育.正确的早
［１］Ｔｒｉｂｏｃｏｒｒｏｓｉｏｎ ｂｅｈａｖｉｏｕｒ ｏｆＦｅ－１７ｃｒ Ｓｔａｉｎｌｅｓｓ ｓｔｅｅｌ ｉｎ ａｃｉｄ ａｎｄ ａｌｋａｌｉｎｅ ｓｏｌｕｔｉｏｎ，在酸和碱溶液中Ｆｅ－ １７ｃｒ不锈钢的摩擦腐蚀性能，Ｂ．Ｊｅｍｍｅｌｙ等 《Ｔｒｉｂ．Ｉｎｔ
[1] Tribocorrosion behavior of Fe-17cr Stainless steel in acid and alkaline solution, friction and corr
目的 观察杨氏3A+“肘五针”埋线针刀治疗肘尺管综合征临床疗效.方法 将112例肘尺管综合征患者随机分为治疗组60例,对照组52例,其中治疗组采用杨氏3A+埋线针刀特色疗法“肘五
第7届中国密码学学术会议拟定于2002年5月在山东省（具体地点另定）举行。rnrn一、征文范围rn会议重点征集密码学（数学的和非数学的）、信息网络安全的理论和关键技术方面的研究论
介绍了TaSi2及其复合材料的制备、性能及研究现状,并展望了TaSi2材料的研究及应用前景。
The preparation, properties and research status of TaSi2 and its composites a
通过Delphi5 0开发平台 ,利用可视化和面向对象技术以及数据和功能的模块化开发思想 ,依据国家标准及相应的行业标准 ,基于专家知识和经验开发法兰密封专家系统。该系统可以