Orientador: Pedro Luis Dias Peres / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T03:23:54Z (GMT). No. of bitstreams: 1 Leite_ValterJuniordeSouza_D.pdf: 4310851 bytes, checksum: bcd0414d19eb46e02496290857fdf9bc (MD5) Previous issue date: 2005 / Resumo: Este trabalho trata da aplica¸c¿ao de funcionais de Lyapunov e Lyapunov-Krasovskii dependentes de parâmetro a alguns problemas selecionados da área de controle robusto, a saber: D-estabilidade robusta de polítipo de matrizes, D-estabilidade robusta de politopos de polinômios matriciais, estabilidade robusta de sistemas neutrais com atrasos variantes no tempo e controle robusto H8 de sistemas discretos no tempo com atraso nos estados. É utilizada a representação politópica para as incertezas dos sistemas estudados. São obtidas formulações convexas, na forma de desigualdades matriciais lineares, suficientes para a solução dos problemas selecionados. Essas condições podem ser resolvidas numericamente de maneira eficiente por meio de algoritmos especializados baseados em pontos interiores. Os resultados obtidos são menos conservadores que os encontrados na literatura, baseados em geral na estabilidade quadrática, isto é, as matrizes dos funcionais são fixas e independentes da incerteza / Abstract: This work deals with the application of parameter dependent Lyapunov and Lyapunov-Krasovskii functionals to some selected problems of robust control: robust D-stability of polytopes of matrices, robust D-stability of polytopes of polynomial matrices, robust stability of uncertain neutral systems with timevarying delays and robust H8 control of uncertain discrete time delay systems. The polytopic representation is used to describe the uncertainties. Convex formulations are obtained, in terms of inear matrix inequalities, that are sufficient for the solution of the selected problems. Those conditions can be solved in a efficient way through specialized interior point algorithms. The obtained results are less conservative than those from the literature, in general based on quadratic stability, i.e., the matrices in the functionals are fixed and do not depend on the uncertainty / Doutorado / Automação / Doutor em Engenharia Elétrica

Every auditory event provides an information-rich signal to the brain. The signal constitutes perceptual attributes of pitch, loudness, timbre, and also, conceptual attributes like location, emotions, meaning, etc. In the present work we examine the timbre perception of time-varying signals in particular. While stationary signal timbre, by-itself is complex perceptually, the time-varying signal timbre introduces an evolving pattern, adding to its multi-dimensionality. To characterize timbre, we conduct psycho-acoustic perception tests with normal-hearing human subjects. We focus on time-varying synthetic speech signals(can be extended to music) because listeners are perceptually consistent with speech. Also, we can parametrically control the timbre and pitch glides using linear time-varying models. In order to quantify the timbre change in time-varying signals, we define the JND(Just noticeable difference) of timbre using diphthongs, synthesized using time-varying formant frequency model. The diphthong JND is defined as a two dimensional contour on the plane of percentage change of formant frequencies of terminal vowels. Thus, we simplify the perceptual probing to a lower dimensional space, i.e, 2-D even for a diphthong, which is multi-parametric. We also study the impact of pitch glide on the timbre JND of the diphthong. It is observed that timbre JND is influenced by the occurrence of pitch glide. Focusing on the magnitude of perceptual timbre change, we design a MUSHRA-like listening test using the vowel continuum in the formant-frequency space. We provide explicit anchors for reference: 0% and 100%, thus quantifying the perceptual timbre change on a 1-D scale. We also propose an objective measure of timbre change and observe that there is good correlation between the objective measure and subjective human responses of percentage timbre change. Using the above experimental methodology, we studied the influence of pitch shift on timbre perception and observed that the perceptual timbre change increases with change in pitch. We used vowels and diphthongs with 5 different types of pitch glides-(i) Constant pitch,(ii) 3-semitone linearly-up,(iii) 3 semitone linearly-down, (iv)V–like pitch glide and (v) hat-like pitch glide. The present study shows that timbre change can be measured on a 1-D scale if the perturbation is along one-dimension. We observe that for bright vowels(/a/and/i/), linearly decreasing pitch glide(dull pitch glide)causes more timbre change than linearly increasing pitch glide(bright pitch glide).For dull vowels(/u/),it is vice-versa. To summarize, in congruent pitch glides cause more perceptual timbre change than congruent pitch glides.(Congruent pitch glide implies bright pitch glide in bright vowel or dull pitch glide in dull vowel and in congruent pitch glide implies bright pitch glide in dull vowel or dull pitch glide in bright vowel.) Experiments with quadratic pitch glides show that the decay portion of pitch glide affects timbre perception more than the attack portion in short duration signals with less or no sustained part. In case of time-varying timbre, bright diphthongs show patterns similar to bright vowels. Also, for bright diphthongs(/ai/), perceived timbre change is most with decreasing pitch glide(dull pitch glide). We also observed that listeners perceive more timbre change in constant pitch than in pitch glides, congruent with the timbre or pitch glides with quadratic changes. The main conclusion of this study is that pitch and timbre do interact and in congruent pitch glides cause more timbre change than congruent pitch glides. In the case of quadratic pitch glides, listener perception of vowels is influenced by the decay than the attack in pitch glide in short duration signals. In the case of time-varying timbre also, in congruent pitch glides cause the most timbre change, followed by constant pitch glide. For congruent pitch glides and quadratic pitch glides in time-varying timbre, the listeners perceive lesser timbre change than otherwise.

Les systèmes physiques sont représentés par des modèles mathématiques qui peuvent être utilisés pour simuler, analyser ou contrôler ces systèmes. Selon la complexité du système qu’il est censé représenter, un modèle peut être plus ou moins complexe. Une complexité trop grande peut s’avérer problématique en pratique du fait des limitations de puissance de calcul et de mémoire des ordinateurs. L’une des façons de contourner ce problème consiste à utiliser l’approximation de modèles qui vise à remplacer le modèle complexe par un modèle simplifié dont le comportement est toujours représentatif de celui du système physique.Dans le cas des modèles dynamiques Linéaires et Invariants dans le Temps (LTI), la complexité se traduit par une dimension importante du vecteur d’état et on parle alors de modèles de grande dimension. L’approximation de modèle, encore appelée réduction de modèle dans ce cas, a pour but de trouver un modèle dont le vecteur d’état est plus petit que celui du modèle de grande dimension tel que les comportements entrée-sortie des deux modèles soient proches selon une certaine norme. La norme H2 a été largement considérée dans la littérature pour mesurer la qualité d’un modèle réduit. Cependant, la bande passante limitée des capteurs et des actionneurs ainsi que le fait qu’un modèle est généralement représentatif d’un système physique dans une certaine bande fréquentielle seulement, laissent penser qu’un modèle réduit dont le comportement est fidèle au modèle de grande dimension dans un intervalle de fréquences donné,peut être plus pertinent. C’est pourquoi, dans cette étude, la norme H2 limitée en fréquence,ou norme H2, Ω, qui est simplement la restriction de la norme H2 sur un intervalle de fréquences Ω, a été considérée. En particulier, le problème qui vise à trouver un modèle réduit minimisant la norme H2, Ω de l’erreur d’approximation avec le modèle de grande dimension a été traité.Deux approches ont été proposées dans cette optique. La première est une approche empirique basée sur la modification d’une méthode sous-optimale pour l’approximation H2. En pratique, ses performances s’avèrent intéressantes et rivalisent avec certaines méthodes connues pour l’approximation de modèles sur intervalles de fréquences limités.La seconde est une méthode d’optimisation basée sur la formulation pôles-résidus de la norme H2, Ω. Cette formulation généralise naturellement celle existante pour la norme H2 et permet également d’exprimer deux bornes supérieures sur la norme H∞ d’un modèle LTI, ce qui est particulièrement intéressant dans le cadre de la réduction de modèle. Les conditions d’optimalité du premier ordre pour le problème d’approximation optimale en norme H2, Ω ont été exprimées et utilisées pour créer un algorithme de descente visant à trouver un minimum local au problème d’approximation. Couplée aux bornes sur la norme H∞ de l’erreur d’approximation,cette méthode est utilisée pour le contrôle de modèle de grande dimension.D’un point de vue plus pratique, l’ensemble des méthodes proposées dans cette étude ont été appliquées, avec succès, dans un cadre industriel comme élément d’un processus global visant à contrôler un avion civil flexible. / Physical systems are represented by mathematical models in order to be simulated, analysed or controlled. Depending on the complexity of the physical system it is meant to represent and on the way it has been built, a model can be more or less complex. This complexity can become an issue in practice due to the limited computational power and memory of computers. One way to alleviate this issue consists in using model approximation which is aimed at finding a simpler model that still represents faithfully the physical system.In the case of Linear Time Invariant (LTI) dynamical models, complexity translates into a large dimension of the state vector and one talks about large-scale models. Model approximation is in this case also called model reduction and consists in finding a model with a smaller state vector such that the input-to-output behaviours of both models are close with respect to some measure. The H2-norm has been extensively used in the literature to evaluate the quality of a reduced-order model. Yet, due to the limited band width of actuators, sensors and the fact that models are generally representative on a bounded frequency interval only, a reduced-order model that faithfully reproduces the behaviour of the large-scale one over a bounded frequency interval only, may be morerelevant. That is why, in this study, the frequency-limited H2-norm, or H2,Ω-norm, which is the restriction of theH2-norm over a frequency interval, has been considered. In particular, the problem of finding a reduced-ordermodel that minimises the H2, Ω-norm of the approximation error with the large-scale model has been addressed here. For that purpose, two approaches have been developed. The first one is an empirical approach based on the modification of a sub-optimal H2 model approximation method. Its performances are interesting in practice and compete with some well-known frequency-limited approximation methods. The second one is an optimisationmethod relying on the poles-residues formulation of the H2,Ω-norm. This formulation naturally extends the oneexisting for the H2-norm and can also be used to derive two upper bounds on the H∞-norm of LTI dynamical models which is of particular interest in model reduction. The first-order optimality conditions of the optimal H2,Ω approximation problem are derived and used to built a complex-domain descent algorithm aimed at finding a local minimum of the problem. Together with the H∞ bounds on the approximation error, this approach isused to perform control of large-scale models. From a practical point of view, the methods proposed in this study have been successfully applied in an industrial context as a part of the global process aimed at controlling a flexible civilian aircraft.

In dieser Arbeit werden lineare zeitinvariante endlichdimensionale Systeme (LTI-Systeme) mit m > 1 Eingängen und p > 1 Ausgängen untersucht (MIMO-Systeme). Diese lassen sich darstellen durch lineare Gleichungen mit Matrizen, deren Einträge Polynome im Ableitungsoperator d/dt sind. Bei Nutzung der Laplace-Transformation handelt es sich um Polynome in s. Algebraisch bilden diese einen Euklidischen Ring. Durch Überführung der Matrizen in die Hermitesche Normalform werden m Basisgrößen definiert. Die Verläufe oder Trajektorien der Basisgrößen lassen sich frei vorgegeben. Damit werden die Trajektorien sämtlicher übrigen Signale, insbesondere die der erforderlichen Eingangssignale, festgelegt und können ohne Integration berechnet werden. Ein linksteilerfremdes (auch steuerbar genanntes) Modell ist dabei nicht zwingend erforderlich. Damit eignen sich die Basisgrößen besonders zur Planung von Trajektorien. Genauer untersucht wird die Planung mit Polynomen in der Zeit als Ansatzfunktionen und die Planung von Trajektorien, die ein quadratisches Kostenfunktional minimieren. In der technischen Praxis werden die Systeme stets von den geplanten Trajektorien abweichen. Insbesondere bei instabilen Regelstrecken ist deshalb ein stabilisierender Folgeregler unentbehrlich. Die Struktur der Folgeregelung wird eingeführt und es wird deutlich gemacht, dass jede Methode zum Entwurf linearer Regler angewendet werden kann. Die Nullstellenzuweisung durch dynamische Ausgangsrückführung mit Reglern vorgegebener möglichst geringer dynamischer Ordnung wird detailliert untersucht und eine neue Lösungsmöglichkeit aufgezeigt. Durch Nutzung der modifizierten z-Transformation lässt sich die Theorie auf ein hybrides System, bestehend aus einer zeitkontinuierlichen Regelstrecke und einer zeitdiskreten digitalen Steuerung und Regelung, ausdehnen. Dabei werden die Verläufe der Signale zwischen den Abtastzeitpunkten in die Planung einbezogen. Zum Schluss werden die linearen Beobachter im Licht der polynomialen Matrizendarstellung neu untersucht. Es wird gezeigt, dass die polynomiale Matrizendarstellung einen theoretischen Rahmen bietet, in dem sich sämtliche linearen Beobachter mit einer Methode entwerfen lassen. - (Die Dissertation ist veröffentlicht in der Reihe Fortschritt-Berichte VDI, Reihe 8 - Mess-, Steuerungs- und Regelungstechnik, Band 1164 im VDI Verlag GmbH, Düsseldorf, ISBN 978-3-18-516408-8) / In this thesis linear time invariant lumped systems (LTI-systems) with m>1 inputs and p > 1 outputs (MIMO-systems) are investigated. These systems can be represented by linear equations with matrices, whose entries are polynomials in the differential operator d/dt. If Laplace-transform is employed, the polynomials are in s. Algebraically polynomials form a Euclidean ring. The conversion of the matrices to the Hermite form leads to defining m basic variables. The trajectories of the basis variables may be chosen arbitrarily. With that choice the trajectories of all remaining variables and especially the input variables are determined and can be calculated without integration. A left coprime (also called controllable) model is not required. Hence basis variables are particularly useful for planning trajectories. Special attention is paid to planning trajectories with polynomials in time as basic functions and planning trajectories which minimise a quadratic functional of costs. In engineering practice the systems will always differ from the planed trajectories. Especially with unstable plants a stabilising tracking controller is compulsory. The structure of the tracking control is introduced. It becomes apparent that every linear theory for the design of closed loop controllers is suitable. Pole assignment by dynamic output feedback with low order controllers of a fixed structure is looked at in more detail. A new approach to this problem is presented. Using the modified z-transform the theory is extended to hybrid systems consisting of a digital or discrete time controller and a plant in continuous time. Thereby the course of the signals between the sampling moments is taken into account. Finally linear observers are reinvestigated using the polynomial matrix representation. It is shown that the polynomial matrix representation provides a theoretical framework in which all linear observers can be designed.

Dynamical structure functions were developed as a partial structure representation of linear time-invariant systems to be used in the reconstruction of biological networks. Dynamical structure functions contain more information about structure than a system's transfer function, while requiring less a priori information for reconstruction than the complete computational structure associated with the state space realization. Early sufficient conditions for network reconstruction with dynamical structure functions severely restricted the possible applications of the reconstruction process to networks where each input independently controls a measured state. The first contribution of this thesis is to extend the previously established sufficient conditions to incorporate both necessary and sufficient conditions for reconstruction. These new conditions allow for the reconstruction of a larger number of networks, even networks where independent control of measured states is not possible. The second contribution of this thesis is to extend the robust reconstruction algorithm to all reconstructible networks. This extension is important because it allows for the reconstruction of networks from real data, where noise is present in the measurements of the system. The third contribution of this thesis is a Matlab toolbox that implements the robust reconstruction algorithm discussed above. The Matlab toolbox takes in input-output data from simulations or real-life perturbation experiments and returns the proposed Boolean structure of the network. The final contribution of this thesis is to increase the applicability of dynamical structure functions to more than just biological networks by applying our reconstruction method to wireless communication networks. The reconstruction of wireless networks produces a dynamic interference map that can be used to improve network performance or interpret changes of link rates in terms of changes in network structure, enabling novel anomaly detection and security schemes.

A large amount of low-rise unreinforced masonry structures (URM) can be found in Groningen, the Netherlands. More and more induced earthquakes with short duration have been detected in this region due to gas exploitation. Local unreinforced masonry (URM) buildings were initially not designed for withstanding seismic actions, so that unexpected damage may occur due to their vulnerability, raising insecurity among residents. Existing low-rise masonry buildings in Groningen can be divided into different categories based on their characteristics. Two types of residential masonry buildings that fulfil the prerequisites for performing non-linear seismic assessment are chosen to be studied in this thesis project, including the terraced house and the detached house. The seismic assessment of structures requires the use of both a discretization method and a seismic assessment method. The discretization method is used to translate the mechanical model into a finite element model used for the numerical analysis. Several methods have previously shown to be applicable for seismic assessment, but this work investigates the implications of using a continuum model (CM) and an equivalent frame model (EFM) approach to discretization in the general-purpose finite element package described in n DIANA-FEA-BV (2017). The continuum model approach adopted was in a previous work by Schreppers et al. (2017) validated against experimental results and is as such deemed representative of the physical behaviour of the mechanical models investigated. An equivalent frame model approach to be used with DIANA is proposed in the work by Nobel (2017). The continuum model approach uses continuum elements with a constitutive model developed for the seismic assessment of masonry structures. This constitutive model captures both shear and flexural failure mechanisms. The equivalent frame model approach uses a combination of numerically integrated beam elements and nodal interfaces, each with a distinct constitutive model, thus decoupling the description of the flexural and shear behaviour. This approach aims to capture the macro-behaviour at the structural level. The applicability of the proposed equivalent frame model approach is evaluated by how well it replicates the validated continuum model approach results. The two discretization methods described are evaluated using two types of seismic assessment methods. The first seismic assessment method used consists of first performing a quasi-static non-linear pushover analysis (NLPO) on the model. This results in the pushover curve, which describes the global behaviour of the model under an equivalent lateral load based on the fundamental mode shape of the structure. The pushover curve is then used with the N2-method described in EN1998-1 (2004) to assess at which peak ground acceleration (PGA) that the model reaches the near-collapse (NC) limit state. The second seismic assessment method consists of performing dynamic non-linear time-history analyses (NLTH). This method uses recorded accelerograms to impose the inertial forces. The PGA for the accelerogram where the near-collapse limit state is reached is compared to the PGA from the use of the N2-method. The applicability of the pushover analysis in conjunction with the N2-method is evaluated by how well it replicates the PGA found from the time-history analyses and by how well it replicates local failure mechanisms.  Therefore, the main objectives of this project can be described by the following two questions: i. To what extent can the equivalent frame method be applicable as a proper discretization method for pushover analyses and time-history analyses of low-rise unreinforced masonry residential buildings in the Groningen region? ii. To what extent can the non-linear pushover method be adopted to assess the seismic behaviour of low-rise unreinforced masonry residential buildings in the Groningen region? The applicability of the equivalent frame model showed to vary. For describing local failure mechanisms its applicability is poor. Further work on connecting the edge piers to transverse walls is needed. For seismic assessment using the N2-method the applicability of the equivalent frame model approach is sensible. The conservative displacement capacity counteracts the fact that it is worse at describing local unloading, which produced a larger initial equivalent stiffness of the bi-linear curves in comparison to the continuum model. For seismic assessment using the time-history signals, its applicability is possible. While it could show different behaviour in terms of displacement and damping forces, it still showed a similar PGA at the near-collapse limit state for the cases at hand. The seismic assessment of the terraced and detached houses by the N2-method is similar to the seismic prediction by applying time-history analyses. However, there are still some variations in the initial stiffness, force capacity and displacement capacity between these two assessment methods due to the assumptions and limitations in this study. Overall, considering the pros and cons of the quasi-static pushover method, it is deemed applicable during the seismic assessment of the unreinforced masonry structures in the Groningen area. / En stor mängd låga oarmerade murverksbyggnader finns i Groningen, Nederländerna. Allt fler jordbävningar med kort varaktighet har uppmätts i regionen pågrund utav gasproduktion. I området förekommer oarmerade murverksbyggnader som initialt inte var dimensionerade för jordbävningslaster, vilket har resulterat i oönskade skador samt osäkerhet för invånarna. Förekommande låga murverksbyggnader i Groningen kan fördelas i olika grupper beroende på deras egenskaper. Två typer av murverksbyggnader utformade som bostäder uppföljer kraven för att utföra olinjär jordbävningsanalys och har i detta projekt studerats. Typerna som studerats är radhus samt fristående hus. Jordbävningsnalys av byggnader kräver användningen av en diskretiseringsmetod samt en utvärderingsmetod. Diskretiseringsmetoden används för att översätta den mekaniska modellen till en finita elementmodell för numerisk analys. Flera metoder har tidigare visat sig vara applicerbara för utvärdering under jordbävningslaster, men det här projektet studerar konsekvensen från användningen av en kontinuumelement modell (CM) samt en ekvivalent rammodel (EFM) för diskretisering i det generella finita elementpaketet beskrivet i DIANA-FEA-BV (2017). Metoden som använts för att skapa kontinuumelement modeller vart i ett tidigare projekt av Schreppers et al. (2017) validerat mot experimentella resultat och anses därför  representera det fysiska beteendet hos de mekaniska modellerna. Ett förslag för hur ekvivalenta rammodeller ska uppföras i DIANA ges i arbetet av Nobel (2017). Metoden för en kontinuumelement modell använder en konstitutiv lag som utvecklats för utvärderingen av murverksbyggnader under jordbävningslaster. Denna konstitutiva modell fångar skjuv- samt böjbrottmekanismer. Metoden för en ekvivalent rammodell använder numeriskt integrerade balkelement samt nodelement, där båda elementtyper använder en distinkt konstitutiv modell vilket gör att skjuv- samt böjbeteende hanteras individuellt. Den här metoden har som mål att fånga makro-beteendet av elementen. Applicerbarheten av den föreslagna metoden för ekvivalenta rammodeller är utvärderat via hur väl den replikerar resultaten från en kontinuumelement modell. De två diskretiseringsmetoderna jämförs via två metoder för utvärdering under jordbävningslaster. Den första utvärderingsmetoden består av att först utföra en kvasi-statisk olinjär stjälpningsanalys (NLPO) på modellen. Detta leder till stjälpningskurvan, vilket beskriver den globala responsen av modellen under en ekvivalent horisontal last som baserats på första fundamentala moden av bärverket. Stjälpningkurvan används sedan med N2-metoden som beskrivs i EN1998-1 (2004) för att utvärdera vid vilken maximal markacceleration (PGA) som modellen når nära-kollapsgränstilsståndet (NC). Den andra utvärderingsmetoden består av att utföra dynamiska samt olinjära tids-historikanalyser (NLTH). För att göra detta så används accelerogram för att applicera den dynamiska lasten. Den maximala markaccelerationen för signalen där tids-historikanalysen når nära-kollapsgränstilsståndet är jämfört mot den maximala markaccelerationen som fås när N2-metoden används. Applicerbarheten för stjälpningsanalysen tillsammans med N2-metoden utvärderas via hur väl den replikerar resultatet av den maximala markaccelerationen som erhållsfrån tids-historikanalyserna, samt via hur väl metoden replikerar lokala brottmoder. Baserat på detta så kan målen med detta project sammanfattas via dessa två frågeställningar: i. Till vilken grad kan den föreslagna metoden för ekvivalenta rammodeller användas för utvärdering under jordbävningslaster när stälpningsanalyser, samt tids-historikanalyser, utförs på låga och oarmerade murverksbyggnader utformade som bostadsrätter i Groningen? ii. Till vilken grad kan olinjär stjälpningsanalys användas för utvärdering under jordbävningslaster på låga och oarmerade murverksbyggnader utformade som bostadsrätter i Groningen? Applicerbarheten av metoden för ekvivalenta rammodeller visade sig variera. För att beskriva lokala brottmoder så är applicerbarheten låg. Fortsatt arbete som undersöker hur pelarelementen ska kopplas mot de tvärgående väggarna bör utföras. För utvärdering via användandet av N2-metoden så visade det sig att applicerbarheten är rimlig. Den konservativa deformationskapaciteten motverkar det faktum att metoden för ekvivalenta rammodeller är sämre på att påvisa lokal avlastning, vilket i sin tur resulterade i en större ekvivalent initial styvhet för de bi-linjära kurvorna i jämförelse mot metoden för kontinuumelement modeller. För utvärdering när tids-historikanalyser användes så visade applicerbarheten vara rimlig. Samtidigt som det kunde uppstå skillnader i beteende när det kom till deformation samt dämpning, så visade det sig att metoderna fortfarande uppvisade en liknande maximal markacceleration vid nära-kollapsgränstilsståndet för bärverken i fråga. Utvärderingen under jordbävningslast för modellerna när N2-metoden användes visade liknande resultat som när tids-historikanalyserna utfördes. Det förekom dock skillnader i den initiala styvheten, i skjuvkraftskapaciteten och i deformationskapciteten mellan utvärderingsmetoderna från gjorda antaganden samt begränsningar hos arbetet. Som en slutsats när för- samt nackdelar värderas så visade det sig att stjälpningsmetoden är en rimlig utvärderinsgmetod för oarmerade murverksbyggnader i Groningen.

Approved for public release, distribution is unlimited / In this thesis, the ocean was modeled as a waveguide with an ideal pressure - release surface, and an ideal rigid bottom. The ocean waveguide was then treated as a linear, time - invariant, space - variant (TISV) filter or communication channel. The filter is time - invariant because no motion was modeled and because the properties of the ocean were assumed to be constant. The filter is space - variant because of the presence of the two boundaries, that is, the ocean surface and ocean bottom. This thesis investigates the ocean as a linear TISV filter by evaluating 1) the complex frequency response, 2) the impulse response, and 3) the transfer function of the ocean with respect to depth. It is shown that the TISV impulse response of the ocean contains information that can be used to help localize a target in range and whether the target is above or below the receiver. Computer simulation results were obtained by evaluating the three filter functions for several different test cases. / Ensign, United States Navy

學界間廣泛地認為一般金融資產報酬具有的特性是:線型不可預測性,條件 異質變異數,非條件尖峰態 ... 等特性o 固然金融資產報酬具有線型不可 預測之特性,可是並不能否決其間可能有非線型依存關係的存在o目前大部 份經濟計量分析方法中的模式建構問題均是在假設模式的結構訊息已知的 條件下求解,然若真實體系的結構訊息未知或不明朗時,貿然地假設為某種 特定的模式結構,則可能又難於避免模式設定錯誤的困擾,因而對於真實體 系行為的描述亦將可能是誤導且不合理的,這意味著:除非該特定的模式結 構正是真實體系的表徵, 否則無論該特定模式的結構特性多完美,均難以 建構一令人信服的數理化模式來表徵真實體系之行為o 不幸地,此一問題 在高度非線型的動態隨機體系中尤其嚴重, 甚至是否存在一 ``真實'' 模式來據以表徵體系之行為,亦是相當值得懷疑, 故考慮一種無需特定結 構訊息假設的無母數方法或函數逼近法實屬必要o 類神經網路中的倒傳遞 網路模式即是符合此種特性的方法之一o然而學界間仍無法確定的是金融 資產報酬序列資料所產生的 ARCH 效果本身是否為真實序列資料產生機制 特性之顯現, 還是應歸咎於被忽略掉條件均數方面之非線性所衍生模式設 定錯誤情況下的代用模式, 並不得而知;另一方面, ARCH 模式的顯著成就 及其價值亦不能予以輕易地漠視, 因此, 試圖將 ARCH 模式所能提供的攸 關訊息納入倒傳遞網路模式的考量之中而形成倒傳遞網路-自迴歸條件異 質變異數 (BPN-ARCH) 模式以增進樣本外預測能力的精度便是本論文最 主要的嘗試重點與目的o

Signal processing has been playing a key role in providing solutions to key problems encountered in communications, in general, and in wireless communications, in particular. Time-Frequency Signal Processing (TFSP) provides eective tools for analyzing nonstationary signals where the frequency content of signals varies in time as well as for analyzing linear time-varying systems. This research aimed at exploiting the advantages of TFSP, in dealing with nonstationary signals, into the fundamental issues of signal processing, namely the signal estimation and signal separation. In particular, it has investigated the problems of (i) the Instantaneous Frequency (IF) estimation of Linear Frequency-Modulated (LFM) signals corrupted in complex-valued zero-mean Multiplicative Noise (MN), and (ii) the Underdetermined Blind Source Separation (UBSS) of LFM signals, while focusing onto the fast-growing area of Wireless Communications (WCom). A common problem in the issue of signal estimation is the estimation of the frequency of Frequency-Modulated signals which are seen in many engineering and real-life applications. Accurate frequency estimation leads to accurate recovery of the true information. In some applications, the random amplitude modulation shows up when the medium is dispersive and/or when the assumption of point target is not valid; the original signal is considered to be corrupted by an MN process thus seriously aecting the recovery of the information-bearing frequency. The IF estimation of nonstationary signals corrupted by complex-valued zero-mean MN was investigated in this research. We have proposed a Second-Order Statistics approach, rather than a Higher-Order Statistics approach, for IF estimation using Time-Frequency Distributions (TFDs). The main assumption was that the autocorrelation function of the MN is real-valued but not necessarily positive (i.e. the spectrum of the MN is symmetric but does not necessary has the highest peak at zero frequency). The estimation performance was analyzed in terms of bias and variance, and compared between four dierent TFDs: Wigner-Ville Distribution, Spectrogram, Choi-Williams Distribution and Modified B Distribution. To further improve the estimation, we proposed to use the Multiple Signal Classification algorithm and showed its better performance. It was shown that the Modified B Distribution performance was the best for Signal-to-Noise Ratio less than 10dB. In the issue of signal separation, a new research direction called Blind Source Separation (BSS) has emerged over the last decade. BSS is a fundamental technique in array signal processing aiming at recovering unobserved signals or sources from observed mixtures exploiting only the assumption of mutual independence between the signals. The term "blind" indicates that neither the structure of the mixtures nor the source signals are known to the receivers. Applications of BSS are seen in, for example, radar and sonar, communications, speech processing, biomedical signal processing. In the case of nonstationary signals, a TF structure forcing approach was introduced by Belouchrani and Amin by defining the Spatial Time- Frequency Distribution (STFD), which combines both TF diversity and spatial diversity. The benefit of STFD in an environment of nonstationary signals is the direct exploitation of the information brought by the nonstationarity of the signals. A drawback of most BSS algorithms is that they fail to separate sources in situations where there are more sources than sensors, referred to as UBSS. The UBSS of nonstationary signals was investigated in this research. We have presented a new approach for blind separation of nonstationary sources using their TFDs. The separation algorithm is based on a vector clustering procedure that estimates the source TFDs by grouping together the TF points corresponding to "closely spaced" spatial directions. Simulations illustrate the performances of the proposed method for the underdetermined blind separation of FM signals. The method developed in this research represents a new research direction for solving the UBSS problem. The successful results obtained in the research development of the above two problems has led to a conclusion that TFSP is useful for WCom. Future research directions were also proposed.

In the introduction this thesis classifies different conceptions of the relationship between science and faith. Then, it focuses on common topics of natural science and theology in secondary education. It summarises and reflects the experience of teaching practice and deals with the practical options for Christian issues which the students are usually interested in. The topics are presented in relation to a specific high school curricula and sorted into three parts: Death and dysthanasia, Time and rheology, Deus vere ludens et homo ludens. Some practical examples and recommendation for teaching practice are also mentioned.