Advanced Structural Safety Studies : With Extreme Conditions and Accidents / / by Jeom Kee Paik

• Record Nr.: UNINA9910366598603321
• Autore: Paik Jeom Kee
• Pubbl/distr/stampa: Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020
• ISBN: 981-13-8245-X
• Edizione: [1st ed. 2020.]
• Descrizione fisica: 1 online resource (682 pages)
• Collana: Topics in Safety, Risk, Reliability and Quality, , 1566-0443 ; ; 37
• Disciplina: 624.1
• Soggetti: Mechanics; Mechanics, Applied; Quality control; Reliability; Industrial safety; Fire prevention; Engineering design; Ocean engineering; Solid Mechanics; Quality Control, Reliability, Safety and Risk; Fire Science, Hazard Control, Building Safety; Engineering Design; Offshore Engineering
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Table of Contents -- Preface -- About the Author -- Computer Programs Used -- Abbreviations -- 1. Principles of Structural Safety Studies -- 2. Probabilistic Selection of Event Scenarios -- 3. Limit State-Based Safety Studies -- 4. Risk-Based Safety Studies -- 5. Safety Assessment of Damaged Structures -- 6. Computational Models for Ship Structural Load Analysis in Ocean Waves -- 7. Computational Models for Offshore Structural Load Analysis in Collisions -- 8. Computational Models for Gas Cloud Temperature Analysis in Fires -- 9. Computational Models for Blast Pressure Load Analysis in Explosions -- 10. Computational Models for Nonlinear Structural Response ; Analysis in Extreme Loads -- 11. Computational Models for Structural Crashworthiness Analysis in Collisions and Grounding -- 12. Computational Models for Structural Crashworthiness Analysis in Fires -- 13. Computational Models for Structural Crashworthiness Analysis in Explosions -- 14. Quantitative Collision Risk Assessment and Management -- 15. Quantitative Grounding Risk Assessment and Management -- 16. Quantitative Fire Risk Assessment and Management -- 17. Quantitative Explosion Risk Assessment and Management -- 18. Facilities for Physical Model Testing -- Appendices -- A.1 Latin Hypercube Sampling Program -- A.2 Passive Fire Protection Materials -- A.3 SI Units -- A.3.1 SI Unit Prefixes -- A.3.2 Conversion Factors -- Index.
• Sommario/riassunto: This book describes principles, industry practices and evolutionary methodologies for advanced safety studies, which are helpful in effectively managing volatile, uncertain, complex, and ambiguous (VUCA) environments within the framework of quantitative risk assessment and management and associated with the safety and resilience of structures and infrastructures with tolerance against various types of extreme conditions and accidents such as fires, explosions, collisions and grounding. It presents advanced computational models for characterizing structural actions and their effects in extreme and accidental conditions, which are highly nonlinear and non-Gaussian in association with multiple physical processes, multiple scales, and multiple criteria. Probabilistic scenario selection practices and applications are presented. Engineering practices for structural crashworthiness analysis in extreme conditions and accidents are described. Multidisciplinary approaches involving advanced computational models and large-scale physical model testing are emphasized. The book will be useful to students at a post-graduate level as well as researchers and practicing engineers.

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings / / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey

• Record Nr.: UNINA9910143626303321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
• ISBN: 3-540-44957-4
• Edizione: [1st ed. 2000.]
• Descrizione fisica: 1 online resource (XXXVIII, 1382 p. 33 illus.)
• Collana: Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 1861
• Disciplina: 004/.01/5113
• Soggetti: Artificial intelligence; Software engineering; Computer systems; Machine theory; Computer science; Computer programming; Artificial Intelligence; Software Engineering; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
• Nota di contenuto: Invited Papers -- Computational Logic: Memories of the Past and Challenges for the Future -- ILP: Just Do It -- Databases and Higher Types -- A Denotational Semantics for First-Order Logic -- Logic, Knowledge Representation, and Bayesian Decision Theory -- Program Development (LOPSTR) -- Logic Program Synthesis in a Higher-Order Setting -- Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction -- Binary Speed Up for Logic Programs -- A New Module System for Prolog -- Logic Programming: ; Theory and Extensions -- Partial Models of Extended Generalized Logic Programs -- Alternating Fixpoint Theory for Logic Programs with Priority -- Proving Failure in Functional Logic Programs -- Semantics of Input-Consuming Logic Programs -- A Denotational Semantics of Defeasible Logic -- Isoinitial Semantics for Logic Programs -- Abstract Syntax for Variable Binders: An Overview -- Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic -- Efficient EM Learning with Tabulation for Parameterized Logic Programs -- Model Generation Theorem Proving with Finite Interval Constraints -- Combining Mobile Processes and Declarative Programming -- Constraints -- Representing Trees with Constraints -- Dominance Constraints with Set Operators -- Better Communication for Tighter Cooperation -- Arc Consistency Algorithms via Iterations of Subsumed Functions -- AVAL: An Enumerative Method for SAT -- Constraint Logic Programming for Local and Symbolic Model-Checking -- A CLP Framework for Computing Structural Test Data -- Modelling Digital Circuits Problems with Set Constraints -- Promoting Constraints to First-Class Status -- Developing Finite Domain Constraints — A Data Model Approach -- Concurrent Constraint Programming with Process Mobility -- A System for Tabled Constraint Logic Programming -- Automated Deduction: Putting Theory into Practice -- Finding Tractable Formulas in NNF -- The Taming of the (X)OR -- On an ?-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL -- Representing Object Code -- Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking -- Certification of Compiler Optimizations Using Kleene Algebra with Tests -- An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas -- Model Checking for Timed Logic Processes -- Perfect Model Checking via Unfold/Fold Transformations -- Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions -- Proof Planning with Multiple Strategies -- The Theory of Total Unary RPO Is Decidable -- Knowledge Representation and Non-monotonic Reasoning -- On the Problem of Computing the Well-Founded Semantics -- Computing Equilibrium Models Using Signed Formulas -- Extending Classical Logic with Inductive Definitions -- A Simple Characterization of Extended Abduction -- A New Equational Foundation for the Fluent Calculus -- Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams -- Decidability Resultsfor the Propositional Fluent Calculus -- A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs -- Default Reasoning with Specificity -- Planning under Incomplete Knowledge -- Wire Routing and Satisfiability Planning -- Including Diagnostic Information in Configuration Models -- Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs -- On Complexity of Updates through Integrity Constraints -- Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States -- Smallest Equivalent Sets for Finite Propositional Formula Circumscription -- A Semantics for Persistency in Propositional Dynamic Logic -- Database Systems (DOOD) -- Applications of Annotated Predicate Calculus to Querying Inconsistent Databases -- Querying Inconsistent Databases: Algorithms and Implementation -- On Verification in Logic Database Languages -- Mining Minimal Non-redundant Association Rules UsingFrequent Closed Itemsets -- Linearly Bounded Reformulations of Conjunctive Databases -- MuTACLP: A Language for Declarative GIS Analysis -- Reasoning about Duplicate Elimination with Description Logic -- A File System Based on Concept Analysis -- A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases -- SLDMagic — ; The Real Magic (With Applications to Web Queries) -- FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine -- Design and Implementation of the Physical Layer in WebBases: The XRover Experience -- A Dynamic Approach to Termination Analysis for Active Database Rules -- Constraint-Based Termination Analysis for Cyclic Active Database Rules -- A Formal Model for an Expressive Fragment of XSLT -- On the Equivalence of XML Patterns -- Querying XML Specified WWW Sites: Links and Recursion in XML-GL -- A Heuristic Approach for Converting HTML Documents to XML Documents -- Specification of an Active Database System Application Using Dynamic RelationNets -- Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases -- Logic Programming: Implementations and Applications -- Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects -- So Many WAM Variations, So Little Time -- A Module Based Analysis for Memory Reuse in Mercury -- Mode Checking in HAL -- The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems -- Data Protection by Logic Programming -- A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language -- A Logic Programming Application for the Analysis of Spanish Verse -- A Documentation Generator for (C)LP Systems -- Psychiatric Diagnosis from the Viewpoint of Computational Logic.
• Sommario/riassunto: These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.