关键词： 战略合作伙伴   CASIO   移动计算  

关键词： 通信业   信号   移动终端   移动通信   移动计算   微软   手机   联想   智能   融合   概念   电脑  

摘要： 相比微软的'智能手机'概念,联想的电脑手机ET108似乎是一款更具IT特包的移动终端.这也许就是联想和微软不谋而合的地方:一个移动通信和移动计算趋于融合的未来.

关键词： 移动计算   服务质量(QoS)   资源预留   模型模拟  

摘要： 近年来，无线通信技术和便携式设备制造业的飞速发展，降低了无线通信和计算机设备的费用，使得普通的用户也可以越来越容易地享受移动信息服务。 随着移动网络用户、移动服务领域与种类的不断增加，人们对服务质量(QoS)的要求也随之增加，特别是在一些移动实时应用中，如远程教学、视频会议和视频点播等，网络传输要满足带宽、延时、抖动、吞吐量等一系列QoS要求。一般的移动网络中并没有专门的机制保证QoS，只提供尽力而为或不可靠的服务。因此，只有移动网络中具备了QoS保障机制才能够满足人们对各种应用的需求。 本文在介绍移动计算的基本概念及其发展轨迹基础上，重点论述了移动网络环境下QoS研究中的一些基本概念、主要问题、研究内容和方法，并对该领域最近的研究工作进行了综述。 概括来看，移动网络中的QoS管理和控制主要包括环境识别、适应性管理、资源管理和资源预留。它们对实现高质量的QoS有着重要意义。为移动主机提供资源预留是一个挑战性的课题。资源预留协议(RSVP)能够为IP网络建立和维护资源预留，但它是为固定网络设计的，不能满足移动环境的要求。本文针对蜂窝网络通信系统，提出了一种资源预留协议RSVP-C，该协议不仅支持主动资源预留，而且支持被动资源预留。本文还提出了相应的资源预留路径建立方法、相应的消息结构以及路径程度控制算法，从而限制资源预留路径无限制增加。通过层次路由方式，可以利用已有的资源预留路径来建立新的资源预留路径，减少协议实现的开销。 为了评价协议模型的性能，我们还建立事件驱动模型，用马尔科夫随机过程对性能进行了模拟，并与已有的移动网络资源预留协议进行了对比。本文的研究结果表明，RSVP-C模型在通信单元数较多的情况下执行性能明显的优于已有的移动网络资源预留协议。 最后，本文总结了课题的研究成果，概述了下一步研究工作的方向。

关键词： 实时系统   数据传送   移动计算   进程代数   互模拟   可达性   模型检测  

摘要： 实时系统是一种要求反应或计算必须在规定时间内发生的系统。由于这些系统在工业及国防领域有着重要而广泛的应用，因此对这些系统进行形式化分析也成为近年来的一个研究热点。 随着社会的发展，尤其是网络的普及和应用，包括通讯协议和控制系统在内的越来越多的软件都以并发的方式运行，我们研究的就是这类带并发的实时系统。在对并发系统的研究中，传值和移动计算分别是两个不同的研究热点。在现有文献中，虽然对一些传统的基本并发系统都进行了实时扩充，得到了如Timed CCS，Timed CSP等实时演算，但尚未有能刻划实时传值系统的演算，而对移动演算，虽然有少数对π演算进行实时扩充的工作，但其语义是基于离散时间域的，并不能刻划时间在实数域上连续增长(流逝)等精确行为。 本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。 对于实时传值系统，本文的研究从计算模型与语义理论、分析与验证算法以及支持工具三个层面展开。在计算模型与语义理论方面着重探讨了带并发性的实时传值模型，定义了一个新的计算模型-时间符号迁移图(Timed Symbolic Transition Graph)，并建立了合适的语义理论。在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。为了有效地对连续时间进行表示和操作，本文针对通常使用的数据结构的范式化过程中出现的问题提出了一种新的信息消冗算法。在给出基本算法的基础上，我们构造了相应的验证工具-RealM，并在本文中给出了对限时重传协议进行的实例分析。 对于实时移动系统，本文对π演算进行了实时扩充，给出了实时π演算的语法和语义，并定义了该演算上的各种互模拟关系，以及相关的性质。本文不但证明了经典π演算的多数性质在新的模型下得到保持，还进一步给出了与时间有关的一些新的等式公理。最后，本文对实时π演算的一个有穷子集上的强实互模拟以及强互模拟均给出了完备的公理化结果。

关键词： 笔记本电脑   硬盘   PC   桌面   移动计算机   笔记本计算机   硬磁盘   磁盘   内存扩展   BIOS  

摘要： 对于桌面PC机,进行升级改造是非常轻松容易的事情,而在笔记本电脑上,这样的操作常常会变成一次艰苦的冒险。这里CHIP将为您逐步介绍,怎样用较少的花费,使老式的笔记本电脑重新焕发活力。

关键词： 英特尔   消费者   迅驰   CPU   移动计算  

摘要： 1月9日,英特尔在北京、上海、深圳等13个城市同时举行新闻发布会,推出第一个全新移动计算技术品牌——Cen-trino,即英特尔“迅驰”移动计算技术。据了解,迅驰品牌代表的是一类技术,整套技术包括之前开发的代号为Banias的CPU、Calexico芯片组以及IEEE 802.11a/b(Wi-Fi)无线网络功能。这是英特尔第一次将一系列技术完全整合到一个统一商标。“迅驰的意义就像索尼当时推出的随身听的意义一样,迅驰的推出代表新一

关键词： 迅驰   移动计算   英特尔   笔记本电脑   笔记本计算机   天下  

摘要： 三月春暖花开,万物复苏,也正是IT厂商频繁推出新产品的时候。这不,IT行业的巨头英特尔又一次吹响了冲锋号。作为移动计算领域里程碑性的代表作,“迅驰”的发布给本来并不平静的笔记本电脑市场又增添了新的紧张、刺激的色彩。

关键词： 英特尔公司   迅驰   企业信息平台   移动计算  

摘要： 今天的制造业要建立协作机制、提高效率.进而满足变革与发展的需要.就必须建立开放灵活的.具有强大处理能力和灵活使用模式的企业信息平台。开放的标准模式具有更高的性价比.企业可以更自由地在更多的软硬件和系统集成商中进行选择.并可灵活地对不断变化的业务与技术环境作出响应。全球著名的芯片制造商-英特尔公司不断探索计算能力的提升、以及使用计算/通讯方式的改变!在制造业信息化的转型中,基于英特尔架构的高性能服务器、基于英特尔迅驰移动计算技术

关键词： 茶餐厅   概念   思维形式   无线网络   英特尔公司   移动计算  

摘要： 2003年夏,位于北京白石桥地区的嘉和艺苑新概念茶餐厅,开展了“公众无线网络空间”的服务——所有带着笔记本电脑来餐厅就餐的人士,都可以利用餐厅的无线网络方便接入 Internet,以此实现集休闲、办公与一体的生活方式。此举为茶餐厅带来了新客人,也粘住了回头客。

关键词： 英特尔迅驰   移动计算   迅驰移动计算技术   笔记本电脑   笔记本计算机  

摘要： 早在今年1月,英特尔(Intel)就传出了"Centrino"的消息;3月12日,Intel 正式发布名为"迅驰"(Centrino)的移动计算技术,耗资高赏D\rD影片;不动产经纪人可在与买方共进晚餐的同时,查阅最新的清单资料;理财规划人员可在研讨会的现场浏览市场行情并帮客户下