Parallel calculational methods were used to analyze incompressible turbulent flow through hydraulic machinery. Two parallel methods were used to simulate mulate the complex flow field. The space decorrposition method divides vides the computational domain into several sub-ranges. Parallel discrete e...

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

In this paper, the stability analysis for parallel real-time digital simulation models is discussed. The coupling coefficient perturbation method and the simulation stepsize perturbation method are established. For two classes of systems of test equations, we construct the parallel simulation models...

With the development of CMOS and MEMS technologies, the implementation of a large number of wireless distributed micro-sensors that can be easily and rapidly deployed to form highly redundant, self-configuring, and ad hoc sensor networks. To facilitate ease of deployment, these sensors operate on ba...

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