2014 | OriginalPaper | Buchkapitel
Formal Modelling of Process Planning in Combined Additive and Subtractive Manufacturing
verfasst von : Behnood Afsharizand, Aydin Nassehi, Vimal Dhokia, Stephen T. Newman
Erschienen in: Enabling Manufacturing Competitiveness and Economic Sustainability
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Decision-making models for manufacturing technologies are becoming increasingly complex due to on-going rapid developments in additive and subtractive (Addtractive) manufacturing. Decision-making in manufacturing technologies should be based on machine and resource capabilities. Currently, multi-process manufacturing models have many shortcomings when describing machining capabilities, and in some cases, modelling approaches used in decision-making are ambiguous and poorly constrained. In this research, a formal modelling approach is proposed to facilitate modelling of machining capability and associated Addtractive operations. This mathematically based formal method allows system properties to be described in a well-defined manner. The ISO-standardised Z notation (named after Zermelo-Fraenkel set theory) has been utilised to build a state-oriented formalism model for machining capabilities and associated operations.