The process of laser cladding procedure has a closely relation with properties of composite cladding layers. When the input power of laser is certain, the low s
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