A 2-D finite point meshless model was used to simulate the heat transfer and solidification of steel in continuous casting molds to illustrate its use in metallurgy. The latent heat of the pure metal was treated using the temperature recovery method and the latent heat of the alloy was treated using...

This paper advances a three-dimensional space interpolation method of grey / depth image sequence, which breaks free from the limit of original practical photographing route. Pictures can cruise at will in space. By using space sparse sampling, great memorial capacity can be saved and reproduced sce...

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

The rapid prototyping and manufacturing technology (RPM), is an integration of many different disciplines. It is based on an advanced dispersed-accumulated forming principle and originated from 1980s. It generates an entity by first forming a series of layers according to the dispersed section infor...