The stability of dams and their foundations is an important problem to which dam engineers have paid close attention over the years. This paper presented two methods to analyze the stability of a gravity dam and its f...The stability of dams and their foundations is an important problem to which dam engineers have paid close attention over the years. This paper presented two methods to analyze the stability of a gravity dam and its foundation. The direct analysis method was based on a rigid limit equilibrium method which regarded both dam and the rock foundation as undeformable rigid bodies. In this method, the safety factor of potential sliding surfaces was computed directly. The second method, the indirect analysis method, was based on elasto-plastic theory and employs nonlinear finite element method (FEM) in the analysis of stresses and deformation in the dam and its foundation. The determination of the safety degree of the structure was based on the convergence and abrupt the change criterion. The results obtained showed that structures' constituent material behavior played an active role in the failure of engineered structures in addition to the imposed load.展开更多
This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference sys...This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.展开更多
文摘The stability of dams and their foundations is an important problem to which dam engineers have paid close attention over the years. This paper presented two methods to analyze the stability of a gravity dam and its foundation. The direct analysis method was based on a rigid limit equilibrium method which regarded both dam and the rock foundation as undeformable rigid bodies. In this method, the safety factor of potential sliding surfaces was computed directly. The second method, the indirect analysis method, was based on elasto-plastic theory and employs nonlinear finite element method (FEM) in the analysis of stresses and deformation in the dam and its foundation. The determination of the safety degree of the structure was based on the convergence and abrupt the change criterion. The results obtained showed that structures' constituent material behavior played an active role in the failure of engineered structures in addition to the imposed load.
基金the National Basic Research Program (973) of China (No.2003CB317005)the National Nature Science Foundation of China (Nos.60573002 and 60703033)
文摘This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.
