In this thesis the major differences between underground hydrogen storage and the conventional storage of natural gas are lined out to be bio-reactive and gas mixing phenomena. A new mathematical model was developed to describe the coupling between two-phase flow and microbial populations which consume hydrogen for their metabolism. Different analytical and numerical techniques were applied to investigate the storage of hydrogen in the geological subsurface. An analytical solution was derived for gravity-driven multi-component two-phase flow in heterogeneous porous media. Oscillating scenarios, similar to Turing instability, were detected. Storage scenarios were simulated including a field scale demonstration in a realistic geological model.

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.

Polymeric crystals are more complex in nature than other materials' crystal structures due to significant structural disorder present. The only comprehensive reference on polymer crystallization, Handbook of Polymer Crystallization provides readers with a broad, in-depth guide on the subject, covering the numerous problems encountered during crystallization as well as solutions to resolve those problems to achieve the desired result. Edited by leading authorities in the field, topics explored include neat polymers, heterogeneous systems, polymer blends, polymer composites orientation induced crystallization, crystallization in nanocomposites, and crystallization in complex thermal processing conditions.