In its theoretical part, this thesis sums up the basic knowledge concerning permutations. Besides the representation of permutations and determination of their fundamental characteristics, the theoretical part is, first of all, aimed at results concerning the decomposition of permutations into disjoint cycles and at finding the number of permutations with a certain characteristic. We introduce the fundamental bijection that is useful for solving many problems concerning the permutations. Further on, we focus on the number of permutations without a fixed point, Eulerian numbers expressing the number of permutations with a given number of descents, and the number of permutations with a given number of excedances, Stirling numbers of the first kind expressing the number of permutations with a given number of cycles, and Catalan numbers representing the number of permutations avoiding a chosen pattern of length three. Attention is also paid to the Gilbreath permutations and their characteristics. The practical part consists of 14 solved problems. The solutions rely on the results presented in the theoretical part, and there are deduced some further interesting results concerning random permutations.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-02-27Bitstream added on 2014-06-13T18:30:54Z : No. of bitstreams: 1 galves_apt_me_sjrp.pdf: 719114 bytes, checksum: 3cc285d329c0d629cf2c6ff65c13a201 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Em Topologia, mais especificamente em Topologia Algébrica, temos alguns resultados clássicos que de alguma forma estão relacionados. No desenvolvimento deste trabalho, estudamos alguns desses resultados, a saber: Teorema de Lefschetz-Hopf, Teorema do Ponto Fixo de Lefschetz, Teorema do Ponto Fixo de Brouwer, Teorema da Curva de Jordan e o Teorema Clássico de Borsuk-Ulam. Além disso, tivemos como objetivo principal mostrar relações existentes entre esses teoremas a partir do Teorema de Lefschetz-Hopf. / In Topology, more specifically in Algebraic Topology, we have some classical results that are in some way related. In developing this work, we studied some of these results, namely the Lefschetz-Hopf Theorem, the Lefschetz Fixed Point Theorem, the Brouwer Fixed Point Theorem, the Jordan Curve Theorem and the Classic Borsuk-Ulam Theorem. Moreover, our main objective was to show relationships among those theorems by using Lefschetz-Hopf Theorem.

Orientador: Lucila Chebel Labaki / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-08-09T14:17:45Z (GMT). No. of bitstreams: 1 Costa_AngelinaDiasLeao_D.pdf: 32413160 bytes, checksum: ec2ca71b106a4ab0c27023a5c4efbc30 (MD5) Previous issue date: 2007 / Resumo: A ocupação do solo urbano influencia na qualidade térmica dos ambientes que permeiam as edificações proporcionando a existência de microclimas diferenciados dentro de uma mesma cidade; por outro lado há uma necessidade crescente de se desenvolver novas estratégias de planejamento que utilizem dados fornecidos pela climatologia e permitam a continuidade do crescimento dessas áreas de forma que a população possa viver em um ambiente equilibrado. Nesse sentido, esta tese objetiva analisar a distribuição da temperatura do ar na área urbana de uma cidade de baixa latitude e clima quente e úmido, através da proposição de uma metodologia de medição em pontos fixos, correlacionando-a com os tipos de revestimento da superfície horizontal (cobertura e piso) existentes; tendo Natal/RN como área objeto de estudo. A metodologia sintetiza práticas correntes em estudos de campo, através da tomada de dados em 02 épocas do ano distintas (verão e inverno), hora a hora, durante 07 dias típicos, em 20 pontos fixos distribuídos na cidade, com equipamentos do tipo loggers aferindo temperatura e umidade relativa do ar. Foi desenvolvida uma proteção para os equipamentos registradores para medição ao ar livre e utilizou-se de terrenos de torres de telefonia celular para as medições, pioneiramente. Também foram mapeados 0,31km2 quanto à ocupação do solo nos entornos dos pontos, com a ajuda do processamento digital de imagem de satélite. Analisaram-se estatisticamente dados dos períodos de verão e inverno separadamente e comparativamente, e os pontos de coleta semelhantes foram agrupados com relação ao comportamento térmico em 05 grupos. Além disso, foi proposto um indicador de composição de revestimento horizontal que, relacionado à temperatura do ar, gerou mapas temáticos confirmando que áreas urbanas com menor porcentagem de área permeável têm suas temperaturas mais elevadas. Verificou-se que a temperatura do ar não é homogênea na cidade; e que as diferenças microclimáticas são pequenas em valores absolutos (o que possivelmente se deve à influência da ventilação predominante Sudeste proveniente do mar), mas são significativas e devem ser consideradas. Concluiuse ainda que essas diferenças são decorrentes do período, turno e hora de medição e ainda das diversas configurações urbanas encontradas, incluindo os revestimentos das superfícies horizontais existentes na cidade (cobertura e piso), mas os resultados devem ser considerados ponto a ponto. A metodologia de medição em pontos fixos, desenvolvida e testada, pode ser aplicada em cidades localizadas em localidades de baixa latitude e clima quente e úmido, e sugere-se que a taxa de permeabilidade na cidade seja revista, considerando-se a ótica do bairro / Abstract: The occupation of the urban soil influences on the thermal quality of the cities that permeates the constructions providing microclimatic differences inside the same city; on the other hand there is a growing need to develop new planning strategies, so that data supplied by the climatology can be used and allow the continuity of the growth of those areas, so that the population can live in a balanced urban area. In that sense, this thesis aims to analyze the air temperature distribution in the urban area of low latitude cities with hot and humid climate, through the proposition of a measurement methodology in fixed points, correlating it with the types of existent horizontal surfaces pavements (covering and floor); the city of Natal/RN is the study object. The methodology synthesizes average practices in field studies, through hourly data measurement in 02 different seasons of the year (summer and winter), for 07 typical days, in 20 dispersed fixed points in the city, with loggers equipments collecting air temperature and relative humidity data. A protection was developed to equipments for outdoor recording and it was used cellular telephony towers basis for the measurements. Also 0,31km2 were mapped as for the occupation of the soil around the points, with digital processing of satellite image. Summer and winter collected data were statistically analyzed, separately and comparatively, and groups of similar points were organized regarding the thermal behavior in 05 groups. An indicator of composition of horizontal covering was proposed and related to the air temperature generated thematic maps, confirming that urban areas with higher temperatures have smaller percentage of permeable area. It was verified that the air temperature is not homogeneous in the city; that the microclimatic differences exist and are small in absolute values (what is possibly due to the influence of the Southeast predominant wind originating from the sea), but they should be considered. It was concluded that although those differences are consequence of the period, shift and hour of measurement and still of the several found urban configurations, including the coverings of the existent horizontal surfaces in the city (covering and floor), but that the results should be considered point to point. The measurement methodology in fixed points developed and tested can be applied in cities with low latitude and hot and humid climate, and in conclusion it is suggested that the permeability percentage in the city must be reviewed considering the particular occupation of neighborhoods / Doutorado / Arquitetura e Construção / Doutor em Engenharia Civil

In vorliegendem Artikel wird eine Verallgemeinerung eines Approximationsteorems von Chidume /6/ für streng pseudokontraktive Operatoren in Lp beziehungsweise lp-Räumen (mit P =2) angegeben. Es wird ein Verfahren betrachtet, welches von MANN /14/ für reelle Funktionen eingeführt würde. / This article gives a generalization of an approximation theorem by Chidume / 6 / for strictly pseudocontractive operators in Lp or lp spaces (with P = 2). We consider a method, which MANN / 14 / had introduced for real functions.

Les gens infectés par la rougeole subissent une suppression immunitaire. Ce mémoire porte sur l’influence de cette caractéristique de la rougeole sur un autre pathogène, ici la grippe. Il s’agit donc de modéliser la réponse immunitaire d’une interaction virus-virus, problème d’une grande pertinence durant la pandémie causée par le SRAS-CoV-2 alors que les interactions de celui-ci avec le virus de l’influenza demeurent à déterminer. Nous avons également que la grippe augmente la production d’autres pathogènes. Un modèle de chaque pathogène va être développé et analysé. On cherchera les points fixes, leurs conditions de stabilité et on observera quelques résultats numériques pour constater leurs évolutions dans le temps. Ensuite un modèle suivant l’évolution des deux pathogènes ayant infecté un individu au même moment sera conçu. Dans ce modèle nous inclurons les interactions d’un pathogène l’un sur l’autre pour déterminer théoriquement les effets chez les individus infectés à la fois par la grippe et la rougeole. On pourra par la suite comparer entre les différentes populations lorsqu’il n’y a aucune interaction et avec les différentes interactions entre les deux pathogènes. / People infected with measles experience immune suppression. This work focuses on the influence of this characteristic of measles on another pathogen, here the flu. We also have that the flu will increase the production of other pathogens in a co-infection model. Modeling the immune response to such virus-virus interaction is currently of signficant relevance, given the limited knowledge on SARS-CoV-2/influenza interactions. A model of each pathogen will be developed and analysed. We will look for the fixed points, conditions for their stability and we will observe some numerical results of their evolution over time. Then a model following the evolution of the two pathogens having simultaneously infected an individual will be designed. In this model we will include the interactions of the pathogens on each other to theoretically determine the effects in individuals infected with both influenza and measles. Then we can compare between the different populations when there is no interaction and with the different interactions between the two pathogens.

This PhD thesis treats some problems concerning nonlinear differential equations. In the first two papers computer-assisted proofs are used. The differential equations there are rewritten as fixed point problems, and the existence of solutions are proved. The problem in the first paper is one-dimensional; with one boundary condition given by an integral. The problem in the second paper is three-dimensional, and Dirichlet boundary conditions are used. Both problems have their origins in fluid dynamics. Paper III describes an inverse problem for the heat equation. Given the solution, a solution dependent diffusion coefficient is estimated by intervals at a finite set of points. The method includes the construction of set-valued level curves and two-dimensional splines. In paper IV we prove that there exists a unique, globally attracting fixed point for a differential equation system. The differential equation system arises as the number of peers in a peer-to-peer network, which is described by a suitably scaled Markov chain, goes to infinity. In the proof linearization and Dulac's criterion are used.

This thesis is concerned with nonlinear analyses of BWR stability behaviour, contributing to a deeper understanding in this field. Despite negative feedback-coefficients of a BWR, there are operational points (OP) at which oscillatory instabilities occur. So far, a comprehensive and an in-depth understanding of the nonlinear BWR stability behaviour are missing, even though the impact of the significant physical parameters is well known. In particular, this concerns parameter regions in which linear stability indicators, like the asymptotic decay ratio, lose their meaning. Nonlinear stability analyses are usually carried out using integral (system) codes, describing the dynamical system by a system of nonlinear partial differential equations (PDE). One aspect of nonlinear BWR stability analyses is to get an overview about different types of nonlinear stability behaviour and to examine the conditions of their occurrence. For these studies the application of system codes alone is inappropriate. Hence, in the context of this thesis, a novel approach to nonlinear BWR stability analyses, called RAM-ROM method, is developed. In the framework of this approach, system codes and reduced order models (ROM) are used as complementary tools to examine the stability characteristics of fixed points and periodic solutions of the system of nonlinear differential equations, describing the stability behaviour of a BWR loop. The main advantage of a ROM, which is a system of ordinary differential equations (ODE), is the possible coupling with specific methods of the nonlinear dynamics. This method reveals nonlinear phenomena in certain regions of system parameters without the need for solving the system of ROM equations. The stability properties of limit cycles generated in Hopf bifurcation points and the conditions of their occurrence are of particular interest. Finally, the nonlinear phenomena predicted by the ROM will be analysed in more details by the system code. Hence, the thesis is not focused on rendering more precisely linear stability indicators like DR. The objective of the ROM development is to develop a model as simple as possible from the mathematical and numerical point of view, while preserving the physics of the BWR stability behaviour. The ODEs of the ROM are deduced from the PDEs describing the dynamics of a BWR. The system of ODEs includes all spatial effects in an approximated (spatial averaged) manner, e.g. the space-time dependent neutron flux is expanded in terms of a complete set of orthogonal spatial neutron flux modes. In order to simulate the stability characteristics of the in-phase and out-of-phase oscillation mode, it is only necessary to take into account the fundamental mode and the first azimuthal mode. The ROM, originally developed at PSI in collaboration with the University of Illinois (PSI-Illinois-ROM), was upgraded in significant points: • Development and implementation of a new calculation methodology for the mode feedback reactivity coefficients (void and fuel temperature reactivity) • Development and implementation of a recirculation loop model; analysis and discussion of its impact on the in-phase and out-of-phase oscillation mode • Development of a novel physically justified approach for the calculation of the ROM input data • Discussion of the necessity of consideration of the effect of subcooled boiling in an approximate manner With the upgraded ROM, nonlinear BWR stability analyses are performed for three OPs (one for NPP Leibstadt (cycle7), one for NPP Ringhals (cycle14) and one for NPP Brunsbüttel (cycle16) for which measuring data of stability tests are available. In this thesis, the novel approach to nonlinear BWR stability analyses is extensively presented for NPP Leibstadt. In particular, the nonlinear analysis is carried out for an operational point (OP), in which an out-of-phase power oscillation has been observed in the scope of a stability test at the beginning of cycle 7 (KKLc7_rec4). The ROM predicts a saddle-node bifurcation of cycles, occurring in the linear stable region, close to the KKLc7_rec4-OP. This result allows a new interpretation of the stability behaviour around the KKLc7_rec4-OP. The results of this thesis confirm that the RAM-ROM methodology is qualified for nonlinear BWR stability analyses. / Die vorliegende Dissertation leistet einen Beitrag zum tieferen Verständnis des nichtlinearen Stabilitätsverhaltens von Siedewasserreaktoren (SWR). Trotz der Tatsache, dass in diesem technischen System nur negative innere Rückkopplungskoeffizienten auftreten, können in bestimmten Arbeitspunkten oszillatorische Instabilitäten auftreten. Obwohl relativ gute Kenntnisse über die signifikanten physikalischen Einflussgrößen vorliegen, fehlt bisher ein umfassendes Verständnis des SWR-Stabilitätsverhaltens. Das betrifft insbesondere die Bereiche der Systemparameter, in denen lineare Stabilitätsindikatoren, wie zum Beispiel das asymptotische Decay Ratio (DR), ihren Sinn verlieren. Die nichtlineare Stabilitätsanalyse wird im Allgemeinen mit Systemcodes (nichtlineare partielle Differentialgleichungen, PDG) durchgeführt. Jedoch kann mit Systemcodes kein oder nur ein sehr lückenhafter Überblick über die Typen von nichtlinearen Phänomenen, die in bestimmten System-Parameterbereichen auftreten, erhalten werden. Deshalb wurde im Rahmen der vorliegenden Arbeit eine neuartige Methode (RAM-ROM Methode) zur nichtlinearen SWR-Stabilitätsanalyse erprobt, bei der integrale Systemcodes und sog. vereinfachte SWR-Modelle (ROM) als sich gegenseitig ergänzende Methoden eingesetzt werden, um die Stabilitätseigenschaften von Fixpunkten und periodischen Lösungen (Grenzzyklen) des nichtlinearen Differentialgleichungssystems, welches das Stabilitätsverhalten des SWR beschreibt, zu bestimmen. Das ROM, in denen das dynamische System durch gewöhnliche Differentialgleichungen (GDG) beschrieben wird, kann relativ einfach mit leistungsfähigen Methoden aus der nichtlinearen Dynamik, wie zum Beispiel die semianalytische Bifurkationsanalyse, gekoppelt werden. Mit solchen Verfahren kann, ohne das DG-System explizit lösen zu müssen, ein Überblick über mögliche Typen von stabilen und instabilen oszillatorischen Verhalten des SWR erhalten werden. Insbesondere sind die Stabilitätseigenschaften von Grenzzyklen, die in Hopf-Bifurkationspunkten entstehen, und die Bedingungen, unter denen sie auftreten, von Interesse. Mit dem Systemcode (RAMONA5) werden dann die mit dem ROM vorhergesagten Phänomene in den entsprechenden Parameterbereichen detaillierter untersucht (Validierung des ROM). Die Methodik dient daher nicht der Verfeinerung der Berechnung linearer Stabilitätsindikatoren (wie das DR). Das ROM-Gleichungssystem entsteht aus den PDGs des Systemcodes durch geeignete (nichttriviale) räumliche Mittelung der PDG. Es wird davon ausgegangen, dass die Reduzierung der räumlichen Komplexität die Stabilitätseigenschaften des SWR nicht signifikant verfälschen, da durch geeignete Mittlungsverfahren, räumliche Effekte näherungsweise in den GDGs berücksichtig werden. Beispielsweise wird die raum- und zeitabhängige Neutronenflussdichte nach räumlichen Moden entwickelt, wobei für eine Simulation der Stabilitätseigenschaften der In-phase- und Out-of-Phase-Leistungsoszillationen nur der Fundamentalmode und der erste azimuthale Mode berücksichtigt werden muss. Das ROM, welches ursprünglich am Paul Scherrer Institut (PSI, Schweiz) in Zusammenarbeit mit der Universität Illinois (USA) entwickelt wurde, ist in zwei wesentlichen Punkten erweitert und verbessert worden: • Entwicklung und Implementierung einer neuen Methode zur Berechnung der Rückkopplungsreaktivitäten • Entwicklung und Implementierung eines Modells zur Beschreibung der Rezirkulationsschleife (insbesondere wurde der Einfluss der Rezirkulationsschleife auf den In-Phase-Oszillationszustand und auf den Out-of-Phase-Oszillationszustand untersucht) • Entwicklung einer physikalisch begründeten Methode zur Berechnung der ROM-Inputdaten • Abschätzung des Einflusses des unterkühlten Siedens im Rahmen der ROM-Näherungen Mit dem erweiterten ROM wurden nichtlineare Stabilitätsanalysen für drei Arbeitspunkte (KKW Leibstadt (Zyklus 7) KKW Ringhals (Zyklus 14) und KKW Brunsbüttel (Zyklus 16)), für die Messdaten vorliegen, durchgeführt. In der Dissertationsschrift wird die RAM-ROM Methode ausführlich am Beispiel eines Arbeitspunktes (OP) des KKW Leibstadt (KKLc7_rec4-OP), in dem eine aufklingende regionale Leistungsoszillation bei einem Stabilitätstest gemessen worden ist, demonstriert. Das ROM sagt die Existenz eines Umkehrpunktes (saddle-node bifurcation of cycles, fold-bifurcation) voraus, der sich im linear stabilen Gebiet nahe der Stabilitätsgrenze befindet. Mit diesem ROM-Ergebnis ist eine neue Interpretation der Stabilitätseigenschaften des KKLc7_rec4-OP möglich. Die Resultate der in der Dissertation durchgeführten RAM-ROM Analyse bestätigen, dass das weiterentwickelte ROM für die Analyse des Stabilitätsverhaltens realer Leistungsreaktoren qualifiziert wurde.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-01-16T17:13:32Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Tese - Marcos Roberto Marcial - 2014.pdf: 1577179 bytes, checksum: ac1649c996b2193bad6b704f05eca30c (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-01-16T17:40:15Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Tese - Marcos Roberto Marcial - 2014.pdf: 1577179 bytes, checksum: ac1649c996b2193bad6b704f05eca30c (MD5) / Made available in DSpace on 2015-01-16T17:40:15Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Tese - Marcos Roberto Marcial - 2014.pdf: 1577179 bytes, checksum: ac1649c996b2193bad6b704f05eca30c (MD5) Previous issue date: 2014-06-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we study the topological structure of the solution set for a class of problems −Δpu = λ f (u)+μg(u)|∇u|p+Ψ(x) in Ω, u > 0 in Ω, u = 0 on ∂Ω, where Ω ⊂ IRN is a bounded domain with ∂Ω smooth, p, λ, μ are constants with p > 1, λ ≥ 0, μ ∈ IR and f ,g : (0,∞)→IR Ψ : Ω→IR are continuous functions. We will use Variational and Topological Methods, which includes minimization of energy functional and building connected components of solutions in a sense that we will define. Also we will employ arguments about the theory of regularity for p-Laplacian operator, approach arguments , maximum principles, results about sub and supersolutions and also arguments including monotonic type operators. / Neste trabalho estudamos a estrutura topológica do conjunto de soluções da classe de problemas −Δpu = λ f (u)+μg(u)|∇u|p+Ψ(x) em Ω, u > 0 em Ω, u = 0 sobre ∂Ω, onde Ω⊂IRN é um domínio limitado com fronteira ∂Ω regular, p, λ, μ são constantes com p > 1, λ ≥ 0, μ ∈ IR e f ,g : (0,∞)→IR, Ψ : Ω→IR são funções contínuas. Utilizamos Métodos Variacionais e Topológicos, que incluem minimização de funcionais energia e construção de componentes conexas de soluções em um sentido que definiremos. Empregamos também argumentos sobre a teoria da regularidade para o operador p- Laplaciano, argumentos de aproximação, bem como princípios de máximo, resultados sobre sub e supersoluções e também argumentos com operadores tipo monotônico.

This PhD thesis consists of a summary and seven papers, where various applications of auto-validated computations are studied. In the first paper we describe a rigorous method to determine unknown parameters in a system of ordinary differential equations from measured data with known bounds on the noise of the measurements. Papers II, III, IV, and V are concerned with Abelian integrals. In Paper II, we construct an auto-validated algorithm to compute Abelian integrals. In Paper III we investigate, via an example, how one can use this algorithm to determine the possible configurations of limit cycles that can bifurcate from a given Hamiltonian vector field. In Paper IV we construct an example of a perturbation of degree five of a Hamiltonian vector field of degree five, with 27 limit cycles, and in Paper V we construct an example of a perturbation of degree seven of a Hamiltonian vector field of degree seven, with 53 limit cycles. These are new lower bounds for the maximum number of limit cycles that can bifurcate from a Hamiltonian vector field for those degrees. In Papers VI, and VII, we study a certain kind of normal form for real hyperbolic saddles, which is numerically robust. In Paper VI we describe an algorithm how to automatically compute these normal forms in the planar case. In Paper VII we use the properties of the normal form to compute local invariant manifolds in a neighbourhood of the saddle.

This thesis is concerned with nonlinear analyses of BWR stability behaviour, contributing to a deeper understanding in this field. Despite negative feedback-coefficients of a BWR, there are operational points (OP) at which oscillatory instabilities occur. So far, a comprehensive and an in-depth understanding of the nonlinear BWR stability behaviour are missing, even though the impact of the significant physical parameters is well known. In particular, this concerns parameter regions in which linear stability indicators, like the asymptotic decay ratio, lose their meaning. Nonlinear stability analyses are usually carried out using integral (system) codes, describing the dynamical system by a system of nonlinear partial differential equations (PDE). One aspect of nonlinear BWR stability analyses is to get an overview about different types of nonlinear stability behaviour and to examine the conditions of their occurrence. For these studies the application of system codes alone is inappropriate. Hence, in the context of this thesis, a novel approach to nonlinear BWR stability analyses, called RAM-ROM method, is developed. In the framework of this approach, system codes and reduced order models (ROM) are used as complementary tools to examine the stability characteristics of fixed points and periodic solutions of the system of nonlinear differential equations, describing the stability behaviour of a BWR loop. The main advantage of a ROM, which is a system of ordinary differential equations (ODE), is the possible coupling with specific methods of the nonlinear dynamics. This method reveals nonlinear phenomena in certain regions of system parameters without the need for solving the system of ROM equations. The stability properties of limit cycles generated in Hopf bifurcation points and the conditions of their occurrence are of particular interest. Finally, the nonlinear phenomena predicted by the ROM will be analysed in more details by the system code. Hence, the thesis is not focused on rendering more precisely linear stability indicators like DR. The objective of the ROM development is to develop a model as simple as possible from the mathematical and numerical point of view, while preserving the physics of the BWR stability behaviour. The ODEs of the ROM are deduced from the PDEs describing the dynamics of a BWR. The system of ODEs includes all spatial effects in an approximated (spatial averaged) manner, e.g. the space-time dependent neutron flux is expanded in terms of a complete set of orthogonal spatial neutron flux modes. In order to simulate the stability characteristics of the in-phase and out-of-phase oscillation mode, it is only necessary to take into account the fundamental mode and the first azimuthal mode. The ROM, originally developed at PSI in collaboration with the University of Illinois (PSI-Illinois-ROM), was upgraded in significant points: • Development and implementation of a new calculation methodology for the mode feedback reactivity coefficients (void and fuel temperature reactivity) • Development and implementation of a recirculation loop model; analysis and discussion of its impact on the in-phase and out-of-phase oscillation mode • Development of a novel physically justified approach for the calculation of the ROM input data • Discussion of the necessity of consideration of the effect of subcooled boiling in an approximate manner With the upgraded ROM, nonlinear BWR stability analyses are performed for three OPs (one for NPP Leibstadt (cycle7), one for NPP Ringhals (cycle14) and one for NPP Brunsbüttel (cycle16) for which measuring data of stability tests are available. In this thesis, the novel approach to nonlinear BWR stability analyses is extensively presented for NPP Leibstadt. In particular, the nonlinear analysis is carried out for an operational point (OP), in which an out-of-phase power oscillation has been observed in the scope of a stability test at the beginning of cycle 7 (KKLc7_rec4). The ROM predicts a saddle-node bifurcation of cycles, occurring in the linear stable region, close to the KKLc7_rec4-OP. This result allows a new interpretation of the stability behaviour around the KKLc7_rec4-OP. The results of this thesis confirm that the RAM-ROM methodology is qualified for nonlinear BWR stability analyses. / Die vorliegende Dissertation leistet einen Beitrag zum tieferen Verständnis des nichtlinearen Stabilitätsverhaltens von Siedewasserreaktoren (SWR). Trotz der Tatsache, dass in diesem technischen System nur negative innere Rückkopplungskoeffizienten auftreten, können in bestimmten Arbeitspunkten oszillatorische Instabilitäten auftreten. Obwohl relativ gute Kenntnisse über die signifikanten physikalischen Einflussgrößen vorliegen, fehlt bisher ein umfassendes Verständnis des SWR-Stabilitätsverhaltens. Das betrifft insbesondere die Bereiche der Systemparameter, in denen lineare Stabilitätsindikatoren, wie zum Beispiel das asymptotische Decay Ratio (DR), ihren Sinn verlieren. Die nichtlineare Stabilitätsanalyse wird im Allgemeinen mit Systemcodes (nichtlineare partielle Differentialgleichungen, PDG) durchgeführt. Jedoch kann mit Systemcodes kein oder nur ein sehr lückenhafter Überblick über die Typen von nichtlinearen Phänomenen, die in bestimmten System-Parameterbereichen auftreten, erhalten werden. Deshalb wurde im Rahmen der vorliegenden Arbeit eine neuartige Methode (RAM-ROM Methode) zur nichtlinearen SWR-Stabilitätsanalyse erprobt, bei der integrale Systemcodes und sog. vereinfachte SWR-Modelle (ROM) als sich gegenseitig ergänzende Methoden eingesetzt werden, um die Stabilitätseigenschaften von Fixpunkten und periodischen Lösungen (Grenzzyklen) des nichtlinearen Differentialgleichungssystems, welches das Stabilitätsverhalten des SWR beschreibt, zu bestimmen. Das ROM, in denen das dynamische System durch gewöhnliche Differentialgleichungen (GDG) beschrieben wird, kann relativ einfach mit leistungsfähigen Methoden aus der nichtlinearen Dynamik, wie zum Beispiel die semianalytische Bifurkationsanalyse, gekoppelt werden. Mit solchen Verfahren kann, ohne das DG-System explizit lösen zu müssen, ein Überblick über mögliche Typen von stabilen und instabilen oszillatorischen Verhalten des SWR erhalten werden. Insbesondere sind die Stabilitätseigenschaften von Grenzzyklen, die in Hopf-Bifurkationspunkten entstehen, und die Bedingungen, unter denen sie auftreten, von Interesse. Mit dem Systemcode (RAMONA5) werden dann die mit dem ROM vorhergesagten Phänomene in den entsprechenden Parameterbereichen detaillierter untersucht (Validierung des ROM). Die Methodik dient daher nicht der Verfeinerung der Berechnung linearer Stabilitätsindikatoren (wie das DR). Das ROM-Gleichungssystem entsteht aus den PDGs des Systemcodes durch geeignete (nichttriviale) räumliche Mittelung der PDG. Es wird davon ausgegangen, dass die Reduzierung der räumlichen Komplexität die Stabilitätseigenschaften des SWR nicht signifikant verfälschen, da durch geeignete Mittlungsverfahren, räumliche Effekte näherungsweise in den GDGs berücksichtig werden. Beispielsweise wird die raum- und zeitabhängige Neutronenflussdichte nach räumlichen Moden entwickelt, wobei für eine Simulation der Stabilitätseigenschaften der In-phase- und Out-of-Phase-Leistungsoszillationen nur der Fundamentalmode und der erste azimuthale Mode berücksichtigt werden muss. Das ROM, welches ursprünglich am Paul Scherrer Institut (PSI, Schweiz) in Zusammenarbeit mit der Universität Illinois (USA) entwickelt wurde, ist in zwei wesentlichen Punkten erweitert und verbessert worden: • Entwicklung und Implementierung einer neuen Methode zur Berechnung der Rückkopplungsreaktivitäten • Entwicklung und Implementierung eines Modells zur Beschreibung der Rezirkulationsschleife (insbesondere wurde der Einfluss der Rezirkulationsschleife auf den In-Phase-Oszillationszustand und auf den Out-of-Phase-Oszillationszustand untersucht) • Entwicklung einer physikalisch begründeten Methode zur Berechnung der ROM-Inputdaten • Abschätzung des Einflusses des unterkühlten Siedens im Rahmen der ROM-Näherungen Mit dem erweiterten ROM wurden nichtlineare Stabilitätsanalysen für drei Arbeitspunkte (KKW Leibstadt (Zyklus 7) KKW Ringhals (Zyklus 14) und KKW Brunsbüttel (Zyklus 16)), für die Messdaten vorliegen, durchgeführt. In der Dissertationsschrift wird die RAM-ROM Methode ausführlich am Beispiel eines Arbeitspunktes (OP) des KKW Leibstadt (KKLc7_rec4-OP), in dem eine aufklingende regionale Leistungsoszillation bei einem Stabilitätstest gemessen worden ist, demonstriert. Das ROM sagt die Existenz eines Umkehrpunktes (saddle-node bifurcation of cycles, fold-bifurcation) voraus, der sich im linear stabilen Gebiet nahe der Stabilitätsgrenze befindet. Mit diesem ROM-Ergebnis ist eine neue Interpretation der Stabilitätseigenschaften des KKLc7_rec4-OP möglich. Die Resultate der in der Dissertation durchgeführten RAM-ROM Analyse bestätigen, dass das weiterentwickelte ROM für die Analyse des Stabilitätsverhaltens realer Leistungsreaktoren qualifiziert wurde.