Research on the Handover of a Novel Cellular Architecture in Wireless Personal Communication Systems

1　IntroductionHandoverbetweencellsisplayinganimportantroleincellularcommunicationsystems[1～ 1 2 ] .Thehandoverprocedureanditseffectivenessareseriouslylimitedbythecellulararchitectureasaresultofmar ketplanning .Basedonthehexagonalcellulararchi tecture,manyhandoverprocedureshavebeendis cussedandevaluated ,andmostoftheimprovementproposedonthemleadstotheintroductionofsector ingcellularorlayeredcellularmodel.Otherwise ,abetterhandoverprocedureisessentialinmaintainingacallinprogressbutitreflectshi…     

Obtaining shorter regular expressions from finite-state automata

We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.     

蜂房式无线数据网及其应用

本文对无线数据网的体系和蜂房式无线数据网络系统的构成作了简要的分析，指出了蜂房式无线数据网络的主要关键性技术、特点及应用领域。     

Fast and Compact 16 by 16 Cellular Neural Network Implementation

The paper presents a Cellular Neural Network implementation based on a high gain sigmoid operation. The required simplifications to the original theory are described that allow the use of high gain. With this design black and white images can be processed. The basic building blocks in a cell are described. A 16×16 cells network has been designed and processed with 1.2 micron CMOS technology. Measurement results which show the operation of the network are presented.     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

Cellular neural network with trapezoidal activation function

This paper presents a cellular neural network (CNN) scheme employing a new non‐linear activation function, called trapezoidal activation function (TAF). The new CNN structure can classify linearly non‐separable data points and realize Boolean operations (including eXclusive OR) by using only a single‐layer CNN. In order to simplify the stability analysis, a feedback matrix W is defined as a function of the feedback template A and 2D equations are converted to 1D equations. The stability conditions of CNN with TAF are investigated and a sufficient condition for the existence of a unique equilibrium and global asymptotic stability is derived. By processing several examples of synthetic images, the analytically derived stability condition is also confirmed. Copyright © 2005 John Wiley & Sons, Ltd.     

Call Admission Policies Based on Calculated Power Control Setpoints in SIR-Based Power-Controlled DS-CDMA Cellular Networks

In this paper, we develop call admission control algorithms for SIR-based power-controlled DS-CDMA cellular networks. We consider networks that handle both voice and data services. When a new call (or a handoff call) arrives at a base station requesting for admission, our algorithms will calculate the desired power control setpoints for the new call and all existing calls. We will provide necessary and sufficient conditions under which the power control algorithm will have a feasible solution. These conditions are obtained through deriving the inverse of the matrix used in the calculation of power control setpoints. If there is no feasible solution to power control or if the desired power levels to be received at the base station for some calls are larger than the maximum allowable power limits, the admission request will be rejected. Otherwise, the admission request will be granted. When higher priority is desired for handoff calls, we will allow different thresholds (i.e., different maximum allowable power limits) for new calls and handoff calls. We will develop an adaptive algorithm that adjusts these thresholds in real-time as environment changes. The performance of our algorithms will be shown through computer simulation and compared with existing algorithms.     

模糊自动机在电磁波识别中的应用

研制了一个模糊处理和神经网络相结合的自动机,使用模糊技术从未处理的电磁信号波纹图像中处理模糊几何特征属性,进行波纹分类与识别。当使用模糊自动机(FA)进行识别紊乱波纹时,这些模糊几何特征是最好的。而对这些模糊几何特征的辨识,使用FA是很好的。     

Cellular automata model of gravity-driven granular flows

A cellular automata model is used to simulate a variety of granular chute flows. The model is tested against several case studies: flow down a chute, flow past an obstacle, chute flow in which complex, counter-rotating vortices result in streamwise surface stripes and flow near a boundary. The model successfully reproduces experimental observations in all of these cases. These results lead us to propose that simple, rule-based, models such as this can improve our detailed understanding of dynamics and flow within an opaque granular bed.