On the basis of the previous studies of the layered crustal model in the Yutian area,combined with the field GPS continuous observation data,we roughly estimate the viscous coefficient of each layer. With the viscoela...On the basis of the previous studies of the layered crustal model in the Yutian area,combined with the field GPS continuous observation data,we roughly estimate the viscous coefficient of each layer. With the viscoelastic horizontal layer model,we calculate the viscoelastic co-seismic Coulomb stress change caused by the Yutian M_S7. 3 earthquakes 2008 and 2014 respectively. Based on the Coulomb stress change,using the calculation method of "direct "aftershock frequency,we come up with the theoretical earthquake frequency directly related to the mainshock and the co-seismic Coulomb stress change in the study area. Then we put forward a method,based on the comparison of theoretical and actual earthquake frequency or the comparison between theoretical and practical earthquake frequency-distance decay curve fitting residuals,to estimate the magnitude of a maximum sequent earthquake,directly related to the mainshock co-seismic Coulomb stress change. Results calculated by different methods show that the maximum follow-up earthquake magnitude caused by the coseismic Coulomb stress change lies from M_S7. 2 to M_S7. 5 following Yutian M_S7. 3 earthquake in 2008; but that of the 2014 Yutian M_S7. 3 earthquake is M_S6. 3. The former is very close to the Yutian M_S7. 3 earthquake in 2014.Because of the same magnitude,relatively close spatial distance,short time interval,the same region of the external force,the strong correlation between two seismic tectonic and a clear stress interaction,we thus consider that the two Yutian M_S7. 3 earthquakes in 2008 and 2014 constitute a pair of generalized double shock type earthquake. This is consistent with the sequence type characteristic of past "double shock"earthquakes in the region. In this paper,the influence of the magnitude lower limit and the b-value in the relationship of G-R on the results is discussed. As a result,when the viscoelastic coseismic Coulomb stress variation is determined,the lower limit of magnitude has little effect on the maximum sequent earthquake magnitude estimation,but b-value of G-R has a greater impact on the results.展开更多
In this study,the main properties of the hydraulic jump in an asymmetric trapezoidal flume are analyzed experimentally,including the so-called sequent depths,characteristic lengths,and efficiency.In particular,an asym...In this study,the main properties of the hydraulic jump in an asymmetric trapezoidal flume are analyzed experimentally,including the so-called sequent depths,characteristic lengths,and efficiency.In particular,an asymmetric trapezoidal flume with a length of 7 m and a width of 0.304 m is considered,with the bottom of the flume transversely inclined at an angle of m=0.296 and vertical lateral sides.The corresponding inflow Froude number is allowed to range in the interval(1.40<F1<6.11).The properties of this jump are compared to those of hydraulic jumps in channels with other types of cross-sections.A relationship for calculating hydraulic jump efficiency is proposed for the considered flume.For F1>5,the hydraulic jump is found to be more effective than that occurring in triangular and symmetric trapezoidal channels.Also,when■mes>8 and■>5,the hydraulic jump in the asymmetrical trapezoidal channel downstream of a parallelogram sluice gate is completely formed as opposed to the situation where a triangular sluice is considered.展开更多
By use of the property of the momentum equation describing the hydraulic jump in rectangular channels, a generalized solution of the sequent depth ratio was given. On the basis of the generalized solution the explicit...By use of the property of the momentum equation describing the hydraulic jump in rectangular channels, a generalized solution of the sequent depth ratio was given. On the basis of the generalized solution the explicit solutions of the sequent depth ratio were obtained for the hydraulic jump in gradual enlargements, the corresponding relative energy losses were also presented, and a method to determine the location of hydraulic jump in gradual enlargements was proposed.展开更多
The temporal logic given by Manna and Pnueli for concurrent program verification has been investigated, whose time structure is isomorphic to natural number set and the operators are □, ◇, ○, U. By analyzing the ma...The temporal logic given by Manna and Pnueli for concurrent program verification has been investigated, whose time structure is isomorphic to natural number set and the operators are □, ◇, ○, U. By analyzing the main methods of the temporal theorem proving, their disadvantages have been revealed, for which a sequent system of propositional temporal logic (PTL) has been established and its soundness and completeness has been proved.展开更多
Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of 'good' abduction, a new criterion of abduction called intuitive-mi...Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of 'good' abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced.An IMA is an abductive formula equivalent to the minimal abductive formula under the theory part of a sequent and literally as simple as possible. Abduction algorithms are presented on the basis of a complete natural reduction system. An abductive formula, obtained by the algorithms presented in this papert is an IMA if the reduction tree, from which the abduction is performed, is fully expanded. Instead of using Skolem functions, a term-ordering is used to indicate dependency between terms.展开更多
特高压变电站1 000 k V系统采用3/2主接线,由于导电主回路电阻不平衡度较大及特高压变电站输送容量大,导致3/2主接线系统存在较大幅值的不平衡环流,极端情况下个别断路器相电流有过零甚至反相现象。结合特高压南阳站,从理论上分析不平...特高压变电站1 000 k V系统采用3/2主接线,由于导电主回路电阻不平衡度较大及特高压变电站输送容量大,导致3/2主接线系统存在较大幅值的不平衡环流,极端情况下个别断路器相电流有过零甚至反相现象。结合特高压南阳站,从理论上分析不平衡环流中零序分量及其产生原因;论述了大负荷运行期间零序环流给站内二次系统带来的显著问题和严重后果;提出保护装置采用两断路器合流、单断路器最小相电流制动零序电流元件和两断路器合流制动单断路器零序电流元件的几种解决方案。以期后续交流特高压工程对此有足够的重视,供设计、施工和运行维护借鉴。展开更多
基金sponsored by the Scientific Research Fund of the Department of Earthquake Monitoring and Prediction,CEA
文摘On the basis of the previous studies of the layered crustal model in the Yutian area,combined with the field GPS continuous observation data,we roughly estimate the viscous coefficient of each layer. With the viscoelastic horizontal layer model,we calculate the viscoelastic co-seismic Coulomb stress change caused by the Yutian M_S7. 3 earthquakes 2008 and 2014 respectively. Based on the Coulomb stress change,using the calculation method of "direct "aftershock frequency,we come up with the theoretical earthquake frequency directly related to the mainshock and the co-seismic Coulomb stress change in the study area. Then we put forward a method,based on the comparison of theoretical and actual earthquake frequency or the comparison between theoretical and practical earthquake frequency-distance decay curve fitting residuals,to estimate the magnitude of a maximum sequent earthquake,directly related to the mainshock co-seismic Coulomb stress change. Results calculated by different methods show that the maximum follow-up earthquake magnitude caused by the coseismic Coulomb stress change lies from M_S7. 2 to M_S7. 5 following Yutian M_S7. 3 earthquake in 2008; but that of the 2014 Yutian M_S7. 3 earthquake is M_S6. 3. The former is very close to the Yutian M_S7. 3 earthquake in 2014.Because of the same magnitude,relatively close spatial distance,short time interval,the same region of the external force,the strong correlation between two seismic tectonic and a clear stress interaction,we thus consider that the two Yutian M_S7. 3 earthquakes in 2008 and 2014 constitute a pair of generalized double shock type earthquake. This is consistent with the sequence type characteristic of past "double shock"earthquakes in the region. In this paper,the influence of the magnitude lower limit and the b-value in the relationship of G-R on the results is discussed. As a result,when the viscoelastic coseismic Coulomb stress variation is determined,the lower limit of magnitude has little effect on the maximum sequent earthquake magnitude estimation,but b-value of G-R has a greater impact on the results.
文摘In this study,the main properties of the hydraulic jump in an asymmetric trapezoidal flume are analyzed experimentally,including the so-called sequent depths,characteristic lengths,and efficiency.In particular,an asymmetric trapezoidal flume with a length of 7 m and a width of 0.304 m is considered,with the bottom of the flume transversely inclined at an angle of m=0.296 and vertical lateral sides.The corresponding inflow Froude number is allowed to range in the interval(1.40<F1<6.11).The properties of this jump are compared to those of hydraulic jumps in channels with other types of cross-sections.A relationship for calculating hydraulic jump efficiency is proposed for the considered flume.For F1>5,the hydraulic jump is found to be more effective than that occurring in triangular and symmetric trapezoidal channels.Also,when■mes>8 and■>5,the hydraulic jump in the asymmetrical trapezoidal channel downstream of a parallelogram sluice gate is completely formed as opposed to the situation where a triangular sluice is considered.
文摘By use of the property of the momentum equation describing the hydraulic jump in rectangular channels, a generalized solution of the sequent depth ratio was given. On the basis of the generalized solution the explicit solutions of the sequent depth ratio were obtained for the hydraulic jump in gradual enlargements, the corresponding relative energy losses were also presented, and a method to determine the location of hydraulic jump in gradual enlargements was proposed.
基金Project supported in part by "863" High Tech Projects and by the National Natural Science Foundation of China.
文摘The temporal logic given by Manna and Pnueli for concurrent program verification has been investigated, whose time structure is isomorphic to natural number set and the operators are □, ◇, ○, U. By analyzing the main methods of the temporal theorem proving, their disadvantages have been revealed, for which a sequent system of propositional temporal logic (PTL) has been established and its soundness and completeness has been proved.
文摘Some computational issues on abduction are discussed in a framework of the first order sequent calculus. Starting from revising the meaning of 'good' abduction, a new criterion of abduction called intuitive-minimal abduction (IMA) is introduced.An IMA is an abductive formula equivalent to the minimal abductive formula under the theory part of a sequent and literally as simple as possible. Abduction algorithms are presented on the basis of a complete natural reduction system. An abductive formula, obtained by the algorithms presented in this papert is an IMA if the reduction tree, from which the abduction is performed, is fully expanded. Instead of using Skolem functions, a term-ordering is used to indicate dependency between terms.
文摘特高压变电站1 000 k V系统采用3/2主接线,由于导电主回路电阻不平衡度较大及特高压变电站输送容量大,导致3/2主接线系统存在较大幅值的不平衡环流,极端情况下个别断路器相电流有过零甚至反相现象。结合特高压南阳站,从理论上分析不平衡环流中零序分量及其产生原因;论述了大负荷运行期间零序环流给站内二次系统带来的显著问题和严重后果;提出保护装置采用两断路器合流、单断路器最小相电流制动零序电流元件和两断路器合流制动单断路器零序电流元件的几种解决方案。以期后续交流特高压工程对此有足够的重视,供设计、施工和运行维护借鉴。
