In this thesis, we study the normally elliptic singular perturbation problems including both finite and infinite dimensional cases, which could also be non-autonomous. In particular, we establish the existence and smoothness of O(1) local invariant manifolds and provide various estimates which are independent of small singular parameters. We also use our results on local invariant manifolds to study the persistence of homoclinic solutions under weakly dissipative and conservative per- turbations. We apply Semi-group Theory and Lyapunov-Perron Integral Equations with some careful estimates to handle the O(1) driving force in the system so that we can approximate the full system through some simpler limiting system. In the investigation of homoclinics, a diagonalization procedure and some normal form transformation should be first carried out. Such diagonalization procedure is not trivial at all. We discuss this issue in the appendix. We use Melnikov type analysis to study the weakly dissipative case, while the conservative case is based on some energy methods. As a concrete example, we have shown rigrously the persistence of homoclinic solutions of an elastic pendulum model which may be affected by damping, external forcing and other potential fields.

Formulation of linear time invariant (LTI) models of a nonlinear system about a periodic equilibrium using the harmonic domain representation of LTI model states has been studied in the literature. This thesis presents an alternative method and a computationally efficient scheme for implementation of the developed method for extraction of linear time invariant (LTI) models from a helicopter nonlinear model in forward flight. The fidelity of the extracted LTI models is evaluated using response comparisons between the extracted LTI models and the nonlinear model in both time and frequency domains. Moreover, the fidelity of stability properties is studied through the eigenvalue and eigenvector comparisons between LTI and LTP models by making use of the Floquet Transition Matrix. For time domain evaluations, individual blade control (IBC) and On-Blade Control (OBC) inputs that have been tried in the literature for vibration and noise control studies are used. For frequency domain evaluations, frequency sweep inputs are used to obtain frequency responses of fixed system hub loads to a single blade IBC input. The evaluation results demonstrate the fidelity of the extracted LTI models, and thus, establish the validity of the LTI model extraction process for use in integrated flight and rotor control studies.

Invariant object recognition is maybe the most basic and fundamental property of our visual system. It is the basis of many other cognitive tasks, like motor actions and social interactions. Hence, the theoretical understanding and modeling of invariant object recognition is one of the central problems in computational neuroscience. Indeed, object recognition consists of two different tasks: classification and identification. The focus of this thesis is on object identification under the basic geometrical transformations shift, scaling, and rotation. The visual system can perform shift, size, and rotation invariant object identification. This thesis consists of two parts. In the first part, we present and investigate the VisNet model proposed by Rolls. The generalization problems of VisNet triggered our development of a new neural network model for invariant object identification. Starting point for an improved generalization behavior is the search for an operation that extracts images features that are invariant under shifts, rotations, and scalings. Extracting invariant features guarantees that an object seen once in a specific pose can be identified in any pose. We present and investigate our model in the second part of this thesis.

Spacecraft trajectory optimization is a topic of crucial importance to space missions design. The less fuel required to accomplish the mission, the more payload that can be transported, and the higher the opportunity to lower the cost of the space mission. The objective is to find the optimal trajectory through space that will minimize the fuel used, and still achieve all mission constraints. Most space trajectories are designed using the simplified relative two-body problem as the base model. Using this patched conics approximation, however, constrains the solution space and fails to produce accurate initial guesses for trajectories in sensitive dynamics. This dissertation uses the Circular Restricted Three-Body Problem (CR3BP) as the base model for designing transfer trajectories in the Circular Restricted Four-Body Problem (CR4BP). The dynamical behavior of the CR3BP guides the search for useful low-energy trajectory arcs. Two distinct models of the CR4BP are considered in this research: the Concentric model, and the Bi-Circular model. Transfers are broken down into trajectory arcs in two separate CR3BPs and the stable and unstable manifold structures of both systems are utilized to produce low-energy transfer arcs that are later patched together to form the orbit-to-orbit transfer. The patched solution is then used as an initial guess in the CR4BP model. A vital contribution of this dissertation is the sequential process for initial guess generation for transfers in the CR4BP. The techniques discussed in this dissertation overcome many of the difficulties in the trajectory design process presented by the complicated dynamics of the CR4BP. Indirect optimization techniques are also used to derive the first order necessary conditions for optimality to assure the optimality of the transfers and determine whether additional impulses might further lower the total cost of the mission. / text

In this dissertation, we demonstrate the importance of invariant objects in many areas of applied research. The areas of application we consider are chemistry, celestial mechanics and aerospace engineering, plasma physics, and coupled map lattices. In the context of chemical reactions, stable and unstable manifolds of fixed points separate regions of phase space that lead to a certain outcome of the reaction. We study how these regions change under the influence of exposing the molecules to a laser. In celestial mechanics and aerospace engineering, we compute periodic orbits and their stable and unstable manifolds for a object of negligible mass (e.g. a satellite or spacecraft) under the presence of Jupiter and two of its moons, Europa and Ganymede. The periodic orbits serve as convenient spot to place a satellite for observation purposes, and computing their stable and unstable manifolds have been used in constructing low-energy transfers between the two moons. In plasma physics, an important and practical problem is to study barriers for heat transport in magnetically confined plasma undergoing fusion. We compute barriers for which heat cannot pass through. However, such barriers break down and lead to robust partial barriers. In this latter case, heat can flow across the barrier, but at a very slow rate. Finally, infinite dimensional coupled map lattice systems are considered in a wide variety of areas, most notably in statistical mechanics, neuroscience, and in the discretization of PDEs. We assume that the interaction amont the lattice sites decays with the distance of the sites, and assume the existence of an invariant whiskered torus that is localized near a collection of lattice sites. We prove that the torus has invariant stable and unstable manifolds that are also localized near the torus. This is an important step in understanding the global dynamics of such systems and opens the door to new possible results, most notably studying the problem of energy transfer between the sites. / text

The Best MPhil Thesis in the Faculties of Dentistry, Engineering, Medicine and Science (University of Hong Kong), Li Ka Shing Prize,2009-2010 / published_or_final_version / Electrical and Electronic Engineering / Master / Master of Philosophy

In his thesis we are concerned with certain numerical invariants of homotopy type akin to the Lusternik-Schnirelmann category and cocategory. In a series of papers I. Bernstein, T. Ganea, and P.J. Hilton developed the concepts of the category and weak category of a topological space. They also considered the related concepts of conilpotency and cup product length of a space and the weak category of a map. Later T. Ganea gave another definition of category and weak category (which we shall write as G-cat and G-wcat) in terms of vibrations and cofibrations and hence this dualizes easily in the sense of Eckmann-Hilton. We find the relationships between these invariants and then find various examples of spaces which show that the invariants are all different except cat and G-cat. The results are contained in the following theorem. The map $e:B -> OmegaSigma B$ is the natural embedding. All the invariants are normalized so as to take the value 0 on contractible spaces. THEOREM Let B have the homotopy type of a simply connected CW-complex, then $cat B = G-cat B geq G-wcat B geq wcat B geq wcat e geq conil B geq cup-long B$ and furthermore all the inequalities can occur. All the examples are spaces of the form $B = S^qcup_alpha e^n$ where $alphain pi_{n-1} (S^q)$. When B is of this form, we obtain conditions for the category and the weak categories of B to be less than or equal to one of the terms of Hopf invariants of $alpha$. We use these conditions to prove the examples. We then prove the dual theorem concerning the relationships between the invariants cocategory, weak cocategory, nilpotency and Whitehead product length. THEOREM Let A be countable CW-complex, then $cocat A geq wcocat A geq nil A geq W-long A$ and furthermore all the inequalities can occur. The proof is not dual to the first theorem, though the examples we use to show that the inequalities can exist are all spaces with two non-zero homotopy groups. The most interesting of these examples is the space A with 2 non-zero homotopy groups, $mathbb Z$ in dimension 2 and ${mathbb Z}_4$ in dimension 7 with k-invariant $u^4 in H^8(mathbb Z, 2; {mathbb Z}_4)$. This space is not an H-space, but has weak cocategory 1. The condition $wcocat A leq 1$ is equivalent to the fact that d is homotopic to 0 in the fibration $D -d-> A -e-> OmegaSigma A$. In order to show that wcocat A = 1 we have to calculate to cohomology ring of $OmegaSigma K(mathbb Z,2)$. The method we use to do this is the same as that used to calculate the cohomology ring of $OmegaSigma S^{n+1}$ using James' reduced product construction. Finally we show that for the above space A the fibration $Omega A -g-> A^S -f-> A$ has a retraction $ ho$ such that $ hocirc g$ is homotopic to 1 even though A is not an H-space.

This thesis studies the indirect adaptive control for discrete linear time invariant systems. The adaptive control strategy is based on the linear quadratic regulator that places the closed loop poles such that an infinite stage quadratic cost function is minimized. The plant parameters are identified recursively using a projection algorithm. / First, we study the effect of the model over-parametrization. For this purpose, we introduce an algorithm to generate the controller parameters recursively. This asymptotic reformulation is shown to overcome situations in which the pole-zero cancellation is a limit point of the identification algorithm. We also show that the algorithm will generate a unique control sequence that converges asymptotically to the solution of the Diophantine (pole assignment) equation. / Next, we study the stability of the proposed adaptive scheme in both deterministic and stochastic cases. We show that the global stability of the resulting adaptive scheme is obtained with no implicit assumptions about parameter convergence or the nature of the external input. Then the global convergence of the adaptive algorithm is obtained if the external input is "persistently exciting". By convergence we mean that the adaptive control will converge to the optimal control of the system. / The performance of the adaptive algorithm in the presence of deterministic disturbances is also considered, where we show that the adaptive controller performs relatively well if the model order is high enough to include a description of the disturbances.

Superintegrable systems are classical and quantum Hamiltonian systems which enjoy much symmetry and structure that permit their solubility via analytic and even, algebraic means. The problem of classification of superintegrable systems can be approached by considering associated geometric structures. To this end, we invoke the invariant theory of Killing tensors (ITKT), and the recursive version of the Cartan method of moving frames to derive joint invariants. We are able to intrinsically characterise and interpret the arbitrary parameters appearing in the general form of the Smorodinsky-Winternitz superintegrable potential, where we determine that the more general the geometric structure associated with the SW potential is, the fewer arbitrary parameters it admits. Additionally, we classify the multi-separability of the Tremblay-Turbiner-Winternitz (TTW) system. We provide a proof that only for the case k = +/- 1 does the general TTW system admit orthogonal separation of variables with respect to both Cartesian and polar coordinates. / A study towards the classification of superintegrable systems defined on the Euclidean plane.

This thesis is mainly focused on the equivalence problem for a subclass of Lorentzian manifolds: the degenerate Kundt spacetimes. These spacetimes are not defined uniquely by their scalar curvature invariants. To prove two metrics are diffeomorphic, one must apply Cartan's equivalence algorithm, which is a non-trivial task: in four dimensions Karlhede has adapted the algorithm to the formalism of General Relativity and significant effort has been spent applying this algorithm to particular subcases. No work has been done on the higher dimensional case. First, we study the existence of a non-spacelike symmetry in two well-known subclasses of the N dimensional degenerate Kundt spacetimes: those spacetimes with constant scalar curvature invariants (CSI) and those admitting a covariant constant null vector (CCNV). We classify the CSI and CCNV spacetimes in terms of the form of the Killing vector giving constraints for the metric functions in each case. For the rest of the thesis we fix N=4 and study a subclass of the CSI spacetimes: the CSI-? spacetimes, in which all scalar curvature invariants vanish except those constructed from the cosmological constant. We produce an invariant characterization of all CSI-? spacetimes. The Petrov type N solutions have been classified using two scalar invariants. However, this classification is incomplete: given two plane-fronted gravitational waves in which both pairs of invariants are similar, one cannot prove the two metrics are equivalent. Even in this relatively simple subclass, the Karlhede algorithm is non-trivial to implement. We apply the Karlhede algorithm to the collection of vacuum Type N VSI (CSI-?, ? = 0) spacetimes consisting of the vacuum PP-wave and vacuum Kundt wave spacetimes. We show that the upper-bound needed to classify any Type N vacuum VSI metric is four. In the case of the vacuum PP-waves we have proven that the upper-bound is sharp, while in the case of the Kundt waves we have lowered the upper-bound from five to four. We also produce a suite of invariants that characterize each set of non-equivalent metrics in this collection. As an application we show how these invariants may be related to the physical interpretation of the vacuum plane wave spacetimes.