18th International Probabilistic Workshop

18th International Probabilistic Workshop
Author: José C. Matos
Publisher: Springer Nature
Total Pages: 855
Release: 2021-05-07
Genre: Technology & Engineering
ISBN: 3030736164

This volume presents the proceedings of the 18th International Probabilistic Workshop (IPW), which was held in Guimarães, Portugal in May 2021. Probabilistic methods are currently of crucial importance for research and developments in the field of engineering, which face challenges presented by new materials and technologies and rapidly changing societal needs and values. Contemporary needs related to, for example, performance-based design, service-life design, life-cycle analysis, product optimization, assessment of existing structures and structural robustness give rise to new developments as well as accurate and practically applicable probabilistic and statistical engineering methods to support these developments. These proceedings are a valuable resource for anyone interested in contemporary developments in the field of probabilistic engineering applications.

Safety of historical stone arch bridges

Safety of historical stone arch bridges
Author: Dirk Proske
Publisher: Springer Science & Business Media
Total Pages: 372
Release: 2009-09-18
Genre: Technology & Engineering
ISBN: 3540776184

Historical stone arch bridges are still a major part of the infrastructure in many countries. Although this type of bridge has proven to be an efficient construction type, it often poses the problem of insufficient numerical models of the load bearing behavior. Therefore the book introduces methods to adapt life loads and introduces different types of numerical models of the load resistance respectively. The book continues with the introduction of specific damages and strengthening techniques. The book particularly focuses on the probabilistic safety assessment of historical arch bridges, for which often only limited material and structural data is available.

Life-Cycle of Structures and Infrastructure Systems

Life-Cycle of Structures and Infrastructure Systems
Author: Fabio Biondini
Publisher: CRC Press
Total Pages: 6293
Release: 2023-06-28
Genre: Technology & Engineering
ISBN: 1000997308

Life-Cycle of Structures and Infrastructure Systems contains the lectures and papers presented at IALCCE 2023- The Eighth International Symposium on Life-Cycle Civil Engineering, held at Politecnico di Milano, Milan, Italy, 2-6 July, 2023. This book contains the full papers of 514 contributions presented at IALCCE 2023, including the Fazlur R. Khan Plenary Lecture, nine Keynote Lectures, and 504 technical papers from 45 countries. The papers cover recent advances and cutting-edge research in the field of life-cycle civil engineering, including emerging concepts and innovative applications related to life-cycle design, assessment, inspection, monitoring, repair, maintenance, rehabilitation, and management of structures and infrastructure systems under uncertainty. Major topics covered include life-cycle safety, reliability, risk, resilience and sustainability, life-cycle damaging processes, life-cycle design and assessment, life-cycle inspection and monitoring, life-cycle maintenance and management, life-cycle performance of special structures, life-cycle cost of structures and infrastructure systems, and life-cycle-oriented computational tools, among others. This Open Access Book provides both an up-to-date overview of the field of life-cycle civil engineering and significant contributions to the process of making more rational decisions to mitigate the life-cycle risk and improve the life-cycle reliability, resilience, and sustainability of structures and infrastructure systems exposed to multiple natural and human-made hazards in a changing climate. It will serve as a valuable reference to all concerned with life-cycle of civil engineering systems, including students, researchers, practicioners, consultants, contractors, decision makers, and representatives of managing bodies and public authorities from all branches of civil engineering.

Formal System Verification

Formal System Verification
Author: Rolf Drechsler
Publisher: Springer
Total Pages: 193
Release: 2017-06-21
Genre: Technology & Engineering
ISBN: 3319576852

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

Service Orientation in Holonic and Multi-agent Manufacturing

Service Orientation in Holonic and Multi-agent Manufacturing
Author: Theodor Borangiu
Publisher: Springer
Total Pages: 321
Release: 2015-02-17
Genre: Technology & Engineering
ISBN: 3319151592

This volume gathers the peer reviewed papers presented at the 4th edition of the International Workshop “Service Orientation in Holonic and Multi-agent Manufacturing – SOHOMA’14” organized and hosted on November 5-6, 2014 by the University of Lorraine, France in collaboration with the CIMR Research Centre of the University Politehnica of Bucharest and the TEMPO Laboratory of the University of Valenciennes and Hainaut-Cambrésis. The book is structured in six parts, each one covering a specific research line which represents a trend in future manufacturing: (1) Holonic and Agent-based Industrial Automation Systems; (2) Service-oriented Management and Control of Manufacturing Systems; (3) Distributed Modelling for Safety and Security in Industrial Systems; (4) Complexity, Big Data and Virtualization in Computing-oriented Manufacturing; (5) Adaptive, Bio-inspired and Self-organizing Multi-Agent Systems for Manufacturing and (6) Physical Internet Simulation, Modelling and Control. There is a clear orientation of the SOHOMA’14 workshop towards complexity, which is a common view of all six parts. There is need for a framework allowing the development of manufacturing cyber physical systems including capabilities for complex event processing and data analytics which are expected to move the manufacturing domain closer towards cloud manufacturing within contextual enterprises. Recent advances in sensor, communication and intelligent computing technologies made possible the Internet connectivity of the physical world: the Physical Internet, where not only documents and images are created, shared, or modified in the cyberspace, but also the physical resources and products interact over Internet and make decisions based on shared communication.

Bridge Collapse Frequencies versus Failure Probabilities

Bridge Collapse Frequencies versus Failure Probabilities
Author: Dirk Proske
Publisher: Springer
Total Pages: 129
Release: 2018-02-22
Genre: Technology & Engineering
ISBN: 331973833X

This monograph provides a comparative study between failure probabilities and collapse frequencies in structural bridge engineering. The author presents techniques to resolve and extend the limitations of both parameters, taking also into account the time dependency of both parameters. The book includes available data and case studies and thus presents patterns to identify potential weaknesses and challenges in bridge maintenance. The target audience primarily comprises practicing engineers in the field of bridge engineering, but the book may also be beneficial for academic researchers alike.