Intelligent Manufacturing is a new disciplinary field which applies computer science, artificial intelligence, mechanical engineering and systems science to industrial manufacturing processes. This book presents a new integration architecture for implementing real-time distributed intelligent manufacturing systems.

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.

This book presents an in-depth study and elucidation on the mechanisms of the micro-cutting process, with particular emphasis and a novel viewpoint on materials characterization and its influences on ultra-precision machining. Ultra-precision single point diamond turning is a key technology in the manufacture of mechanical, optical and opto-electronics components with a surface roughness of a few nanometers and form accuracy in the sub-micrometric range. In the context of subtractive manufacturing, ultra-precision diamond turning is based on the pillars of materials science, machine tools, modeling and simulation technologies, etc., making the study of such machining processes intrinsically interdisciplinary. However, in contrast to the substantial advances that have been achieved in machine design, laser metrology and control systems, relatively little research has been conducted on the material behavior and its effects on surface finish, such as the material anisotropy of crystalline materials. The feature of the significantly reduced depth of cut on the order of a few micrometers or less, which is much smaller than the average grain size of work-piece materials, unavoidably means that conventional metal cutting theories can only be of limited value in the investigation of the mechanisms at work in micro-cutting processes in ultra-precision diamond turning.

This volume investigates the interdisciplinary and cross-cutting challenges in the risk analysis of natural hazards. It brings together leading minds in engineering, science, philosophy, law, and the social sciences. Parts I and II of this volume explore risk assessment, first by providing an overview of the interdisciplinary interactions involved in the assessment of natural hazards, and then by exploring the particular impacts of climate change on natural hazard assessment. Part III discusses the theoretical frameworks for the evaluation of natural hazards. Finally, Parts IV and V address the risk management of natural hazards, providing first an overview of the interdisciplinary interactions underlying natural hazard management, and then exploring decision frameworks that can help decision makers integrate and respond to the complex relationships among natural events, the built environment, and human behavior.

The assembly sector is one of the least automated in the manufacturing industry. Automation is essential if industrial companies are to be competitive in the future. In assembly, an integrated and flexible approach is needed because 75% of the applications are produced in small and medium batches. The methodologies developed in this book deal with the integration of the assembly process from the initial design of the product to its production. In such an integrated system, assembly planning is one of the most important features. A well-chosen assembly plan will reduce both the number of tool changes and the fixtures within the assembly cell. It will prevent the handling of unstable subassemblies, simplify the design of the robot grippers and reduce production costs. An automatic generator of assembly sequences can be an efficient aid to the designer. Whenever he or she modifies features of the product, the influence of these modifications can immediately be checked on the sequences. For small batch production, the automatic generation of assembly sequences is faster, more reliable and more cost-effective than manual generation. By using this latter method interesting sequences could be missed because of the combinatorial explosion of solutions. The main subjects treated in this book are as follows. 1. Presentation and classification of existing systems of automatic generation of assembly sequences. Automatic assembly planning is, indeed, a very recent research area and, in my experience, no systematic study has been carried out up to now.

This book contains the most relevant papers presented in the International Conference on Materials Forming, ESAFORM 2005. It gathers selected plenary and keynote papers presented in the conference, offering an up-to-date synthesis of the academic and industrial research in the fields of physical and numerical modeling of materials forming processes.

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.

This volume is intended to stimulate a change in the practice of decision support, advocating an interdisciplinary approach centred on both social and natural sciences, both theory and practice. It addresses the issue of analysis and management of uncertainty and risk in decision support corresponding to the aims of Integrated Assessment. A pluralistic method is necessary to account for legitimate plural interpretations of uncertainty and multiple risk perceptions. A wide range of methods and tools is presented to contribute to adequate and effective pluralistic uncertainty management and risk analysis in decision support endeavours. Special attention is given to the development of one such approach, the Pluralistic fRamework for Integrated uncertainty Management and risk Analysis (PRIMA), of which the practical value is explored in the context of the Environmental Outlooks produced by the Dutch Institute for Public Health and Environment (RIVM). Audience: This book will be of interest to researchers and practitioners whose work involves decision support, uncertainty management, risk analysis, environmental planning, and Integrated Assessment.

This book presents a study on the novel concept of "event-triggered control of nonlinear systems subject to disturbances", discussing the theory and practical applications. Richly illustrated, it is a valuable resource for researchers, engineers and graduate students in automation engineering who wish to learn the theories, technologies, and applications of event-triggered control of nonlinear systems.

At first glance, a book on "Design by Composition for Rapid Prototyping" may seem out of place in a series on Robotics. However, this work has a couple of strong connections to the field of robotics and the robotics community, and I am delighted to introduce it to the series. The first connection is the motivation behind Binnard's work. Michael Binnard came to Stanford after having done his Masters thesis at the M.LT. Artificial Intelligence Lab, where he designed and built small walking robots, such as Boadicea (http: //www.ai.mit.eduJprojects/boadicea/).At M.LT. he observed first-hand how difficult it is to align, connect and support standard actuators, sensors, and processors in small mobile robots. Figure lea) below shows how complicated it is just to connect a simple motor to one link of a robot leg using conventional methods. Surely there had to be a better way Shape deposition manufacturing, an emerging rapid prototyping process, offered a possible solution. Actuators, sensors, processors and other components could be embedded directly into almost arbitrary three-dimensional shapes, without any of the fasteners and couplings that complicate the design in Figure lea). The process makes it possible to construct integrated robotic mechanisms, such as the example shown in Figure 1 (b) and the additional examples found in Chapters 7 and 8 of this monograph.

Design and manufacturing is the essential element in any product development lifecycle. Industry vendors and users have been seeking a common language to be used for the entire product development lifecycle that can describe design, manufacturing and other data pertaining to the product. Many solutions were proposed, the most successful being the Stadndard for Exchange of Product model (STEP). STEP provides a mechanism that is capable of describing product data, independent from any particular system. The nature of this description makes it suitable not only for neutral file exchange, but also as a basis for implementing, sharing and archiving product databases. ISO 10303-AP203 is the first and perhaps the most successful AP developed to exchange design data between different CAD systems. Going from geometric data (as in AP203) to features (as in AP224) represents an important step towards having the right type of data in a STEP-based CAD/CAM system. Of particular significance is the publication of STEP-NC, as an extension of STEP to NC, utilising feature-based concepts for CNC machining purposes. The aim of this book is to provide a snapshot of the recent research outcomes and implementation cases in the field of design and manufacturing where STEP is used as the primary data representation protocol. The 20 chapters are contributed by authors from most of the top research teams in the world. These research teams are based in national research institutes, industries as well as universities.

This book provides a comprehensive treatment of the principles underlying optimal constrained control and estimation. The contents progress from optimisation theory, fixed-horizon discrete optimal control, receding-horizon implementations and stability conditions to explicit solutions and numerical algorithms, moving horizon estimation, and connections between constrained estimation and control. Several case studies and further developments illustrate and expand the core principles.

Specific topics covered include:

a [ An overview of optimisation theory.

a [ Links to optimal control theory, including the discrete-minimum principle.

a [ Linear and nonlinear receding-horizon constrained control including stability.

a [ Constrained control solutions having a finite parameterisation for specific classes of problems.

a [ Numerical procedures for solving constrained optimisation problems.

a [ Output feedback optimal constrained control.

a [ Constrained state estimation.

a [ Duality between constrained estimation and control.

a [ Applications to finite alphabet control and estimation problems, cross-directional control, rudder-roll stabilisation of ships, and control over communication networks.

Constrained Control and Estimation is a self-contained treatment assuming that the reader has a basic background in systems theory, including linear control, stability and state-space methods. It is suitable for use in senior-level courses and as material for reference and self-study. A companion website is continually updated by the authors.

This book sheds light on the development of traditional and advanced optimization methods. Their use in various tradition and non-tradition manufacturing and machining processes for an improved manufacturability is reported. This includes key elements of implementing conventional statistical methods, multi-objective and multi-criteria decision-making methods and evolution of single and multi-target optimization techniques using soft computing to enhance production performance, efficiency and sustainability in manufacturing. The latest research in this area as well as possible avenues of future research are also highlighted.

This book offers a collection of original peer-reviewed contributions presented at the 6th International Congress on Design and Modeling of Mechanical Systems (CMSM'2015), held in Hammamet, Tunisia, from the 23rd to the 25th of March 2015. It reports on both recent research findings and innovative industrial applications in the fields of mechatronics and robotics, dynamics of mechanical systems, fluid structure interaction and vibroacoustics, modeling and analysis of materials and structures, and design and manufacturing of mechanical systems. Since its first edition in 2005, the CMSM Congress has been held every two years with the aim of bringing together specialists from universities and industry to present the state-of-the-art in research and applications, discuss the most recent findings and exchange and develop expertise in the field of design and modeling of mechanical systems. The CMSM Congress is jointly organized by three Tunisian research laboratories: the Mechanical Engineering Laboratory of the National Engineering School of Monastir; the Mechanical Laboratory of Sousse, part of the National Engineering School of Sousse; and the Mechanical, Modeling and Manufacturing Laboratory at the National Engineering School of Sfax.

This book presents the select proceedings of the International Conference on Recent Advancements in Mechanical Engineering (ICRAME 2020). It provides a comprehensive overview of the various technical challenges faced, their systematic investigation, contemporary developments, and future perspectives in the domain of mechanical engineering. The book covers a wide array of topics including fluid flow techniques, compressible flows, waste management and waste disposal, bio-fuels, renewable energy, cryogenic applications, computing in applied mechanics, product design, dynamics and control of structures, fracture and failure mechanics, solid mechanics, finite element analysis, tribology, nano-mechanics and MEMS, robotics, supply chain management and logistics, intelligent manufacturing system, rapid prototyping and reverse engineering, quality control and reliability, conventional and non-conventional machining, and ergonomics. This book can be useful for students and researchers interested in mechanical engineering and its allied fields.

This book explains global trends and strategies in the shipping business, looking at the role of logistics service providers and at how information technology can help shipping operations. It also introduces best practices and advice that will allow professionals to improve the management of shipping and logistics activities.  The book consists of sections examining shipping and trade, business strategies for shipping, intermodal container transport operations, and ports.  This new edition adds a new fifth section with four new chapters that discusses contemporary issues in shipping. The new chapters are related to risk management in shipping, shipping security and safety, environmental and social sustainability, and a review of new technologies in the shipping industry and their future potential.   An invaluable source of information for researchers and advanced, or graduate, students, Shipping and Logistics Management is also a useful reference for shipping practitioners and consultants.

This book shows how Industry 4.0 is a strategic approach for integrating advanced control systems with Internet technology enabling communication between people, products and complex systems. It includes processes such as machining features, machining knowledge, execution control, operation planning, machine tool selection and cutting tool. This book focuses on different articles related to advanced technologies, and their integration to foster Industry 4.0, being useful for researchers as well as industrialists to refer and utilize the information in production control.

The management of production and service processes can be supported by microcomputer simulation models-effectively and inexpensively-if the techniques are presented in an understandable manner. Drs. Klafehn, Weinroth, and Boronico prove this and show how to do it-not only for the benefit of operations managers themselves, but for others with management responsibilities in a variety of businesses and industries. They will learn how important daily operations problems can be modeled on a microcomputer, gain understanding of overall simulation methodology, and learn the several forms of cost savings achievable through simulation. For teachers in business schools the book will also provide a link between general management and the management of engineering and R&D. The first chapter introduces the reader to the concepts and steps for undertaking a microcomputer simulation project. In addition, the benefits, drawbacks, and myths are reviewed in detail. Chapter two explores, in a conversational scenario, what is involved in taking a management operations problem involving a truck transfer depot from its point of inception to the formulation of a systems operation model, which in a later chapter is ultimately put into a computer simulation model and tested to, in a sense, come up with answers to the questions posed in the hypothetical conversation. Subsequent chapters in the book are oriented to a discussion of other operations management problems and the effort to seek insight and solutions through simulation modeling. A Just-in-Time manufacturing system is addressed, recognizing the push-pull concept as well as looking at the quality aspect. Attempting to determine the optimum levels for safety, stock, order points, and order quantity is investigated through computer simulation. These levels are predicated on balancing the costs associated with ordering and holding goods as well as the penalty costs of stocking out. Using a simulated environment enables the inclusion of the variability evidenced by the type of distribution. The remaining chapters also review alternative rules and what ifs as applied to machine configuration, facility location for a satellite EMS unit, and job shop operations. Each of the applications chapters provides a printout of the basic computer model, written in GPSS, that was then modified to investigate alternative scenarios.

Exploring the concept of quality management from a new point of view, this book presents a holistic model of how consumers judge the quality of products. It links consumer perceptions of quality to the design and delivery of the final product, and presents models and methods for improving the quality of these products and services. It offers readers an improved understanding of how and why the design process must consider how the consumer will perceive a product or service. In order to facilitate the presentation and understanding of these concepts, illustrations and case examples are also provided throughout the book. This book provides an invaluable resource for managers, designers, manufacturers, professional practitioners and academics interested in quality management. It also offers a useful supplementary text for marketing and quality management courses.

This book presents a bibliographical review of the use of Bayesian networks in reliability over the last decade. Bayesian network (BN) is considered to be one of the most powerful models in probabilistic knowledge representation and inference, and it is increasingly used in the field of reliability. After focusing on the engineering systems, the book subsequently discusses twelve important issues in the BN-based reliability methodologies, such as BN structure modeling, BN parameter modeling, BN inference, validation, and verification. As such, it is a valuable resource for researchers and practitioners in the field of reliability engineering.

This book presents for the first time a methodology that combines the power of a modelling formalism such as colored petri nets with the flexibility of a discrete event program such as SIMIO. Industrial practitioners have seen the growth of simulation as a methodology for tacking problems in which variability is the common denominator. Practically all industrial systems, from manufacturing to aviation are considered stochastic systems. Different modelling techniques have been developed as well as mathematical techniques for formalizing the cause-effect relationships in industrial and complex systems. The methodology in this book illustrates how complexity in modelling can be tackled by the use of coloured petri nets, while at the same time the variability present in systems is integrated in a robust fashion. The book can be used as a concise guide for developing robust models, which are able to efficiently simulate the cause-effect relationships present in complex industrial systems without losing the simulation power of discrete-event simulation. In addition SIMIO's capabilities allows integration of features that are becoming more and more important for the success of projects such as animation, virtual reality, and geographical information systems (GIS).

Postponement strategy is one of the major supply chain management (SCM) pr- tices that has a discernible impact on rms' competitive advantage and organi- tional performance. Postponement is a mass customization strategy that captures the advantages of both mass production and mass customization. Recent research studies have identi ed four common postponement strategies, namely pull, logistics, form and price postponement. The former three postponement strategies are linked to production and manufacturing, while the last one is a pure pricing strategy. They aim at balancing the costs and bene ts of mass production and mass customization. Practical examples of postponement can be found in the high-tech industry, food industry and other industries that require high differentiation. However, empirical studies have found that postponement may not be an evident SCM practice compared to the other practices. In addition, postponement has both positive and negative impacts on a supply chain. The advantages include following the JIT principles, reducing end-product inventory, making forecasting easier and pooling risk. The high cost of designing and manufacturing generic components is the main drawback of postponement. Thus, the evaluation of postponement strategy is an important research issue and there have been many qualitative and quantitative models for analyzing postponement under different scenarios.

The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance.

The motivation for this monograph can be traced to a seminar on Simple Games given by Professor S.H. Tijs of the Catholic University at Nijmegen way back in 1981 or 1982 at the Delhi campus of the Indian Statistical Institute. As an ap plied statistician and a consultant in quality control, I was naturally interested in Reliability Theory. I was aquainted with topics in reliability like coherent systems, importance of components etc., mainly through Barlow and Proschan's book. At the seminar given by Professor Tijs, I noticed the striking similarity between the concepts in reliability and simple games and this kindled my interest in simple games. When I started going deep into the literature of simple games, I noticed that a number of concepts as well as results which were well known in game theory were rediscovered much later by researchers in reliability. Though the conceptual equivalence of coherent structures and simple games has been noticed quite early, it is not that much well known. In fact, the theoretical developments have taken place practically independent of each other, with considerable duplication of research effort. The basic objective of this monograph is to unify some of the concepts and developments in reliability and simple games so as to avoid further duplication."

Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.