关键词： 手持   移动计算  

关键词： 移动计算   自适应检查   分布式计算机系统   容错  

摘要： Adaptive checkpointing strategy is an efficient recovery scheme, which is suitable for mobile computing system. However, all existing adaptive checkpointing schemes are not correct to recover system when failure occurs in some special period. In this paper, the issues that will lead to system inconsistency are first discussed and then a new adaptive strategy that can recover system to correct consistent state is proposed. Our algorithm improves system recovery performance because only failure process needs rollback through logging.

关键词： 3A访问   Internet访问模式   移动计算  

摘要： 随着计算模式的发展和变化,用户的访问模式也面临新的要求.在松散耦合和动态变化的网络资源空间里,需要给用户提供一种时间无关、空间无关和物理无关的访问机制,它被称为3A(Anytime、Anywhere、and on Any device)访问模式.该文通过分析3A访问的丰富含义和需求内容,提出Internet 3A访问模式的三个基本特征,即:持续性、移动性和适应性.并分别.总结和比较了支持这三种性质的多种解决方案及相关实现技术.

关键词： 信息资讯   北邮   烽火通信   标准化良好行为企业   通信行业   故宫博物院   博物馆   消费电子产品   行业动态   客户身份   营业厅   移动计算   皇冠假日酒店  

摘要： 行业动态2005中国无线技术大会巡展即将起航令人瞩目的一年一度的中国无线技术大会巡展首站即将于2005年4月5日在深圳威尼斯皇冠假日酒店拉开帷幕。大会巡展共分四站,依次为深圳、成都、南京和上海。大会得到了信产部无线电管理局和当地政府部门的关注和支持。据称,大会还特别开设了多个热门专题,其中包括无线局域网、宽带无线接入和近距无线等。大会将是一次非常具有教育意义的盛会,不仅会讨论移动计算、移动通讯和消费电器设备融合的短距离无线连接解决方案的演进,而且还将探讨推动发展的软件、硬件、市场趋势、服务和未来的发展方向。

关键词： 移动计算   数据库   数据复制   同步技术   冲突   多版本并发  

摘要： 嵌入式系统和无线通讯技术的结合,产生了一种全新的计算模式——移动计算模式。在移动计算模式下,用户使用手持计算设备,通过无线网络实现对信息的访问,不受时间和地点的限制,也不受运动方式的限制。在移动计算技术中,有一个很重要的分支,就是移动数据库技术。由于移动计算环境的特点,移动数据库必须支持计算平台的移动、网络条件的多样、无线通讯的频繁断接和有限的资源,这些都是传统数据库技术无法解决的,因此需要针对移动计算的特点研究新的方法。 为了更好的讨论移动数据库技术,本文首先对移动计算环境的特点进行了分析。然后对移动数据库中一些重要的概念作了简单的介绍。紧接着回顾了移动数据库发展过程中的一些重要技术。 在成熟技术的基础上,本文对冲突的产生、检测与处理进行了深入地讨论。先是针对读写操作造成的冲突的产生机制和可能的检测方式进行了讨论。随后根据冲突的不同类型,就冲突的分类方式提出了一些见解,并对每种可能方式提出了比较常用的冲突处理方案。 本文的核心是提高移动数据库系统的并发性能。首先分析了使用快照一级隔离级别的多版本数据库作为移动数据库系统的中央数据库的优势,并针对移动数据库系统对中央数据库的要求和多版本数据库的并发特点,提出了一种解决多版本中央数据库并发问题的方案,并对这个方案的有效性进行了分析。 此外,本文针对移动计算环境安全性、可靠性差的特点,特别提出了数据安全和故障处理策略,以提高移动数据库系统的应用性。 在最后,本文提出了一个完整的移动数据库系统的设计方案,在这个方案中,应用了前面提出的安全策略、故障处理策略和多版本中央数据库的并发策略。方案中给出了一个实用的移动数据库系统的所有实现细节和数据同步中每一步的细化流程图。根据本文中的移动数据库设计方案,本人所在的项目小组已经实现了一个实用的移动数据库同步系统,并成功进行了系统初始化和多用户并发的数据同步。

关键词： CES   展会   等离子电视   三星   移动计算   平板电脑  

摘要： 特色产品本次展会当然少不了传统硬件厂商,包括主板、芯片组、硬盘、光驱、显示器等新品为人们揭示出2005年上半年IT产品走势。其中值得人们关注的包括Intel推出新一代迅驰平台Sonoma,目前采用该平台的笔记本新品已经陆续发布,在CES2005上也有看到,比如东芝的Sat-elliteR15-S822平板电脑。而AMD显然不愿意让Intel在移动计算领域独好,也在本次展会上推出了自己的

关键词： 移动数据库   移动计算   移动事务   移动   断接   同步  

摘要： 近年来，随着计算机网络技术、无线通信技术以及半导体技术地发展，各种移动计算机，如笔记本电脑、个人数字助理(PDA)等得到了广泛地应用，极大的方便了人们的工作和学习。移动计算机的广泛应用和计算机技术的进步使人们在任何时间、任何地点访问所需信息的愿望成为可能，推动了移动计算技术的发展。移动计算技术与数据库技术相结合，进一步满足了人们对移动信息访问的要求，产生了移动数据库应用系统。移动数据库应用系统是传统分布式数据库系统的扩展和延伸，具有完全不同于分布式数据库系统的特征，因而，移动数据库应用系统的事务处理也不完全等同于传统意义上事务处理，必须采用不同的技术和策略。研究移动事务处理技术和策略，对提高移动数据库应用系统的可靠性、可用性等方面具有重要意义。本文从移动数据处理的应用需求出发，分析了移动数据库系统实现的物质基础以及移动数据库系统的特征，介绍了移动数据库应用环境的关键技术。在此基础上，重点分析了移动事务处理的特征，提出了动态移动事务处理模型，介绍了该模型所采用的事务处理技术和协议。最后，分析了移动事务处理系统的典型应用领域，介绍了现有的商业移动数据库系统以及移动事务处理系统的设计等相关问题。

关键词： 笔记本电脑   TVT   笔记本计算机   移动计算   迅驰技术   IBM ThinkPad T40   用户  

摘要： 措助迅驰技术,IBMThinkPadT40笔记本电脑拥有了适中的体积和重量,同时它还整合了各种TVT(ThinkVantageTechnology)技术和TVT设计,集多重安全特性于一身,成为一代笔记本电脑设计的典范。

摘要： 4月21日,惠普在泰国曼谷宣布了其2005年亚太移动战略和计划,并推出了一系列新的移动产品.此次推出的新产品将进一步推动企业以及消费者连接方式的转型,使企业和消费者都可以更加安全、无缝地连接,分享数据内容、信息和服务,从而提高工作效率.

关键词： 传值系统   移动计算   进程代数   模型检测   传值CCS   移动界程   状态爆炸  

摘要： 并发理论研究并发现象,即多个独立运行的计算主体(进程)相互间通过交换信息(通信)实现协作,以共同完成预定的任务的计算现象。自六七十年代起各种并发理论相继提出并得到广泛研究,例如,Petri Net、进程代数、模态逻辑等。本文的工作主要集中于传值进程理论和移动界程理论上。 模型检测是一种针对并发系统的自动分析与验证技术。其基本原理是用状态迁移图S表示要分析的系统,用模态/时序逻辑公式φ描述要检查的性质。系统是否具有所要求的性质就转化为S是否满足φ,对有限状态系统这个问题是可判定的。和其他验证方法(如:模拟、测试、机器证明等)相比模型检测方法具有两项突出的优点:其一,验证过程完全自动化:其二,当抽象模型不满足逻辑公式时,检测工具会自动产生一个反例来说明为什么不满足,以用于查错和修改。 本文的研究工作主要由传值系统的模型检测方法和移动系统的模型检测方法两部分组成。 在传值进程系统中,本文的工作主要包括三方面:首先本文讨论谓词μ演算和模态图之间的语义等价问题。模态图是谓词μ演算的一种图形表示形式,它的提出是为了克服线性谓词μ演算公式复杂难懂,不利于机器处理的缺点;将谓词μ演算应用到传值进程的模型检测中。本文通过定义嵌套谓词等式系来建立两者之间的联系。提出了从文本公式到模态图的转换算法并证明了转换的正确性。其次,本文研究了传值进程模型检测中诊断信息的生成问题,引入两种有效的诊断信息表示结构:证明图和示例;提出了相应的诊断信息生成算法并予以实现。此外,为了对付模型检测的状态爆炸问题,本文研究了弱谓词μ演算和弱互模拟之间的关系。定义基于STGA的惰性迁移的概念,并证明惰性迁移的前后状态是弱互模拟的,并且在象有限的模型下,它们满足相同的弱谓词μ演算性质。在此基础上提出了传值进程模型检测的一种偏序归约方法,并将该方法集成到已实现的自动检测工具中。 在移动进程系统方面,本文的工作主要是实现了移动界程的模型检测系统。主要工作包括提出移动界程的底层de Bruijn表示;并将其应用到有限控制移动界程的范式表示上,提出了移动界程的有效的底层表示方法。在此基础上实现了带不动点算子的界程逻辑的模型检测算法。该工具是首个能检测带递归性质的移动界程模型检测系统。