In this article, we consider a two-dimensional symmetric space-fractional diffusion equation in which the space fractional derivatives are defined in Riesz potential sense. The well-posed feature is guaranteed by ener...In this article, we consider a two-dimensional symmetric space-fractional diffusion equation in which the space fractional derivatives are defined in Riesz potential sense. The well-posed feature is guaranteed by energy inequality. To solve the diffusion equation, a fully discrete form is established by employing Crank-Nicolson technique in time and Galerkin finite element method in space. The stability and convergence are proved and the stiffness matrix is given analytically. Three numerical examples are given to confirm our theoretical analysis in which we find that even with the same initial condition, the classical and fractional diffusion equations perform differently but tend to be uniform diffusion at last.展开更多
The nearly analytic discrete(NAD)method is a kind of finite difference method with advantages of high accuracy and stability.Previous studies have investigated the NAD method for simulating wave propagation in the tim...The nearly analytic discrete(NAD)method is a kind of finite difference method with advantages of high accuracy and stability.Previous studies have investigated the NAD method for simulating wave propagation in the time-domain.This study applies the NAD method to solving three-dimensional(3D)acoustic wave equations in the frequency-domain.This forward modeling approach is then used as the“engine”for implementing 3D frequency-domain full waveform inversion(FWI).In the numerical modeling experiments,synthetic examples are first given to show the superiority of the NAD method in forward modeling compared with traditional finite difference methods.Synthetic 3D frequency-domain FWI experiments are then carried out to examine the effectiveness of the proposed methods.The inversion results show that the NAD method is more suitable than traditional methods,in terms of computational cost and stability,for 3D frequency-domain FWI,and represents an effective approach for inversion of subsurface model structures.展开更多
Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element method...Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element methods. Targeted at viscoelastic numerical modeling for multilayered media, the constant-Q acoustic wave equation is transformed into the corresponding wave integral representation with its Green＇s function accounting for viscoelastic coefficients. An efficient alternative for full-waveform solution to the integral equation is proposed in this article by extending conventional frequency-domain boundary element methods to viscoelastic media. The viscoelastic boundary element method enjoys a distinct characteristic of the explicit use of boundary continuity conditions of displacement and traction, leading to a semi-analytical solution with sufficient accuracy for simulating the viscoelastic effect across irregular interfaces. Numerical experiments to study the viscoelastic absorption of different Q values demonstrate the accuracy and applicability of the method.展开更多
Frequency-domain waveform seismic tomography includes modeling of wave propagation and full waveform inversion of correcting the initial velocity model. In the forward modeling, we use direct solution based on sparse ...Frequency-domain waveform seismic tomography includes modeling of wave propagation and full waveform inversion of correcting the initial velocity model. In the forward modeling, we use direct solution based on sparse matrix factorization, combined with nine-point finite-difference for the linear system of equations. In the waveform inversion, we use preconditioned gradient method where the preconditioner is provided by the diagonal of the approximate Hessian matrix. We successfully applied waveform inversion method from low to high frequency in two sets of Marmousi data. One is the data set generated by frequencydomain finite-difference modeling, and the other is the original Marmousi shots data set. The former result is very close to the true velocity model. In the original shots data set inversion, we replace the prior source with estimated source; the result is also acceptable, and consistent with the true model.展开更多
Non-linear numerical modeling, widely used in research and development to understand many complex processes such as forming or machining, does not guarantee the success of a study to be performed. Indeed, the numerica...Non-linear numerical modeling, widely used in research and development to understand many complex processes such as forming or machining, does not guarantee the success of a study to be performed. Indeed, the numerical simulation uses finite element codes where the models already integrated are not based on shapes adjustable to any type of study. In this study, a new form of non-linear constitutive flow law based on the Modified Zerilli-Armstrong model, which can answer the above problem, has been developed to apply it to the numerical simulation of two different tests (a quasi-static compression test, the necking of a circular bar). This flow law is based on the modified Zerilli-Armstrong model, which, together with the new modified Johnson-Cook model, has been compared to appreciate the relevance of the proposal. For that, an implementation of this new law via the VUHARD subroutine into the Abaqus/Explicit finite element code was made to model the two tests. The comparison of the results obtained (from identification) by our proposed law with those obtained using the NMJC shows that this new law better approaches the experiments than the other one. This is also shown through the numerical results using the Abaqus software. It can be said that this way of formulating a flow law allows highlighting the great performance of the proposed approach. Although this law has been only used for quasi-static tests, we can say that it can also be used in dynamic tests.展开更多
Secondary operation is one of the important means for enterprises to create efficiency. This paper expounds the overall planning of secondary operation of box culvert top input project of existing railway from five as...Secondary operation is one of the important means for enterprises to create efficiency. This paper expounds the overall planning of secondary operation of box culvert top input project of existing railway from five aspects, including contract judgment, poor construction drawing quantity, optimization of construction organization design and particularity of railway-related projects. Combined with the changes such as optimization of construction scheme of overhead system of busy trunk lines and lengthening of top project, it introduces the implementation of secondary operation in detail, clarifies the important factors affecting the effectiveness of secondary operation, and sums up the successful experience, which can provide reference for similar projects.展开更多
The new curriculum standard clearly requires that teachers should focus on improving students' learning ability instead of merely imparting theoretical knowledge to students in classroom teaching. Inquiry teaching...The new curriculum standard clearly requires that teachers should focus on improving students' learning ability instead of merely imparting theoretical knowledge to students in classroom teaching. Inquiry teaching method is in line with the requirements of the new curriculum reform, and gradually becomes a major teaching method. Reasonable application of this method in high school geography teaching can cultivate students' strong interest in learning and achieve the purpose of cultivating students' comprehensive ability. This paper will elaborate on the specific measures and significance of applying inquiry-based teaching method in senior high school geography teaching, and the relevant views are for reference only.展开更多
The airborne electromagnetic （AEM） method has a high sampling rate and survey flexibility. However, traditional numerical modeling approaches must use high-resolution physical grids to guarantee modeling accuracy, e...The airborne electromagnetic （AEM） method has a high sampling rate and survey flexibility. However, traditional numerical modeling approaches must use high-resolution physical grids to guarantee modeling accuracy, especially for complex geological structures such as anisotropic earth. This can lead to huge computational costs. To solve this problem, we propose a spectral-element （SE） method for 3D AEM anisotropic modeling, which combines the advantages of spectral and finite-element methods. Thus, the SE method has accuracy as high as that of the spectral method and the ability to model complex geology inherited from the finite-element method. The SE method can improve the modeling accuracy within discrete grids and reduce the dependence of modeling results on the grids. This helps achieve high-accuracy anisotropic AEM modeling. We first introduced a rotating tensor of anisotropic conductivity to Maxwell＇s equations and described the electrical field via SE basis functions based on GLL interpolation polynomials. We used the Galerkin weighted residual method to establish the linear equation system for the SE method, and we took a vertical magnetic dipole as the transmission source for our AEM modeling. We then applied fourth-order SE calculations with coarse physical grids to check the accuracy of our modeling results against a 1D semi-analytical solution for an anisotropic half-space model and verified the high accuracy of the SE. Moreover, we conducted AEM modeling for different anisotropic 3D abnormal bodies using two physical grid scales and three orders of SE to obtain the convergence conditions for different anisotropic abnormal bodies. Finally, we studied the identification of anisotropy for single anisotropic abnormal bodies, anisotropic surrounding rock, and single anisotropic abnormal body embedded in an anisotropic surrounding rock. This approach will play a key role in the inversion and interpretation of AEM data collected in regions with anisotropic geology.展开更多
Frequency-domain airborne electromagnetics is a proven geophysical exploration method.Presently,the interpretation is mainly based on resistivity-depth imaging and onedimensional layered inversion;nevertheless,it is d...Frequency-domain airborne electromagnetics is a proven geophysical exploration method.Presently,the interpretation is mainly based on resistivity-depth imaging and onedimensional layered inversion;nevertheless,it is difficult to obtain satisfactory results for two- or three-dimensional complex earth structures using 1D methods.3D forward modeling and inversion can be used but are hampered by computational limitations because of the large number of data.Thus,we developed a 2.5D frequency-domain airborne electromagnetic forward modeling and inversion algorithm.To eliminate the source singularities in the numerical simulations,we split the fields into primary and secondary fields.The primary fields are calculated using homogeneous or layered models with analytical solutions,and the secondary（scattered） fields are solved by the finite-element method.The linear system of equations is solved by using the large-scale sparse matrix parallel direct solver,which greatly improves the computational efficiency.The inversion algorithm was based on damping leastsquares and singular value decomposition and combined the pseudo forward modeling and reciprocity principle to compute the Jacobian matrix.Synthetic and field data were used to test the effectiveness of the proposed method.展开更多
A modeling tool for simulating three-dimensional land frequency-domain controlled-source electromagnetic surveys,based on a finite-element discretization of the Helmholtz equation for the electric fields,has been deve...A modeling tool for simulating three-dimensional land frequency-domain controlled-source electromagnetic surveys,based on a finite-element discretization of the Helmholtz equation for the electric fields,has been developed.The main difference between our modeling method and those previous works is edge finite-element approach applied to solving the three-dimensional land frequency-domain electromagnetic responses generated by horizontal electric dipole source.Firstly,the edge finite-element equation is formulated through the Galerkin method based on Helmholtz equation of the electric fields.Secondly,in order to check the validity of the modeling code,the numerical results are compared with the analytical solutions for a homogeneous half-space model.Finally,other three models are simulated with three-dimensional electromagnetic responses.The results indicate that the method can be applied for solving three-dimensional electromagnetic responses.The algorithm has been demonstrated,which can be effective to modeling the complex geo-electrical structures.This efficient algorithm will help to study the distribution laws of3-D land frequency-domain controlled-source electromagnetic responses and to setup basis for research of three-dimensional inversion.展开更多
The fluid-structure interaction(FSI)in aircraft hydraulic pipeline systems is of great concern because of the damage it causes.To accurately predict the vibration characteristic of long hydraulic pipelines with curved...The fluid-structure interaction(FSI)in aircraft hydraulic pipeline systems is of great concern because of the damage it causes.To accurately predict the vibration characteristic of long hydraulic pipelines with curved segments,we studied the frequency-domain modeling and solution method for FSI in these pipeline systems.Fourteen partial differential equations(PDEs)are utilized to model the pipeline FSI,considering both frequency-dependent friction and bending-flexibility modification.To address the numerical instability encountered by the traditional transfer matrix method(TMM)in solving relatively complex pipelines,an improved TMM is proposed for solving the PDEs in the frequency domain,based on the matrix-stacking strategy and matrix representation of boundary conditions.The proposed FSI model and improved solution method are validated by numerical cases and experiments.An experimental rig of a practical hydraulic system,consisting of an aircraft engine-driven pump,a Z-shaped aero-hydraulic pipeline,and a throttle valve,was constructed for testing.The magnitude ratio of acceleration to pressure is introduced to evaluate the theoretical and experimental results,which indicate that the proposed model and solution method are effective in practical applications.The methodology presented in this paper can be used as an efficient approach for the vibrational design of aircraft hydraulic pipeline systems.展开更多
Rotational components play an important role in natural earthquake research,engineering seismic investigation,building monitoring,seismic exploration and other fields.Traditional researches mainly focus on three trans...Rotational components play an important role in natural earthquake research,engineering seismic investigation,building monitoring,seismic exploration and other fields.Traditional researches mainly focus on three translational components,but less on rotational ones.As the precision of rotational sensing techniques has increased,many scholars have paid more attention to the seismic rotational motions.Because the rotational observations are not very popular before and now,approximately converting the translational components into rotational components is utilized in rotation analysis.Based on numerical six-component seismic data with the finite difference method,we compare three different conversion methods,the travelling-wave,frequency-domain and the difference method,to analyze their characteristics and feasibilities when they are applied to estimate rotational components with translational observations.展开更多
Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develo...Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.展开更多
In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate ...In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.展开更多
Most of the chemical plants that were put into production in earlier years did not install time synchronization servers or use signal transmission between systems for time synchronization, resulting in inconsistent ti...Most of the chemical plants that were put into production in earlier years did not install time synchronization servers or use signal transmission between systems for time synchronization, resulting in inconsistent time of various types of control systems in the chemical plants, and the time of controllers and operating stations of the systems themselves are not synchronized. This paper expounds the time status of various systems in chemical plants at the present stage, the importance of realizing plant-wide time synchronization and the realization method of time synchronization project.展开更多
This research is based on the implementation of interactive and exploratory teaching methods in college English courses.The analysis done for this research signifies the importance of interactive-exploratory teaching ...This research is based on the implementation of interactive and exploratory teaching methods in college English courses.The analysis done for this research signifies the importance of interactive-exploratory teaching methods,identifying the characteristics of interactive teaching methods,and specifying the purpose of conducting interactive-exploratory teaching methods as a reference for educators.展开更多
With the continuous development of society, axial compressor has been more and more widely used in modern industry. The surge motion of axial compressor has gradually attracted people's attention. It is necessary ...With the continuous development of society, axial compressor has been more and more widely used in modern industry. The surge motion of axial compressor has gradually attracted people's attention. It is necessary to actively explore the anti surge control method of axial compressor. In this paper, the surge control method of fully static regulating axial compressor is analyzed, and the surge control of axial compressor is realized by using programmable controller, which solves the shortcomings of existing control methods, improves the operation condition and improves the efficiency of axial compressor.展开更多
文摘In this article, we consider a two-dimensional symmetric space-fractional diffusion equation in which the space fractional derivatives are defined in Riesz potential sense. The well-posed feature is guaranteed by energy inequality. To solve the diffusion equation, a fully discrete form is established by employing Crank-Nicolson technique in time and Galerkin finite element method in space. The stability and convergence are proved and the stiffness matrix is given analytically. Three numerical examples are given to confirm our theoretical analysis in which we find that even with the same initial condition, the classical and fractional diffusion equations perform differently but tend to be uniform diffusion at last.
基金supported by the Joint Fund of Seismological Science(Grant No.U1839206)the National R&D Program on Monitoring,Early Warning and Prevention of Major Natural Disaster(Grant No.2017YFC1500301)+2 种基金supported by IGGCAS Research Start-up Funds(Grant No.E0515402)National Natural Science Foundation of China(Grant No.E1115401)supported by National Natural Science Foundation of China(Grant No.11971258).
文摘The nearly analytic discrete(NAD)method is a kind of finite difference method with advantages of high accuracy and stability.Previous studies have investigated the NAD method for simulating wave propagation in the time-domain.This study applies the NAD method to solving three-dimensional(3D)acoustic wave equations in the frequency-domain.This forward modeling approach is then used as the“engine”for implementing 3D frequency-domain full waveform inversion(FWI).In the numerical modeling experiments,synthetic examples are first given to show the superiority of the NAD method in forward modeling compared with traditional finite difference methods.Synthetic 3D frequency-domain FWI experiments are then carried out to examine the effectiveness of the proposed methods.The inversion results show that the NAD method is more suitable than traditional methods,in terms of computational cost and stability,for 3D frequency-domain FWI,and represents an effective approach for inversion of subsurface model structures.
基金supported by the National Natural Science Foundation of China (No. 41130418)the Strategic Leading Science and Technology Programme (Class B) of the Chinese Academy of Sciences (No. XDB10010400)
文摘Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element methods. Targeted at viscoelastic numerical modeling for multilayered media, the constant-Q acoustic wave equation is transformed into the corresponding wave integral representation with its Green＇s function accounting for viscoelastic coefficients. An efficient alternative for full-waveform solution to the integral equation is proposed in this article by extending conventional frequency-domain boundary element methods to viscoelastic media. The viscoelastic boundary element method enjoys a distinct characteristic of the explicit use of boundary continuity conditions of displacement and traction, leading to a semi-analytical solution with sufficient accuracy for simulating the viscoelastic effect across irregular interfaces. Numerical experiments to study the viscoelastic absorption of different Q values demonstrate the accuracy and applicability of the method.
基金Supported by the National Natural Science Foundation of China (69983005)
文摘Frequency-domain waveform seismic tomography includes modeling of wave propagation and full waveform inversion of correcting the initial velocity model. In the forward modeling, we use direct solution based on sparse matrix factorization, combined with nine-point finite-difference for the linear system of equations. In the waveform inversion, we use preconditioned gradient method where the preconditioner is provided by the diagonal of the approximate Hessian matrix. We successfully applied waveform inversion method from low to high frequency in two sets of Marmousi data. One is the data set generated by frequencydomain finite-difference modeling, and the other is the original Marmousi shots data set. The former result is very close to the true velocity model. In the original shots data set inversion, we replace the prior source with estimated source; the result is also acceptable, and consistent with the true model.
文摘Non-linear numerical modeling, widely used in research and development to understand many complex processes such as forming or machining, does not guarantee the success of a study to be performed. Indeed, the numerical simulation uses finite element codes where the models already integrated are not based on shapes adjustable to any type of study. In this study, a new form of non-linear constitutive flow law based on the Modified Zerilli-Armstrong model, which can answer the above problem, has been developed to apply it to the numerical simulation of two different tests (a quasi-static compression test, the necking of a circular bar). This flow law is based on the modified Zerilli-Armstrong model, which, together with the new modified Johnson-Cook model, has been compared to appreciate the relevance of the proposal. For that, an implementation of this new law via the VUHARD subroutine into the Abaqus/Explicit finite element code was made to model the two tests. The comparison of the results obtained (from identification) by our proposed law with those obtained using the NMJC shows that this new law better approaches the experiments than the other one. This is also shown through the numerical results using the Abaqus software. It can be said that this way of formulating a flow law allows highlighting the great performance of the proposed approach. Although this law has been only used for quasi-static tests, we can say that it can also be used in dynamic tests.
文摘Secondary operation is one of the important means for enterprises to create efficiency. This paper expounds the overall planning of secondary operation of box culvert top input project of existing railway from five aspects, including contract judgment, poor construction drawing quantity, optimization of construction organization design and particularity of railway-related projects. Combined with the changes such as optimization of construction scheme of overhead system of busy trunk lines and lengthening of top project, it introduces the implementation of secondary operation in detail, clarifies the important factors affecting the effectiveness of secondary operation, and sums up the successful experience, which can provide reference for similar projects.
文摘The new curriculum standard clearly requires that teachers should focus on improving students' learning ability instead of merely imparting theoretical knowledge to students in classroom teaching. Inquiry teaching method is in line with the requirements of the new curriculum reform, and gradually becomes a major teaching method. Reasonable application of this method in high school geography teaching can cultivate students' strong interest in learning and achieve the purpose of cultivating students' comprehensive ability. This paper will elaborate on the specific measures and significance of applying inquiry-based teaching method in senior high school geography teaching, and the relevant views are for reference only.
基金financially supported by the Key Program of National Natural Science Foundation of China(No.41530320)China Natural Science Foundation for Young Scientists(No.41404093)+1 种基金Key National Research Project of China(Nos2016YFC0303100 and 2017YFC0601900)China Natural Science Foundation(No.41774125)
文摘The airborne electromagnetic （AEM） method has a high sampling rate and survey flexibility. However, traditional numerical modeling approaches must use high-resolution physical grids to guarantee modeling accuracy, especially for complex geological structures such as anisotropic earth. This can lead to huge computational costs. To solve this problem, we propose a spectral-element （SE） method for 3D AEM anisotropic modeling, which combines the advantages of spectral and finite-element methods. Thus, the SE method has accuracy as high as that of the spectral method and the ability to model complex geology inherited from the finite-element method. The SE method can improve the modeling accuracy within discrete grids and reduce the dependence of modeling results on the grids. This helps achieve high-accuracy anisotropic AEM modeling. We first introduced a rotating tensor of anisotropic conductivity to Maxwell＇s equations and described the electrical field via SE basis functions based on GLL interpolation polynomials. We used the Galerkin weighted residual method to establish the linear equation system for the SE method, and we took a vertical magnetic dipole as the transmission source for our AEM modeling. We then applied fourth-order SE calculations with coarse physical grids to check the accuracy of our modeling results against a 1D semi-analytical solution for an anisotropic half-space model and verified the high accuracy of the SE. Moreover, we conducted AEM modeling for different anisotropic 3D abnormal bodies using two physical grid scales and three orders of SE to obtain the convergence conditions for different anisotropic abnormal bodies. Finally, we studied the identification of anisotropy for single anisotropic abnormal bodies, anisotropic surrounding rock, and single anisotropic abnormal body embedded in an anisotropic surrounding rock. This approach will play a key role in the inversion and interpretation of AEM data collected in regions with anisotropic geology.
基金supported by the Doctoral Fund Project of the Ministry of Education(No.20130061110060 class tutors)the National Natural Science Foundation of China(No.41504083)National Basic Research Program of China(973Program)(No.2013CB429805)
文摘Frequency-domain airborne electromagnetics is a proven geophysical exploration method.Presently,the interpretation is mainly based on resistivity-depth imaging and onedimensional layered inversion;nevertheless,it is difficult to obtain satisfactory results for two- or three-dimensional complex earth structures using 1D methods.3D forward modeling and inversion can be used but are hampered by computational limitations because of the large number of data.Thus,we developed a 2.5D frequency-domain airborne electromagnetic forward modeling and inversion algorithm.To eliminate the source singularities in the numerical simulations,we split the fields into primary and secondary fields.The primary fields are calculated using homogeneous or layered models with analytical solutions,and the secondary（scattered） fields are solved by the finite-element method.The linear system of equations is solved by using the large-scale sparse matrix parallel direct solver,which greatly improves the computational efficiency.The inversion algorithm was based on damping leastsquares and singular value decomposition and combined the pseudo forward modeling and reciprocity principle to compute the Jacobian matrix.Synthetic and field data were used to test the effectiveness of the proposed method.
基金Projects(41674080,41674079)supported by the National Natural Science Foundation of China
文摘A modeling tool for simulating three-dimensional land frequency-domain controlled-source electromagnetic surveys,based on a finite-element discretization of the Helmholtz equation for the electric fields,has been developed.The main difference between our modeling method and those previous works is edge finite-element approach applied to solving the three-dimensional land frequency-domain electromagnetic responses generated by horizontal electric dipole source.Firstly,the edge finite-element equation is formulated through the Galerkin method based on Helmholtz equation of the electric fields.Secondly,in order to check the validity of the modeling code,the numerical results are compared with the analytical solutions for a homogeneous half-space model.Finally,other three models are simulated with three-dimensional electromagnetic responses.The results indicate that the method can be applied for solving three-dimensional electromagnetic responses.The algorithm has been demonstrated,which can be effective to modeling the complex geo-electrical structures.This efficient algorithm will help to study the distribution laws of3-D land frequency-domain controlled-source electromagnetic responses and to setup basis for research of three-dimensional inversion.
基金supported by the National Natural Science Foundation of China(Nos.51975025 and 51890822)the Young Elite Scientists Sponsorship Program by China Association for Science and Technology(No.2016QNRC001)the National Key Research and Development Program of China(No.2019YFB2004500)。
文摘The fluid-structure interaction(FSI)in aircraft hydraulic pipeline systems is of great concern because of the damage it causes.To accurately predict the vibration characteristic of long hydraulic pipelines with curved segments,we studied the frequency-domain modeling and solution method for FSI in these pipeline systems.Fourteen partial differential equations(PDEs)are utilized to model the pipeline FSI,considering both frequency-dependent friction and bending-flexibility modification.To address the numerical instability encountered by the traditional transfer matrix method(TMM)in solving relatively complex pipelines,an improved TMM is proposed for solving the PDEs in the frequency domain,based on the matrix-stacking strategy and matrix representation of boundary conditions.The proposed FSI model and improved solution method are validated by numerical cases and experiments.An experimental rig of a practical hydraulic system,consisting of an aircraft engine-driven pump,a Z-shaped aero-hydraulic pipeline,and a throttle valve,was constructed for testing.The magnitude ratio of acceleration to pressure is introduced to evaluate the theoretical and experimental results,which indicate that the proposed model and solution method are effective in practical applications.The methodology presented in this paper can be used as an efficient approach for the vibrational design of aircraft hydraulic pipeline systems.
基金This research is supported by the National Natural Science Foundation of China(grant No.U1839208).
文摘Rotational components play an important role in natural earthquake research,engineering seismic investigation,building monitoring,seismic exploration and other fields.Traditional researches mainly focus on three translational components,but less on rotational ones.As the precision of rotational sensing techniques has increased,many scholars have paid more attention to the seismic rotational motions.Because the rotational observations are not very popular before and now,approximately converting the translational components into rotational components is utilized in rotation analysis.Based on numerical six-component seismic data with the finite difference method,we compare three different conversion methods,the travelling-wave,frequency-domain and the difference method,to analyze their characteristics and feasibilities when they are applied to estimate rotational components with translational observations.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.
文摘Most of the chemical plants that were put into production in earlier years did not install time synchronization servers or use signal transmission between systems for time synchronization, resulting in inconsistent time of various types of control systems in the chemical plants, and the time of controllers and operating stations of the systems themselves are not synchronized. This paper expounds the time status of various systems in chemical plants at the present stage, the importance of realizing plant-wide time synchronization and the realization method of time synchronization project.
基金Heilongjiang Province Economic and Social Development Key Research Project:Research on the Theory and Practice of Foreign Language Education in Heilongjiang Colleges and Universities from a Cross-cultural Perspective(WY2019037-B)The 2019 Harbin Engineering University undergraduate teaching reform research project research-based teaching and process assessment special project“Analysis and Research on Learning Motivation and Strategies of Ethnic Minority Undergraduates in Local Universities under the Background of Double First-class”(JG2019B87).
文摘This research is based on the implementation of interactive and exploratory teaching methods in college English courses.The analysis done for this research signifies the importance of interactive-exploratory teaching methods,identifying the characteristics of interactive teaching methods,and specifying the purpose of conducting interactive-exploratory teaching methods as a reference for educators.
文摘With the continuous development of society, axial compressor has been more and more widely used in modern industry. The surge motion of axial compressor has gradually attracted people's attention. It is necessary to actively explore the anti surge control method of axial compressor. In this paper, the surge control method of fully static regulating axial compressor is analyzed, and the surge control of axial compressor is realized by using programmable controller, which solves the shortcomings of existing control methods, improves the operation condition and improves the efficiency of axial compressor.
