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

Control of aggregation, by lowering temperature and protein concentrations, can enhance the extent of successful refolding. The low temperature has been used in protein folding studies, as undesired aggregations often occur at higher temperatures. Therefore, it is very important to study the effects...

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

Powerful expressive ability of semantic information, to be easily computed and flexibility are basic features of digital product model (DPM). Using ontology and object-oriented principle (OOP) together to cope with problems in modeling is brought forward in this paper. The two are widely used and do...