| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457165803321 |
|
|
Titolo |
Dynamics of detonations and explosions [[electronic resource] ] : explosion phenomena / / edited by A.L. Kuhl ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, D.C., : American Institute of Aeronautics and Astronautics, c1991 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-60086-607-7 |
1-60086-388-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (429 p.) |
|
|
|
|
|
|
Collana |
|
Progress in astronautics and aeronautics ; ; v. 134 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Explosions |
Gas dynamics |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Technical papers presented from the Twelfth International Colloquium on Dynamics of Explosions and Reactive Systems, Ann Arbor, Michigan, July 1989, and subsequently revised for this volume." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
""Cover""; ""Title""; ""Copyright""; ""Table of Contents""; ""Preface""; ""Chapter I. Vapor Cloud Explosions""; ""Scaling of Vapor Cloud Explosions After Turbulent Jet Release""; ""Effect of Asymmetric Ignition on the Vapor Cloud Spatial Blast""; ""Experimental Investigation Concerning the Influenceof Turbulence on the Flame Front Velocity of FuelGas-Air Mixture Deflagrations""; ""Mechanism of Flame Acceleration Alonga Tube With Obstacles""; ""Explosion in a Vented Vessel Connected to a Duct"" |
""Modelization and Validation Tests of the Dischargein Air of a Vessel Pressurized by a Flammable Gas""""Applicability of a Chemical-Equilibrium Modelto Explosion Products""; ""Inverse Numerical Process for Inlet ConditionsCalculus from Experimental Front Determination""; ""Chapter II. Blast Wave Reflections and Interactions""; ""Reflection of Shock and Explosion Waves from Surfaces Covered with Layers of Polyurethane Foam""; ""Simulating the Impact Made by a Shock Wave on aBody Surrounded by a Layer of Hot or Cold Gas""; ""Turbulent Wall Jet in a Mach Reflection Flow"" |
|
|
|
|
|
|
|
|
|
|
|
|
|
""Numerical Simulation of the Change in theSupersonic Flow Past a Body Produced by Switchingon a Nearby Heat Source""""Shock Waves Produced by Reflected Detonations""; ""Spherical Wave Interaction with a Liquid-AirInterface: Analysis of the Holographic Results""; ""Formation of Zones with High ParticleConcentrations in Dusty Gas""; ""Chapter III. Vapor Explosions""; ""Shock Waves From Vapor Explosion in aShock Tube""; ""Dynamics of Explosive Interactions Between MoltenTin and Water in Stratified Geometry""; ""Steam Explosion Studies with Molten Iron-AluminaGenerated by Thermite Reactions"" |
""Application of the Integrated Fuel-CoolantInteraction Code to a FITS-TypePouring Mode Experiment""""Multiphase Physical Explosion ModelingUsing the CULDESAC Code""; ""Author Index"" |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910484590103321 |
|
|
Titolo |
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings / / edited by Neil Jones, Markus Müller-Olm |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 381 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5403 |
|
|
|
|
|
|
Altri autori (Persone) |
|
JonesNeil D |
Müller-OlmMarkus |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Software engineering |
Compilers (Computer programs) |
Computer science |
Programming Techniques |
Software Engineering |
Compilers and Interpreters |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Model Checking: Progress and Problems -- Model Checking Concurrent Programs -- Thread-Modular Shape Analysis -- Invited Tutorials -- Advances in Program Termination and Liveness -- Verification of Security Protocols -- Submitted Papers -- Towards Automatic Stability Analysis for Rely-Guarantee Proofs -- Mostly-Functional Behavior in Java Programs -- The Higher-Order Aggregate Update Problem -- An Abort-Aware Model of Transactional Programming -- Model-Checking the Linux Virtual File System -- LTL Generalized Model Checking Revisited -- Monitoring the Full Range of ?-Regular Properties of Stochastic Systems -- Constraint-Based Invariant Inference over Predicate Abstraction -- Reducing Behavioural to Structural Properties of Programs with Procedures -- Query-Driven Program Testing -- Average-Price-per-Reward Games on Hybrid Automata with Strong Resets -- Abstraction Refinement for Probabilistic Software -- Finding Concurrency-Related Bugs Using Random Isolation -- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries -- SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities -- Deciding Extensions of the Theories of Vectors and Bags -- A Posteriori Soundness for Non-deterministic Abstract Interpretations -- An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking -- A Scalable Memory Model for Low-Level Code -- Synthesizing Switching Logic Using Constraint Solving -- Extending Symmetry Reduction by Exploiting System Architecture -- Shape-Value Abstraction for Verifying Linearizability -- Mixed Transition Systems Revisited -- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |