Page 3
Page 3
Software for Exascale Computing - SPPEXA 2016-2019
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019.
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.
Simulation, Modeling, and Programming for Autonomous Robots ; 1st International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, reliability, scalability and validation of robot simulation, simulated sensors and actuators, offline simulation of robot design, online simulation with realtime constraints, simulation with software/hardware-in-the-loop, middleware for robotics, modeling framework for robots and environments, testing and validation of robot control software, standardization for robotic services, communication infrastructures in distributed robotics, interaction between sensor networks and robots, human robot interaction, and multirobot. The papers are organized in topical sections on simulation, programming, and applications.
Silver Metallization : Stability and Reliability
Silver Metallization: Stability and Reliability provides detailed information on a wide range of experimental, characterization and analysis techniques. It also presents the novel approaches used to overcome the thermal and electrical stability issues associated with silver metallization.
Shock and Damage Models in Reliability Theory
Describes the reliability properties and maintenance policies associated with shock and damage models. The author is a leading researcher in this field with over thirty years’ experience. The book introduces stochastic processes before surveying current developments in shock and damage models. The reliability quantities of each model are explained and their optimization problems are discussed analytically. The maintenance policies of these models are explored in terms of maintenance theory and reliability theory and practical applications of all of these models are revealed with case studies.
Service-Oriented Computing ICSOC 2006 ; 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in Chicago, IL, USA. Both ICSOC'06 workshops were held as one-day-workshops the day before the major conference program of ICSOC'06 started.
Semi-Markov Risk Models for Finance, Insurance and Reliability
This book presents applications of semi-Markov processes in finance, insurance and reliability, using real-life problems as examples. After a presentation of the main probabilistic tools necessary for understanding of the book, the authors show how to apply semi-Markov processes in finance, starting from the axiomatic definition and continuing eventually to the most advanced financial tools, particularly in insurance and in risk-and-ruin theories. Also considered are reliability problems that interact with credit risk theory in finance.
Semi-Markov Chains and Hidden Semi-Markov Models toward Applications : Their use in Reliability and DNA Analysis
This book is concerned with the estimation of discrete-time semi-Markov and hidden semi-Markov processes. Semi-Markov processes are much more general and better adapted to applications than the Markov ones because sojourn times in any state can be arbitrarily distributed, as opposed to the geometrically distributed sojourn time in the Markov case. Another unique feature of the book is the use of discrete time, especially useful in some specific applications where the time scale is intrinsically discrete. The models presented in the book are specifically adapted to reliability studies and DNA analysis.
Science of Societal Safety : Living at Times of Risks and Disasters
This book covers comprehensive but fundamental principles and concepts of disaster and accident prevention and mitigation, countermeasures, and recovery from disasters or accidents including treatment and care of the victims. Safety and security problems in our society involve not only engineering but also social, legal, economic, cultural, and psychological issues. The enhancement needed for societal safety includes comprehensive activities of all aspects from precaution to recovery, not only of people but also of governments. In the first part the fundamental concepts of safety are discussed. The second part deals with risks in the societal and natural environment. Then follows, in the third part, a description of the quantitative estimation of risk and its assessment and management. The fourth part is devoted to disaster prevention, mitigation, and recovery systems. The final, fifth part presents a future perspective of societal safety science.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. The theoretical bases of scenario non-success risk LP-management in business and engineering are also stated. Methods and algorithms for the scenario risk LP-management in problems of classification, investment and effectiveness are described. Risk LP- models and results of numerical investigations for credit risks, risk of frauds, security portfolio risk, risk of quality, accuracy, and risk in multi-stage systems reliability are given. In addition, a rather large number of new problems of estimation, analysis and management of risk are considered. Software for risk problems based on LP-methods, LP-theory, and GIE are described too.
Satisfying Safety Goals by Probabilistic Risk Assessment
Safety is one of the most important issues today. Recent international standards such as ISO and IEC have consistently advocated goal-based procedures of designing systems for better safety. The procedure assumes safety goals are explicitly established by international organizations, individual nations, particular industries or private companies. Satisfying Safety Goals by Probabilistic Risk Assessment is a methodological approach to the goal-based safety design procedure that will soon be an international requirement.
Sanificazione nellindustria alimentare = Sanitation in the food industry
This volume is the Italian version of the original Principles of Food Sanitation, now in its fifth edition, whose validity in the training of specialists is recognized internationally. The text is a tool capable of providing operators in the food industries, but also students, with complete information on the most up-to-date sanitation procedures and on how to guarantee a high level of food safety.
Safety, Reliability and Risks Associated with Water, Oil and Gas Pipelines
In this book, the three two major defect assessment tools for pipes are presented : i) the failure assessment diagram and particularly the SINTAP procedure, ii) limit analysis, iii) strain design approach Methods of defect repair are based on investigation findings. Methods such as welded sleeve, repair clamp composite sleeve, grinding, pipe replacement are described.
Safety for Particle Accelerators
The use of non-standard technologies such as superconductivity, cryogenics and radiofrequency pose challenges for the safe operation of accelerator facilities that cannot be addressed using only best practice from occupational safety in conventional industry.
Safer Healthcare : Strategies for the Real World
The authors of this book set out a system of safety strategies and interventions for managing patient safety on a day-to-day basis and improving safety over the long term. These strategies are applicable at all levels of the healthcare system from the frontline to the regulation and governance of the system.
Runtime Verification ; 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
Risks in Modern Society
The main goal of this book is to make the reader familiar with the complexity and multi-dimensionality of the subject RISK, focusing on the changing character of work in a globalised economy. The main emphasis is on providing practical guidelines for improved risk governance, i.e., how to find adequate solutions through integrated methods of risk assessment, risk handling and risk communication for the benefit of everyone: employers, workers, other stakeholders as well as shareholders and society at large.
Risk-Conscious Operations Management : An Integrated Paradigm for Complex Engineering System
Presents various concepts and applications related to risk-conscious operations management. It also provides an overview of the risk-based engineering – fundamental to the concept of risk-conscious operations management. It presents the reliability concept to support Dependency Modelling, which includes hardware systems structures and components for reliability improvement and risk reduction. The book further develops and builds attributes and model for risk-conscious culture – critical to characterize operational approach to risk and presents human factor modelling, where it works on developing an approach for human error precursor analysis.
Reliability-based Structural Design
Reliability-based Structural Design provides readers with an understanding of the fundamentals and applications of structural reliability, stochastic finite element method, reliability analysis via stochastic expansion, and optimization under uncertainty. Probability theory, statistic methods, and reliability analysis methods including Monte Carlo sampling, Latin hypercube sampling, first and second-order reliability methods, stochastic finite element method, and stochastic optimization are discussed. In addition, the use of stochastic expansions, including polynomial chaos expansion and Karhunen-Loeve expansion, for the reliability analysis of practical engineering problems is also examined. Detailed examples of practical engineering applications including an uninhabited joined-wing aircraft and a supercavitating torpedo are presented to illustrate the effectiveness of these methods.
Reliability in Automotive and Mechanical Engineering : Determination of Component and System Reliability
The volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. They represent the development trends and progress resulting in making this book essential basic material for all research academics, planners maintenance executives, who have the responsibility to implement the findings and maintenance audits into a cohesive reliability policy. Although, the book is centred on automotive engineering nevertheless, the examples and overall treatise can be applied to a wide range of professional practices. The book will be a valuable source of information for those concerned with improved manufacturing performance and the formidable task of optimising reliability.
