We apply the newly proposed double absorbing boundary condition（DABC）（Hagstrom et al., 2014） to solve the boundary reflection problem in seismic finite-difference（FD） modeling. In the DABC scheme, the local high...We apply the newly proposed double absorbing boundary condition（DABC）（Hagstrom et al., 2014） to solve the boundary reflection problem in seismic finite-difference（FD） modeling. In the DABC scheme, the local high-order absorbing boundary condition is used on two parallel artificial boundaries, and thus double absorption is achieved. Using the general 2D acoustic wave propagation equations as an example, we use the DABC in seismic FD modeling, and discuss the derivation and implementation steps in detail. Compared with the perfectly matched layer（PML）, the complexity decreases, and the stability and fl exibility improve. A homogeneous model and the SEG salt model are selected for numerical experiments. The results show that absorption using the DABC is considerably improved relative to the Clayton–Engquist boundary condition and nearly the same as that in the PML.展开更多
In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge...In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.展开更多
By the use of a large-scale ground differential settlement simulator, a full-size model test is performed to study the strain response and the deformation behavior of both the wearing course of asphalt cement and the ...By the use of a large-scale ground differential settlement simulator, a full-size model test is performed to study the strain response and the deformation behavior of both the wearing course of asphalt cement and the base course of cement-stabilized gravel. Moreover, with the differential settlement at the bottom of the pavement structure as the constraint condition, a plane finite element model is established, which is used to study the stress variation of different pavement layers in response to the differential settlement of varying magnitudes. It shows that, under the effects of the ground differential settlement, the wearing course is subjected to the tensile stress while the base course to the compressive stress and the maximum additional tensile stress and compressive stress occur in the area of 1 m from the splicing joint between the new and the old subgrade. Plastic deformation develops in both layers when the ground differential settlement reaches 14 cm. When the differential settlement at the bottom of the pavement goes up to 1 cm, the maximum additional stress in the surface of the base course will reach 0. 28 MPa, which surpasses 0.276 MPa that is specified in the current specifications as the maximum splitting tensile strength for cement-stabilized base material.展开更多
A stochastic local limited one-dimensional rice-pile model is numerically investigated. The distributions for avalanche sizes have a clear power-law behavior and it displays a simple finite size scaling. We obtain the...A stochastic local limited one-dimensional rice-pile model is numerically investigated. The distributions for avalanche sizes have a clear power-law behavior and it displays a simple finite size scaling. We obtain the avalanche exponents Ts= 1.54±0.10,βs = 2.17±0.10 and TT = 1.80±0.10, βT =1.46 ± 0.10. This self-organized critical model belongs to the same universality class with the Oslo rice-pile model studied by K. Christensen et al. [Phys. Rev. Lett. 77 （1996） 107], a rice-pile model studied by L.A.N. Amaral et al. [Phys. Rev. E 54 （1996） 4512], and a simple deterministic self-organized critical model studied by M.S. Vieira [Phys. Rev. E 61 （2000） 6056].展开更多
基金supported by the National Nature Science Foundation of China(Grant No.U1262208)the Important National Science & Technology Specific Projects(Grant No.2011ZX05019-008)
文摘We apply the newly proposed double absorbing boundary condition（DABC）（Hagstrom et al., 2014） to solve the boundary reflection problem in seismic finite-difference（FD） modeling. In the DABC scheme, the local high-order absorbing boundary condition is used on two parallel artificial boundaries, and thus double absorption is achieved. Using the general 2D acoustic wave propagation equations as an example, we use the DABC in seismic FD modeling, and discuss the derivation and implementation steps in detail. Compared with the perfectly matched layer（PML）, the complexity decreases, and the stability and fl exibility improve. A homogeneous model and the SEG salt model are selected for numerical experiments. The results show that absorption using the DABC is considerably improved relative to the Clayton–Engquist boundary condition and nearly the same as that in the PML.
基金The National Natural Science Foundation of China (No.10974093)the Scientific Research Foundation for Senior Personnel of Jiangsu University (No.07JDG014)the Natural Science Foundation of Higher Education Institutions of Jiangsu Province (No.08KJD520015)
文摘In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.
基金The National Natural Science Foundation of China(No.51008032)the China Postdoctoral Science Foundation(No.2011M501430)the Foundation of Central Universities of Ministry of Education(No.CHD2012JC011,CHD2011JC083)
文摘By the use of a large-scale ground differential settlement simulator, a full-size model test is performed to study the strain response and the deformation behavior of both the wearing course of asphalt cement and the base course of cement-stabilized gravel. Moreover, with the differential settlement at the bottom of the pavement structure as the constraint condition, a plane finite element model is established, which is used to study the stress variation of different pavement layers in response to the differential settlement of varying magnitudes. It shows that, under the effects of the ground differential settlement, the wearing course is subjected to the tensile stress while the base course to the compressive stress and the maximum additional tensile stress and compressive stress occur in the area of 1 m from the splicing joint between the new and the old subgrade. Plastic deformation develops in both layers when the ground differential settlement reaches 14 cm. When the differential settlement at the bottom of the pavement goes up to 1 cm, the maximum additional stress in the surface of the base course will reach 0. 28 MPa, which surpasses 0.276 MPa that is specified in the current specifications as the maximum splitting tensile strength for cement-stabilized base material.
基金supported by the Science Foundation of Henan University of Science and Technology under Grant Nos.05-032 and 2006QN033
文摘A stochastic local limited one-dimensional rice-pile model is numerically investigated. The distributions for avalanche sizes have a clear power-law behavior and it displays a simple finite size scaling. We obtain the avalanche exponents Ts= 1.54±0.10,βs = 2.17±0.10 and TT = 1.80±0.10, βT =1.46 ± 0.10. This self-organized critical model belongs to the same universality class with the Oslo rice-pile model studied by K. Christensen et al. [Phys. Rev. Lett. 77 （1996） 107], a rice-pile model studied by L.A.N. Amaral et al. [Phys. Rev. E 54 （1996） 4512], and a simple deterministic self-organized critical model studied by M.S. Vieira [Phys. Rev. E 61 （2000） 6056].
