Описание: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;
Автор: Riccardo Bonazza; Devesh Ranjan Название: 29th International Symposium on Shock Waves 1 ISBN: 3319358200 ISBN-13(EAN): 9783319358208 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Part I Plenary Lectures.- Part II Blast Waves.- Part III Chemically Reactive Flows.- Part IV Detonation and Combustion.- Part V Facilities.- Part VI Flow Visualization.-Part VII Hypersonic Flow.- Part VIII Ignition.- Part IX Impact and Compaction.- Part X Industrial Applications.
Автор: Konstantinos Kontis Название: 28th International Symposium on Shock Waves ISBN: 3662520796 ISBN-13(EAN): 9783662520796 Издательство: Springer Рейтинг: Цена: 49631.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part XII Multiphase Flow.- Part XIII Nozzle Flow.- Part XIV Numerical Methods.- Part XVI Propulsion.- Part XVII Richtmyer-Meshkov.- Part XVIII Shockwave Boundary Layer Interaction.- Part XIX Shock Propagation and Reflection.- Part XX Shock Vortex Interaction.- Part XXI Shockwave Phenomena and Applications.- Part XXII Special Session Medical and Biological Applications.- Part XXIII Special Session Shockwave Moderation.- Part XXIV Student Competition.
Автор: Gabi Ben-Dor; Oren Sadot; Ozer Igra Название: 30th International Symposium on Shock Waves 2 ISBN: 3319831526 ISBN-13(EAN): 9783319831527 Издательство: Springer Рейтинг: Цена: 41925.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part XII: Plasma and magnetohyrdrodynamics.- Experimental investigation of magneto-aerodynamic interaction studies in hypersonic flows.- Pulse gas injection in separation zone of hypersonic MHD flow over rotation body.- Observations of the magnetized disruption of collimated plasma flows.- Shock wave formation by nanosecond multichannel surface discharges.- Experimental investigations on a free-flying supersonic projectile model submitted to an electric discharge generating plasma.- Wave profile and current limits for lightning return stroke.- Part XIII: Re-entry to Earth Atmosphere.- In-situ ablation measurement for an ablative heat shield using an embedded sensor.- Preliminary experimental investigation of air radiation in super-orbital expanding flow.- Comparison of chemical reaction models with various experimental re-entry capsules using DSMC.- Experimental and numerical assessment of aerothermal environments about Jupiter Trojan sample return capsule.- Part XIV: Shock Waves in Rarefied Gases.- Numerical study of high energy collisions inside the shock wave in a gas mixture.- A numerical investigation of shock propagation and attenuation in a three-dimensional micro-duct.- Experimental study on the interaction of under expanded jets in rarefied flow regimes.- Structure and expansion of a plume emitted during laser ablation of multi-component materials.- Impact of the interplanetary magnetic field to impingement of a solar wind rotational discontinuity on the Earth's bow shock.- Part XV: Shock Waves in Solids.-Investigation on shock wave assisted deformation of nano nickel.- On the shock-induced structures in copper.- Layered pre-fragmentation warhead reveals strong shock waves effect.- Structural transformation in two-component medium.- Application of mathematical programming for analysis of experimental data obtained at the Hopkinson's stand.- Criticality of damage-failure transition in quasi-brittle materials under dynamic and shock wave loading.- Shock wave response of iron-based metallic glass matrix composites.- Detonation shock waves in various media.- Detonation velocity dependence on front curvature for overdriven detonation in solid explosives.- Heat conduction: hyperbolic self-similar shock-waves in solids.- Compression, rarefaction and failure waves in silicate glasses.- A study of mass-loss at hypervelocity impacts of projectiles with single- and multi-layer targets.- The head-on collision of normal shock waves with a concrete supported plate.- Mechanisms of stress relaxation and failure in metals under shock compression.- Part XVI: Shock Waves in Liquids.- Propagation of pressure waves in compression system prototype for magnetized target fusion reactor in General Fusion Inc..- Intense shock wave through water and impulse transmission in submerged structure.- The motion of a 2 mm tantalum block induced by underwater explosion.- On the refraction of shock wave by a cylindrical water droplet.- Fluid rheology effect on wave attenuation in an elastic pipe.- A summary of the experiments of shock/bubble interactions performed in IFS since 1980.- Analysis of bubbles dynamics created by ballistic impacts in liquid filled tanks.- Air-water interface jetting induced by explosion load.- Part XVII: Shock Waves in Dense Gases.- Shock wave attenuation in milli or microtubes for laminar and turbulent flow regime.- Comparison of BKW and JWL equations of state for explosion simulations.- Similarity parameters for shock waves in dense fluids.- Part XVIII: Shock Wave Focusing.- Experimental investigation of shock wave amplification using multiple munitions.- Shock focusing effect for the interaction of blunt bodies with gas bubbles in a supersonic flow.- A parameter study of shock focusing phenomenon for shock-elliptic bubble interaction.- Coalescence and interaction of blast waves using multiple munitions.- Temperature measurements at the focus of a converging spherical shock wave.- Preliminary design and opt
Описание: held in Chania, Crete, Greece, June 14-17, 2000
Автор: H.-C. Chang Название: IUTAM Symposium on Nonlinear Waves in Multi-Phase Flow ISBN: 0792364546 ISBN-13(EAN): 9780792364542 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The active field of multi-phase flow has undergone fundamental changes in the last decade. Topics covered include solitary wave dynamics on viscous film flows, sheet formation and drop entrainment in stratified flow, wetting and dewetting dynamics, self-similar drop formation dynamics, waves in bubbly and suspension flow, and bubble dynamics.
Автор: Riccardo Bonazza; Devesh Ranjan Название: 29th International Symposium on Shock Waves 2 ISBN: 3319168371 ISBN-13(EAN): 9783319168371 Издательство: Springer Рейтинг: Цена: 43100.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Part XI Magnetohydrodynamics.- Part XII Medical and Biological Applications.- Part XIII Nozzle Flow.- Part XIV Numerical Methods.- Part XV Plasmas.- Part XVI Propulsion.- Part XVII Richtmyer-Meshkov Instability.- Part XVIII Shock-Boundary Layer Interaction.- Part XIX Shock Propagation and Reflection.- Part XX Shock-Vortex Interaction.- Part XXI Shock Waves in Condensed Matter.- Part XXII Shock Waves in Multiphase Flow.- Part XXIII Shock Waves in Rarefied Flow.
Автор: Riccardo Bonazza; Devesh Ranjan Название: 29th International Symposium on Shock Waves 1 ISBN: 3319168347 ISBN-13(EAN): 9783319168340 Издательство: Springer Рейтинг: Цена: 43100.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Part I Plenary Lectures.- Part II Blast Waves.- Part III Chemically Reactive Flows.- Part IV Detonation and Combustion.- Part V Facilities.- Part VI Flow Visualization.-Part VII Hypersonic Flow.- Part VIII Ignition.- Part IX Impact and Compaction.- Part X Industrial Applications.
Автор: Riccardo Bonazza; Devesh Ranjan Название: 29th International Symposium on Shock Waves 2 ISBN: 3319358219 ISBN-13(EAN): 9783319358215 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Part XI Magnetohydrodynamics.- Part XII Medical and Biological Applications.- Part XIII Nozzle Flow.- Part XIV Numerical Methods.- Part XV Plasmas.- Part XVI Propulsion.- Part XVII Richtmyer-Meshkov Instability.- Part XVIII Shock-Boundary Layer Interaction.- Part XIX Shock Propagation and Reflection.- Part XX Shock-Vortex Interaction.- Part XXI Shock Waves in Condensed Matter.- Part XXII Shock Waves in Multiphase Flow.- Part XXIII Shock Waves in Rarefied Flow.
Автор: H.-C. Chang Название: IUTAM Symposium on Nonlinear Waves in Multi-Phase Flow ISBN: 9048155177 ISBN-13(EAN): 9789048155170 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The active field of multi-phase flow has undergone fundamental changes in the last decade. Topics covered include solitary wave dynamics on viscous film flows, sheet formation and drop entrainment in stratified flow, wetting and dewetting dynamics, self-similar drop formation dynamics, waves in bubbly and suspension flow, and bubble dynamics.
Описание: Also included are studies of homogenisation, that field which seeks to determine equivalent homogeneous systems which can give equivalent wave properties to structured materials, and inverse problems, in which waves are used as a probe to infer structural details concerning scattering systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru