基于移动计算的移动Agent技术研究

为了解决移动、断接、切换、电源失效等导致的移动计算可用性问题,针对移动计算特征和环境,阐述了有效的移动Agent体系结构,论述了移动环境下移动Agent的行为,集成负载均衡的Fork-Merge算法和预先认证等机制,以及应用移动Agent架构和移动计算的移动Agent中间件层次模型.分析表明该移动Agent体系结构能提供有效的移动计算服务.从而提供了一个良好的确保移动应用持续性的基于移动Agent技术的解决方案.     

对等计算中的基于多移动Agent的协作联盟机制

对等计算技术为Internet这样开放式的、动态变化的网络环境里各节点间的协同工作,进行复杂的分布式业务处理提供了运行基础设施。但是P2P环境中各节点随机加入和退出网络的、工作承担者事先不确定等特点也为工作的顺利完成带来了困难。该文提出一种对等计算环境中基于多移动Agent的柔性的、动态的协作联盟机制,适合部署于复杂、多变的应用环境之中,以克服对等节点协作的困难。主要思想是在某一需求目标的驱动下,主导节点建立项目,经过工作主体遴选,形成暂时的、优化的协作联盟,在复杂的处理流程的规范下,基于合作承诺,联合完成项目设定的任务。该文还将该机制应用于构建虚拟的敏捷企业供应链管理原型系统,以此证明了该机制的实用性价值。     

基于移动Agent的网络管理分析

随着我国网络技术水平的飞速提升,网络被逐渐应用到生产生活的方方面面,人们对网络技术发展的关注度及使用需求度也逐渐提高。虽然现阶段计算机行业对网络技术应用的研究较为成熟,但针对网络管理模式升级与优化的研究却相对较少。传统的网络管理系统大多数都采用了集中式的管理模式,这种管理模式具有灵活度低、数据处理受限、占用带宽等方面的不足,而新兴的移动Agent技术恰巧弥补了传统网络管理中的问题。移动Agent具有信息移动、自主执行、并行操作等特点,能较好地满足现代网络发展的需求。为了提高网络管理的安全性和可靠性水平,全面优化现阶段网络管理中的不足之处,文章针对网络管理的定义、移动Agent的技术特点、技术难点等问题展开了讨论与探究,并对基于移动Agent的网络管理结构进行了描述,以期为移动Agent技术在网络管理领域中的应用等相关工作提供指导。     

移动数据库中移动Agent技术的应用与研究

目前，移动数据库技术的研究与应用是数据库领域和移动计算领域的一个研究热点。首先介绍了移动数据库和移动Agent的特点，分析了基于移动Agent的移动数据库体系结构，最后提出一种基于移动Agent的移动查询处理模型并叙述了其实现过程。     

移动边缘计算的计算卸载技术分析研究

计算卸载作为移动边缘计算的关键技术之一,对于提升移动边缘计算实现节能、降低时延和改善用户体验等方面,起到关键的作用.本文围绕移动边缘计算的计算卸载技术进行分析研究,首先介绍了计算卸载概念和主要特征;并就移动边缘计算的计算卸载实施步骤和计算卸载系统分类进行阐述;然后针对计算卸载关键技术中的3个重点研究问题进行了详细分析;最后,对研究工作进行总结.     

移动边缘计算的计算卸载技术分析研究

计算卸载作为移动边缘计算的关键技术之一,对于提升移动边缘计算实现节能、降低时延和改善用户体验等方面,起到关键的作用.本文围绕移动边缘计算的计算卸载技术进行分析研究,首先介绍了计算卸载概念和主要特征;并就移动边缘计算的计算卸载实施步骤和计算卸载系统分类进行阐述;然后针对计算卸载关键技术中的3个重点研究问题进行了详细分析;最后,对研究工作进行总结.     

移动计算环境下的移动数字图书馆

随着信息时代的到来,人们提出了随时随地访问信息的要求,移动计算作为计算技术与无线通信技术的结合产物应运而生。文章从移动计算技术入手,研究移动数字图书馆系统的构建。首先介绍了移动计算技术,然后介绍了基于移动计算环境的移动数字图书馆建设及服务,将对信息技术环境下构建自由、个性、多元的移动数字图书馆产生积极影响。     

基于XML和移动Agent技术的电子商务

本文分析了传统电子商务的局限性，从而引入XML和移动Agent两种技术到电子商务中，以实现一种更高效、更省钱、更省力的新型电子商务。     

移动计算环境下的移动数字图书馆

随着信息时代的到来．人们提出了随时随地访问信息的要求．移动计算作为计算技术和无线通信技术的结合产物应运而生。本文从移动计算技术入手．研究移动数字图书馆系统的构建。首先介绍了移动计算技术．然后研究了基于移动计算环境的移动数字图书馆建设及服务,将对信息技术环境下构建自由．个性、多元的移动数字图书馆产生积极影响。     

基于移动Agent的远程教学系统的研究

网络的快速发展使得现代远程教学越来越得到广泛的应用,给广大的师生带来了方便。但是目前远程教学系统存在一些问题和不足之处,针对这些问题研究了基于移动Agent的远程教学系统,并进行详细设计。这种远程教学系统大大地增加了远程教学系统的高效性、可靠性以及智能性,很好地弥补了现代远程教学系统的许多不足之处,较好地满足了现代远程教学的需求。     

移动基站建设流程与方式探讨

针对目前存在的实际站址与规划站址相差较大的问题,给出了一些建议。首先要建立多方负责的管理制度,避免由于工程建设周期压力而忽视网络规划成果;其次要采用多种手段方式,从站址获得、设备选型、美化天线等几个方面,灵活建站,提高实际站点与规划站点的吻合率。     

SMT-Based Symbolic Encoding and Formal Analysis of HML Models

Hybrid system is a dynamic system that involves continuous, discrete behaviors, and the interactions between continuous physical components and discrete controllers. In this paper a hybrid modeling language (called HML) for hybrid systems is extended with templates to achieve code reuse. For the formal analysis of the corresponding hybrid system models in this modeling language, these models are translated into SMT (satisfiability modulo theories) formulas as the input to an SMT solver dReal which retains the capability of bounded reachability analysis for non-linear hybrid systems. Moreover, dReal can produce data for potential traces of hybrid systems, thus it can be employed to simulate on hybrid systems. In this paper the simulation and reachability analysis are integrated in a prototype tool (open source). We present a case study for an inverted pendulum with PID (Proportional-Integral-Derivative) controllers and a rod reactor system for temperature control, both are verified to demonstrate the efficiency of the prototype tool. We conclude that, this modeling language is capable of modeling and verification of hybrid systems based on simulation and bounded reachability analysis.     

移动代理完整性协议形式化分析方法研究

 本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.     

移动边缘计算的需求与部署分析

4G网络架构难以满足5G的大容量、大带宽、大连结、低延迟需求,于是ETSI(欧洲电信标准化协会)提出移动边缘计算的概念。首先分析移动边缘计算的概念以及应用后给网络带来的性能提升;其次解析移动边缘计算服务器部署的位置,以及不同的应用场景相应的最佳部署位置;列举其典型应用场合,包括移动视频、车联网、增强现实、监控视频等。     

关于移动云计算的几点思考

认为云计算正在从炒作进入理性发展阶段,但仍然面临不少有待解决的问题。基于此,探讨了发展移动云计算所面临的一些关键问题,比如对移动性的理解和分工,信任体系如何建立,存储介质的寿命,软件定义可靠性以及商业模式的未来等。指出对这些问题的探讨可以加深对云计算未来发展的理解。     

移动边缘计算组网与应用研究分析

文章对移动边缘计算进行了研究,阐述了移动边缘计算组网的作用,并对移动边缘组网节能性进行了分析,旨在为相关人员提供参考,积极推动移动边缘组网的可靠运用,提升组网效果,保证移动边缘计算组网的应用质量,提高信息通信质量,满足实际通信需求。     

提高移动通信基站市电可用度的措施

本文首先介绍了广东省范围内移动通信基站的市电供电情况，然后对惠州地区的某些基站蓄电池使用后出现的损坏情况进行了分析，找出了导致损坏的原因，提出了解决方法。     

数据库形式化安全策略模型建模及分析方法

伴随着互联网的兴起,逐渐在数据库的安全建设中存在着很多问题。大多数的人都对网络不太了解,越来越担心自己的个人隐私被泄露以及数据库安全模型策略中难以发现的细小瑕疵,文章就针对数据库的安全建模策略进行分析建设,以更具体地了解数据库的安全策略。