Author: Sebastian Preuße
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832536000
Category : Computers
Languages : en
Pages : 148
Book Description
Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfur werden die verwendeten Formalismen weitestehend durch domanenspezifische Beschreibungsmoglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstutzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms uberpruft. Auf diese Weise lasst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fur die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.
Technologies for Engineering Manufacturing Systems Control in Closed Loop
Author: Sebastian Preuße
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832536000
Category : Computers
Languages : en
Pages : 148
Book Description
Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfur werden die verwendeten Formalismen weitestehend durch domanenspezifische Beschreibungsmoglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstutzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms uberpruft. Auf diese Weise lasst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fur die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.
Publisher: Logos Verlag Berlin GmbH
ISBN: 3832536000
Category : Computers
Languages : en
Pages : 148
Book Description
Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfur werden die verwendeten Formalismen weitestehend durch domanenspezifische Beschreibungsmoglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu unterstutzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms uberpruft. Auf diese Weise lasst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fur die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden.
Information Control Problems in Manufacturing Technology 1989
Author: E.A. Puente
Publisher: Elsevier
ISBN: 1483298833
Category : Technology & Engineering
Languages : en
Pages : 711
Book Description
The Symposium presented and discussed the latest research on new theories and advanced applications of automatic systems, which are developed for manufacturing technology or are applicable to advanced manufacturing systems. The topics included computer integrated manufacturing, simulation and the increasingly important areas of artificial intelligence and expert systems, and applied them to the broad spectrum of problems that the modern manufacturing engineer is likely to encounter in the design and application of increasingly complex automatic systems.
Publisher: Elsevier
ISBN: 1483298833
Category : Technology & Engineering
Languages : en
Pages : 711
Book Description
The Symposium presented and discussed the latest research on new theories and advanced applications of automatic systems, which are developed for manufacturing technology or are applicable to advanced manufacturing systems. The topics included computer integrated manufacturing, simulation and the increasingly important areas of artificial intelligence and expert systems, and applied them to the broad spectrum of problems that the modern manufacturing engineer is likely to encounter in the design and application of increasingly complex automatic systems.
Unit Manufacturing Processes
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309176670
Category : Technology & Engineering
Languages : en
Pages : 228
Book Description
Manufacturing, reduced to its simplest form, involves the sequencing of product forms through a number of different processes. Each individual step, known as an unit manufacturing process, can be viewed as the fundamental building block of a nation's manufacturing capability. A committee of the National Research Council has prepared a report to help define national priorities for research in unit processes. It contains an organizing framework for unit process families, criteria for determining the criticality of a process or manufacturing technology, examples of research opportunities, and a prioritized list of enabling technologies that can lead to the manufacture of products of superior quality at competitive costs. The study was performed under the sponsorship of the National Science Foundation and the Defense Department's Manufacturing Technology Program.
Publisher: National Academies Press
ISBN: 0309176670
Category : Technology & Engineering
Languages : en
Pages : 228
Book Description
Manufacturing, reduced to its simplest form, involves the sequencing of product forms through a number of different processes. Each individual step, known as an unit manufacturing process, can be viewed as the fundamental building block of a nation's manufacturing capability. A committee of the National Research Council has prepared a report to help define national priorities for research in unit processes. It contains an organizing framework for unit process families, criteria for determining the criticality of a process or manufacturing technology, examples of research opportunities, and a prioritized list of enabling technologies that can lead to the manufacture of products of superior quality at competitive costs. The study was performed under the sponsorship of the National Science Foundation and the Defense Department's Manufacturing Technology Program.
Manufacturing Systems Engineering
Author: Gary Yang
Publisher: Trans Tech Publications Ltd
ISBN: 3038137537
Category : Technology & Engineering
Languages : en
Pages : 352
Book Description
Selected, peer reviewed papers from the 2011 International Symposium on Manufacturing Systems Engineering (ISMSE 2011), September 17-18, 2011, Hong Kong
Publisher: Trans Tech Publications Ltd
ISBN: 3038137537
Category : Technology & Engineering
Languages : en
Pages : 352
Book Description
Selected, peer reviewed papers from the 2011 International Symposium on Manufacturing Systems Engineering (ISMSE 2011), September 17-18, 2011, Hong Kong
Manufacturing Systems and Technologies for the New Frontier
Author: Fumihiko Kimura
Publisher: Springer Science & Business Media
ISBN: 1848002661
Category : Business & Economics
Languages : en
Pages : 555
Book Description
Collected here are 112 papers concerned with new directions in manufacturing systems, given at the 41st CIRP Conference on Manufacturing Systems. The high-quality material includes reports of work from both scientific and engineering standpoints.
Publisher: Springer Science & Business Media
ISBN: 1848002661
Category : Business & Economics
Languages : en
Pages : 555
Book Description
Collected here are 112 papers concerned with new directions in manufacturing systems, given at the 41st CIRP Conference on Manufacturing Systems. The high-quality material includes reports of work from both scientific and engineering standpoints.
AMST'05 Advanced Manufacturing Systems and Technology
Author: Elso Kuljanic
Publisher: Springer Science & Business Media
ISBN: 3211380531
Category : Technology & Engineering
Languages : en
Pages : 791
Book Description
Manufacturing a product is not difficult, the difficulty consists in manufacturing a product of high quality, at a low cost and rapidly. Drastic technological advances are changing global markets very rapidly. In such conditions the ability to compete successfully must be based on innovative ideas and new products which has to be of high quality yet low in price. One way to achieve these objecti ves would be through massive investments in research of computer based technology and by applying the approaches presented in this book. The First International Conference on Advanced Manufacturing Systems and Technology AMST87 was held in Opatija (Croatia) in October 1987. The Second International Conference on Advanced Manufacturing Systems and Technology AMSV90 was held in Trento (Italy) in lune 1990. The Third, Fourth, Fifth and Sixth Conferences on Advanced Manufacturing Systems and Technology were all held in Udine (Italy) as follows: AMST93 in April 1993, AMST96 in September 1996, AMST99 in June 1999 and AMST02 in June 2002.
Publisher: Springer Science & Business Media
ISBN: 3211380531
Category : Technology & Engineering
Languages : en
Pages : 791
Book Description
Manufacturing a product is not difficult, the difficulty consists in manufacturing a product of high quality, at a low cost and rapidly. Drastic technological advances are changing global markets very rapidly. In such conditions the ability to compete successfully must be based on innovative ideas and new products which has to be of high quality yet low in price. One way to achieve these objecti ves would be through massive investments in research of computer based technology and by applying the approaches presented in this book. The First International Conference on Advanced Manufacturing Systems and Technology AMST87 was held in Opatija (Croatia) in October 1987. The Second International Conference on Advanced Manufacturing Systems and Technology AMSV90 was held in Trento (Italy) in lune 1990. The Third, Fourth, Fifth and Sixth Conferences on Advanced Manufacturing Systems and Technology were all held in Udine (Italy) as follows: AMST93 in April 1993, AMST96 in September 1996, AMST99 in June 1999 and AMST02 in June 2002.
DeGarmo's Materials and Processes in Manufacturing
Author: J. T. Black
Publisher: John Wiley & Sons
ISBN: 0470924675
Category : Political Science
Languages : en
Pages : 1298
Book Description
Now in its eleventh edition, DeGarmo's Materials and Processes in Manufacturing has been a market-leading text on manufacturing and manufacturing processes courses for more than fifty years. Authors J T. Black and Ron Kohser have continued this book's long and distinguished tradition of exceedingly clear presentation and highly practical approach to materials and processes, presenting mathematical models and analytical equations only when they enhance the basic understanding of the material. Completely revised and updated to reflect all current practices, standards, and materials, the eleventh edition has new coverage of additive manufacturing, lean engineering, and processes related to ceramics, polymers, and plastics.
Publisher: John Wiley & Sons
ISBN: 0470924675
Category : Political Science
Languages : en
Pages : 1298
Book Description
Now in its eleventh edition, DeGarmo's Materials and Processes in Manufacturing has been a market-leading text on manufacturing and manufacturing processes courses for more than fifty years. Authors J T. Black and Ron Kohser have continued this book's long and distinguished tradition of exceedingly clear presentation and highly practical approach to materials and processes, presenting mathematical models and analytical equations only when they enhance the basic understanding of the material. Completely revised and updated to reflect all current practices, standards, and materials, the eleventh edition has new coverage of additive manufacturing, lean engineering, and processes related to ceramics, polymers, and plastics.
Automatic Supervision in Manufacturing
Author: Maciej Szafarczyk
Publisher: Springer Science & Business Media
ISBN: 1447134583
Category : Technology & Engineering
Languages : en
Pages : 291
Book Description
Automation is a predominant objective in the development of modern and advanced manufacturing production. Automatic Supervision in Manufacturing (ASM) addresses unavoidable disturbances occurring during production. Its application results in the unmanned functioning of manufacturing systems through comprehensive and reliable supervision. Automatic Supervision in Manufacturing is a collection of contributions written by specialists in the field from Europe and the USA. It deals with the concept of automatic supervision, the classification of supervisory systems and their functions. This publication will be of great interest to researchers and engineers in the areas of production and manufacturing.
Publisher: Springer Science & Business Media
ISBN: 1447134583
Category : Technology & Engineering
Languages : en
Pages : 291
Book Description
Automation is a predominant objective in the development of modern and advanced manufacturing production. Automatic Supervision in Manufacturing (ASM) addresses unavoidable disturbances occurring during production. Its application results in the unmanned functioning of manufacturing systems through comprehensive and reliable supervision. Automatic Supervision in Manufacturing is a collection of contributions written by specialists in the field from Europe and the USA. It deals with the concept of automatic supervision, the classification of supervisory systems and their functions. This publication will be of great interest to researchers and engineers in the areas of production and manufacturing.
Information Technology for Manufacturing
Author: Kevin Ake
Publisher: CRC Press
ISBN: 1135458448
Category : Business & Economics
Languages : en
Pages : 232
Book Description
This book presents a wide-ranging view of the benefits available through the intelligent use of manufacturing information systems. Readers benefit from the authors' collective experience in bringing new information technologies into manufacturing companies. Using examples of actual IT implementations, they provide a comprehensive picture of how to cut costs and add valuable new capabilities to IT projects. The book takes a comprehensive look at five major areas where IT systems can play a pivotal role in improving any company's manufacturing processes. Going beyond theory, the authors show readers how they can ensure that their IT investments bring a real payback to their companies.
Publisher: CRC Press
ISBN: 1135458448
Category : Business & Economics
Languages : en
Pages : 232
Book Description
This book presents a wide-ranging view of the benefits available through the intelligent use of manufacturing information systems. Readers benefit from the authors' collective experience in bringing new information technologies into manufacturing companies. Using examples of actual IT implementations, they provide a comprehensive picture of how to cut costs and add valuable new capabilities to IT projects. The book takes a comprehensive look at five major areas where IT systems can play a pivotal role in improving any company's manufacturing processes. Going beyond theory, the authors show readers how they can ensure that their IT investments bring a real payback to their companies.
Manufacturing research and education
Author: United States. Congress. House. Committee on Science, Space, and Technology. Subcommittee on Science
Publisher:
ISBN:
Category : Engineering design
Languages : en
Pages : 164
Book Description
Publisher:
ISBN:
Category : Engineering design
Languages : en
Pages : 164
Book Description