Using formal methods to model hybrid manufacturing processes

Nassehi, Aydin; Newman, Stephen; Dhokia, Vimal; Zhu, Zicheng; Asrai, Reza Imani

doi:10.1007/978-3-642-23860-4_8

All Outputs (4)

The transdisciplinary engineering index: Towards a disciplinary maturity grid (2021)
Presentation / Conference Contribution

The adoption of transdisciplinary capabilities within UK manufacturing could strengthen resilience in response to system disruptions. We propose a Disciplinary Maturity Grid (DMG) as a means through which industry can assess the disciplinarity of the... Read More about The transdisciplinary engineering index: Towards a disciplinary maturity grid.

A surface roughness and power consumption analysis when slot milling austenitic stainless steel in a dry cutting environment (2013)
Presentation / Conference Contribution

Engineered components must satisfy the surface texture requirements and traditionally surface roughness (arithmetic average, Ra) has been used as one of the principles methods to assess quality. Surface roughness is a result of the cutting parameters... Read More about A surface roughness and power consumption analysis when slot milling austenitic stainless steel in a dry cutting environment.

An initial study of the effect of using liquid nitrogen coolant on the surface roughness of inconel 718 nickel-based alloy in CNC milling (2012)
Presentation / Conference Contribution

The most used alloy of nickel, Inconel 718 is known to difficult to machine owing to its superior material and physical properties. This paper presents one of the very first studies on cryogenic CNC end milling of the Inconel 718 nickel based alloy u... Read More about An initial study of the effect of using liquid nitrogen coolant on the surface roughness of inconel 718 nickel-based alloy in CNC milling.

Using formal methods to model hybrid manufacturing processes (2011)
Presentation / Conference Contribution

The on-going industrial trend towards high value sustainable manufacturing has led to the emergence of hybrid manufacturing processes and resources. This new generation of processes and resources combine the capabilities of a number of older technolo... Read More about Using formal methods to model hybrid manufacturing processes.