This research shows that worst-case methane-air detonation loading on coal mine seals could be more severe than the design loads required by federal regulations, and therefore mine seals should be designed with sufficient ductility beyond the elastic regime. For this study, reinforced concrete mine seals were designed according to traditional protective structural design methods to meet the federal regulation requirements, and then the response to worst-case loads was analyzed in a single-degree-ofreedom model. Coal mine seals designed to resist the regulation loads elastically experienced support rotations up to 4.27 deg when analyzed with the worst-case loads. The analysis showed that coal mine seals designed to satisfy the federal regulations can survive worst-case methane-air detonations if they have sufficient ductility, but will undergo permanent, inelastic deformation.

This essay consists of a fragmental process and collection of different theories and inspirational hangups from different academics, artists and my own thoughts and memories from my childhood. The essay also consists of my own poetry and collection of words I have found describing for my own practice. My ambition is to understand why I have always been a sculptor. The research is mainly about my own relationship to Cathrene Malabous writing about destructive plasticity and how it's connected to the brain. What happens to a body and mind when you've been traumatized? And how do I connect that knowledge with my own artistic practice? The research also touches on questions relevant to our historical and contemporary society to think about when it comes to solutions for how to cure the image we have of bodies that suffer from mental illness.

No description available.

In decentralized control, agents have only a partial view and partial control of the system and must cooperate to achieve the control objective. In order to synthesize a decentralized control solution, a specification must satisfy the co-observability property. Existing co-observability verification methods require the possibly intractable construction of the complete system. To address this issue, we introduce an incremental verification of co-observability approach. Selected subgroups of the system are evaluated individually, until verification is complete. The new method is potentially much more efficient than the monolithic approaches, in particular for systems composed of many subsystems, allowing for some intractable problems to be manageable. Properties of this new strategy are presented, along with a corresponding algorithm and an example. To further increase the scalability of decentralized control, we wish to adapt the existing Hierarchical Interface-Based Supervisory Control (HISC) to support it. We introduce the Hierarchical Interface-Based Decentralized Supervisory Control (HIDSC) framework that extends HISC to decentralized control. To adapt co-observability for HIDSC, we propose a per-component definition of co-observability along with a verification strategy that requires only a single component at a time in order to verify co-observability. Finally, we provide and prove the necessary and sufficient conditions for supervisory control existence in the HIDSC framework and illustrate our approach with an example. As the entire system model never needs to be constructed, HIDSC potentially provides significant savings. / Thesis / Doctor of Philosophy (PhD)

The vulnerability of a ship to the impact of underwater explosions (UNDEX) and how to incorporate this factor into early-stage ship design is an important aspect in the ship survivability study. In this dissertation, attention is focused on the cost-efficient simulation of the ship response to a far-field UNDEX which involves fluid shock waves, cavitation, and fluid-structural interaction. Traditional fluid numerical simulation approaches using the Finite Element Method to track wave propagation and cavitation requires a high-level of mesh refinement to prevent numerical dispersion from discontinuities. Computation also becomes quite expensive for full ship-related problems due to the large fluid domain necessary to envelop the ship. The burden is aggravated by the need to generate a fluid mesh around the irregular ship hull geometry, which typically requires significant manual intervention. To accelerate the design process and enable the consideration of far-field UNDEX vulnerability, several contributions are made in this dissertation to make the simulation more efficient. First, a Cavitating Acoustic Spectral Element approach which has shown computational advantages in UNDEX problems, but not systematically assessed in total ship application, is used to model the fluid. The use of spectral elements shows greater structural response accuracy and lower computational cost than the traditional FEM. Second, a novel fully automatic all-hexahedral mesh generation scheme is applied to generate the fluid mesh. Along with the spectral element, the all-hex mesh shows greater accuracy than the all-tetrahedral finite element mesh which is typically used. This new meshing approach significantly saves time for mesh generation and allows the spectral element, which is confined to the hexahedral element, to be applied in practical ship problems. A further contribution of this dissertation is the development of a surrogate non-numerical approach to predict structural peak responses based on the shock factor concept. The regression analysis reveals a reasonably strong linear relationship between the structural peak response and the shock factor. The shock factor can be conveniently employed in the design aspects where the peak response is sufficient, using much less computational resources than numerical solvers. / Doctor of Philosophy / The vulnerability of a ship to the impact of underwater explosions (UNDEX) and how to incorporate this factor into early-stage ship design is an important aspect in the ship survivability study. In this dissertation, attention is focused on the cost-efficient simulation of the ship response to a far-field UNDEX which involves fluid shock waves, cavitation, and fluid-structural interaction. Traditional fluid numerical simulation approaches using the Finite Element Method to track wave propagation and cavitation requires a highly refined mesh to deal with large numerical errors. Computation also becomes quite expensive for full ship-related problems due to the large fluid domain necessary to envelop the ship. The burden is aggravated by the need to generate a fluid mesh around the irregular ship hull geometry, which typically requires significant manual intervention. To accelerate the design process and enable the consideration of far-field UNDEX vulnerability, several contributions are made in this dissertation to make the simulation more efficient. First, a Cavitating Acoustic Spectral Element approach, which has shown computational advantages in UNDEX problems but not systematically assessed in total ship application, is used to model the fluid. The use of spectral elements shows greater structural response accuracy and lower computational cost than the traditional FEM. Second, a novel fully automatic all-hexahedral mesh generation scheme is applied to generate the fluid mesh. Along with the spectral element, the all-hex mesh shows greater accuracy than the all-tetrahedral finite element mesh which is typically used. A further contribution of this dissertation is the development of a non-numerical approach which can approximate peak structural responses comparable to the numerical solution with far less computational effort.

With the advent of advanced program analysis and constraint solving techniques, several test generation tools use variants of symbolic execution. Symbolic techniques have been shown to be very effective in path-based test generation; however, they fail to scale to large programs due to the exponential number of paths to be explored. In this thesis, we focus on tackling this path explosion problem and propose search strategies to achieve quick branch coverage under symbolic execution, while exploring only a fraction of paths in the program. We present a reachability-guided strategy that makes use of the reachability graph of the program to explore unvisited portions of the program and a conflict driven backtracking strategy that utilizes conflict analysis to perform nonchronological backtracking. We also propose error-directed search strategies, that are aimed at catching bugs in the program faster, by targeting those parts of the program where bugs are likely to be found or those that are hard to reach. We present experimental evidence that these strategies can significantly reduce the search space and improve the speed of test generation for programs. / Master of Science

Cette thèse s'intéresse à la simulation numérique de l'explosion vapeur. Ce phénomène correspond à une vaporisation instantanée d'un volume d'eau liquide entraînant un choc de pression. Nous nous y intéressons dans le cadre de la sûreté nucléaire. En effet, lors d'un accident entraînant la fusion du cœur du réacteur, du métal fondu pourrait interagir avec de l'eau liquide et entraîner un tel choc. On voudrait alors connaître l'ampleur de ce phénomène et les risques d'endommagements de la centrale qu'il implique. Pour y parvenir, nous utilisons pour modèle les équations d'Euler dans un cadre Lagrangien. Cette description a l'avantage de suivre les fluides au cours du temps et donc de parfaitement conserver les interfaces entre l'eau liquide et sa vapeur. Pour résoudre numériquement les équations obtenues, nous développons un nouveau schéma de type Godunov utilisant des flux nodaux. Le solveur nodal développé durant cette thèse ne dépend que de la répartition angulaire des variables physiques autour du nœud. De plus, nous nous intéressons aux changements de phase liquide-vapeur. Nous proposons une méthode pour les prendre en compte et mettons en avant les avantages qu'il y a à l'implémentation de ce phénomène dans un algorithme Lagrangien. / This thesis studies numerical simulation of steam explosion. This phenomenon correspond to a fast vaporization of a liquid leading to a pressure shock. It is of interest in the nuclear safety field. During a core-meltdown crisis, molten fuel rods interacting with water could lead to steam explosion. Consequently we want to evaluate the risks created by this phenomenon.In order to do it, we use Euler equations written in a Lagrangian form. This description has the advantage of following the fluid motion and consequently preserves interfaces between the liquid and its vapor. To solve these equations, we develop a new Godunov type scheme using nodal fluxes. The nodal solver developed here only depends on the angular repartition of the physical variables around the node.Moreover, we study liquid-vapor phase changes. We describe a method to take it into account and highlight the advantages of using this method into a Lagrangian framework.

Ce projet de thèse est dédié à l’étude de l’intensification de l’extraction des polymères d’hémicelluloses à partir du bois d’épicéa par l’application de prétraitements physicochimiques : microondes (MO), décharges électriques de hautes tension (DEHT) et explosion à la vapeur (STEX). L’extraction des hémicelluloses est souvent réalisée par autohydrolyse ou par des traitements chimiques. Dans ce travail de thèse, nous avons étudié un procédé basé sur l’extraction des hémicelluloses en combinant des prétraitements physiques aux prétraitements chimiques et à l’autohydrolyse. Ce couplage a permis d’avoir des hémicelluloses avec des poids moléculaires moyens en masse (Mw) élevés allant jusqu’à 70 kDa, 66 kDa et 55 kDa lors des extractions en milieu basique par STEX, MO et DEHT respectivement. Les performances des prétraitements en termes de rendement d’extraction sont plus élevées que pour l’autohydrolyse seule pour les mêmes conditions de température et de temps d’extraction. La caractérisation des hémicelluloses extraites a révélé une sélectivité d’extraction en fonction du pH du milieu d’imprégnation. L’imprégnation en milieu neutre favorise la solubilisation des galactoglucomannanes (GGM) et l’imprégnation en milieu basique favorise la solubilisation des arabinoglucoronoxylanes (ARX). L’analyse du degré d’acétylation (DA) a montré que la STEX a permis d’extraire des acetyl-GGM avec des DA (~0,35) proches de celui des hémicelluloses à l’état natif. Les films élaborés à partir des hémicelluloses extraites présentent des barrières intéressantes vis à vis de l’oxygène (0,83 cm3.μm-1.jour-1.kPa au maximum) et du rayonnement UV. / This thesis project is specifically dedicated to the study of the intensification of the extraction of hemicellulose polymers from spruce wood by the application of physicochemical pretreatments: Microwave (MW), High Voltage Electrical Discharge (HVED) and Steam Explosion (STEX). Extraction of hemicelluloses is often carried out by an autohydrolysis or by chemical treatments. In this work, we have developed an original process for extracting hemicelluloses polymers by combining physical pretreatments (MW, HVED and STEX) with chemical pretreatments and autohydrolysis. This combination allowed us to recover hemicelluloses with average molecular weights (Mw) highs up to 70 kDa, 66 kDa and 55 kDa when STEX, MW and HVED were applied in basic medium respectively. The performance of the pretreatments in terms of extraction yield is higher than the autohydrolysis alone for the same extraction temperatures. The characterization of the extracted hemicelluloses revealed an extraction selectivity as a function of the pH of the medium of impregnation. Impregnation in neutral medium promotes the solubilization of galactoglucomannans (GGM) and impregnation in a basic medium promotes the solubilization of arabinoglucoronoxylans (ARX). The analysis of the degree of acetylation (AD) showed that STEX pretreatment allowed the extraction of acetyl-GGM with an AD of approximately 0.35 which is close to that in native hemicelluloses.The characterization of films made from extracted hemicelluloses showed that these films are good barrier to oxygen with oxygen permeability near to 0.83 cm3 μm-1 day-1 kPa-1 and to UV radiations.

We have investigated processes of ionization, energy absorption and subsequent explosion of atomic and molecular clusters under intense laser illumination using numerical as well as analytical methods. In particular, we focused on the response of composite clusters, those consisting of different atomic elements, to intense light pulses. Another major theme is the effect of the molecular structure of clusters on their Coulomb explosion. The action of intense laser pulses on clusters leads to fundamental, irreversible changes: they turn almost instantaneously into nanoplasmas and subsequently disintegrate into separate ions and electrons. Due to this radical transformation, remarkable new features arise. Transient cluster nanoplasmas are capable of absorbing enormous amounts of laser energy. In some cases more than 90 % of incident laser energy is absorbed by a gas of clusters with a density much smaller than that of a solid. After the efficient absorption, the energy is transformed into production of energetic ions, electrons, photons, and even neutrons. Composite clusters show especially interesting behavior when they interact with intense laser pulses. Nanoplasmas formed in composite clusters may absorb even more laser energy, than those formed in homogeneous clusters, as we demonstrate in this work. One of the most important results of this thesis is the identification of a novel type of plasma resonance. This resonance is enabled by an unusual ellipsoidal shape of the nanoplasma created during the ionization process in a helium droplet doped with just a few xenon atoms. In contrast to the conventional plasma resonance, which requires significant ion motion, here, the resonant energy absorption occurs at a remarkably fast rate, within a few laser cycles. Therefore, this resonance is not only the most efficient (like the conventional resonance), but also, perhaps, the fastest way to transfer laser energy to clusters. Recently, dedicated experimental studies of this effect were performed at the Max Planck Institute in Heidelberg. Their preliminary results confirm our prediction of a strong, avalanche-like ionization of the helium droplet with a small xenon cluster inside. A conventional plasma resonance, which relies on the cluster explosion, also exhibits interesting new properties when it occurs in a composite xenon-helium cluster with a core-shell geometry. We have revealed an intriguing double plasma resonance in this system. This was the first theoretical study of the influence of the helium embedding on the laser- driven nanoplasma dynamics. Our results demonstrate the important role of the interaction between xenon and helium parts of the cluster. Understanding this interaction is necessary in order to correctly interpret the experimental results. We have elucidated several important properties of Coulomb explosion in atomic and molecular clusters. Specifically, it was found that the kinetic energy distribution of ions after the Coulomb explosion of an atomic cluster is quite similar to the initial potential energy distribution of ions and is only weakly influenced by ion overtake effects, as was believed before. For the case of molecular hydrogen clusters, we have shown that the alignment of molecules inside the cluster affects its Coulomb explosion. Investigation of the dynamical processes in composite and molecular clusters induced by intense laser pulses is a step towards understanding them in more complex nano-objects, such as biomolecules or viruses. This is of great interest in the context of x-ray diffractive imaging of biomolecules with atomic resolution, which is one of the main goals of new x-ray free electron laser facilities.

Les travaux de thèse présentés dans ce mémoire s’inscrivent dans le cadre du projet ANR BARPPRO. Ce programme de recherche vise à étudier l’influence d’une barrière de protection face à une explosion en régime de détonation. L’objectif est d’établir des méthodes de calcul rapides de classement des zones d’effets pour aider les industriels au dimensionnement des barrières de protection. L’une à partir d’abaques, valable pour des configurations en géométrie 2D, sur des plages spécifiées de paramètres importants retenus, avec une précision de +/- 5%. L’autre à partir d’une méthode d’estimation rapide basée notamment sur les chemins déployés, valable en géométrie 2D et en géométrie 3D, mais dont la précision estimée est de +/- 30%. Afin d’y parvenir, l’étude s’appuie sur trois volets : expérimental, simulation numérique et analytique. La partie expérimentale étudie plusieurs géométries de barrière de protection à petites échelles pour la détonation d’une charge gazeuse (propane-oxygène à la stoechiométrie). Les configurations expérimentées servent à la validation de l’outil de simulation numérique constitué du solveur HERA et de la plateforme de calcul TERA 100. Des abaques d’aide au dimensionnement ont pu être réalisés à partir de résultats fournis par l’outil de simulation (3125 configurations de barrière de protection, TNT). L’étude des différents phénomènes physiques présents a également permis de mettre en place une méthode d’estimation rapide basée sur des relations géométriques, analytiques et empiriques. L’analyse de ces résultats a permis d’établir quelques recommandations dans le dimensionnement d’une barrière de protection. Les abaques et le programme d’estimation rapide permettent à un ingénieur de dimensionner rapidement une barrière de protection en fonction de la configuration du terrain et de la position de la zone à protéger en aval du merlon. / This thesis is a part of the ANR BARPPRO project. This research program studies this influence of the protection barrier during an explosion detonation. The goal of this project is to establish fast-computation methods of area classification effects to help the industrial to design the protection barrier on the SEVESO sites. One from abacus, for configurations in 2D geometry on specified parameters used, with an accuracy of +/- 5%. The other from a fast-running method based on broken lines for configurations in 2D and 3D geometries, but the accuracy is +/- 30%. This study includes three approaches: experimental, numerical simulation and analytical approaches. The experimental part studies several geometries of the protection barrier for a gaseous explosion (stoichiometric propane-oxygen mixture) at small scales. The experimental configurations used to validate the numerical simulation tool constituted of the HERA software and the TERA 100 supercomputer. The overpressure charts were able to generate from the numerical results (3125 configurations of the barrier for a TNT charge). The analysis of these results allows to establish different recommendations in the design of the protection barrier. The study of the different physical phenomena present has also helped to set up a fast-running method based on the geometrical, empirical and analytical relations. All these tools will enable an engineer to analyze and estimate the evolution of overpressure around the barrier as a function of the site’s dimensions.