With the popularity of mobile phone, the function of the mobile phone has extended from communication tool to other areas, such as amusement, game, Web browsing, and so on. Most of the mobile manufactures have provide...
详细信息
With the popularity of mobile phone, the function of the mobile phone has extended from communication tool to other areas, such as amusement, game, Web browsing, and so on. Most of the mobile manufactures have provided some toolkits in their products for developing such kinds of tools. However, different toolkits provided by different mobile phone manufacturers are quite different, mainly on screen size, screen color, way of key-press responsing and unicode character displaying, etc. One must develop the software for particular kind of mobile phones, and it is not easy to transplant the software from one kind of mobile phones to another kind, which bothers the developers quite well. To solve above problems, we have developed a wireless component library, RichUI. By using RichUI, developers can only concentrate on the development of business function without considering the details of different toolkit implementations, and the software developed based on RichUI can be used in different kinds of mobile phones.
A novel force model for needle insertion into soft tissues has been developed for virtual reality and haptics based simulation of percutaneous therapies. The forces are divided into two parts, stiffness force and fric...
详细信息
A novel force model for needle insertion into soft tissues has been developed for virtual reality and haptics based simulation of percutaneous therapies. The forces are divided into two parts, stiffness force and friction force, for which a blood vessel model is used in order to improve the realism. The validity of the developed model is confirmed by a comparison between the results from the developed model and those derived from real data.
In the paper, a regime, where the independent treatment of single-electron transistors (SETs) in transient simulations is valid, has been identified quantitatively. It is found that, as in the steady-state case, altho...
详细信息
In the paper, a regime, where the independent treatment of single-electron transistors (SETs) in transient simulations is valid, has been identified quantitatively. It is found that, as in the steady-state case, although the temperature varies, each SET can be treated independently, even in the transient case when the interconnection capacitance is large enough. However, the value of the load capacitance CL of the interconnections for the independent treatment of SETs is approximately ten times larger than that of the steady-state case. A compact SET transient model is developed for transient circuit simulation by SPICE. The developed model is based on a linearised equivalent circuit and the solution of a master equation is done by the programming capabilities of the SmartSpice. Exact delineation of several simulation time scales and the physics-based compact model make it possible to accurately simulate hybrid circuits in the timescales down to several tens of picoseconds.
We present a receding horizon control algorithm for compensation of backlash at the input of a stable linear system under control rate constraints. The problem is first posed as a receding horizon optimal control prob...
详细信息
We present a receding horizon control algorithm for compensation of backlash at the input of a stable linear system under control rate constraints. The problem is first posed as a receding horizon optimal control problem by modelling backlash as a piecewise affine system with a state space partition consisting of three regions. This optimal control problem involves solving, at each step, 3 N quadratic programmes, where N is the optimisation horizon. As an alternative to solving the quadratic programmes, we propose a strategy based on a recently devised suboptimal receding horizon control algorithm which utilises a singular value decomposition of the Hessian of the quadratic programme. This alternative strategy leads, at the cost of some performance degradation, to much smaller computational load since a feasible rather than optimal solution has to be obtained at each step.
Although structural constraints such as model order and time delay have been incorporated in the continuous time system identification since its origin, the constraints on the estimated model parameters were rarely en...
详细信息
The previously developed Predictive Pole Placement (PPP) controller is modified to give enhanced numerical and stability properties by embedding the method in a linear-quadratic formulation to give a linear-quadratic ...
详细信息
The previously developed Predictive Pole Placement (PPP) controller is modified to give enhanced numerical and stability properties by embedding the method in a linear-quadratic formulation to give a linear-quadratic PPP (LQPPP) controller. Input, output and state constraints are considered using an natural quadratic programming (QP) formulation of LQPPP. Illustrative examples are given.
In this paper it is shown that Lagrangian Coherent Structures (LCS) are useful in determining near optimal trajectories for autonomous underwater gliders in a dynamic ocean environment. This opens the opportunity for ...
详细信息
In this paper it is shown that Lagrangian Coherent Structures (LCS) are useful in determining near optimal trajectories for autonomous underwater gliders in a dynamic ocean environment. This opens the opportunity for optimal path planning of autonomous underwater vehicles by studying the global flow geometry via dynamical systems methods. Optimal glider paths were computed for a 2-dimensionaI kinematic model of an end-point glider problem. Numerical solutions to the optimal control problem were obtained using Nonlinear Trajectory Generation (NTG) software. The resulting solution is compared to corresponding results on LCS obtained using the Direct Lyapunov Exponent method. The velocity data used for these computations was obtained from measurements taken in August, 2000, by HF-Radar stations located around Monterey Bay, CA, USA.
We study an anisotropic swarm model with a class of attraction and repulsion functions. It is shown that the members of a reciprocal swarm aggregates and eventually form a cohesive cluster of finite size around the sw...
详细信息
ISBN:
(纸本)0780390989
We study an anisotropic swarm model with a class of attraction and repulsion functions. It is shown that the members of a reciprocal swarm aggregates and eventually form a cohesive cluster of finite size around the swarm center within finite time. Under mild conditions on attraction and repulsion functions, the swarm is also completely stable, i.e., every motion converges to the equilibrium point set of the system. These results are further extended to a class of nonreciprocal swarms under the detailed balance condition on coupling weights. We also present numerical simulations demonstrating complex oscillatory behavior in general nonreciprocal swarms. These results provide more insight into the effect of the interaction pattern on collective behavior of swarms.
Differential linear repetitive processes are characterized by a series of sweeps, or passes, through a set of dynamics defined over a finite interval or duration with interaction between successive passes. They are di...
详细信息
Differential linear repetitive processes are characterized by a series of sweeps, or passes, through a set of dynamics defined over a finite interval or duration with interaction between successive passes. They are distinct from other classes of 2D continuous-discrete linear systems due to the fact that information propagation in one of the two separate directions only occurs over a finite duration. Moreover, this is an intrinsic feature of the underlying dynamics as opposed to an assumption introduced for analysis purposes. This paper shows that the structure of the initial conditions at the start of each new pass of the process is critical to its stability properties.
We propose a new multi-static adaptive microwave imaging (MAMI) method for early breast cancer detection. MAMI is a two-stage robust Capon beamforming (RCB) based image formation algorithm. MAMI exhibits higher resolu...
详细信息
We propose a new multi-static adaptive microwave imaging (MAMI) method for early breast cancer detection. MAMI is a two-stage robust Capon beamforming (RCB) based image formation algorithm. MAMI exhibits higher resolution, lower sidelobes, and better noise and interference rejection capabilities than the existing approaches. The effectiveness of using MAMI for breast cancer detection is demonstrated via a simulated 3-D breast model and several numerical examples
暂无评论