| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910337585103321 |
|
|
Autore |
Max Michael D |
|
|
Titolo |
Exploration and Production of Oceanic Natural Gas Hydrate : Critical Factors for Commercialization / / by Michael D. Max, Arthur H. Johnson |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2nd ed. 2019.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (501 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Energy |
Climatic changes |
Management |
Industrial management |
Robotics |
Automation |
Mines and mineral resources |
Energy, general |
Climate Change Management and Policy |
Innovation/Technology Management |
Robotics and Automation |
Mineral Resources |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1. Energy Overview: Prospects for Natural Gas -- 2. Economic Characteristics of Deepwater Natural Gas Hydrate -- 3. Exploration for Deepwater Natural Gas Hydrate -- 4. Potential High-Quality Reservoir Sediments in the Gas Hydrate Stability Zone -- 5. Valuation of NGH Deposits -- 6. Deepwater Natural Gas Hydrate Innovation Opportunities -- 7. Leveraging Technology for NGH Development and Production -- 8. New Technology for NGH Development and Production -- 9. Offshore Operations and Logistics -- 10. Energy Resource Risk Factors -- 11. Elements of Commerciality. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This second edition provides extensive information on the attributes of the Natural Gas Hydrate (NGH) system, highlighting opportunities for the innovative use and modification of existing technologies, as well as new approaches and technologies that have the potential to dramatically lower the cost of NGH exploration and production. Above all, the book compares the physical, environmental, and commercial aspects of the NGH system with those of other gas resources. It subsequently argues and demonstrates that natural gas can provide the least expensive energy during the transition to, and possibly within, a renewable energy future, and that NGH poses the lowest environmental risk of all gas resources. Intended as a non-mathematical, descriptive text that should be understandable to non-specialists as well as to engineers concerned with the physical characteristics of NGH reservoirs and their production, the book is written for readers at the university graduate level. It offers a valuable reference guide for environmentalists and the energy community, and includes discussions that will be of great interest to energy industry professionals, legislators, administrators, regulators, and all those concerned with energy options and their respective advantages and disadvantages. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484413103321 |
|
|
Titolo |
Fundamental approaches to software engineering : 11th international conference, FASE 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / / Jose Luiz Fiadeiro, Paola Inverardi (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, 2008 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 434 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 4961 |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
FiadeiroJose Luiz <1961-> |
InverardiPaola |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Requirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing |
|
|
|
|
|
|
|
|
|
|
|
II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). |
|
|
|
|
|
|
Sommario/riassunto |
|
This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components. |
|
|
|
|
|
|
|
| |