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

The limitations of traditional approaches to selection problems are examined. A problemsolving strategy is presented in which decision-support and knowledge-based techniques play complementary roles. An approach to the representation of knowledge to support the problem-solving strategy is presented ...

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

In this paper a method of aerodynamic parameter identification of vehicle, the maximum likelihood method, is introduced. The aerodynamic model of vehicle is identified and the basic equations using maximum likelihood method are established. After that, the simulation data is identified to verify the...

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