Download or read book THM Model Validation written by and published by . This book was released on 2001 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: This paper presents results of coupled thermal-hydrological-mechanical (THM) simulations of two field-scale tests that are part of the thermal testing program being conducted by the Yucca Mountain Site Characterization Project. The two tests analyzed are the Drift-Scale Test (DST) which is sited in an alcove of the Exploratory Studies Facility at Yucca Mountain, Nevada, and the Large Block Test (LBT) which is sited at Fran Ridge, near Yucca Mountain, Nevada. Both of these tests were designed to investigate coupled thermal-mechanical-hydrological-chemical (TMHC) behavior in a fractured, densely welded ash-flow tuff. The geomechanical response of the rock mass forming the DST and the LBT is analyzed using a coupled THM model. A coupled model for analysis of the DST and LBT has been formulated by linking the 3DEC distinct element code for thermal-mechanical analysis and the NUFT finite element code for thermal-hydrologic analysis. The TH model (NUFT) computes temperatures at preselected times using a model that extends from the surface to the water table. The temperatures computed by NUFT are input to 3DEC, which then computes stresses and deformations. The distinct element method was chosen to permit the inclusion of discrete fractures and explicit modeling of fracture deformations. Shear deformations and normal mode opening of fractures are expected to increase fracture permeability and thereby alter thermal hydrologic behavior in these tests. We have collected fracture data for both the DST and the LBT and have used these data in the formulation of the model of the test. This paper presents a brief discussion of the model formulation, along with comparison of simulated and observed deformations at selected locations within the tests.

Download or read book Coupled Thermo Hydro Mechanical Chemical Processes in Geo systems written by Ove Stephansson and published by Elsevier. This book was released on 2004-11-03 with total page 853 pages. Available in PDF, EPUB and Kindle. Book excerpt: Among the most important and exciting current steps forward in geo-engineering is the development of coupled numerical models. They represent the basic physics of geo-engineering processes which can include the effects of heat, water, mechanics and chemistry. Such models provide an integrating focus for the wide range of geo-engineering disciplines. The articles within this volume were originally presented at the inaugural GeoProc conference held in Stockholm and contain a collection of unusually high quality information not available elsewhere in an edited and coherent form. This collection not only benefits from the latest theoretical developments but also applies them to a number of practical and wide ranging applications. Examples include the environmental issues around radioactive waste disposal deep in rock, and the search for new reserves of oil and gas.

Download or read book Advances in Modeling Assessment and Prevention of Geotechnical and Geological Disasters written by Xiaodong Fu and published by Frontiers Media SA. This book was released on 2022-10-19 with total page 539 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Benchmarking for Validation and Verification of THM Simulators with Special Regard to Fluid Dynamic Processes in Repository Systems written by Oliver Czaikowski and published by . This book was released on 2020 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Hydromechanical and Thermohydromechanical Behaviour of Deep Argillaceous Rock Theory and Experiments written by N. Hoteit and published by CRC Press. This book was released on 2002-01-01 with total page 315 pages. Available in PDF, EPUB and Kindle. Book excerpt: These papers address state-of-the-art knowledge of thermo-hydro-mechanical behaviours of deep argillaceous rocks. They introduce achievements in laboratory test methods for determining the coupling parameters of deep argillaceous rocks, amongst other things.

Download or read book Verification Model Checking and Abstract Interpretation written by Kenneth McMillan and published by Springer. This book was released on 2014-01-03 with total page 507 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013. The 25 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Download or read book Computational Modelling of Concrete and Concrete Structures written by Günther Meschke and published by CRC Press. This book was released on 2022-05-22 with total page 1500 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computational Modelling of Concrete and Concrete Structures contains the contributions to the EURO-C 2022 conference (Vienna, Austria, 23-26 May 2022). The papers review and discuss research advancements and assess the applicability and robustness of methods and models for the analysis and design of concrete, fibre-reinforced and prestressed concrete structures, as well as masonry structures. Recent developments include methods of machine learning, novel discretisation methods, probabilistic models, and consideration of a growing number of micro-structural aspects in multi-scale and multi-physics settings. In addition, trends towards the material scale with new fibres and 3D printable concretes, and life-cycle oriented models for ageing and durability of existing and new concrete infrastructure are clearly visible. Overall computational robustness of numerical predictions and mathematical rigour have further increased, accompanied by careful model validation based on respective experimental programmes. The book will serve as an important reference for both academics and professionals, stimulating new research directions in the field of computational modelling of concrete and its application to the analysis of concrete structures. EURO-C 2022 is the eighth edition of the EURO-C conference series after Innsbruck 1994, Bad Gastein 1998, St. Johann im Pongau 2003, Mayrhofen 2006, Schladming 2010, St. Anton am Arlberg 2014, and Bad Hofgastein 2018. The overarching focus of the conferences is on computational methods and numerical models for the analysis of concrete and concrete structures.

Download or read book Containment of High Level Radioactive and Hazardous Solid Wastes with Clay Barriers written by Raymond N. Yong and published by CRC Press. This book was released on 2010-05-31 with total page 481 pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the principal objections to or problems with the use of nuclear fuel is that a proven method for safe disposal of spent nuclear fuel has yet to be established. The central focus of most schemes underway to dispose of these high-level radioactive wastes relies on clay-based buffers and barriers to isolate spent fuel canisters in borehole

Download or read book Multiscale Processes of Instability Deformation and Fracturing in Geomaterials written by Elena Pasternak and published by Springer Nature. This book was released on 2022-12-12 with total page 266 pages. Available in PDF, EPUB and Kindle. Book excerpt: · Proceedings of 12th International Workshop on Bifurcation and Degradation in Geomechanics (IWBDG2022) held on 28 November - 1 December 2022 at the University of Western Australia, in Perth, Australia. The book concentrates on deep understanding of the processes of bifurcation and instability in geoengineering systems. The book covers multiscale processes from the scale of crystals to rocks to rock masses. The book considers a wide range of accompanying phenomena from liquefaction to seismicity and landslides. · Topics covered are: I. Localisation and instability in geomaterials II. Fracturing, failure and seismicity III. Deformation processes Intended readership: Universities and Consulting and Research organisations, research students, academics and engineers working in the fields of geomechanics, rock mechanics and geotechnical engineering.

Download or read book Coupled Thermo Hydro Mechanical Processes of Fractured Media written by O. Stephanson and published by Elsevier. This book was released on 1997-02-10 with total page 597 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work brings together the results, information and data that emerged from an international cooperative project, DECOVALEX, 1992-1995. This project was concerned with the mathematical and experimental studies of coupled thermo(T) -hydro(H) -mechanical(M) processes in fractured media related to radioactive waste disposal. The book presents, for the first time, the systematic formulation of mathematical models of the coupled T-H-M processes of fractured media, their validation against theoretical bench-mark tests, and experimental studies at both laboratory and field scales. It also presents, for the first time, a comprehensive analysis of continuum, and discrete approaches to the study of the problems of (as well as a complete description of), the computer codes applied to the studies. The first two chapters provide a conceptual introduction to the coupled T-H-M processes in fractured media and the DECOVALEX project. The next seven chapters give a state-of-the-art survey of the constitutive models of rock fractures and formulation of coupled T-H-M phenomena with continuum and discontinuum approaches, and associated numerical methods. A study on the three generic Bench-Mark Test problems and six Test Case problems of laboratory and field experiments are reported in chapters 10 to 18. Chapter 19 contains lessons learned during the project. The research contained in this book will be valuable for designers, practising engineers and national waste management officials who are concerned with planning, design and performance, and safety assessments of radioactive waste repositories. Researchers and postgraduate students working in this field will also find the book of particular relevance.

Download or read book Development of coupled THM models for reservoir stimulation and geo energy production with supercritical CO2 as working fluid written by Jianxing Liao and published by Cuvillier Verlag. This book was released on 2020-07-28 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this dissertation, two specific numerical models have been developed to address the issues associated with utilization of supercritical CO2, like fracture creation, proppant placement and fracture closure in unconventional gas reservoirs, reservoir stimulation, heat production and CO2 sequestration in deep geothermal reservoirs, respectively. In unconventional gas reservoir, the model consisting of classic fracture model, proppant transport model as well as temperature-sensitive fracturing fluids (CO2, thickened CO2 and guar gum) has been integrated into the popular THM coupled framework (TOUGH2MP-FLAC3D), which has the ability to simulate single fracture propagation driven by different fracturing fluids in non-isothermal condition. To characterize the fracture network propagation and internal multi fluids behavior in deep geothermal reservoirs, an anisotropic permeability model on the foundation of the continuum anisotropic damage model has been developed and integrated into the popular THM coupled framework (TOUGH2MP-FLAC3D) as well. This model has the potential to simulate the reservoir stimulation and heat extraction based on a CO2-EGS concept.

Download or read book Analytical Methods in Petroleum Upstream Applications written by Cesar Ovalles and published by CRC Press. This book was released on 2015-04-02 with total page 2054 pages. Available in PDF, EPUB and Kindle. Book excerpt: Effective measurement of the composition and properties of petroleum is essential for its exploration, production, and refining; however, new technologies and methodologies are not adequately documented in much of the current literature. Analytical Methods in Petroleum Upstream Applications explores advances in the analytical methods and instrumentation that allow more accurate determination of the components, classes of compounds, properties, and features of petroleum and its fractions. Recognized experts explore a host of topics, including: A petroleum molecular composition continuity model as a context for other analytical measurements A modern modular sampling system for use in the lab or the process area to collect and control samples for subsequent analysis The importance of oil-in-water measurements and monitoring The chemical and physical properties of heavy oils, their fractions, and products from their upgrading Analytical measurements using gas chromatography and nuclear magnetic resonance (NMR) applications Asphaltene and heavy ends analysis Chemometrics and modeling approaches for understanding petroleum composition and properties to improve upstream, midstream, and downstream operations Due to the renaissance of gas and oil production in North America, interest has grown in analytical methods for a wide range of applications. The understanding provided in this text is designed to help chemists, geologists, and chemical and petroleum engineers make more accurate estimates of the crude value to specific refinery configurations, providing insight into optimum development and extraction schemes.

Download or read book Principles of Knowledge Representation and Reasoning written by Luigia Carlucci Aiello and published by Morgan Kaufmann. This book was released on 1996 with total page 696 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Annual Report written by U.S. Nuclear Regulatory Commission and published by . This book was released on 1992 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Verification Model Checking and Abstract Interpretation written by Neil D. Jones and published by Springer Science & Business Media. This book was released on 2009-02-13 with total page 392 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

Download or read book Mathematical Foundations of Computer Science 2011 written by Filip Murlak and published by Springer. This book was released on 2011-08-09 with total page 630 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011, held in Warsaw, Poland, in August 2011. The 48 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 129 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, and theoretical issues in artificial intelligence.

Download or read book 8th International Symposium on High Temperature Metallurgical Processing written by Jiann-Yang Hwang and published by Springer. This book was released on 2017-02-08 with total page 786 pages. Available in PDF, EPUB and Kindle. Book excerpt: This collection features contributions covering the advances and developments of new high-temperature metallurgical technologies and their applications to the areas of: processing of minerals; extraction of metals; preparation of metallic, refractory, and ceramic materials; treatment and recycling of slag and wastes; conservation of energy; and environmental protection. The volume will have a broad impact on the academics and professionals serving the metallurgical industries around the world by providing them with comprehensive coverage of a wide variety of topics.