Vaihtosuuntaajan reaaliaikainen lämpömalli

Vaihtosuuntaajan IGBT-moduulin liitosten lämpötiloja ei voida suoraan mitata, joten niiden arviointiin tarvitaan reaaliaikainen lämpömalli. Tässä työssä on tavoitteena kehittää tähän tarkoitukseen C-kielellä implementoitu ratkaisu, joka on riittävän tarkka ja samalla mahdollisimman laskennallisesti tehokas. Ohjelmallisen toteutuksen täytyy myös sopia erilaisille moduulityypeille ja sen on tarvittaessa otettava huomioon saman moduulin muiden sirujen lämmittävä vaikutus toisiinsa. Kirjallisuuskatsauksen perusteella valitaan olemassa olevista lämpömalleista käytännön toteutuksen pohjaksi lämpöimpedanssimatriisiin perustuva malli. Lämpöimpedanssimatriisista tehdään Simulink-ohjelmalla s-tason simulointimalli, jota käytetään referenssinä muun muassa implementoinnin tarkkuuden verifiointiin. Lämpömalli tarvitsee tiedon vaihtosuuntaajan häviöistä, joten työssä on selvitetty eri vaihtoehtoja häviölaskentaan. Lämpömallin kehittäminen s-tason mallista valmiiksi C-kieliseksi koodiksi on kuvattu tarkasti. Ensin s-tason malli diskretoidaan z-tasoon. Z-tason siirtofunktiot muutetaan puolestaan ensimmäisen kertaluvun differenssiyhtälöiksi. Työssä kehitetty monen aikatason lämpömalli saadaan jakamalla ensimmäisen kertaluvun differenssiyhtälöt eri aikatasoille suoritettavaksi sen mukaan, mikä niiden kuvaileman termin vaatima päivitysnopeus on. Tällainen toteutus voi parhaimmillaan kuluttaa alle viidesosan kellojaksoja verrattuna suoraviivaiseen yhden aikatason toteutukseen. Implementoinnin tarkkuus on hyvä. Implementoinnin vaatimia suoritusaikoja testattiin Texas Instrumentsin TMS320C6727- prosessorilla (300 MHz). Esimerkkimallin laskemisen määritettiin kuluttavan vaihtosuuntaajan toimiessa 5 kHz kytkentätaajuudella vain 0,4 % prosessorin kellojaksoista. Toteutuksen tarkkuus ja laskentakapasiteetin vähäinen vaatimus mahdollistavat lämpömallin käyttämisen lämpösuojaukseen ja lisäämisen osaksi muuta jo prosessorilla olemassa olevaa systeemiä.

Problèmes de premier passage et de commande optimale pour des chaînes de Markov à temps discret.

Nous considérons des processus de diffusion, définis par des équations différentielles stochastiques, et puis nous nous intéressons à des problèmes de premier passage pour les chaînes de Markov en temps discret correspon- dant à ces processus de diffusion. Comme il est connu dans la littérature, ces chaînes convergent en loi vers la solution des équations différentielles stochas- tiques considérées. Notre contribution consiste à trouver des formules expli- cites pour la probabilité de premier passage et la durée de la partie pour ces chaînes de Markov à temps discret. Nous montrons aussi que les résultats ob- tenus convergent selon la métrique euclidienne (i.e topologie euclidienne) vers les quantités correspondantes pour les processus de diffusion. En dernier lieu, nous étudions un problème de commande optimale pour des chaînes de Markov en temps discret. L’objectif est de trouver la valeur qui mi- nimise l’espérance mathématique d’une certaine fonction de coût. Contraire- ment au cas continu, il n’existe pas de formule explicite pour cette valeur op- timale dans le cas discret. Ainsi, nous avons étudié dans cette thèse quelques cas particuliers pour lesquels nous avons trouvé cette valeur optimale.

Modélisation mathématique de la propagation de la malaria.

Un modèle mathématique de la propagation de la malaria en temps discret est élaboré en vue de déterminer l'influence qu'un déplacement des populations des zones rurales vers les zones urbaines aurait sur la persistance ou la diminution de l'incidence de la malaria. Ce modèle, sous la forme d'un système de quatorze équations aux différences finies, est ensuite comparé à un modèle analogue mais en temps continu, qui prend la forme d'équations différentielles ordinaires. Une étude comparative avec la littérature récente permet de déterminer les forces et les faiblesses de notre modèle.

Characterization theorem for classical orthogonal polynomials on non-uniform lattices: The functional approach

Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey-Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations,and the Riccati equation for the formal Stieltjes function.

Exercise sheet 2 pdf

Exercises and solutions in PDF

Exercise sheet 2

Exercises and solutions in LaTex

The state estimation of flow demands in gas networks from sparse pressure telemetry

This paper presents novel observer-based techniques for the estimation of flow demands in gas networks, from sparse pressure telemetry. A completely observable model is explored, constructed by incorporating difference equations that assume the flow demands are steady. Since the flow demands usually vary slowly with time, this is a reasonable approximation. Two techniques for constructing robust observers are employed: robust eigenstructure assignment and singular value assignment. These techniques help to reduce the effects of the system approximation. Modelling error may be further reduced by making use of known profiles for the flow demands. The theory is extended to deal successfully with the problem of measurement bias. The pressure measurements available are subject to constant biases which degrade the flow demand estimates, and such biases need to be estimated. This is achieved by constructing a further model variation that incorporates the biases into an augmented state vector, but now includes information about the flow demand profiles in a new form.

Problems in four-dimensional data assimilation

With the introduction of new observing systems based on asynoptic observations, the analysis problem has changed in character. In the near future we may expect that a considerable part of meteorological observations will be unevenly distributed in four dimensions, i.e. three dimensions in space and one in time. The term analysis, or objective analysis in meteorology, means the process of interpolating observed meteorological observations from unevenly distributed locations to a network of regularly spaced grid points. Necessitated by the requirement of numerical weather prediction models to solve the governing finite difference equations on such a grid lattice, the objective analysis is a three-dimensional (or mostly two-dimensional) interpolation technique. As a consequence of the structure of the conventional synoptic network with separated data-sparse and data-dense areas, four-dimensional analysis has in fact been intensively used for many years. Weather services have thus based their analysis not only on synoptic data at the time of the analysis and climatology, but also on the fields predicted from the previous observation hour and valid at the time of the analysis. The inclusion of the time dimension in objective analysis will be called four-dimensional data assimilation. From one point of view it seems possible to apply the conventional technique on the new data sources by simply reducing the time interval in the analysis-forecasting cycle. This could in fact be justified also for the conventional observations. We have a fairly good coverage of surface observations 8 times a day and several upper air stations are making radiosonde and radiowind observations 4 times a day. If we have a 3-hour step in the analysis-forecasting cycle instead of 12 hours, which is applied most often, we may without any difficulties treat all observations as synoptic. No observation would thus be more than 90 minutes off time and the observations even during strong transient motion would fall within a horizontal mesh of 500 km * 500 km.

Pulsating equilibria: stability through migration

This paper is to present a model of spatial equilibrium using a nonlinear generalization of Markov-chain type model, and to show the dynamic stability of a unique equilibrium. Even at an equilibrium, people continue to migrate among regions as well as among agent-types, and yet their overall distribution remain unchanged. The model is also adapted to suggest a theory of traffic distribution in a city.

Dynamical trust and reputation computation model for B2C E-Commerce

Trust is one of the most important factors that influence the successful application of network service environments, such as e-commerce, wireless sensor networks, and online social networks. Computation models associated with trust and reputation have been paid special attention in both computer societies and service science in recent years. In this paper, a dynamical computation model of reputation for B2C e-commerce is proposed. Firstly, conceptions associated with trust and reputation are introduced, and the mathematical formula of trust for B2C e-commerce is given. Then a dynamical computation model of reputation is further proposed based on the conception of trust and the relationship between trust and reputation. In the proposed model, classical varying processes of reputation of B2C e-commerce are discussed. Furthermore, the iterative trust and reputation computation models are formulated via a set of difference equations based on the closed-loop feedback mechanism. Finally, a group of numerical simulation experiments are performed to illustrate the proposed model of trust and reputation. Experimental results show that the proposed model is effective in simulating the dynamical processes of trust and reputation for B2C e-commerce.

Theoretical Dynamics of Experimental Populations of Introduced and Native Blowflies (Diptera: Calliphoridae)

Equilibrium dynamics in experimental populations of Chrysomya megacephala (F.) and C. putoria (Wiedemann), which have recently invaded the Americas, and the native species Cochliomyia macellaria (F.), were investigated using nonlinear difference equations. A theoretical analysis of the mathematical model using bifurcation theory established the combination of demographic parameters responsible for producing shifts in blowfly population dynamics from stable equilibria to bounded cycles and aperiodic behavior. Mathematical modeling shows that the populations of the 2 introduced Chrysomya species will form stable oscillations with numbers fluctuating 3-4 times in successive generations. However, in the native species C. macellaria, the dynamics is characterized by damping oscillations in population size, leading to a stable population level.

A simplified method for determining the high frequency induction motor equivalent electrical circuit parameters to be used in EMI effect

The aim of this paper is to present a simple method for determining the high frequency parameters of a three-phase induction motor to be used in studies involving variable speed drives with PWM three-phase inverters, in which it is necessary to check the effects caused to the motor by the electromagnetic interference, (EMI) in the differential mode, as well as in the common mode. The motor parameters determination is generally performed in adequate laboratories using accurate instruments, such as very expensive RLC bridges. The method proposed here consists in the identification of the motor equivalent electrical circuit parameters in rated frequency and in high frequency through characteristic tests in the laboratory, together with the use of characteristic equations and curves, shown in the references to be mentioned for determining the motor high frequency parasite capacitances and also through system simulations using dedicated software, like Pspice, determining the characteristic waveforms involved in the differential and common mode phenomena, comparing and validating the procedure through published papers [01].

Uso de equações de diferenças na obtenção de filtros para redução de ruído em sinais de voz no domínio wavelet

Pós-graduação em Engenharia Elétrica - FEIS

Estratégias de controle de ordem fracionária aplicadas ao amortecimento de oscilações eletromecânicas em sistemas elétricos de potência

Neste trabalho é proposta uma nova metodologia de projeto de estabilizadores de sistemas de potência baseada em teoria de sistemas de ordem fracionária (ESP-OF). A estratégia é baseada em uma generalização do projeto de compensadores do tipo rede avançoatraso (lead-lag) para o domínio de funções de transferência de ordem fracionária. Uma nova variável de projeto, a qual define a ordem da dinâmica fracionária do controlador, é sintonizada para se obter um compromisso entre um bom desempenho no amortecimento do modo eletromecânico dominante e uma robustez ampliada do ESP-OF. O desempenho do ESP-OF foi avaliado experimentalmente, em um sistema de potência em escala reduzida, localizado no Laboratório de Sistemas de Potência da Universidade Federal do Pará. A referida planta de teste apresenta uma estrutura típica do tipo gerador síncrono conectado a um barramento infinito e exibe um modo dominante de oscilação eletromecânica, de amortecimento extremamente reduzido, cujo valor da frequência natural é em torno de 1,2 Hz. O ESP-OF foi então projetado para ampliar o amortecimento relativo desse modo alvo, para toda a faixa de operação admissível. Para fins de implementação prática, primeiramente foram realizados testes experimentais para a identificação de um modelo nominal da planta, sob a forma de uma função de transferência pulsada, para uso na fase de projeto. O modelo obtido experimentalmente foi então validado e posteriormente utilizado tanto para o projeto do ESP-OF quanto para o projeto de um ESP convencional (utilizado para fins de comparação de desempenho). As leis de controle amortecedor do ESP-OF foram calculadas, convertidas para a forma de equações a diferenças e, subsequentemente, embarcadas em sistema digital baseado em microcontrolador DSPIC. Diversos testes de resposta ao impulso foram realizadas sob diferentes condições operacionais. As respectivas respostas dinâmicas dos sinais de saída da planta (desvio de potencia ativa) e do esforço de controle foram registradas para fins de análise. Os resultados experimentais mostraram que o ESP fracionário apresentou um desemprenho dinâmico e robustez similar em comparação com o desempenho obtido por um ESP convencional, para toda a faixa de operação investigada.

Stieltjes functions and discrete classical orthogonal polynomials

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)