In this paper,the flood hydrograph of tidal reach was considered as the overlay of bidirectional propagation of flood and tide waves,the propagation process was calculated by sectional stage routing method,and the stage predicting model of the tidal reach was established accordingly.

Based on the storage equation, water balance equation, Chezy formula as well as the physics law, a stage routing model is developed.

Some theoretical studies on the Muskingum method and its successive routing in subreaches;

As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi.

This paper focuses on the modeling methods, including Equivalent Discrete Event (EDE) model, hybrid automata, petri nets, duration calculi and its extension.

A formal semantics of VHDL based on duration calculus;

switch platform with the aid of the duration calculus theory.

In order to formalize the parallel model of DDS, we firstly introduce duration calculus with which we can formalize DDS model.