A computational framework for parachute inflation is developed based on the immersed boundary/finite element approach within the open-source IBAMR library.The fluid motion is solved by Peskin's diffuse-interface i...A computational framework for parachute inflation is developed based on the immersed boundary/finite element approach within the open-source IBAMR library.The fluid motion is solved by Peskin's diffuse-interface immersed boundary(IB)method,which is attractive for simulating moving-boundary flows with large deformations.The adaptive mesh refinement technique is employed to reduce the computational cost while retain the desired resolution.The dynamic response of the parachute is solved with the finite element approach.The canopy and cables of the parachute system are modeled with the hyperelastic material.A tether force is introduced to impose rigidity constraints for the parachute system.The accuracy and reliability of the present framework is validated by simulating inflation of a constrained square plate.Application of the present framework on several canonical cases further demonstrates its versatility for simulation of parachute inflation.展开更多
Taking a three-cable flexible photovoltaic(PV)support structure as the research subject,a finite element model was established.Utilizing a full-order flutter analysis method,the flutter critical wind speed and flutter...Taking a three-cable flexible photovoltaic(PV)support structure as the research subject,a finite element model was established.Utilizing a full-order flutter analysis method,the flutter critical wind speed and flutter frequency of the flexible PV support structure at a tilt angle of 0°were calculated.The results showed good agreement with wind tunnel test data.Further analysis examined the pretension effects in the load-bearing and stabilizing cables on the natural frequency and flutter critical wind speed of the flexible PV support structure.The research findings indicate increasing the pretension in the load-bearing cables significantly raises the natural frequencies of the first four modes.Specifically,as the pretension in the load-bearing cables increases from 22 to 102 kN,the flutter critical wind speed rises from 17.1 to 21.6 m/s.By contrast,the pretension in the stabilizing cable has a smaller effect on the natural frequency and flutter critical wind speed of the flexible PV support structure.When the pretension in the stabilizing cable increased from 22 to 102 kN,the flutter critical wind speed increased from 17.1 to 17.7 m/s.For wind-resistant design of flexible PV support structures,it is recommended to prioritize increasing the pretension in the load-bearing cables to enhance the structural flutter performance.展开更多
There are many works on the asymptotic stability of second dimensional nonlinear differential equation. In particular, these results only concern with the system which includes one or two terms, whereas few works conc...There are many works on the asymptotic stability of second dimensional nonlinear differential equation. In particular, these results only concern with the system which includes one or two terms, whereas few works concern with system which includes more than two terms. In this paper, system which includes four nonlinear terms are studies. We obtain the global asymptotic stability of zero solution, and discard the condition which require the Liapunov function trends to infinity, and only require that the positive orbit is bounded.展开更多
One method to show the existence of ω-periodic system is given. This method is based on the ultimately boundedness of the solution of the systems. By using comparing theorem and discussing some one dimensional equati...One method to show the existence of ω-periodic system is given. This method is based on the ultimately boundedness of the solution of the systems. By using comparing theorem and discussing some one dimensional equations the main results are obtained.展开更多
Based on the microscopic phase-field model, ordered domain interfaces formed between D022 （Ni3V） phases along [001] direction in Ni75AlxV25-x alloys were simulated, and the effects of atomic structure on the migrati...Based on the microscopic phase-field model, ordered domain interfaces formed between D022 （Ni3V） phases along [001] direction in Ni75AlxV25-x alloys were simulated, and the effects of atomic structure on the migration characteristic and solute segregation of interfaces were studied. It is found that the migration ability is related to the atomic structure of interfaces, and three kinds of interfaces can migrate except the interface （001）//（002） which has the characteristic of L12 （Ni3Al） structure. V atoms jump to the nearest neighbor site and substitute for Ni, and vice versa. Because of the site selectivity behaviors of jumping atoms, the number of jumping atoms during the migration is the least and the jumping distance of atoms is the shortest among all possible modes, and the atomic structures of interfaces are unchanged before and after the migration. The preferences and degree of segregation or depletion of alloy elements are also related to the atomic structure of interface.展开更多
In this article, we have given the definition of the relative double multiplier (quasi-multiplier) on a ternary algebra,and studied the isomorphic problem of the multiplier algebra M(A,e) of a ternary algerbra A.
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.展开更多
In order to study the critical load position that causes cavities beneath the continuously reinforced concrete pavement（ CRCP） slab under vehicle loading, the elliptical load is translated into the square load based...In order to study the critical load position that causes cavities beneath the continuously reinforced concrete pavement（ CRCP） slab under vehicle loading, the elliptical load is translated into the square load based on the equivalence principle.The CRCP slab is analyzed to determine the cavity position beneath the slab under vehicle loading. The influences of cavity size on the CRCP slab＇s stress and vertical displacement are investigated. The study results showthat the formation of the cavity is unavoidable under traffic loading, and the cavity is located at the edge of the longitudinal crack and the slab corner.The cavity size exerts an obvious influence on the largest horizontal tensile stress and vertical displacement. The slab corner is the critical load position of the CRCP slab. The results can be used to assist the design of CRCP in avoiding cavities beneath slabs subject to vehicle loading.展开更多
We studied finite-element-method-based two-dimensional frequency-domain acoustic FWI under rugged topography conditions. The exponential attenuation boundary condition suitable for rugged topography is proposed to sol...We studied finite-element-method-based two-dimensional frequency-domain acoustic FWI under rugged topography conditions. The exponential attenuation boundary condition suitable for rugged topography is proposed to solve the cutoff botmdary problem as well as to consider the requirement of using the same subdivision grid in joint multifrequency inversion. The proposed method introduces the attenuation factor, and by adjusting it, acoustic waves are sufficiently attenuated in the attenuation layer to minimize the cutoff boundary effect. Based on the law of exponential attenuation, expressions for computing the attenuation factor and the thickness of attenuation layers are derived for different frequencies. In multifrequency-domain FWI, the conjugate gradient method is used to solve equations in the Gauss-Newton algorithm and thus minimize the computation cost in calculating the Hessian matrix. In addition, the effect of initial model selection and frequency combination on FWI is analyzed. Examples using numerical simulations and FWI calculations are used to verify the efficiency of the proposed method.展开更多
基金supported by the Open Project of Key Laboratory of Aerospace EDLA,CASC(No.EDL19092208)。
文摘A computational framework for parachute inflation is developed based on the immersed boundary/finite element approach within the open-source IBAMR library.The fluid motion is solved by Peskin's diffuse-interface immersed boundary(IB)method,which is attractive for simulating moving-boundary flows with large deformations.The adaptive mesh refinement technique is employed to reduce the computational cost while retain the desired resolution.The dynamic response of the parachute is solved with the finite element approach.The canopy and cables of the parachute system are modeled with the hyperelastic material.A tether force is introduced to impose rigidity constraints for the parachute system.The accuracy and reliability of the present framework is validated by simulating inflation of a constrained square plate.Application of the present framework on several canonical cases further demonstrates its versatility for simulation of parachute inflation.
基金The National Natural Science Foundation of China(No.52338011,52208481),China Postdoctoral Science Foundation(No.2023M730581).
文摘Taking a three-cable flexible photovoltaic(PV)support structure as the research subject,a finite element model was established.Utilizing a full-order flutter analysis method,the flutter critical wind speed and flutter frequency of the flexible PV support structure at a tilt angle of 0°were calculated.The results showed good agreement with wind tunnel test data.Further analysis examined the pretension effects in the load-bearing and stabilizing cables on the natural frequency and flutter critical wind speed of the flexible PV support structure.The research findings indicate increasing the pretension in the load-bearing cables significantly raises the natural frequencies of the first four modes.Specifically,as the pretension in the load-bearing cables increases from 22 to 102 kN,the flutter critical wind speed rises from 17.1 to 21.6 m/s.By contrast,the pretension in the stabilizing cable has a smaller effect on the natural frequency and flutter critical wind speed of the flexible PV support structure.When the pretension in the stabilizing cable increased from 22 to 102 kN,the flutter critical wind speed increased from 17.1 to 17.7 m/s.For wind-resistant design of flexible PV support structures,it is recommended to prioritize increasing the pretension in the load-bearing cables to enhance the structural flutter performance.
文摘There are many works on the asymptotic stability of second dimensional nonlinear differential equation. In particular, these results only concern with the system which includes one or two terms, whereas few works concern with system which includes more than two terms. In this paper, system which includes four nonlinear terms are studies. We obtain the global asymptotic stability of zero solution, and discard the condition which require the Liapunov function trends to infinity, and only require that the positive orbit is bounded.
文摘One method to show the existence of ω-periodic system is given. This method is based on the ultimately boundedness of the solution of the systems. By using comparing theorem and discussing some one dimensional equations the main results are obtained.
基金Projects (50941020, 10902086, 50875217, 20903075) supported by the National Natural Science Foundation of ChinaProjects (SJ08-ZT05, SJ08-B14) supported by the Natural Science Foundation of Shaanxi Province, ChinaProject (CX200905) supported by the Doctorate Foundation of Northwestern Polytechnical University, China
文摘Based on the microscopic phase-field model, ordered domain interfaces formed between D022 （Ni3V） phases along [001] direction in Ni75AlxV25-x alloys were simulated, and the effects of atomic structure on the migration characteristic and solute segregation of interfaces were studied. It is found that the migration ability is related to the atomic structure of interfaces, and three kinds of interfaces can migrate except the interface （001）//（002） which has the characteristic of L12 （Ni3Al） structure. V atoms jump to the nearest neighbor site and substitute for Ni, and vice versa. Because of the site selectivity behaviors of jumping atoms, the number of jumping atoms during the migration is the least and the jumping distance of atoms is the shortest among all possible modes, and the atomic structures of interfaces are unchanged before and after the migration. The preferences and degree of segregation or depletion of alloy elements are also related to the atomic structure of interface.
文摘In this article, we have given the definition of the relative double multiplier (quasi-multiplier) on a ternary algebra,and studied the isomorphic problem of the multiplier algebra M(A,e) of a ternary algerbra A.
基金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 Science Foundation of Ministry of Transport of the People's Republic of China(No.200731822301-7)
文摘In order to study the critical load position that causes cavities beneath the continuously reinforced concrete pavement（ CRCP） slab under vehicle loading, the elliptical load is translated into the square load based on the equivalence principle.The CRCP slab is analyzed to determine the cavity position beneath the slab under vehicle loading. The influences of cavity size on the CRCP slab＇s stress and vertical displacement are investigated. The study results showthat the formation of the cavity is unavoidable under traffic loading, and the cavity is located at the edge of the longitudinal crack and the slab corner.The cavity size exerts an obvious influence on the largest horizontal tensile stress and vertical displacement. The slab corner is the critical load position of the CRCP slab. The results can be used to assist the design of CRCP in avoiding cavities beneath slabs subject to vehicle loading.
基金financially supported by the National High Technology Research and Development Program of China(No.2012AA09A20105)the National Science Foundation Network(No.41574127)
文摘We studied finite-element-method-based two-dimensional frequency-domain acoustic FWI under rugged topography conditions. The exponential attenuation boundary condition suitable for rugged topography is proposed to solve the cutoff botmdary problem as well as to consider the requirement of using the same subdivision grid in joint multifrequency inversion. The proposed method introduces the attenuation factor, and by adjusting it, acoustic waves are sufficiently attenuated in the attenuation layer to minimize the cutoff boundary effect. Based on the law of exponential attenuation, expressions for computing the attenuation factor and the thickness of attenuation layers are derived for different frequencies. In multifrequency-domain FWI, the conjugate gradient method is used to solve equations in the Gauss-Newton algorithm and thus minimize the computation cost in calculating the Hessian matrix. In addition, the effect of initial model selection and frequency combination on FWI is analyzed. Examples using numerical simulations and FWI calculations are used to verify the efficiency of the proposed method.
