Cette thèse porte sur l'étude de plusieurs problèmes paraboliques non-linéaires sous les conditions au bord dynamiques. Premièrement, on considère l'équation de Burgers dans un domaine borné réel. On étudie les propriétés des solutions de cette équation lorsqu'on impose des conditions dynamiques sur le bord et lorsque la donnée initiale est positive. En utilisant des méthodes de comparaison, on s'intéresse à l'ordre de croissance et au point d'explosion des solutions régulières via une étude du profil de la solution. Ensuite, on étudie les solutions stationnaires de l'équation de Burgers, dans laquelle on ajoute un paramètre lambda. A l'aide d'une méthode de plan des phases, on démontre l'existence de solutions stationnaires sous différentes conditions au bord (Dirichlet et Neumann). Nous observons qu'en faisant varier le paramètre lambda, on provoque une bifurcation dans le plan des phases, ce qui se traduit de profonds changements dans les résultats d'existence des solutions stationnaires de l'équation de Burgers paramétrée sous les diverses conditions au bord considérées. Par le biais d'une technique basée sur l'étude de norme L-1 adéquates, nous démontrons des résultats d'explosion pour les solutions non-stationnaires de l'équation de Burgers paramétrée lorsque l'on se place dans un domaine réel non-borné. Finalement, on étudie le phénomène de Fujita. A l'aide des méthodes de comparaison, on montre que le phénomène de Fujita, connu dans le cas des conditions de Dirichlet et de Neumann, reste vrai sous les conditions au bord dynamiques. Adaptant notre technique, on prouve que ce phénomène est également vrai sous les conditions au bord de Robin.

The evolutionary origins of animal phyla are intimately linked with the Cambrian explosion, a period of radical ecological and evolutionary innovation that begins approximately 540 Mya and continues for some 20 million years, during which most major animal groups appear. Lophotrochozoa, a major group of protostome animals that includes molluscs, annelids and brachiopods, represent a significant component of the oldest known fossil records of biomineralised animals, as disclosed by the enigmatic ‘small shelly fossil’ faunas of the early Cambrian. Determining the affinities of these scleritome taxa is highly informative for examining Cambrian evolutionary patterns, since many are supposed stem-group Lophotrochozoa. The main focus of this thesis pertained to the stem-group of the Brachiopoda, a highly diverse and important clade of suspension feeding animals in the Palaeozoic era, which are still extant but with only with a fraction of past diversity. Major findings include adding support for tommotiid affinity as stem-group lophophorates. Determining morphological character homologies vital to reconstructing the brachiopod stem-group was achieved by comparing Cambrian Lagerstätten with the widespread biomineralised record of Cambrian stem-brachiopods and small shelly fossils. Polarising character changes associated with the putative transition from scleritome organisms to crown-group brachiopods was furthered by the description of an enigmatic agglutinated tubular lophophorate Yuganotheca elegans from the Chengjiang Lagerstätte, China, which possesses an unusual combination of phoronid, brachiopod and tommotiid characters. These efforts were furthered by the use of X-ray tomographic techniques that revealed novel anatomical features, including exceptionally preserved setae in the tommotiid Micrina. The evidence for a common origin of columnar brachiopod shell structures in the tommotiids is suggested and critically examined. Enigmatic and problematic early and middle Cambrian lophotrochozoans are newly described or re-described in light of new evidence, namely: the stem-brachiopod Mickwitzia occidens Walcott from the Indian Springs Lagerstätte, Nevada; a putative stem-group entoproct Cotyledion tylodes Luo and Hu from Chengjiang, China; a new enigmatic family of rhynchonelliform brachiopods exemplified by the newly described Tomteluva perturbata from the Stephen Formation, Canada; and the tommotiid Micrina etheridgei (Tate) from the Flinders Ranges, South Australia. Cladistic analyses of fossil morphological data supports a monophyletic Brachiopoda.

Thesis Abstract This thesis has been performed under co-tutelle supervision between Charles University in Prague (Czech Republic) and Strasbourg University (France). It also profited from the background and cooperation of Institute of Inorganic Chemistry Academy of Science of the Czech Republic and French Commission for Atomic and Alternative energies (CEA Cadarache, France). Results of the work contribute to the OECD/NEA project Serena 2 (Program on Steam Explosion Resolution for Nuclear Applications). Presented thesis can be classed in the scientific field of nuclear safety and material science. It is aimed on the so-called "molten nuclear Fuel - Coolant Interaction" (FCI) that belongs among the recent issues of the nuclear reactor severe accident R&D. During the nuclear reactor melt down accident the melted reactor load can interact with the coolant (light water). This interaction can be located inside the vessel or outside in the case of vessel break-up. These two scenarios are commonly called in- and ex-vessel FCI and they differ in the conditions such as initial pressure of the system, water sub-cooling etc. The Molten fuel - coolant interaction can progress into thermal detonation called also "steam explosion" that can challenge the reactor or containment integrity. Recent experiments have shown that...

Traditional methods of studying underground coal mine explosions are limited to observations and data collected during experimental explosions. These experiments are expensive, time-consuming, and require major facilities, such as the Lake Lynn Experimental Mine. The development of computational fluid dynamics (CFD) modeling of explosions can help minimize the need for large-scale testing. This thesis utilized the commercial CFD software, SC/Tetra, to examine three case studies. The first case study modeled the combustion of methane in a scaled shock tube, measuring approximately 1 foot by 1 foot, by 20.5 feet long, with a methane cloud of 2.5 feet in length, at a concentration of 9% methane. The numerical results from the CFD model were in good agreement with experimental data gathered, with all pressure peaks within 0.25 psi of the recorded pressure data. However, the model had an extensive run-time of 16 hours to reach the peak pressures. The second case study modeled the same explosion, but utilized a total pressure boundary condition at the location of the membrane, instead of the combustion of methane. A pressure-time curve was assigned to this boundary, recreating the release of pressure by the explosion. This was made possible with the knowledge of the experimental data. The numerical results from the CFD model were in excellent agreement with experimental data gathered, with all pressure peaks within 0.07 psi of the recorded pressure data. Alternatively, this model had a run-time of 40 minutes. The third case study modeled a methane explosion in a large shock tube, measuring 8 feet by 8 feet, by 40 feet long, with a methane cloud of 4 feet in length, at a concentration of 9% methane. The bursting balloon technique was employed, which did not model the combustion of methane, but instead the equivalent energy release. The numerical results from the CFD model were in good agreement with the experimental data gathered, with all pressure peaks within 0.025 psi of the recorded pressure data. Additionally, the numerical results modeled the negative pressure phenomenon observed in the experimental results, caused by suction or negative pressure created by the blast wave, immediately following the positive wave. This model had a run-time of 20 minutes. The results of this researched provided validation that there are alternative ways to successfully model methane explosion, without having to model the chemical reactions involved in the combustion of methane, providing quicker run-times and in this case, more accurate results.

Dans le contexte de la biomécanique, les outils numériques constituent des moyens puissants et indispensables dans la compréhension des mécanismes de blessures. Ils permettent de pallier les freins que sont les expérimentations sur l'humain, liés à des raisons d'éthique qui limitent la possibilité d'essais sur des SHPM (Sujets Humain Post Mortem). Le développement de ces outils numériques a conduit à celui de plusieurs mannequins numériques permettant de stimuler diverses sollicitations (civiles ou militaires), nous donnant ainsi accès à des limites de tolérances.En vue d'explorer la réponse dynamique du corps humain soumis à des sollicitations diverses, un modèle de mannequin numérique a été développé au sein du laboratoire. Ce travail de thèse tente donc d'apporter une contribution dans la recherche sur la définition d'un critère de blessure et l'établissement de limites de tolérance du corps humain soumis aux chargements violents de la partie thoracique dans des contextes militaires. / The development of computer science has allowed an increase in the use of numerical approaches such as finite elements method in order to understand physical mechanisms. These numerical tools are often used to extend and complete experimental investigations wich are limited because of high financial cost and ethical issues. Thus, the use of simulation to avoid thes limitations becomes essential in biomechanics investigations. Many numericalmodels of the thorax/abdomen system have been developped over the last two decades. In that framework, a finite element model of the human body, dedicated to high speed loadings, has been developed in the laboratory. In this context, the objective of this Ph.D Thesis is to investigate the consequences of such loadings on the human body and to contribute to the research of injuries criteria and tolerance limit definition.

The contact of hot melt with liquid water - called Molten Fuel Coolant Interaction (MFCI) - can result in vivid explosions. Such explosions can occur in different scenarios: in steel or powerplants but also in volcanoes. Because of the possible dramatic consequences of such explosions an investigation of the explosion process is necessary. Fundamental basics of this process are already discovered and explained, such as the frame conditions for these explosions. It has been shown that energy transfer during an MFCI-process can be very high because of the transfer of thermal energy caused by positive feedback mechanisms. Up to now the influence of several varying parameters on the energy transfer and the explosions is not yet investigated sufficiently. An important parameter is the melt temperature, because the amount of possibly transferable energy depends on it. The investigation of this influence is the main aim of this work. Therefor metallic tin melt was used, because of its nearly constant thermal material properties in a wide temperature range. With tin melt research in the temperature range from 400 °C up to 1000 °C are possible. One important result is the lower temperature limit for vapor film stability in the experiments. For low melt temperatures up to about 600 °C the vapor film is so unstable that it already can collapse before the mechanical trigger. As expected the transferred thermal energy all in all increases with higher temperatures. Although this effect sometimes is superposed by other influences such as the premix of melt and water, the result is confirmed after a consequent filtering of the remaining influences. This trend is not only recognizable in the amount of transferred energy, but also in the fragmentation of melt or the vaporizing water. But also the other influences on MFCI-explosions showed interesting results in the frame of this work. To perform the experiments the installation and preparation of the experimental Setup in the laboratory were necessary. In order to compare the results to volcanism and to get a better investigation of the brittle fragmentation of melt additional runs with magmatic melt were made. In the results the thermal power during energy transfer could be estimated. Furthermore the model of “cooling fragments “ could be usefully applied. / Das Zusammentreffen von heißer Schmelze mit flüssigem Wasser (Schmelze-Wasser-Interaktion) - auf Englisch Molten-Fuel-Coolant-Interaction (MFCI) - kann zu heftigen Explosionen führen. Diese Explosionen sind in verschiedenen Szenarien möglich: in Stahl- und Kraftwerken, aber auch bei Vulkanen. Wegen der möglichen dramatischen Folgen solcher Explosionen ist eine Erforschung dieser Explosionsvorgänge notwendig. Wesentliche Grundlagen, unter welchen Voraussetzungen Schmelze-Wasser-Interaktionen zu Explosionen führen können, und der Ablauf dieser Vorgänge wurden weitgehend erforscht. Wie diese Forschungen gezeigt haben, kann die übertragene Energie bei diesen Vorgängen wegen positiver Rückkopplungsprozesse sehr hoch sein. Bislang wurden aber noch nicht in ausreichendem Maß die Einflussparameter auf die Energieübertragung und damit auf die Explosionsheftigkeit geprüft. Ein wichtiger Parameter ist die Schmelzetemperatur, da von ihr abhängt, wie viel thermische Energie freigesetzt werden kann. Die Untersuchung des Einflusses dieses Parameters ist das Hauptziel der vorliegenden Arbeit. Hierfür wurde bei den meisten Versuchen metallische Zinnschmelze verwendet, da die Materialwerte von Zinn über einen weiten Temperaturbereich annähernd konstant sind, von denen die Wärmeübertragung abhängt. Mit dieser Zinnschmelze war die Untersuchung der Schmelzetemperatur im Bereich von 400 °C bis 1000 °C möglich. Ein wesentliches Ergebnis zeigt die Abhängigkeit der Dampffilmstabilität von der Schmelzetemepratur. Bei niedrigen Schmelzetemperaturen bis etwa 600 °C ist der Dampffilm so instabil, dass er in den Experimenten bereits vor einer mechanischen Erschütterung zusammenbrach, die zu seiner Zerstörung eingesetzt wurde. Wie erwartet ist zu erkennen, dass mit höherer Schmelzetemperatur grundsätzlich mehr Energie umgesetzt werden kann. Obwohl dieser Effekt von weiteren Einflüssen auf die Explosionsstärke unter bestimmten Umständen überdeckt werden kann, wird dieses Ergebnis nach einer konsequenten Filterung der übrigen Einflüsse bestätigt. Diese Tendenz ist nicht nur an den berechneten übertragenen Gesamtenergiemengen erkennbar, sondern auch an den einzelnen Effekten wie z. B. der Fragmentation oder der Wasserverdampfung. Aber auch die weiteren Einflüsse auf die Energieübertragung wie z. B. die Vorvermischung von Schmelze und Wasser zeigten im Rahmen dieser Arbeit und der durchgeführten Experimente interessante Ergebnisse. Um diese Versuche durchführen zu können, waren die Einrichtung und Vorbereitung einer Versuchsanlage erforderlich. Zum Vergleich mit dem Vulkanismus und zur besseren Untersuchung der Feinfragmentation während ärmeübertagung wurden Versuche mit magmatischer Schmelze durchgeführt. In den Ergebnissen konnten thermische Leistungen während der Schmelze-Wasser-Interaktion bestimmt werden. Außerdem konnte das aufgestellte Modell der “kühlenden Fragmente “ sinnvoll angewendet werden.

La vérification formelle de systèmes concurrents temps réels se heurte au problème de l'explosion du nombre d'états à explorer. Ce problème connu sous le nom ``d'explosion combinatoire'' à plusieurs causes. Cette thèse s'intéresse à deux d'entre-elles. · Pour lutter contre l'explosion due à la représentation du parallélisme par l'entrelacement d'actions, cette thèse propose des techniques basées sur l'approche des ordres-partiels pour construire un graphe réduit. Pour exploiter les ordres-partiels, les techniques proposées utilisent la construction de « pas de transitions » afin de limiter le nombre d'états explorés. Différentes constructions des « pas de transitions » sont proposées en fonction de la classe de propriétés que l'on souhaite préserver (Blocages, Équivalence de traces, LTL). · Pour lutter contre l'explosion due aux contraintes temporelles, cette thèse propose une approche par sur-approximation du comportement. L'objectif est d'avoir un graphe abstrait du comportement de la sur-approximation plus petit que celui du système. Comme classiquement, les techniques d'abstractions permettent d'obtenir une procédure de décision semi-effective. Lorsque l'analyse de la sur-approximation ne permet pas de conclure, la thèse propose une méthode effective permettant de conclure pour les formules de LTL: le système est analysé, guidé par les résultats obtenus sur la sur-approximation. Cette thèse présente les algorithmes de ces différentes techniques de réduction et l'outil tina (http://www.laas.fr/tina) dans lequel ils ont été implémentés.

<p>One of the main problem areas within computer graphics is simulating natural phenomena’s, working with fluid solvers, and particle systems. In the special effects industry, there is a demand for mimicking appearance of common special effect such as fire, smoke, and water. Autodesk Maya and FumeFx are used for exploring those methods in creating smoke and fire simulations and implementing those into a</p><p>large dynamic system, while researching the possibility to efficiently control and modify an entire dynamic system on a per object level. Final production renders results are from both Maya and FumeFx.</p>

The present thesis considers several important problems of combustion theory, which are closely related to each other: turbulent burning, flame interaction with walls in different geometries, flame acceleration and detonation triggering. The theory of turbulent burning is developed within the renormalization approach. The theory takes into account realistic thermal expansion of burning matter. Unlike previous renormalization models of turbulent burning, the theory includes flame interaction with vortices aligned both perpendicular and parallel to average direction of flame propagation. The perpendicular vortices distort a flame front due to kinematical drift; the parallel vortices modify the flame shape because of the centrifugal force. A corrugated flame front consumes more fuel mixture per unit of time and propagates much faster. The Darrieus-Landau instability is also included in the theory. The instability becomes especially important when the characteristic length scale of the flow is large. Flame interaction with non-slip walls is another large-scale effect, which influences the flame shape and the turbulent burning rate. This interaction is investigated in the thesis in different geometries of tubes with open / closed ends. When the tube ends are open, then flame interaction with non-slip walls leads to an oscillating regime of burning. Flame oscillations are investigated for different flame parameters and tube widths. The average increase in the burning rate in the oscillations is found. Then, propagating from a closed tube end, a flame accelerates according to the Shelkin mechanism. In the theses, an analytical theory of laminar flame acceleration is developed. The theory predicts the acceleration rate, the flame shape and the velocity profile in the flow pushed by the flame. The theory is validated by extensive numerical simulations. An alternative mechanism of flame acceleration is also considered, which is possible at the initial stages of burning in tubes. The mechanism is investigated using the analytical theory and direct numerical simulations. The analytical and numerical results are in very good agreement with previous experiments on “tulip” flames. The analytical theory of explosion triggering by an accelerating flame is developed. The theory describes heating of the fuel mixture by a compression wave pushed by an accelerating flame. As a result, the fuel mixture may explode ahead of the flame front. The explosion time is calculated. The theory shows good agreement with previous numerical simulations on deflagration-to-detonation transition in laminar flows. Flame interaction with sound waves is studied in the geometry of a flame propagating to a closed tube end. It is demonstrated numerically that intrinsic flame oscillations coming into resonance with acoustic waves may lead to violent folding of the flame front with a drastic increase in the burning rate. The flame folding is related to the Rayleigh-Taylor instability developing at the flame front in the oscillating acceleration field of the acoustic wave.

An algorithm for extracting event information from a Coulomb Explosion Imaging (CEI) position sensitive detector (PSD) is developed and compared with previously employed schemes. The PSD is calibrated using a newly designed grid overlay and validates the quality of the described algorithm. Precision calculations are performed to determine how best the CEI apparatus at The University of Waterloo can be improved. An algorithm for optimizing coincidence measurements of polyatomic molecules in CEI experiments is developed. Predictions of improved efficiency based on this algorithm are performed and compared with experiments using a triatomic molecule. Analysis of an OCS targeted CEI experiment using highly charged Argon ions to initiate ionization is performed. The resulting measurements are presented using a variety of visualization tools to reveal asynchronous and sequential fragmentation channels of OCS3+.