04498nam 2200601Ia 450 991048317310332120200520144314.03-642-00867-410.1007/978-3-642-00867-2(CKB)1000000000714665(SSID)ssj0000318923(PQKBManifestationID)11243802(PQKBTitleCode)TC0000318923(PQKBWorkID)10336584(PQKB)11694694(DE-He213)978-3-642-00867-2(MiAaPQ)EBC3063986(PPN)132875020(EXLCZ)99100000000071466520090415d2009 uy 0engurnn#008mamaatxtccrMethods, models and tools for fault tolerance /Michael Butler ... [et al.], editors1st ed. 2009.Berlin ;Heidelberg Springer-Verlagc20091 online resource (VIII, 343 p.)Lecture notes in computer science ;5454Bibliographic Level Mode of Issuance: Monograph3-642-00866-6 Includes bibliographical references and index.Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.Lecture notes in computer science ;5454.Fault-tolerant computingFault tolerance (Engineering)Fault-tolerant computing.Fault tolerance (Engineering)004.2DAT 286fstubSS 4800rvkButler Michael1967-1759804Workshop on Methods, Models and Tools for Fault Tolerance(2007 :Oxford, England)International Conference on Integrated Formal Methods(6th :2007 :Oxford, England)MiAaPQMiAaPQMiAaPQBOOK9910483173103321Methods, models and tools for fault tolerance4202848UNINA04738nam 22007335 450 991100736770332120250601130233.03-031-88827-810.1007/978-3-031-88827-4(CKB)39160844100041(MiAaPQ)EBC32142870(Au-PeEL)EBL32142870(DE-He213)978-3-031-88827-4(EXLCZ)993916084410004120250601d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierIdentification of Special-Purpose Structures by Their Fragments Based on Scanning Electron Microscopy /by Viacheslav L. Bogdanov, Alexander Ya. Grigorenko, Ihor B. Chepkov, Ihor V. Odnoralov, Andrii V. Kuchynskyi, Valerii V. Kremenytskyi, Svitlana O. Sperkach1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (380 pages)Advanced Structured Materials,1869-8441 ;2333-031-88826-X Analysis of Available Methods of Investigating Metallic and Composite Materials, and the Choice of Optimal Research Methods -- Using Scanning Electron Microscopy for Studying Metal Fragments of Special-Purpose Structures -- Application of Scanning Electron Microscopy for the Study of Fragments of Special-Purpose Structures Made of Composite Materials -- Application of Scanning Electron Microscopy for the Study of Fragments of Radio-Absorbing Composite Materials and Coatings -- Using Scanning Electron Microscopy to Identify Special-Purpose Structures by Their Fragments.This book contains previously classified information on the physical and chemical characteristics of metallic and composite materials used in the production of elements of special-purpose structures, and reveals the set of techniques and tools through which this information was obtained. It sets the foundations for the methodology of systematic automated identification of the special-purpose structures by their fragments. The main topics are theoretical foundations and practical results of scanning electron microscopy in determining chemical composition, structure, surface topography and frequency characteristics (reflection and absorption coefficients of electromagnetic waves) of fragments of the structures made of both metal alloys and composite materials. Applied aspects such as the parameters of electromagnetic radiation recommended for effective identification of special-purpose structures made of composite radiation absorbent materials and coatings; development of a scientifically based system for automated identification of the structures by their fragments. The book is aimed at solving the problem to prevent uncontrolled or "gray" transfer of special-purpose products, technologies and materials of military or dual use by forming a scientifically based automatic identification system (by class and country of origin) of special-purpose products by their fragments, using scanning electron microscopy to determine their chemical composition, structure, surface topography, and frequency characteristics. The book is useful to a wide range of specialists in the field of materials science, as well as specialists in the defense sector of industry.Advanced Structured Materials,1869-8441 ;233X-ray spectroscopyMaterialsMicroscopyMetalsMaterialsAnalysisComposite materialsX-Ray SpectroscopyMicroscopyMetals and AlloysMaterials Characterization TechniqueCompositesX-ray spectroscopy.MaterialsMicroscopy.Metals.MaterialsAnalysis.Composite materials.X-Ray Spectroscopy.Microscopy.Metals and Alloys.Materials Characterization Technique.Composites.543.62Bogdanov Viacheslav L1220081Grigorenko Alexander Ya927860Chepkov Ihor B1826781Odnoralov Ihor V1826782Kuchynskyi Andrii V1826783Kremenytskyi Valerii V1826784Sperkach Svitlana O1826785MiAaPQMiAaPQMiAaPQBOOK9911007367703321Identification of Special-Purpose Structures by Their Fragments Based on Scanning Electron Microscopy4394782UNINA