Preliminary Study and Its Application of Navigation Grading Standard Planning of the Tributary Channel in TGP Reservoir Area
The navigation condition of tributaries at TGP reservoir area has improved essentially but it still lacks navigation grading standard,for the normal grading standard of inland river takes no consideration of the effect of reservoir on the tributary channel navigation.So the normal grading standard can't be applied to determine the technical grade of tributary channel.Taking Meixi River as the typical tributary,the preliminary exploration of grading the tributaries navigation technically after the accomplishment of TGP reservoir is carried out;the exploration is discussed from various aspects,such as flow condition,channel dimension and the navigation guarantee rate.The proposed standard is applied to Meixi River,and its channel navigation standard after the accomplishment of TGP is obtained,which can be taken as the reference for the navigation grading study of TGP reservoir and navigation tributaries of similar reservoirs.
Abstract This paper extends the results of an earlier paper by the author (this journal, 1991). New subsystems of the combinatory logic TRC shown in that paper to be equivalent to NF are introduced; these systems are analogous to subsystems of NF with predicativity restrictions on set comprehension introduced and shown to be consistent by Crabbe. For one of these systems, an exact equivalence in consistency strength and expressive power with the analogous subsystem of NF is established.