LEADER 05680nam 22006855 450 001 996466439903316 005 20210127080020.0 010 $a3-030-26601-X 024 7 $a10.1007/978-3-030-26601-1 035 $a(CKB)4100000009160283 035 $a(DE-He213)978-3-030-26601-1 035 $a(MiAaPQ)EBC5926318 035 $a(PPN)253256887 035 $a(EXLCZ)994100000009160283 100 $a20190807d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security$b[electronic resource] $e38th International Conference, SAFECOMP 2019, Turku, Finland, September 11?13, 2019, Proceedings /$fedited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XXI, 316 p. 320 illus., 92 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v11698 311 $a3-030-26600-1 327 $aFormal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees ? linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil?s in the detail: Through-life safety and security co-assurance using SSAF. 330 $aThis book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: formal verification; autonomous driving; safety and reliability modeling; security engineering and risk assessment; safety argumentation; verification and validation of autonomous systems; and interactive systems and design validation. . 410 0$aProgramming and Software Engineering ;$v11698 606 $aComputer organization 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aOptical data processing 606 $aMicroprogramming  606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018 615 0$aComputer organization. 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aOptical data processing. 615 0$aMicroprogramming . 615 14$aComputer Systems Organization and Communication Networks. 615 24$aArtificial Intelligence. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aImage Processing and Computer Vision. 615 24$aControl Structures and Microprogramming. 676 $a005.8 702 $aRomanovsky$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTroubitsyna$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466439903316 996 $aComputer Safety, Reliability, and Security$9772429 997 $aUNISA LEADER 01485nam 2200373 n 450 001 996390316403316 005 20221108034444.0 035 $a(CKB)4940000000099202 035 $a(EEBO)2240922262 035 $a(UnM)9927758500971 035 $a(UnM)99827747 035 $a(EXLCZ)994940000000099202 100 $a19950310d1649 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 02$aA true copy of a letter, sent from the Lord of Inchiquine to the honorable Colonell Michaell Iones$b[electronic resource] $ecommander in chiefe of the Parliaments forces in Leinster, and governor of the citty of Dublin, vvith Colonell Iones his answer, to the Lord of Inchiquines saied letter 210 $aDublin $cprinted by William Bladen$d1649 215 $a[8] p 300 $aSignatures: A?. 300 $aJones's letter is dated: Dublin Iune 21th 1649. 300 $aIn this edition, line 4 ends "Colo-". 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 607 $aIreland$xHistory$y1649-1660$vEarly works to 1800 700 $aInchiquin$b Murrough O'Brien$cEarl of,$f1614-1674.$01001173 701 $aJones$b Michael$fd. 1649.$01005261 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996390316403316 996 $aA true copy of a letter, sent from the Lord of Inchiquine to the honorable Colonell Michaell Iones$92424826 997 $aUNISA LEADER 05621nam 2200733Ia 450 001 9910830468003321 005 20170809163021.0 010 $a1-282-27913-0 010 $a9786612279133 010 $a3-527-62662-X 010 $a3-527-62663-8 035 $a(CKB)1000000000789884 035 $a(EBL)481884 035 $a(OCoLC)441887029 035 $a(SSID)ssj0000336887 035 $a(PQKBManifestationID)11283176 035 $a(PQKBTitleCode)TC0000336887 035 $a(PQKBWorkID)10288044 035 $a(PQKB)10583834 035 $a(MiAaPQ)EBC481884 035 $a(PPN)163470464 035 $a(EXLCZ)991000000000789884 100 $a20080825d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aDrilling in extreme environments$b[electronic resource] $epenetration and sampling on Earth and other planets /$fedited by Yoseph Bar-Cohen & Kris Zacny 210 $aWeinheim $cWiley-VCH$d2009 215 $a1 online resource (825 p.) 300 $aDescription based upon print version of record. 311 $a3-527-40852-5 320 $aIncludes bibliographical references and index. 327 $aDrilling in Extreme Environments: Penetration and Sampling on Earth and other Planets; Foreword; Contents; Preface; List of Contributors; Acknowledgments; Color Plates; 1 Drills as Tools for Media Penetration and Sampling; 1.1 Introduction and Historical Perspective; 1.2 Methods of Drilling and Penetration of Objects; 1.2.1 Mechanical Techniques; 1.2.2 Thermal Techniques; 1.2.3 Chemical Techniques; 1.3 Types of Mechanical Drills; 1.3.1 Rotary Drill; 1.3.2 Hammer Drill; 1.3.3 Rotary-Hammer Drill; 1.4 Bits - the End-Effector of Drills; 1.4.1 Twist Drill Bits; 1.4.2 Gun Drill 327 $a1.4.3 Centering and Spotting Drill Bits1.4.4 Material Makeup of Bits; 1.5 Application of Drilling Techniques; 1.5.1 Geological Studies and Search for Resources; 1.5.2 Mining and Tunneling; 1.5.3 Petroleum and Gas Drilling and Exploration; 1.5.4 Ocean and Seafloor Drilling; 1.5.5 Planetary Drilling and Sampling; 1.5.6 Ice Drilling; 1.5.7 Dental Drills; 1.6 Conclusion; References; 2 Principles of Drilling and Excavation; 2.1 Introduction; 2.2 Physical Properties of Rocks; 2.2.1 Terrestrial Rocks; 2.2.2 Extraterrestrial Rocks; 2.2.3 Influence Factors for Rock Mechanical Properties 327 $a2.3 Stresses and Energy in Drilling2.3.1 Stress in Sedimentary Basins; 2.3.2 Stresses Around a Borehole; 2.4 Theories of Rock Breakage; 2.4.1 Percussion Drilling; 2.4.2 Rotary Drilling; 2.4.3 Percussion-Rotary; 2.4.4 Other Drilling Methods; 2.4.5 Drilling Efficiency; 2.5 Conclusion; 2.5.1 Underground Rocks and Stresses; 2.5.2 Drilling Theories; 2.5.3 Effect of Environment on Drilling; References; 3 Ground Drilling and Excavation; 3.1 Background; 3.1.1 Three Requirements for Any Drilling System; 3.1.2 Types of Earth Boreholes; 3.2 Drilling Rigs; 3.2.1 Percussion Drilling Rigs 327 $a3.2.2 Rotary Drilling Rigs3.3 Penetrating the Material; 3.3.1 Basic Rock Destruction Mechanism; 3.3.2 Specific Energy Comparison of Different Drilling Methods; 3.4 Cuttings Transport and Disposal; 3.4.1 Cuttings Transport from Under a Bit in Terrestrial Operations; 3.4.2 Cuttings Transport Beyond the Bit; 3.4.3 Cuttings Removal In Situ; 3.4.4 Recompaction of Cuttings; 3.4.5 Creation of Disposal Volume; 3.5 Directional Drilling; 3.5.1 Reference Systems; 3.5.2 Directional Control Factors; 3.5.3 Bit Design; 3.5.4 Bottom Hole Assemblies; 3.5.5 Directional Mechanics; 3.5.6 BHA Modeling 327 $a3.5.7 Planning3.5.8 Survey Techniques; 3.5.9 Survey Calculations; 3.6 Sidewall Friction and Unconsolidated Drilling Issues; 3.6.1 Soil Penetration by Cones; 3.6.2 Pile Driving Formulas; 3.6.3 Methods of Cone Resistance Determination; 3.6.4 Pressure Bubble; 3.6.5 Permafrost Piling; 3.6.6 Vibratory Pile Driving; 3.6.7 Impact on Penetration Resistance; 3.7 Conclusion; References; 4 Ice Drilling and Coring; 4.1 Introduction; 4.2 Coring Drills; 4.2.1 Surface-Driven Rotary Drills; 4.2.2 Wireline Drill; 4.2.3 Cable-Suspended Electromechanical Drills; 4.2.4 Cable-Suspended Electrothermal Drills 327 $a4.2.5 Hand Augers 330 $aUniquely comprehensive and up to date, this book covers terrestrial as well as extraterrestrial drilling and excavation, combining the technology of drilling with the state of the art in robotics. The authors come from industry and top ranking public and corporate research institutions and provide here real-life examples, problems, solutions and case studies, backed by color photographs throughout.The result is a must-have for oil companies and all scientists involved in planetary research with robotic probes.With a foreword by Harrison ""Jack"" Schmitt -- the first geologist to drill 606 $aBoring 606 $aBoring$xTechnological innovations 606 $aOil well drilling 606 $aOil well drilling$xTechnological innovations 606 $aAstrogeology 606 $aSpace robotics 615 0$aBoring. 615 0$aBoring$xTechnological innovations. 615 0$aOil well drilling. 615 0$aOil well drilling$xTechnological innovations. 615 0$aAstrogeology. 615 0$aSpace robotics. 676 $a622.1 676 $a622.3381 701 $aBar-Cohen$b Yoseph$01645085 701 $aZacny$b Kris$01663542 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910830468003321 996 $aDrilling in extreme environments$94020914 997 $aUNINA