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

To simulate the phenomena in the mold region of continuous casting by coupling fluid flow and solidification, a three-dimensional mathematical model has been developed based on the K-ε turbulence equations and the SIMPLER algorithm. A pseudo source term was introduced into the energy equation...

Real mode theory in configuration space has shown that the mode acceleration method converges faster than the mode displacement method. This paper demonstrates a similar conclusion in the state space. Some new expressions on modal parameter matrices were set up first. A generalized velocity method (...

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

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