Rewriting logic is a unified model of concurrency, which provides a formal common framework of wellknown models of concurrent systems. A new formal method of th
Absolute nodal coordinate formulation for a rectangular plate with large deformation was improved. Based on nonlinear elastic theory, a precise strain expressio
White layers in hard turned surfaces were identified and measured as a function of turning parameters based on the Taguchi method. It reveals that white layers
Green design and manufacturing is a proactive approach to minimize wastes during a product's design stage, thus preventing future environmental impacts. Cur
As system of a serial of technologies and engineering activities, remanufacturing aims at restoring and rebuilding waste machinery through advanced technologies