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 discusses the algorithms for achieving global states and self-stabilization for communication protocols. It first describes a primary algorithm including its suitability for achieving global states and limitation of self-stabilization for communication protocols. and then presents an impr...

There has been an increasing interest in integrating decision support systems (DSS) and expert systems (ES) to provide decision makers a more accessible, productive and domain-independent information and computing environment. This paper is aimed at designing a multiple expert systems integrated dec...

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...