Formal Modelling of Process Planning in Combined Additive and Subtractive Manufacturing
作者： Behnood Afsharizand , Aydin Nassehi , Vimal Dhokia , Stephen T. Newman
DOI: 10.1007/978-3-319-02054-9_29
关键词:
摘要: Decision-making models for manufacturing technologies are becoming increasingly complex due to on-going rapid developments in additive and subtractive (Addtractive) manufacturing. should be based on machine resource capabilities. Currently, multi-process have many shortcomings when describing machining capabilities, some cases, modelling approaches used decision-making ambiguous poorly constrained. In this research, a formal approach is proposed facilitate of capability associated Addtractive operations. This mathematically method allows system properties described well-defined manner. The ISO-standardised Z notation (named after Zermelo-Fraenkel set theory) has been utilised build state-oriented formalism model capabilities
springer.com
bath.ac.uk
sci-hub.se 参考文章(16)
Aydin Nassehi, Stephen Newman, Vimal Dhokia, Zicheng Zhu, Reza Imani Asrai, Using formal methods to model hybrid manufacturing processes Springer, Berlin, Heidelberg. pp. 52- 56 ,(2012) , 10.1007/978-3-642-23860-4_8
Jim Woodcock, Jim Davies, Using Z: Specification, Refinement, and Proof ,(1996)
Jonathan Jacky, The Way of Z: Practical Programming with Formal Methods ,(1996)
I. Menzies, P. Koshy, Assessment of abrasion-assisted material removal in wire EDM CIRP Annals. ,vol. 57, pp. 195- 198 ,(2008) , 10.1016/J.CIRP.2008.03.135
Henri Paris, Daniel Brissaud, Modelling for process planning: the links between process planning entities Robotics and Computer-Integrated Manufacturing. ,vol. 16, pp. 259- 266 ,(2000) , 10.1016/S0736-5845(99)00056-3
A. Azab, H.A. ElMaraghy, Mathematical Modeling for Reconfigurable Process Planning CIRP Annals. ,vol. 56, pp. 467- 472 ,(2007) , 10.1016/J.CIRP.2007.05.112
Y. Woo, E. Wang, Y.S. Kim, H.M. Rho, A Hybrid Feature Recognizer for Machining Process Planning Systems CIRP Annals. ,vol. 54, pp. 397- 400 ,(2005) , 10.1016/S0007-8506(07)60131-0
M Rivette, J-Y Hacoët, P Mognol, A graph-based methodology for hybrid rapid design Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture. ,vol. 221, pp. 685- 697 ,(2007) , 10.1243/09544054JEM666
A. Nassehi, S.T. Newman, R.D. Allen, STEP-NC compliant process planning as an enabler for adaptive global manufacturing Robotics and Computer-integrated Manufacturing. ,vol. 22, pp. 456- 467 ,(2006) , 10.1016/J.RCIM.2005.11.003
B. Denkena, M. Shpitalni, P. Kowalski, G. Molcho, Y. Zipori, Knowledge Management in Process Planning CIRP Annals. ,vol. 56, pp. 175- 180 ,(2007) , 10.1016/J.CIRP.2007.05.042