Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book. The authors of the chapters are experts from nuclear, chemical, mechanical, aerospace and defense system industries, and from institutions including universities, national laboratories, private consulting companies, and regulatory bodies. Both the conventional approaches and dynamic methodologies which explicitly account for the time element in system evolution in failure modeling are represented. The papers on conventional approaches concentrate on the modeling of dynamic effects and the need for improved methods. The dynamic methodologies covered include the DYLAM methodology, the theory of continuous event trees, several Markov model construction procedures, Monte Carlo simulation, and utilization of logic flowgraphs in conjunction with Petri nets. Special emphasis is placed on human factors such as procedures and training.

Over the past 30 years, numerous concerns have been raised in the literature regarding the capability of static modeling approaches such as the event-tree (ET)/fault-tree (FT) methodology to adequately account for the impact of process/hardware/software/firmware/human interactions on nuclear power plant safety assessment, and methodologies to augment the ET/FT approach have been proposed. Often referred to as dynamic probabilistic risk/safety assessment (DPRA/DPSA) methodologies, which use a time-dependent phenomenological model of system evolution along with a model of its stochastic behavior to model for possible dependencies among failure events. The book contains a collection of papers that describe at existing plant level applicable DPRA/DPSA tools, as well as techniques that can be used to augment the ET/FT approach when needed.

The technological age has seen a range of catastrophic and preventable failures, often as a result of decisions that did not appropriately consider safety as a factor in design and engineering. Through more than a dozen practical examples from the author‘s experience in nuclear power, aerospace, and other potentially hazardous facilities, Choosing Safety is the first book to bring together probabilistic risk assessment and decision analysis using real case studies. For managers, project leaders, engineers, scientists, and interested students, Michael V. Frank focuses on methods for making logical decisions about complex engineered systems and products in which safety is a key factor in design - and where failure can cause great harm, injury, or death.

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

The present review volume not only covers a wide range of topics pertinent to nuclear science and technology, but has attracted a distinguished international authorship, for which the editors are grateful. The opening review by Drs. Janet Tawn and Richard Wakeford addresses the difficult matter of questioning sci- tific hypotheses in a court of law. The United Kingdom experienced a substantial nuclear accident in the 1950s in the form of the Windscale Pile fire. This in itself had both good and bad consequences; the setting up of a licensing authority to ensure nuclear safety was one, the understandable public sentiment concerning nuclear power (despite the fire occurring in a weapons pile) the other. Windscale today is subsumed in the reprocessing plant at Sellafield operated by British Nuclear Fuels plc and it was inevitable perhaps that when an excess cluster of childhood leukaemia was observed in the nearby village of Seascale that public concern should be promoted by the media, leading to the hearing of a claim of compensation brought on behalf of two of the families of BNFLs workers who had suffered that loss. The review article demonstrates the complexity of und- standing such a claim against the statistical fluctuations inherent and shows how the courts were persuaded of the need to propose a biological mechanism if responsibility were to be held. The Company were undoubtedly relieved by the finding.

This evidence-based book serves as a clinical manual as well as a reference guide for the diagnosis and management of common nutritional issues in relation to gastrointestinal disease. Chapters cover nutrition assessment; macro- and micronutrient absorption; malabsorption; food allergies; prebiotics and dietary fiber; probiotics and intestinal microflora; nutrition and GI cancer; nutritional management of reflux; nutrition in IBS and IBD; nutrition in acute and chronic pancreatitis; enteral nutrition; parenteral nutrition; medical and endoscopic therapy of obesity; surgical therapy of obesity; pharmacologic nutrition, and nutritional counseling.

This volume presents selected papers from the International Conference on Reliability, Safety, and Hazard. It presents the latest developments in reliability engineering and probabilistic safety assessment, and brings together contributions from a diverse international community and covers all aspects of safety, reliability, and hazard assessment across a host of interdisciplinary applications. This book will be of interest to researchers in both academia and the industry.