Formal Methods in Manufacturing Systems: Recent Advances

Formal Methods in Manufacturing Systems: Recent Advances

Author: Li, Zhiwu

Publisher: IGI Global

Published: 2013-05-31

Total Pages: 531

ISBN-13: 1466640359

DOWNLOAD EBOOK

Evolving technologies in mass production have led to the development of advanced techniques in the field of manufacturing. These technologies can quickly and effectively respond to various market changes, necessitating processes that focus on small batches of multiple products rather than large, single-product lines. Formal Methods in Manufacturing Systems: Recent Advances explores this shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones. This book will be of particular use to industrial engineers and students of the field who require a detailed understanding of current trends and developments in manufacturing tools. This book is part of the Advances in Civil and Industrial Engineering series collection.


Design and Management of Manufacturing Systems

Design and Management of Manufacturing Systems

Author: Arkadiusz Gola

Publisher: MDPI

Published: 2021-09-02

Total Pages: 452

ISBN-13: 3036511466

DOWNLOAD EBOOK

Although the design and management of manufacturing systems have been explored in the literature for many years now, they still remain topical problems in the current scientific research. The changing market trends, globalization, the constant pressure to reduce production costs, and technical and technological progress make it necessary to search for new manufacturing methods and ways of organizing them, and to modify manufacturing system design paradigms. This book presents current research in different areas connected with the design and management of manufacturing systems and covers such subject areas as: methods supporting the design of manufacturing systems, methods of improving maintenance processes in companies, the design and improvement of manufacturing processes, the control of production processes in modern manufacturing systems production methods and techniques used in modern manufacturing systems and environmental aspects of production and their impact on the design and management of manufacturing systems. The wide range of research findings reported in this book confirms that the design of manufacturing systems is a complex problem and that the achievement of goals set for modern manufacturing systems requires interdisciplinary knowledge and the simultaneous design of the product, process and system, as well as the knowledge of modern manufacturing and organizational methods and techniques.


Holonic and Multi-Agent Systems for Manufacturing

Holonic and Multi-Agent Systems for Manufacturing

Author: Vladimir Marik

Publisher: Springer

Published: 2004-01-24

Total Pages: 334

ISBN-13: 3540451854

DOWNLOAD EBOOK

The increasing complexity of manufacturing systems as well as the overall demands for flexible and fault-tolerant control of production processes stimulates (among many others) two key emerging technologies that are already making an important breakthrough in the field of intelligent manufacturing, control, and diagnostics. These two paradigms are: • the holonic approach based on the event-driven control strategy, usually aimed at modular control systems that are directly physically linked with the manufacturing hardware equipment, and • the multi-agent approach developed in the area of distributed information processing. The research communities working in both these fields are approaching the problem of intelligent manufacturing from different viewpoints and, until recently, to a certain extent, in an independent way. We can however observe quite a clear convergence of these fields in the last few years: the communities have started to cooperate, joining efforts to solve the painful problems involved in achieving effective industrial practice. We can see convergence in the terminology, standards and methods being applied.


Design of Reconfigurable Logic Controllers

Design of Reconfigurable Logic Controllers

Author: Andrei Karatkevich

Publisher: Springer

Published: 2015-12-23

Total Pages: 187

ISBN-13: 3319267256

DOWNLOAD EBOOK

This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the reconfigurable systems designing process or need ideas for improving the quality of the project, this book is a good choice.g process or need ideas for improving the quality of the project, this book is a good choice.


Enterprise Networks and Logistics for Agile Manufacturing

Enterprise Networks and Logistics for Agile Manufacturing

Author: Lihui Wang

Publisher: Springer Science & Business Media

Published: 2010-07-24

Total Pages: 416

ISBN-13: 1849962448

DOWNLOAD EBOOK

Enterprise Networks and Logistics for Agile Manufacturing presents a focused collection of quality chapters on state-of-the-art research efforts in the areas of enterprise networks and logistics, as well as their practical applications towards agile manufacturing. With the increasing decentralisation of manufacturing systems and outsourcing of processes, more robust and practical approaches and systems are needed to support agile manufacturing operations. Enterprise Networks and Logistics for Agile Manufacturing consists of two major sections: the first presents a broad-based review of the key areas of research in enterprise networks and logistics; the second focuses on an in-depth treatment of a particular methodology or system relevant to the book title. Examples include: • sustainable green supply chain; • value creation and supplier selection; • extended enterprise network management; • reverse logistics; and • innovative supply chain systems. The authors take into account the need to pose intellectual challenges while retaining a balanced approach in terms of scope versus depth and theory versus applications. Enterprise Networks and Logistics for Agile Manufacturing can be beneficial to academic researchers, practicing engineers and managers, and graduate students with an interest in any manufacturing sectors. It can enable them to better understand the present state and future trends of research in this important area, in order to position themselves strategically for future challenges as we enter the era of agile and distributed manufacturing.


Software Design and Development: Concepts, Methodologies, Tools, and Applications

Software Design and Development: Concepts, Methodologies, Tools, and Applications

Author: Management Association, Information Resources

Publisher: IGI Global

Published: 2013-07-31

Total Pages: 2225

ISBN-13: 1466643021

DOWNLOAD EBOOK

Innovative tools and techniques for the development and design of software systems are essential to the problem solving and planning of software solutions. Software Design and Development: Concepts, Methodologies, Tools, and Applications brings together the best practices of theory and implementation in the development of software systems. This reference source is essential for researchers, engineers, practitioners, and scholars seeking the latest knowledge on the techniques, applications, and methodologies for the design and development of software systems.


Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility

Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility

Author: Khalgui, Mohamed

Publisher: IGI Global

Published: 2010-11-30

Total Pages: 651

ISBN-13: 1609600886

DOWNLOAD EBOOK

"This book addresses the development of reconfigurable embedded control systems and describes various problems in this important research area, which include static and dynamic (manual or automatic) reconfigurations, multi-agent architectures, modeling and verification, component-based approaches, architecture description languages, distributed reconfigurable architectures, real-time and low power scheduling, execution models, and the implementation of such systems"--