A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.

This book presents statistical processes for health care delivery and covers new ideas, methods and technologies used to improve health care organizations. It gathers the proceedings of the Third International Conference on Health Care Systems Engineering (HCSE 2017), which took place in Florence, Italy from May 29 to 31, 2017. The Conference provided a timely opportunity to address operations research and operations management issues in health care delivery systems. Scientists and practitioners discussed new ideas, methods and technologies for improving the operations of health care systems, developed in close collaborations with clinicians. The topics cover a broad spectrum of concrete problems that pose challenges for researchers and practitioners alike: hospital drug logistics, operating theatre management, home care services, modeling, simulation, process mining and data mining in patient care and health care organizations.

This book presents a domain of extreme industrial and scientific interest: the study of smart systems and structures. It presents polytope projects as comprehensive physical and cognitive architectures that support the investigation, fabrication and implementation of smart systems and structures. These systems feature multifunctional components that can perform sensing, control, and actuation. In light of the fact that devices, tools, methodologies and organizations based on electronics and information technology for automation, specific to the third industrial revolution, are increasingly reaching their limits, it is essential that smart systems be implemented in industry. Polytope projects facilitate the utilization of smart systems and structures as key elements of the fourth industrial revolution. The book begins by presenting polytope projects as a reference architecture for cyber-physical systems and smart systems, before addressing industrial process synthesis in Chapter 2. Flow-sheet trees, cyclic separations and smart configurations for multi-component separations are discussed here. In turn, Chapter 3 highlights periodic features for drug delivery systems and networks of chemical reactions, while Chapter 4 applies conditioned random walks to polymers and smart materials structures. Chapter 5 examines self-assembly and self-reconfiguration at different scales from molecular to micro systems. Smart devices and technologies are the focus of chapter 6. Modular micro reactor systems and timed automata are examined in selected case studies. Chapter 7 focuses on inferential engineering designs, concept-knowledge, relational concept analysis and model driven architecture, while Chapter 8 puts the spotlight on smart manufacturing, industry 4.0, reference architectures and models for new product development and testing. Lastly, Chapter 9 highlights the polytope projects methodology and the prospects for smart systems and structures. Focusing on process engineering and mathematical modeling for the fourth industrial revolution, the book offers a unique resource for engineers, scientists and entrepreneurs working in chemical, biochemical, pharmaceutical, materials science or systems chemistry, students in various domains of production and engineering, and applied mathematicians.

This monograph and translation from the Russian describes in detail and comments on the fundamentals of metrology. The basic concepts of metrology, the principles of the International System of Units SI, the theory of measurement uncertainty, the new methodology of estimation of measurement accuracy on the basis of the uncertainty concept, as well as the methods for processing measurement results and estimating their uncertainty are discussed from the modern position. It is shown that the uncertainty concept is compatible with the classical theory of accuracy. The theory of random uncertainties is supplemented with their most general description on the basis of generalized normal distribution; the instrumental systematic errors are presented in connection with the methodology of normalization of the metrological characteristics of measuring instruments.

The information about modern systems of traceability is given. All discussed theoretical principles and calculation methods are illustrated with examples.

This volume presents measurement uncertainty and uncertainty budgets in a form accessible to practicing engineers and engineering students from across a wide range of disciplines. The book gives a detailed explanation of the methods presented by NIST in the "GUM" - Guide to Uncertainty of Measurement. Emphasis is placed on explaining the background and meaning of the topics, while keeping the level of mathematics at the minimum level necessary. Dr. Colin Ratcliffe, USNA, and Bridget Ratcliffe, Johns Hopkins, develop uncertainty budgets and explain their use. In some examples, the budget may show a process is already adequate and where costs can be saved. In other examples, the budget may show the process is inadequate and needs improvement. The book demonstrates how uncertainty budgets help identify the most cost effective place to make changes. In addition, an extensive fully-worked case study leads readers through all issues related to an uncertainty analysis, including a variety of different types of uncertainty budgets. The book is ideal for professional engineers and students concerned with a broad range of measurement assurance challenges in applied sciences. This book also: Facilitates practicing engineers' understanding of uncertainty budgets, essential to calculating cost-effective savings to a wide variety of processes contingent on measurement Presents uncertainty budgets in an accessible style suitable for all undergraduate STEM courses that include a laboratory component Provides a highly adaptable supplement to graduate textbooks for courses where students' work includes reporting on experimental results Includes an expanded case study developing uncertainty from transducers though measurands and propagated to the final measurement that can be used as a template for the analysis of many processes Stands as a useful pocket reference for all engineers and experimental scientists

"...a comprehensive and well written book, which...will be useful reading for both researchers entering the field and experienced specialists looking for new ideas....a valuable and long-lasting contribution to experimental mechanics." - Stepan Lomov, KU Leuven This expert volume, an enhanced Habilitation thesis by the head of the Materials Testing Research Group at the University of Augsburg, provides detailed coverage of a range of inspection methods for insitu characterization of fiber-reinforced composites. The failure behavior of fiber reinforced composites is a complex evolution of microscopic damage phenomena. Beyond the use of classical testing methods, the ability to monitor the progression of damage insitu offers new ways to interpret the materials failure modes. Methods covered include digital image correlation, acoustic emission, electromagnetic emission, computed tomography, thermography, shearography, and promising method combinations. For each method, the discussion includes operational principles and practical applications for quality control as well as thoughtful assessment of the method's strengths and weakness so that the reader is equipped to decide which method or methods are most appropriate in a given situation. The book includes extensive appendices covering common experimental parameters influencing comparability of acoustic emission measurements; materials properties for modeling; and an overview of terms and abbreviations.

The integrated and advanced science research topic Man-Machine-Environment system engineering (MMESE) was first established in China by Professor Shengzhao Long in 1981, with direct support from one of the greatest modern Chinese scientists, Xuesen Qian. In a letter to Shengzhao Long from October 22nd, 1993, Xuesen Qian wrote: You have created a very important modern science and technology in China
MMESE primarily focuses on the relationship between man, machines and the environment, studying the optimum combination of man-machine-environment systems. In this system, man refers to people in the workplace (e.g. operators, decision-makers); machine is the general name for any object controlled by man (including tools, machinery, computers, systems and technologies), and environment describes the specific working conditions under which man and machine interact (e.g. temperature, noise, vibration, hazardous gases etc.). The three goals of optimization of Man-Machine-Environment systems are to ensure safety, efficiency and economy.
"Proceedings of the 13th International Conference on Man-Machine-Environment System Engineering" are an academic showcase of the best papers selected from more than 400 submissions, introducing readers to the top research topics and the latest developmental trends in the theory and application of MMESE.
These proceedings are interdisciplinary studies on the concepts and methods of physiology, psychology, system engineering, computer science, environment science, management, education, and other related disciplines. Researchers and professionals working in these interdisciplinary fields and researchers on MMESE related topics will benefit from these proceedings."

In building reliability into a system, engineers must address a number of practical needs that will enable them to quantify and compare reliability in engineered systems. (1) One is to be able to compare the reliability of one system to another system. (2) Another practical need is to compare alternate system designs for the purpose of engineering a particular optimal system. The practical, standardized, technical tool for characterizing reliability in systems is system signatures which was created in 1985 and since has developed into a powerful tool for qualifying reliability. It is used in all physical structures and stochastic systems where reliability is an important consideration (e.g., automobiles, bridges, electronic networks, airplanes, etc.)

Since the introduction of system signatures in Francisco Samaniegoa (TM)s 1985 paper, the properties of this technical concept have been examined, tested and proven in a wide variety of systems applications. Based on the practical and research success in building reliability into systems with system signatures, this is the first book treatment of the approach. It is, therefore, the purpose of this book to provide guidance on how reliability problems might be structured, modeled and solved. Over the past ten years the broad applicability of system signatures has become apparent and the toola (TM)s utility in coherent systems and communications networks firmly established. The book compared actual system lifetimes where the tool has been and has not been used. These comparisonsa "which have been done over the yearsa "demonstrate the practical, feasible and fruitful use of the tool in building reliable systems. Finally, new resultsand future directions for system signatures are also explored.

This book presents intuitive explanations of the principles and applications of power system resiliency, as well as a number of straightforward and practical methods for the impact analysis of risk events on power system operations. It also describes the challenges of modelling, distribution networks, optimal scheduling, multi-stage planning, deliberate attacks, cyber-physical systems and SCADA-based smart grids, and how to overcome these challenges. Further, it highlights the resiliency issues using various methods, including strengthening the system against high impact events with low frequency and the fast recovery of the system properties. A large number of specialists have collaborated to provide innovative solutions and research in power systems resiliency. They discuss the fundamentals and contemporary materials of power systems resiliency, theoretical and practical issues, as well as current issues and methods for controlling the risk attacks and other threats to AC power systems. The book includes theoretical research, significant results, case studies, and practical implementation processes to offer insights into electric power and engineering and energy systems. Showing how systems should respond in case of malicious attacks, and helping readers to decide on the best approaches, this book is essential reading for electrical engineers, researchers and specialists. The book is also useful as a reference for undergraduate and graduate students studying the resiliency and reliability of power systems.

Modeling and Control of Batch Processes presents state-of-the-art techniques ranging from mechanistic to data-driven models. These methods are specifically tailored to handle issues pertinent to batch processes, such as nonlinear dynamics and lack of online quality measurements. In particular, the book proposes: a novel batch control design with well characterized feasibility properties; a modeling approach that unites multi-model and partial least squares techniques; a generalization of the subspace identification approach for batch processes; and applications to several detailed case studies, ranging from a complex simulation test bed to industrial data. The book's proposed methodology employs statistical tools, such as partial least squares and subspace identification, and couples them with notions from state-space-based models to provide solutions to the quality control problem for batch processes. Practical implementation issues are discussed to help readers understand the application of the methods in greater depth. The book includes numerous comments and remarks providing insight and fundamental understanding into the modeling and control of batch processes. Modeling and Control of Batch Processes includes many detailed examples of industrial relevance that can be tailored by process control engineers or researchers to a specific application. The book is also of interest to graduate students studying control systems, as it contains new research topics and references to significant recent work. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

The blurring of boundaries between hitherto distinct scientific disciplines, technologies or markets is a common and powerful phenomenon. Subjects of this convergence often change consumer behaviours, favouring products and platforms with multiple functions. The Anticipation of Converging Industries provides a detailed focus on the triggers, drivers and consequences of convergence to create a more concise definition of convergence. This detailed analysis includes a specifically developed toolbox for 'convergence foresight', creating a forecasting method for convergence trends. With the focus on the chemical, biotechnological and pharmaceutical industries, several indicators of convergence in the areas of Nutraceuticals/Functional Foods, Cosmeceuticals and ICT are derived from samples including over 1million patents and scientific publications. By supporting this methodical approach with real world data, The Anticipation of Converging Industries is perfect for industry practitioners looking for a competitive edge in the present and for the future. Similarly, academics will find a comprehensive theoretical concept for better understanding the underlying rationale of convergence at their disposal

This book reports on an outstanding research devoted to modeling and control of dynamic systems using fractional-order calculus. It describes the development of model-based control design methods for systems described by fractional dynamic models. More than 300 years had passed since Newton and Leibniz developed a set of mathematical tools we now know as calculus. Ever since then the idea of non-integer derivatives and integrals, universally referred to as fractional calculus, has been of interest to many researchers. However, due to various issues, the usage of fractional-order models in real-life applications was limited. Advances in modern computer science made it possible to apply efficient numerical methods to the computation of fractional derivatives and integrals. This book describes novel methods developed by the author for fractional modeling and control, together with their successful application in real-world process control scenarios.

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.

Human and organizational factors have a substantial impact on the performance of planning and scheduling processes. Despite widespread and advanced decision support systems, human decision makers are still crucial to improve the operational performance in manufacturing industries. In this text, the state of the art in this area is discussed by experts from a wide variety of engineering and social science disciplines. Moreover, recent results from collaborative studies and a number of field cases are presented. The text is targeted at researchers and graduate students, but is also particularly useful for managers, consultants, and system developers to better understand how human performance can be advanced.

This book presents the proceedings of the 4th International Conference on Integrated Petroleum Engineering and Geosciences 2016 (ICIPEG 2016), held under the banner of World Engineering, Science & Technology Congress (ESTCON 2016) at Kuala Lumpur Convention Centre from August 15 to 17, 2016. It presents peer-reviewed research articles on exploration, while also exploring a new area: shale research. In this time of low oil prices, it highlights findings to maintain the exchange of knowledge between researchers, serving as a vital bridge-builder between engineers, geoscientists, academics, and industry.

This important new manual goes beyond the published NFPA standards on installation of standpipe systems to include the rules in the International Building Code, municipal fire codes, the National Fire Code of Canada, and information on inspection, testing, and maintenance of standpipe systems. Also covered are the interactions between standpipe and sprinkler systems, since these important fire protection systems are so frequently installed together. Illustrated with design examples and practical applications to reinforce the learning experience, this is the go-to reference for engineers, architects, design technicians, building inspectors, fire inspectors, and anyone that inspects, tests or maintains fire protection systems. Fire marshals and plan review authorities that have the responsibility for reviewing and accepting plans and hydraulic calculations for standpipe systems are also an important audience, as are firefighters who actually use standpipe systems. As a member of the committees responsible for some of these documents, Isman also covers the rules of these standards and codes as they are written, but also provides valuable insight as to the intent behind the rules. A noted author and lecturer, Professor Isman was an engineer with the National Fire Sprinkler Association (NFSA), is an elected Fellow of the Society of Fire Protection Engineers (SFPE), and currently Clinical Professor in the Department of Fire Protection Engineering at University of Maryland.

Recent Advances in Maintenance and Infrastructure Management is a collection of papers highlighting the state of the art in maintenance of large structures and management of infrastructures. The papers selected in this book are written by international experts from academia and industry, and were presented during the past three International Conference on Maintenance Management (MM Conferences) held from 2005 to 2007 and organized by CNIM (Italian National Committee for Maintenance). The selected papers are categorized into four thematic areas: 1. reliability and maintenance; 2. mathematical modeling and metrics for maintenance; 3. maintenance management and organization, and; 4. facilities management and contracting. The papers cover topics ranging from embedded sensors for diagnostics of structures to organizational issues related to effective maintenance planning. Recent Advances in Maintenance and Infrastructure Management provides readers with a snapshot of the latest developments in the tools and techniques used to conduct maintenance of complex infrastructures and systems. The book will be of interest to researchers and practitioners in academia and industry involved in planning and deployment of maintenance operations. Additionally, this can serve as a reference text for advanced courses in operations management, and structural health monitoring.

The book shows how simulation's long history and close ties to industry since the third industrial revolution have led to its growing importance in Industry 4.0. The book emphasises the role of simulation in the new industrial revolution, and its application as a key aspect of making Industry 4.0 a reality - and thus achieving the complete digitisation of manufacturing and business. It presents various perspectives on simulation and demonstrates its applications, from augmented or virtual reality to process engineering, and from quantum computing to intelligent management. Simulation for Industry 4.0 is a guide and milestone for the simulation community, as well as those readers working to achieve the goals of Industry 4.0. The connections between simulation and Industry 4.0 drawn here will be of interest not only to beginners, but also to practitioners and researchers as a point of departure in the subject, and as a guide for new lines of study.

Billions of dollars are being spent annually world-wide to develop reliable and good quality products and services. Global competition and other factors are forcing manufacturers and others to produce highly reliable and good quality products and services. This means that reliability and quality principles are now being applied across many diverse sectors of economy and each of these sectors (robotics, health care, power generation, the Internet, textile, food and software) has tailored reliability and quality principles, methods, and procedures to satisfy its specific need.

Reliability and quality professionals working in these areas need to know about each other's work activities because this may help them - directly or indirectly - to perform their tasks more effectively. Applied Reliability and Quality: Fundamentals, Methods and Procedures meets the need for a single volume that considers applied areas of both reliability and quality. Before now, there has not been one book that covers both applied reliability and quality; so to gain knowledge of each other's specialties, these people had to study various books, articles, or reports on each area.

As the first book of its kind, Applied Reliability and Quality: Fundamentals, Methods and Procedures will be useful to design engineers, manufacturing engineers, system engineers, engineering and manufacturing managers, reliability specialists, quality specialists, graduate and senior undergraduate students of engineering, researchers and instructors of reliability and quality, and professionals in areas such as health care, software, power generation, robotics, textile, food, and the Internet.

Understanding the fatigue behaviour of structural components under variable load amplitude is an essential prerequisite for safe and reliable light-weight design. For designing and dimensioning, the expected stress (load) is compared with the capacity to withstand loads (fatigue strength). In this process, the safety necessary for each particular application must be ensured. A prerequisite for ensuring the required fatigue strength is a reliable load assumption. The authors describe the transformation of the stress- and load-time functions which have been measured under operational conditions to spectra or matrices with the application of counting methods. The aspects which must be considered for ensuring a reliable load assumption for designing and dimensioning are discussed in detail. Furthermore, the theoretical background for estimating the fatigue life of structural components is explained, and the procedures are discussed for numerous applications in practice. One of the prime intentions of the authors is to provide recommendations which can be implemented in practical applications.

Quality control in pharmaceutical products and medical devices is vital for users as failing to comply with national and international regulations can lead to accidents that could easily be avoided. For this reason, manufacturing a quality medical product will support patient safety. Microbiologists working in both the pharmaceutical and medical device industries face considerable challenges in keeping abreast of the myriad microbiological references available to them and the continuously evolving regulatory requirements. Quality Control Applications in the Pharmaceutical and Medical Device Manufacturing Industry presents the importance of quality control in pharmaceutical products and medical devices, which must have very high-quality standards to not cause problems to the health of patients. It reinforces and updates the knowledge of analytical, instrumental, and biological methods to demonstrate the correct quality control and good manufacturing practice for pharmaceutical products and medical devices. Covering topics such as pharmaceutical nano systems, machine learning, and software validation, this book is an essential resource for managers, engineers, supervisors, pharmacists, chemists, academicians, and researchers.

This book presents essential methods and tools for research into the reliability of energy systems. It describes in detail the content setting, formalisation, and use of algorithms for assessing the reliability of modern, large, and complex electric power systems. The book uses a wealth of tables and illustrations to represent results and source information in a clear manner. It discusses the main operating conditions which affect the reliability of electric power systems, and describes corresponding computing tools which can help solve issues as they arise. Further, all methodologies presented here are demonstrated in numerical examples. Though primarily intended for researchers and practitioners in the field of electric power systems, the book will also benefit general readers interested in this area.

Presenting current trends in the development and applications of intelligent systems in engineering, this monograph focuses on recent research results in system identification and control. The recurrent neurofuzzy and the fuzzy cognitive network (FCN) models are presented.Both models are suitable for partially-known or unknown complex time-varying systems. Neurofuzzy Adaptive Control contains rigorous proofs of its statements which result in concrete conclusions for the selection of the design parameters of the algorithms presented. The neurofuzzy model combines concepts from fuzzy systems and recurrent high-order neural networks to produce powerful system approximations that are used for adaptive control. The FCN modelstems from fuzzy cognitive maps and uses the notion of concepts and their causal relationships to capture the behavior of complex systems. The book shows how, with the benefit of proper training algorithms, these models are potent system emulators suitable for use in engineering systems.All chapters are supported by illustrative simulation experiments, while separate chapters are devoted to the potential industrial applications of each model including projects in:

contemporary power generation;

process control and

conventional benchmarking problems.

Researchers and graduate students working in adaptive estimation and intelligent control will find Neurofuzzy Adaptive Control of interest both for the currency of its models and because it demonstrates their relevance for real systems. The monograph also shows industrial engineers how to test intelligent adaptive control easily using proven theoretical results."