基于智能天线的移动通信系统容量分析

在基站采用智能天线的情况下,从理论上分析了GSM系统和CDMA系统增加容量的机制,给出了两种系统容量增加的一些定量计算结果.计算结果表明,两种系统的容量都能得到成倍的增加,其中CDMA系统容量增加更为明显.     

基于不同天线阵列的移动通信系统下行波束设计

针对基于阵列天线的移动通信系统,讨论不同模型下的下行波束设计方法,并对圆天线阵列和直线天线阵列进行计算机仿真.仿真结果表明,圆天线阵较适合开关多波束设计,直线天线阵可用于下行选择性多波束设计.如果直线阵采用Chebyshev天线阵激励作为加权值幅度,则可实现下行波束优化设计,并使系统复杂度降低.     

一个移动智能体位置管理与可靠通信的算法

对于移动智能体应用环境下的可靠通信问题,已有的支撑系统和相关研究或不能满足要求或存在缺陷.提出了一个面向移动智能体位置管理与可靠通信的新算法,它保证在智能体的移动行为不可预测的情况下,能可靠的完成消息传递,并承诺消息传递的exactly-once语义.     

状态受限的非完整链式系统的实际镇定

考虑了状态受限的非完整单链式系统的实际镇定问题. 利用链式系统的特殊结构设计了两步控制算法. 该方法能够使闭环系统的状态最终收敛到原点的任意小邻域中, 且若系统初值小于任意正数M, 那么除了一个收敛到零的状态变量外, 其余状态变量在整个实际镇定过程中均小于正数 (1+ε)M, 其中ε可事先任意小. 最后对平面移动机器人进行了仿真, 验证了所给方法的有效性.     

基于移动Agent的B2B协作电子商务系统

电子商务必须建立在信息的获取和发布都能够及时、准确、全面的基础上，但是给观现有的基于Internet的电子商务应用系统，其信息共享模式难以满足企业间进行电子商务活动的这一基本要求，本文从企业间进行电子商务活动的需求和背景出发，依据我们对协同信息系统技术的研究成果，提出并实现了一个基于移动Agent的、支持企业网进行有效电子商务活动的信息系统的模型B－CIMSO，本文即是对该项研究工作的领域和总结。     

一种高效的移动Agent控制机制

在传统分布式系统中,由于任务之间具有明确的依赖关系,所以有很多方法来实现任务的控制。但这些方法已经不适于移动Agent环境,其根本原因在于移动Agent之间不存在那种“自然”的依赖关系。文章提出了一种移动Agent的控制机制,它基于以AgentTracer为中心以Agent影子为辅助的Agent追踪方法,结合能量概念来实现移动Agent的控制,并说明这种方法是高效的。     

无线移动环境的传输控制机制研究

传统Internet的以TCP协议为核心的传输控制策略在无线移动环境中将导致资源闲置，吞吐量低，协议开销大等问题，通过分析无线信道的传输特性和上述问题的内在原因，有针对性地对TCP传输控制机制进行优化，裁减，扩充，就能有效地提高移动站与有线网接入网关之间的弊端－性能，WAP协议就体现了这个思想，以TCP协议和WAP协议栈为例，从 丢包恢复，连接维护，传输方式3方面详细分析了无线移动环境下TCP传输控制机制面临的问题和WAP的解决策略，并通过稳态周期性模型进行定量分析，最后说明了电信级设备上的传输控制机制实现的关键技术。     

Mark, a Reasoning Kit for Mobility

The experience gained to date in the development of network applications has shown the difficulties of using traditional software technologies: reasoning about network applications is subtly different from reasoning about ordinary programs because of stronger requirements on security, different forms of termination, and phenomena like mobility and network-awareness. There are currently no standard methods, techniques and tools to support specification, development and (property) certification of these applications.To support property certification of network applications, we propose to use the network-aware logic Mobadtl and its proof assistant, Mark (Mobadtl Reasoning Kit). In the paper we present the prototype implementation of Mark and, as a validating example, we consider applications where mobile components are allowed to carry some resources with them when moving around the network.     

Performance analysis of MC-2D-CDMA with orthogonal restore combination(ORC) over frequency selective channel

0　ＩＮＴＲＯＤＵＣＴＩＯＮＩｔｉｓｗｅｌｌｋｎｏｗｎｔｈａｔ 3Ｇｍｏｂｉｌｅｃｏｍｍｕｎｉｃａｔｉｏｎｓｙｓｔｅｍｃａｎｔｒａｎｓｍｉｔｍｕｌｔｉ ｍｅｄｉａｓｅｒｖｉｃｅ ,ｓｕｃｈａｓｖｏｉｃｅ ,ｄａｔａ ,ｖｉｄｅｏ ,ｂｕｔｔｈｅｔｒａｎｓｍｉｔｔｉｎｇｒａｔｅｉｓｓｌｏｗ .Ｏｎｔｈｅｂａｓｉｓｏｆ 3Ｇ ,ｔｈｅｎｅｘｔｇｅｎｅｒａｔｉｏｎｆｕｔｕｒｅｍｏｂｉｌｅｃｏｍｍｕｎｉｃａｔｉｏｎｓｙｓｔｅｍｓｈｏｕｌｄｐｒｏｖｉｄｅｉｎｔｅｒａｃｔｉｖｅｍｕｌ ｔｉ ｍｅｄｉａｓｅｒｖｉｃｅｓ ,ｓｕｃｈ…     

A Notation and Logic for Mobile Computing

We define a concurrent mobile system as one where independently executing components may migrate through some space during the course of the computation, and where the pattern of connectivity among the components changes as they move in and out of proximity. The definition is general enough to encompass a system of mobile hosts moving in physical space as well as a system of migrating software agents implemented on a set of possibly non-mobile hosts. In this paper, we present Mobile UNITY, a notation for expressing mobile computations and a logic for reasoning about their temporal properties. Our goal is to find a minimalist model of mobile computation that will allow us to express mobile components in a modular fashion and to reason formally about the possible behaviors of a system composed from mobile components. A simplified serial communication protocol among components which can move in space serves as an illustration for the notation.