Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability. This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.

One of the most critical issues facing supply chain managers in today's globalized and highly uncertain business environments is how to deal proactively with disruptions that might affect the complicated supply networks characterizing modern enterprises. Supply Chain Disruptions: Theory and Practice of Managing Risk presents a state-of the-art perspective on this particular issue. Supply Chain Disruptions: Theory and Practice of Managing Risk demonstrates that effective management of supply disruptions necessitates both strategic and tactical measures - the former involving optimal design of supply networks; the latter involving inventory, finance and demand management. It shows that managers ought to use all available levers at their disposal throughout the supply network - like sourcing and pricing strategies, providing financial subsidies, encouraging information sharing and incentive alignment between supply chain partners - in order to tackle supply disruptions. The editors combine up-to-date academic research with the latest operational risk management practices used in industry to demonstrate how theoreticians and practitioners can learn from each other. As well as providing a wealth of knowledge for students and professors who are interested in pursuing research or teaching courses in the rapidly growing area of supply chain risk management, Supply Chain Disruptions: Theory and Practice of Managing Risk also acts as a ready reference for practitioners who are interested in understanding the theoretical underpinnings of effective supply disruption management techniques.

The work contains the results of the Sixth International Conference on Advanced Manufacturing Systems and Technology - AMST'02, which was held in Udine in June 2002. It presents up-to-date information on the latest developments - research results and experience - in the field of machining of conventional and advanced materials, machine tools and flexible manufacturing systems, forming, nonconventional processes, robotics, measurement and control, quality, design and ecodesign, rapid prototyping, rapid tooling and manufacturing, materials and mechanics.

The ELFNET Book on Failure Mechanisms, Testing Methods, and Quality Issues of Lead-Free Solder Interconnects is the work of the European network ELFNET which was founded by the European Commission in the 6th Framework Programme. It brings together contributions from the leading European experts in lead-free soldering. The limited validity of testing methods originating from tin-lead solder was a major point of concern in ELFNET members' discussions. As a result, the network's reliability group decided to bring together the material properties of lead-free solders, as well as the basics of material science, and to discuss their influence on the procedures for accelerated testing. This has led to a matrix of failure mechanisms and their activation and, as a result, to a comprehensive coverage of the scientific background and its applications in reliability testing of lead-free solder joints. The ELFNET Book on Failure Mechanisms, Testing Methods, and Quality Issues of Lead-Free Solder Interconnects is written for scientists, engineers and researchers involved with lead-free electronics.

The Environmental and climatic issues varies from continent to continent and is unique to Asia. Understanding the issues does need lot of research and study material which students may not be able to gather due to shortage of time and resources. Hence an effort is made by authors gathering there experience and academic input from renowned universities of world. Climate change is real and coping with it is major concern in coming days. Most of the books written and sold in the past need updating and customizing. The general description of climate change and world will not help the professionals and students. It needs to seen area wise as a professional will work in specific geographic area. Hence an effort is made to collect data from Asia which host most populated countries along with ecological hot spots.

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.

With the increased presence of nanomaterials in commercial products such as cosmetics and sunscreens, fillers in dental fillings, water filtration process, catalysis, photovoltaic cells, bio-detection, a growing public debate is emerging on toxicological and environmental effects of direct and indirect exposure to these materials. Nanomaterials: A Danger or a Promise? forms a balanced overview of the health and environmental issues of nanoscale materials. By considering both the benefits and risks associated with nanomaterials, Nanomaterials: A Danger or a Promise? compiles a complete and detailed image of the many aspects of the interface between nanomaterials and their real-life application. The full cycle of nanomaterials life will be presented and critically assessed to consider and answer questions such as: How are nanomaterials made? What they are used for? What is their environmental fate? Can we make them better? Including coverage of relevant aspects about the toxicity of manufactured nanomaterials, nanomaterials life cycle, exposure issues, Nanomaterials: A Danger or a Promise? provides a comprehensive overview of the actual knowledge in these fields but also presents perspectives for the future development of a safer nanoscience. This comprehensive resource is a key reference for students, researcher, manufacturers and industry professionals alike.

Quality control is a constant priority in electrical, mechanical, aeronautical, and nuclear engineering - as well as in the vast domain of electronics, from home appliances to computers and telecommunications. Quality Control Applications provides guidance and valuable insight into quality control policies; their methods, their implementation, constant observation and associated technical audits. What has previously been a mostly mathematical topic is translated here for engineers concerned with the practical implementation of quality control. Once the fundamentals of quality control are established, Quality Control Applications goes on to develop this knowledge and explain how to apply it in the most effective way. Techniques are described and supported using relevant, real-life, case studies to provide detail and clarity for those without a mathematical background. Among the many practical examples, two case studies dramatize the importance of quality assurance: A shot-by-shot analysis of the errors made in the Fukushima Daiichi nuclear disaster; and the engineering failure with new technology due to the absence of quality control in an alternative energy project. This clear and comprehensive approach makes Quality Control Applications an essential reference for those studying engineering as well industry professionals involved in quality control across product and system design.

The Halden Man-Machine Laboratory (HAMMLAB) has been at the heart of human factors research at the OECD Halden Reactor Project (HRP). The HRP is sponsored by a group of national organizations, representing nuclear power plant regulators, utilities, and research institutions. The HRP is hosted by the Institute for Energy Technology (IFE) in Halden, Norway. HAMMLAB comprises three full-scale nuclear power plant control room research simulators. The simulator studies performed in HAMMLAB have traditionally been experimental in nature. In a simulator it is possible to study events as they unfold in real time, in a highly realistic operational environment under partially controlled conditions. This means that a wide range of human factors issues, which would be impossible or highly impracticable to study in real-life settings, can thus be addressed in HAMMLAB. Simulator-based Human Factors Studies Across 25 Years celebrates the twenty-fifth anniversary of HAMMLAB by reviewing the human factors studies performed in HAMMLAB across this time-span. A range of human factors issues have been addressed, including: * human-system interfaces; * alarm systems; * computerized procedures; * human-automation interaction; * staffing, teamwork and human reliability. The aim of HAMMLAB studies has always been the same: to generate knowledge for solving current and future challenges in nuclear power plant operation to contribute to safety. The outcomes of HAMMLAB studies have been used to support design and assessment of nuclear power plant control rooms.

Nonparametric statistics has probably become the leading methodology for researchers performing data analysis. It is nevertheless true that, whereas these methods have already proved highly effective in other applied areas of knowledge such as biostatistics or social sciences, nonparametric analyses in reliability currently form an interesting area of study that has not yet been fully explored. Applied Nonparametric Statistics in Reliability is focused on the use of modern statistical methods for the estimation of dependability measures of reliability systems that operate under different conditions. The scope of the book includes: smooth estimation of the reliability function and hazard rate of non-repairable systems; study of stochastic processes for modelling the time evolution of systems when imperfect repairs are performed; nonparametric analysis of discrete and continuous time semi-Markov processes; isotonic regression analysis of the structure function of a reliability system, and lifetime regression analysis. Besides the explanation of the mathematical background, several numerical computations or simulations are presented as illustrative examples. The corresponding computer-based methods have been implemented using R and MATLAB (R). A concrete modelling scheme is chosen for each practical situation and, in consequence, a nonparametric inference procedure is conducted. Applied Nonparametric Statistics in Reliability will serve the practical needs of scientists (statisticians and engineers) working on applied reliability subjects.

This book is intended to give a general overview of reliability, faults, fault models, nanotechnology, nanodevices, fault-tolerant architectures and reliability evaluation techniques. Additionally, the book provides an in depth state-of-the-art research results and methods for fault tolerance as well as the methodology for designing fault-tolerant systems out of highly unreliable components.

"Integrated Risk Governance: Science Plan and Case Studies of Large-scale Disasters" is the first book in the IHDP-Integrated Risk Governance Project Series. It consists of two parts: Part I: Integrated Risk Governance Project Science Plan, which outlines the challenge, research programme, outcomes, and implementation strategy of the IRG Project; and Part II: Case Studies of Large-scale Disasters, which includes case analyses of experience, lessons learned and recommendations on various large-scale disasters around the world, such as the Tangshan and Wenchuan earthquakes and the great ice storm in China, European heat waves, and Hurricane Katrina in the USA. The community model of integrated natural disaster risk governance and paradigm of catastrophe risk governance in China are also presented. Prof. Peijun Shi works at Beijing Normal University, China; Prof. Carlo Jaeger works at Potsdam Institute for Climate Impact Research, Germany; Prof.Qian Ye works at Beijing Normal University, China.

Focusing on shocks modeling, burn-in and heterogeneous populations, Stochastic Modeling for Reliability naturally combines these three topics in the unified stochastic framework and presents numerous practical examples that illustrate recent theoretical findings of the authors. The populations of manufactured items in industry are usually heterogeneous. However, the conventional reliability analysis is performed under the implicit assumption of homogeneity, which can result in distortion of the corresponding reliability indices and various misconceptions. Stochastic Modeling for Reliability fills this gap and presents the basics and further developments of reliability theory for heterogeneous populations. Specifically, the authors consider burn-in as a method of elimination of 'weak' items from heterogeneous populations. The real life objects are operating in a changing environment. One of the ways to model an impact of this environment is via the external shocks occurring in accordance with some stochastic point processes. The basic theory for Poisson shock processes is developed and also shocks as a method of burn-in and of the environmental stress screening for manufactured items are considered. Stochastic Modeling for Reliability introduces and explores the concept of burn-in in heterogeneous populations and its recent development, providing a sound reference for reliability engineers, applied mathematicians, product managers and manufacturers alike.

This book on electrostatic discharge phenomena is essentially a translation and update ofa Swedish edition from 1992. The book is intended for people working with electronic circuits and equipments, in application and development. All personnel should be aware of the ESD-hazards, especially those responsible for quality. ESD-prevention is a part of TQM (Total Quality Management). The book is also usable for courses on the subject. Background It was soon realised that the MOS-circuits (MOS=Metal Oxide Semiconductor), which appeared in the beginning of the 1960-ties were sensitive to electrostatic discharges. But a severe accident accelerated the search for materials that do not generate electric charges. In April 1964 three people were working inside a satellite at Cape Kennedy Space Center. They suddenly screamed "we are burning". They died. The satellite incapsulation was covered with untreated plastics to protect against dust. When the plastics was pulled off both this and the metal incapsulating got charged. A discharge from the metal ignited inflammable parts of the satellite. Eleven more people were injured and the cost of the accident amounted to about 55 billions USD.

This book presents a complete, in-depth analysis for on the impact of liquid sulfur dioxide and liquid sulfur trioxide to carry out complex and difficult sulfonations, as well as manufacture of sulfuric acid with a CAPEX requirement of less than half, an area requirement less than one-third, and no emission of sulfur dioxide. The processes described in this volume represents an innovative approach relevant to the current manufacturing processes of sulfuric acid, sulfamic acid, para toluene sulfonic acid and other sulfonated product.

This proven and internationally recognized text teaches the methods of engineering design as a condition of successful product development. It breaks down the design process into phases and then into distinct steps, each with its own working methods. The book provides more examples of product development; it also tightens the scientific bases of its design ideas with new solution fields in composite components, building methods, mechatronics and adaptronics. The economics of design and development are covered and electronic design process technology integrated into its methods. The book is sharply written and well-illustrated.

Ternary means "based on three". This book deals with reliability investigations of networks whose components subject to failures can be in three states -up, down and middle (mid), contrary to traditionally considered networks having only binary (up/down) components. Extending binary case to ternary allows to consider more realistic and flexible models for communication, flow and supply networks

"Reliability Physics and Engineering" provides critically important information for designing and building reliable cost-effective products. The textbook contains numerous example problems with solutions. Included at the end of each chapter are exercise problems and answers. "Reliability Physics and Engineering" is a useful resource for students, engineers, and materials scientists.

Topics in Model Validation and Uncertainty Quantification, Volume : Proceedings of the 31st IMAC, A Conference and Exposition on Structural Dynamics, 2013, the fifth volume of seven from the Conference, brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Structural Dynamics, including papers on: Uncertainty Quantification & Propagation in Structural Dynamics Robustness to Lack of Knowledge in Design Model Validation

In order to satisfy the needs of their customers, network utilities require specially developed maintenance management capabilities. Maintenance Management information systems are essential to ensure control, gain knowledge and improve-decision making in companies dealing with network infrastructure, such as distribution of gas, water, electricity and telecommunications. Maintenance Management in Network Utilities studies specified characteristics of maintenance management in this sector to offer a practical approach to defining and implementing the best management practices and suitable frameworks.
Divided into three major sections, Maintenance Management in Network Utilities defines a series of stages which can be followed to manage maintenance frameworks properly. Different case studies provide detailed descriptions which illustrate the experience in real company situations. An introduction to the concepts is followed by main sections including:

A Literature Review: covering the basic concepts and models needed for framework design, development and implementation.
Framework Design and Definition: developing the basic pillars of network utilities maintenance management framework.
Performance Evaluation & Maturity: focusing on the reliability concept and maturity models from different viewpoints.

By establishing basic foundations for creating and maintaining maintenance managements strategies, Maintenance Management in Network Utilities acts a practical handbook for all professionals in these companies and across areas such as network development, operations management and marketing.
"

This book presents intellectual, innovative, information technologies (I3-technologies) based on logical and probabilistic (LP) risk models. The technologies presented here consider such models for structurally complex systems and processes with logical links and with random events in economics and technology.
The volumedescribes the following components of risk management technologies: LP-calculus; classes of LP-models of risk and efficiency; procedures for different classes; special software for different classes; examples of applications; methods for the estimation of probabilities of events based on expert information.Also described area variety of training courses in these topics.
The classes of risk models treated here are: LP-modeling, LP-classification, LP-efficiency, and LP-forecasting. Particular attention is paid to LP-models of risk of failure to resolve difficult economic and technical problems. Amongst the discussed procedures of I3-technologies are the construction of LP-models, LP-identification of risk models; LP-risk analysis, LP-management and LP-forecasting of risk.
The book furtherconsiders LP-models of risk of invalidity of systems and processes in accordance with the requirements of ISO 9001-2008, LP-models of bank operational risks in accordance with the requirements of Basel-2, complex risk LP-models for preventing ammunition depot explosions, enterprise electric power supply systems, debugging tests of technical systems, etc. The book also considers LP-models of credit risks, securities portfolios, operational risks in banking, conteraction of bribes and corruption, etc.

A number of applications is given to show the effectiveness of risk management technologies. In addition, topics of lectures and practical computer exercises intended for a two-semester course Risk management technologies are suggested."

This SpringerBrief offers careful assessments of the appropriateness and effectiveness of currently available methodologies for fire flow. It explains the water supply requirements for firefighting including rate of flow, the residual pressure required at that flow, and the duration that is necessary to control a major fire in a specific structure. First reviewing existing fire flow calculation methodologies in the U.S. and globally, the authors determine the new information necessary to validate the existing fire flow calculation methodologies. After identifying 19 methods from the U.S., UK, France, Germany, the Netherlands, New England, and Canada, two types of methods are evaluated: those for building planning based on fire and building code requirements, and those for on-scene fire service use. Building planning methods are also examined, including an explanation of the range of building variables that determine fire flow. A survey form for fire departments is provided to help fire departments identify key predictive features based on construction and building parameters. Researchers and professionals in fire engineering will find the recommendations in Evaluation of Fire Flow Methodologies valuable.

This SpringerBrief presents strategies for fire mitigation based on combustible assembly systems of exterior walls. Providing background information on common exterior wall systems, the mechanisms of fire spread, and case studies, it examines the difficulties in controlling a fire with several materials and assembly methods. The brief compiles information on typical fire scenarios which involve the exterior wall, along with further exploration into test methods, approval and regulatory requirements for the various assembly systems. Offering testing approaches for possible mitigation strategies, the brief takes into account that current commercial wall assembly systems are constructed to improve energy performance, reduce water and air infiltration, and allow for aesthetic design flexibility. Exterior Insulation Finish Systems, metal composite claddings, high-pressure laminates, and weather-resistive barrier systems all have components which directly impact the fire hazard. Recommendations for future exterior wall construction are based on identified knowledge gaps.

In the past decades asset intensive companies have witnessed a number of regulatory changes and especially industry is facing ever increasing competitiveness. To overcome these challenges different asset management methods have been developed aimed to improve the asset life cycle. Especially the design phase and operation and maintenance phase have seen a rise in tools and methods. Smarter design can lead to improved operation. Likewise, improved operation and maintenance leads to lower replacement costs and may provide the basis for better design. This book brings together and coherently presents the current state of the art in asset management research and practice in Europe from a life cycle perspective. Each chapter focuses on specific parts of this life cycle and explains how the methods and techniques described are connected and how they improve the asset life cycle, thus treating this important subject from a unique perspective.

The analysis of the reliability and availability of power plants is frequently based on simple indexes that do not take into account the criticality of some failures used for availability analysis. This criticality should be evaluated based on concepts of reliability which consider the effect of a component failure on the performance of the entire plant. System reliability analysis tools provide a root-cause analysis leading to the improvement of the plant maintenance plan. Taking in view that the power plant performance can be evaluated not only based on thermodynamic related indexes, such as heat-rate, Thermal Power Plant Performance Analysis focuses on the presentation of reliability-based tools used to define performance of complex systems and introduces the basic concepts of reliability, maintainability and risk analysis aiming at their application as tools for power plant performance improvement, including: * selection of critical equipment and components, * definition of maintenance plans, mainly for auxiliary systems, and * execution of decision analysis based on risk concepts. The comprehensive presentation of each analysis allows future application of the methodology making Thermal Power Plant Performance Analysis a key resource for undergraduate and postgraduate students in mechanical and nuclear engineering.