Accurate evaluation of Green’s functions in a layered medium by SDP-FLAM

Based on local Taylor expansions on the complex plane, a method for fast locating all modes (FLAM) of spectral-domain Green’s Functions in a planar layered medium is developed in this paper. SDP-FLAM, a combination of FLAM with the steepest descent path algorithm (SDP), is employed to accurately evaluate the spatial-domain Green’s functions in a layered medium. According to the theory of complex analysis, the relationship among the poles, branch points and Riemann sheets is also analyzed rigorously. To inverse the Green’s functions from spectral to spatial domain, SDP-FLAM method and discrete complex image method (DCIM) are applied to the non-near field region and the near filed region, respectively. The significant advantage of SDP-FLAM lies in its capability of calculating Green’s functions in a layered medium of moderate thickness with loss or without loss. Some numerical examples are presented to validate SDP-FLAM method. Supported by the National Natural Science Foundation of China (Grant No. 60621002), and the State Key Development Program for Basic Research of China (Grant No. 2009CB320200)     

Lyapunov-based boundary feedback control in multi-reach canals

This paper presents a Lyapunov-based approach to design the boundary feedback control for an openchannel network composed of a cascade of multi-reach canals, each described by a pair of Saint-Venant equations. The weighted sum of entropies of the multi-reaches is adopted to construct the Lyapunov function. The time derivative of the Lyapunov function is expressed by the water depth variations at the gate boundaries, based on which a class of boundary feedback controllers is presented to guarantee the local asymptotic closed-loop stability. The advantage of this approach is that only the water level depths at the gate boundaries are measured as the feedback. Supported by the National Natural Science Foundation of China (Grant Nos. 60504026, 60674041), and the National High-Tech Research & Development Program of China (Grant No. 2006AA04Z173)     

Multivariable direct adaptive decoupling controller using multiple models and a case study

In this paper, a multivariable direct adaptive controller using multiple models without minimum phase assumption is presented to improve the transient response when the parameters of the system jump abruptly. The controller is composed of multiple fixed controller models, a free-running adaptive controller model and a re-initialized adaptive controller model. The fixed controller models are derived from the corresponding fixed system models directly. The adaptive controller models adopt the direct adaptive algorithm to reduce the design calculation. At every instant, the optimal controller is chosen out according to the switching index. The interaction of the system is viewed as the measured disturbance which is eliminated by the choice of the weighing polynomial matrix. The global convergence is obtained. Finally, several simulation examples in a wind tunnel experiment are given to show both effectiveness and practicality of the proposed method. The significance of the proposed method is that it is applicable to a non-minimum phase system, adopting direct adaptive algorithm to overcome the singularity problem during the matrix calculation and realizing decoupling control for a multivariable system. Supported by the National Natural Science Foundation of China (Grant Nos. 60504010, 60864004), the National High-Tech Research and Development Program of China (Grant No. 2008AA04Z129), the Key Project of Chinese Ministry of Education (Grant No. 208071), and the Natural Science Foundation of Jiangxi Province (Grant No. 0611006)     

Design and analysis of switching reduced-order observer and separation principle for T-S fuzzy system

This paper designs and analyzes switching fuzzy reduced-order observer and proves that the corresponding separation principle does hold. A numerical simulation and comparison with smooth fuzzy full-order observer are given to assess switching fuzzy reduced-order observer and the validity of the separation principles. Supported by the National Laboratory of Space Intelligent Control and Open Foundation (Grant No. SIC07010202), and the National Natural Science Foundation of China (Grant Nos. 60604010, 90716021, 60736023)     

Dynamic disturbance rejection controllers for neutral time delay systems with application to a central heating system

In the present paper the problem of disturbance rejection of single input-single output neutral time delay systems with multiple measurable disturbances is solved via dynamic controllers. In particular, the general form of the controller matrices is presented, while the necessary and sufficient conditions for the controller to be realizable are offered. The proposed technique is applied to a test case neutral time delay central heating system. In particular, the nonlinear model of the plant and its linearized approximation are presented. Based on the linearized model, a two-stage controller is designed in order to regulate the room temperature and the boiler effluent temperature. The performance of the closed loop system is investigated through computational experiments.     

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadlock and unspecified reception,and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design,which makes the composition process both complex and time-consuming. In th...     

Web-based visualization of spatial objects in 3DGIS

Adaptive rendering large and complex spatial data has become an important research issue in a 3DGIS application. In order to transmit the data to the client efficiently,this paper proposes a node-layer data model to manage the 3D scene. Because the large spatial data and limited network bandwidth are the main bottlenecks of web-based 3DGIS,a client/server architecture including progressive transmission methods and multiresolution representations,together with the spatial index,are developed to improve the p...     

Perfect forward secure identity-based authenticated key agreement protocol in the escrow mode

The majority of existing escrowable identity-based key agreement protocols only provide partial forward secrecy. Such protocols are, arguably, not suitable for many real-word applications, as the latter tends to require a stronger sense of forward secrecy—perfect forward secrecy. In this paper, we propose an efficient perfect forward-secure identity-based key agreement protocol in the escrow mode. We prove the security of our protocol in the random oracle model, assuming the intractability of the Gap Biline...     

Guiding Attention by Cooperative Cues

A common assumption in visual attention is based on the rationale of ＂limited capacity of information processing＂. From this view point there is little consideration of how different information channels or modules are cooperating because cells in processing stages are forced to compete for the limited resource. To examine the mechanism behind the cooperative behavior of information channels, a computational model of selective attention is implemented based on two hypotheses. Unlike the traditional view of visual attention, the cooperative behavior is assumed to be a dynamic integration process between the bottom-up and top-down information. Furthermore, top-down information is assumed to provide a contextual cue during selection process and to guide the attentional allocation among many bottom-up candidates. The result from a series of simulation with still and video images showed some interesting properties that could not be explained by the competitive aspect of selective attention alone.