基于时序逻辑的移动计算的形式方法分析

At present,mobile computing is widely considered as a new computing paradigm supported by advanced computational technologies.One of main characteristics of this paradigm is the ability to dynamically change the binding for hardware and/or software components,that is mobility. Although there are many languages appeared to announce supporting mobile computing,the requirements and features of this paradigm are still scarcely recognized.So a lot of research is being expanded on formal models and methods for mobile computing. In this paper,we analyze a temporal logic based formalism for mobile computing——Mobile Unity. At first,we summarize the features of mobile computing,and generalize that mobile systems should be decoupled,strongly-autonomous,context-dependent and owning new requirements for location-transparency.Then we introduce Mobile Unity,its extensions for U NITY from syntax to computational semantics,specially analyze the correspondence between the language structures of Mobile Unity and the abstraction of mobile features,such as location,mobility,transient interactions etc.At the end,we conclude its some deficiency for supporting mobile computing.     

移动Intranet计算模型

现有的Ｉｎｔｒａｎｅｔ计算不能支持移动计算。利用移动代理技术建立了移动Ｉｎｔｒａｎｅｔ计算模型．探讨了在Ｉｎｔｒａｎｅｔ上实现移动代理计算模式的若干问题。     

移动数据库技术和移动计算中的数据管理

移动设备和无线通信技术的快速发展,使得适应移动计算环境的新一代分布式数据库系统,即移动数据库系统迅速成为数据库领域新的研究方向。就移动数据库的基本概念和关键技术加以介绍,并介绍了几种移动计算中数据管理的机制。     

基于Mobile Agent的远程数据库访问模型

分析传统C/S计算模式应用于移动环境时产生的问题,针对移动应用的不同分类,构建相应基于Mobile Agent的远程数据库访问模型。讨论其原理和方法,给出实现算法,根据具体应用总结模型特点。实践结果表明,该模型可适应移动环境,正确性较高。     

移动云计算

智能手机、平板电脑和云计算都融合于一个新的快速增长的移动云计算领域。随着一种更移动的、钟爱设备的云环境的出现,在短短的几年时间当中,将会有1万亿云计算就绪的设备。以智能手机、平板电脑、Wi-Fi传感器为例,介绍了移动云计算平台和发展趋势。并阐述了移动云计算的关键技术,包括4G、HTML5和CSS3、虚拟机监控程序、Web 4.0等几个方面。     

移动计算安全性

1 引言安全性问题始终是开放系统中的一个核心问题,为此,国际标准化组织ISO曾对OSI环境(开放系统环境)的安全性作过深入的研究,并为其提出了安全体系的概念集。然而,随着移动计算技术的出现和广泛的应用,许多新的安全性同题出现了,给现有的操作系统、分布式系统管理、程序设计语言和中间件技术都带     

On Cost Aware Cloudlet Placement for Mobile Edge Computing

As accessing computing resources from the remote cloud inherently incurs high end-to-end (E2E) delay for mobile users, cloudlets, which are deployed at the edge of a network, can potentially mitigate this problem. Although some research works focus on allocating workloads among cloudlets, the cloudlet placement aiming to minimize the deployment cost (i.e., consisting of both the cloudlet cost and average E2E delay cost) has not been addressed effectively so far. The locations and number of cloudlets have a crucial impact on both the cloudlet cost in the network and average E2E delay of users. Therefore, in this paper, we propose the Cost Aware cloudlet PlAcement in moBiLe Edge computing (CAPABLE) strategy, where both the cloudlet cost and average E2E delay are considered in the cloudlet placement. To solve this problem, a Lagrangian heuristic algorithm is developed to achieve the suboptimal solution. After cloudlets are placed in the network, we also design a workload allocation scheme to minimize the E2E delay between users and their cloudlets by considering the user mobility. The performance of CAPABLE has been validated by extensive simulations.      

一种面向移动计算终端的几何压缩方法

鉴于移动计算终端具有显示屏幕小、对模型精度要求较低和处理能力相对较弱、处理高细节度的模型十分吃力,以及受带宽所限,需要对模型进行渐进传输等特点。而已有的几何压缩和简化方法又对移动计算终端的这些特点针对性不够,为此,围绕在移动计算终端上进行3维图形的显示,根据移动计算终端的特点,提出了一个实现过程简单、简化效率较高的几何压缩方法,同时提出了一个基于顶点相邻三角形单位法向量变化的边折叠几何压缩算法,并通过计算顶点相邻三角形单位法向量差值来识别出模型的特征点,提出了一个特征保留的策略。实践表明,完整的基于单位法向量变化和特征保留的边折叠几何压缩算法可以在保持模型外观的同时,有效地降低模型的规模。最后给出了该压缩方法在移动计算终端上的应用情况。通过用该压缩算法对模型进行预处理,实现了在移动计算终端上进行3维图形显示的这一目的。随着移动计算技术的发展,移动3维图形的应用将会越来越多,因此该压缩方法在移动3维图形计算方面具有较好的应用前景。     

一种面向移动计算的机密性与完整性模型

机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性.     

用于移动计算的软构件模型及其实现

提出了一个可上下文感知的用于移动计算环境的构件模型MCCM。首先讨论了用于移动计算环境的构件应具备的条件,然后提出了MCCM模型及其描述;接着给出了在Linux平台上的一个具体实现,并对这一实现进行了性能测试;最后同当前相关工作进行了对比,并指出了进一步的研究方向。     

Multimedia Multicast in Mobile Computing: Handoff Management

With rapid technological advances being made in the area of wireless communications it is expected that, in the near future, mobile users will be able to access a wide variety of services such as multicast distribution of multimedia streams. These services are characterized by the integrated processing of different media types, such as audio and video. Different multimedia streams must be played out in a synchronized way. However, due to the asynchronous nature of the communication (packets or radio), some problems can disrupt the synchronization such as delay jitter. In this paper, we present a synchronization protocol for multicast of multimedia streams. It allows a mobile host to playback continuously a multimedia stream. When a mobile host moves from cell to cell, the scheme allows continuous playback. The mechanism used is based on the pre-buffering of media units. We present a computation of the handoff time and a mechanism for the restoration of the initial buffer size. Simulation results show that, when resources are already reserved, the handoff time is bounded and the buffer takes again its initial size.     

移动环境中基于Mobile Agent的异步计算技术

本文提出了一种移动环境中基于Mobile Agent的异步计算技术，并在我们巳完成的宽带无线IP网络以及IBM的Ag1ets基础上实现了一个应用实例，实验表明这种技术是行之有效的．     

基于移动代理的网格计算

网格计算环境具有异构性、分布性、动态性、局域自治性等特点,针对以上特性,利用移动代理技术的网格计算方法,可以提供高效统一的应用接口,实现多编程环境下的协同应用求解,从而有效屏蔽其异构和分布等特性,动态适应其资源的变化。详细说明了基于移动代理的网格计算的体系结构和主要模块的功能,并阐述了移动代理的实现过程。     

移动计算中基于Mobile Agent的数据库访问技术

本文针对传统基于应用程序方式的数据库机制在移动计算环境中所存在的不足，分别提出了移动计算环境中基于Mobile Agent的集中式数据库和分布式异种数据库访问技术，并利用IBM开发的Aglets在一个宽带无线IP网络上进行了原理实验，实验结果表明这种技术在移动计算环境中明显提高了数据库访问的性能。     

面向移动计算终端的渐进几何简化方法

在移动计算终端上进行移动三维图形计算是一个重要的课题.针对移动计算终端屏幕小、计算能力低、无线网络带宽受限等特点,研究如何进行移动三维图形的渐进显示具有十分重要的意义.提出了利用Kobbelt四边形细分算法的逆过程迭代地进行简化的方法,通过迭代地把模型分割为奇点和作为简化模型的偶点,实现了对四边形网格几何模型的渐进式简化;提出了渐进显示的模式,通过把每一层的奇点作为可添加的细节信息,可以支持在终端上渐进显示不同细节模型并实现原模型的无损还原.完整的简化方法简单快速,可以高效地实现移动三维图形的渐进简化显示.最后在型号为Mio 336的PDA上的实验结果表明,研究成果在移动计算终端上进行实时交互等方面具有很好的应用前景.     

基于移动Agent的无线移动计算模型及应用

传统的分布式计算模型客户/服务器模型不适应无线移动计算环境,文中详细分析了扩展的客户/服务器模型及其存在的问题。在此基础上将移动agent应用到扩展的客户/服务器模型,无线移动计算的性能得到了改善。文中还分析了基于移动agent的无线移动计算模型的特点,其中最重要的一点是信息和服务完全分离。最后将基于移动agent的无线移动计算模型应用到移动电子商务系统,设计了一个产品电子交易的原型。     

移动云计算及其军事应用探讨

计算机与通信技术的不断融合促进了移动云计算的产生与发展。阐述了移动云计算的概念和实质,探讨了移动云计算的服务模型,指出了我国发展移动云计算的重要意义,提出了移动云计算在军事领域应用的几点设想,并对移动云计算用于军事领域进行了展望。     

一种基于移动Agent的分布式并行计算模型

针对传统的分布式并行计算方案所存在的缺点,提出了一种基于移动Agent技术的分布式并行计算模型。在简单介绍移动Agent技术后,给出了基于移动Agent的分布式并行计算模型,并详细叙述了该模型的具体工作过程和实现方案。模型设计完成后,用此模型来解决计算量很大的数值计算问题。首先利用数学工具分析设计出该问题的适合于分布式并行计算的方案,然后依照模型实现实验程序。实验测试表明根据该模型实现的分布式并行计算程序具有较高的加速比和并行效率,并有效地提高了分布式并行计算的稳定性、灵活性、可扩展性和移动性。     

基于移动Agent的无线移动计算模型及应用

传统的分布式计算模型客户／服务器模型不适应无线移动计算环境，文中详细分析了扩展的客户／服务器模型及其存在的问题。在此基础上将移动agent应用到扩展的客户／服务器模型，无线移动计算的性能得到了改善。文中还分析了基于移动agent的无线移动计算模型的特点，其中最重要的一点是信息和服务完全分离。最后将基于移动agent的无线移动计算模型应用到移动电子商务系统．设计了一个产品电子交易的原型。     

移动教育

移动计算被认为是对未来发展有最有影响的技术之一,文章探讨了移动计算对未来教育的影响,提出了未来教育的模式———移动教育的概念,并且分析了移动教育的特点,研究了移动教育的教育理论基础,探讨了移动教育的必然性。