移动Agent计算理论和形式化方法研究

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象.     

移动集群计算关键技术研究

随着集群和移动计算技术的快速发展及广泛应用,一种结合了这两种技术的新的计算方式——移动集群计算应运而生。分析讨论了移动集群计算的体系结构和实现移动集群计算的一些关键问题及解决方案。     

基于移动计算环境的GIS研究

数字移动通信、互联网的发展与整合,使移动计算很快成为主流计算环境,GIS作为IT行业最重要的信息技术之一,提供面向移动计算环境的信息服务是必然的发展趋势。本文首先介绍了GIS的发展历程,接着分析了移动计算环境的概念和特点,在此基础上讨论了在移动计算环境下GIS的主要发展方向和关键技术,最后以空间定位信息服务（LBS）为例研究了GIS在移动环境中的应用。     

移动计算环境下的数据挖掘研究

移动互联网正在给信息产业带来一场深刻的变革,移动计算将成为主流计算环境。数据挖掘技术已经成为一种将巨大数据资源转换成有用知识和信息资源,帮助我们进行科学决策的有效工具。本文分析了移动计算环境下数据挖掘技术的发展,包括发展方向和关键技术;给出了移动计算环境下的数据挖掘系统的模型和实现流程;提出了移动车辆数据流实时监视与挖掘系统的实现方案。基于移动计算的数据挖掘有效地解决了对异构数据库和全球信息系统的信息挖掘问题,它必将在新一轮的技术竞争中成为持续发展的增长点。     

嵌入式移动数据库及其应用问题研究

随着智能移动终端的普及和移动计算技术的发展,人们对移动数据实时处理和管理要求的不断提高,移动数据库逐步走向应用,嵌入式移动数据库越来越体现出其优越性。本文分析了移动数据库的发展现状、关键技术,研究移动数据库系统的基本特征,展示移动数据库管理系统深入发展和研究的前景。     

嵌入式移动数据库技术分析研究

分析了嵌入式系统和移动计算的特点及移动数据库的发展,分析了移动数据库在应用中的关键点,移动数据库管理系统应具有的基本功能等.最后,简单比较了当前主流嵌入式移动数据库的产品及其特点.     

移动计算环境下的数据挖掘研究

移动互联网正在给信息产业带来一场深刻的变革,移动计算将成为主流计算环境.数据挖掘技术已经成为一种将巨大数据资源转换成有用知识和信息资源,帮助我们进行科学决策的有效工具.本文分析了移动计算环境下数据挖掘技术的发展,包括发展方向和关键技术;给出了移动计算环境下的数据挖掘系统的模型和实现流程;提出了移动车辆数据流实时监视与挖掘系统的实现方案.基于移动计算的数据挖掘有效地解决了对异构数据库和全球信息系统的信息挖掘问题,它必将在新一轮的技术竞争中成为持续发展的增长点.     

基于移动计算的数据挖掘研究

提出了基于移动计算的数据挖掘的构思：分析了移动计算环境下数据挖掘技术的发展．包括发展方向和关键技术。     

移动教育

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

移动计算形式理论分析与研究

移动计算是在网络技术发展中涌现出的一种新计算范型,文章旨在从形式抽象的角度来认识移动计算的本质特点,文中分析了网络计算平台的综合特征,总结了移动计算范型的曲型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ,以及Ａｃｔｏｒ扩充模型,针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资     

Building mobile multimedia services: a hybrid cloud computing approach

Mobile multimedia services are in high demand, but their development comes at high costs. The emergent computing paradigm cloud computing has great potential to embrace these issues. In fact, we are at the early stage of the coalescence of cloud computing, mobile multimedia and the Web. Motivated by the tremendous success story of the Web based on its simplicity principles, we argue for a comprehensive review on current practices of web and mobile multimedia cloud computing techniques for avoiding frictions. We draw on experience from the development of advanced collaborative multimedia web applications utilizing multimedia metadata standards like MPEG-7 and real-time communication protocols like XMPP. We propose our i5CLoud, a hybrid cloud architecture, which serves as a substrate for scalable and fast time-to-market mobile multimedia services. This paper demonstrates the applicability of emerging cloud computing concepts for mobile multimedia.     

用于计算机教育的Android实验软件(英文)

In this paper,we address the need for better hands-on learning materials in computing education and the need for integrating mobile computing education into computing curricular.We propose an innovative learning approach that uses state-of-the-art mobile computing technologies and devices to design a highly accessible and real-world relevant hands-on labware for computing education.The labware employs a modular design such that the learning materials can both be combined together into a single course of mobile program development and be integrated into the related computing courses as building blocks.The labware will help students understand the concepts,improve their problem solving skills,and prepare them for the mobile computing industrial workforce.The pilot modules of the labware have been presented to undergraduate students and have received positive feedbacks.     

Data management issues in mobile and peer-to-peer environments

Mobile computing is a revolutionary technology, born as a result of remarkable advance in the development of computer hardware and wireless communication. It enables us to access information anytime and anywhere even in the absence of physical network connection. More recently, there has been increasing interest in introducing ad hoc network into mobile computing, resulting in a new distributed computing style known as peer-to-peer (P2P) computing. In this paper, we discuss the data management issues in mobile and P2P environments. The use of wireless communication makes the data availability the most important problem here, so we focus on the problem of data availability and provide detailed discussion about replicating mobile databases. Not only that, we extend our discussion to mobile–P2P environment. At the end, we discuss the general data management issues in P2P environment.     

Recent Advances in Mobile Grid and Cloud Computing

Grid and cloud computing systems have been extensively used to solve large and complex problems in science and engineering fields. These systems include powerful computing resources that are connected through high-speed networks. Due to the recent advances in mobile computing and networking technologies, it has become feasible to integrate various mobile devices, such as robots, aerial vehicles, sensors, and smart phones, with grid and cloud computing systems. This integration enables the design and development of the next generation of applications by sharing of resources in mobile environments and introduces several challenges due to a dynamic and unpredictable network. This paper discusses applications, research challenges involved in the design and development of mobile grid and cloud computing systems, and recent advances in the field.     

Provably secure authenticated key agreement scheme for distributed mobile cloud computing services

With the rapid development of mobile cloud computing, the security becomes a crucial part of communication systems in a distributed mobile cloud computing environment. Recently, in 2015, Tsai and Lo proposed a privacy-aware authentication scheme for distributed mobile cloud computing services. In this paper, we first analyze the Tsai–Lo’s scheme and show that their scheme is vulnerable to server impersonation attack, and thus, their scheme fails to achieve the secure mutual authentication. In addition, we also show that Tsai–Lo’s scheme does not provide the session-key security (SK-security) and strong user credentials’ privacy when ephemeral secret is unexpectedly revealed to the adversary. In order to withstand these security pitfalls found in Tsai–Lo’s scheme, we propose a provably secure authentication scheme for distributed mobile cloud computing services. Through the rigorous security analysis, we show that our scheme achieves SK-security and strong credentials’ privacy and prevents all well-known attacks including the impersonation attack and ephemeral secrets leakage attack. Furthermore, we simulate our scheme for the formal security analysis using the widely-accepted AVISPA (Automated Validation of Internet Security Protocols and Applications) tool, and show that our scheme is secure against passive and active attacks including the replay and man-in-the-middle attacks. More security functionalities along with reduced computational costs for the mobile users make our scheme more appropriate for the practical applications as compared to Tsai–Lo’s scheme and other related schemes. Finally, to demonstrate the practicality of the scheme, we evaluate the proposed scheme using the broadly-accepted NS-2 network simulator.     

移动云计算

在延伸云到网络边缘（终端）的趋势下,移动云计算正在成为一个新兴的云服务模型。它包括许多与用户密切相关移动设备。它们直接参与到很多云的工作中,使得云边界直接延伸到了整个物理网络系统中。在这篇文章中,我们将介绍什么是移动云计算,包括其范围,目前的发展和研究的挑战。     

云计算在移动通信网络优化中的应用探析

随着信息化、数字化时代的到来,科学技术不断地发展,通讯网络广泛应用于人们日常生活中。此外,移动通 信促进计算机技术的发展,网络技术推动了信息技术的发展。云计算的诞生,促进了移动通信网络的发展。本文主要介绍了 云计算,并根据当前移动通信网络优化的现状,创造性地将云计算与移动通信网络优化相结合。     

移动环境下基于移动代理的应用框架设计

随着网络技术的发展和移动设备的普及，用户希望能随时随地对资源进行访问。但是，由于移动网络连接带宽低且移动单元本身资源贫乏，移动环境为分布应用开发提出了新的挑战。移动代理技术以其节省带宽、异步性等特征，为移动计算提供了良好的解决方案。本文首先讨论了移动代理系统的设计，然后提出一个基于移动代理的移动应用框架
架，最后给出了相应的应用实例。     

移动云计算

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

Distributed computing paradigms for collaborative signal and information processing in sensor networks

In this paper, we report the development of an energy-efficient, high-performance distributed computing paradigm to carry out Collaborative Signal and Information Processing (CSIP) in sensor networks using mobile agents. In this paradigm, the processing code is moved to the sensor nodes through mobile agents, in contrast to the client/server-based computing, where local data are transferred to a processing center. Although the client/server paradigm has been widely used in distributed computing, the many advantages of the mobile agent paradigm make it more suitable for sensor networks. The paper first presents simulation models for both the client/server paradigm and the mobile agent paradigm. We use the execution time, energy and energy*delay as metrics to measure the performance. Several experiments are designed to show the effect of different parameters on the performance of the paradigms. Experimental results show that the mobile agent paradigm performs much better when the number of nodes is large while the client/server paradigm is advantageous when the number of nodes is small. Based on this observation, we then propose a cluster-based hybrid computing paradigm to combine the advantages of these two paradigms. There are two schemes in this paradigm and simulation results show that there is always one scheme which performs better than either the client/server or the mobile agent paradigms. Thus, the cluster-based hybrid computing provides an energy-efficient and high-performance solution to CSIP.