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 method to model and analyze the hybrid systems is presented. The time to. be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN' s basic structure is a Petri net with predicated transition. All components of the net are expressed by anno...

Synthetic aperture radar (SAR) is portrayed as a multiple access channel. An information theory approach is applied to the SAR imaging system, and the information content about a target that can be extracted from its radar image is evaluated by the average mutual information measure. A conditional (...

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