The extended finite element method(XFEM) is a numerical method for modeling discontinuities within the classical finite element framework. The computation mesh in XFEM is independent of the discontinuities, such that ...The extended finite element method(XFEM) is a numerical method for modeling discontinuities within the classical finite element framework. The computation mesh in XFEM is independent of the discontinuities, such that remeshing for moving discontinuities can be overcome. The extended finite element method is presented for hydro-mechanical modeling of impermeable discontinuities in rock. The governing equation of XFEM for hydraulic fracture modeling is derived by the virtual work principle of the fracture problem considering the water pressure on crack surface. The coupling relationship between water pressure gradient on crack surface and fracture opening width is obtained by semi-analytical and semi-numerical method. This method simplifies coupling analysis iteration and improves computational precision. Finally, the efficiency of the proposed method for modeling hydraulic fracture problems is verified by two examples and the advantages of the XFEM for hydraulic fracturing analysis are displayed.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
Crack is found to be a major distress that affects the performance of the epoxy asphalt pavement.An extended finite element method was proposed for investigating the fracture properties of the epoxy asphalt mixture.Fi...Crack is found to be a major distress that affects the performance of the epoxy asphalt pavement.An extended finite element method was proposed for investigating the fracture properties of the epoxy asphalt mixture.Firstly,the single-edge notched beam test was used to analyze the temperature effect and calculate the material parameters.Then,the mechanical responses were studied using numerical analysis.It is concluded that 5℃ can be selected as the critical temperature that affects the fracture properties,and numerical simulations indicate that crack propagation is found to significantly affect the stress state of the epoxy asphalt mixture.The maximum principal stress at the crack surface exhibits different trends at various temperatures.Numerical solution of stress intensity factor can well meet the theoretical solution,especially when the temperature is lower than 5℃.展开更多
Extended finite element method （XFEM） implementation of the interaction integral methodology for evaluating the stress intensity factors （SIF） of the mixed-mode crack problem is presented. A discontinuous function...Extended finite element method （XFEM） implementation of the interaction integral methodology for evaluating the stress intensity factors （SIF） of the mixed-mode crack problem is presented. A discontinuous function and the near-tip asymptotic function are added to the classic finite element approximation to model the crack behavior. Two-state integral by the superposition of actual and auxiliary fields is derived to calculate the SIFs. Applications of the proposed technique to the inclined centre crack plate with inclined angle from 0° to 90° and slant edge crack plate with slant angle 45°, 67.5° and 90° are presented, and comparisons are made with closed form solutions. The results show that the proposed method is convenient, accurate and computationallv efficient.展开更多
Based on the Hirota bilinear method,this study derived N-soliton solutions,breather solutions,lump solutions and interaction solutions for the(2+1)-dimensional extended Boiti-Leon-Manna-Pempinelli equation.The dynamic...Based on the Hirota bilinear method,this study derived N-soliton solutions,breather solutions,lump solutions and interaction solutions for the(2+1)-dimensional extended Boiti-Leon-Manna-Pempinelli equation.The dynamical characteristics of these solutions were displayed through graphical,particularly revealing fusion and ssion phenomena in the interaction of lump and the one-stripe soliton.展开更多
In the finite element method,the numerical simulation of three-dimensional crack propagation is relatively rare,and it is often realized by commercial programs.In addition to the geometric complexity,the determination...In the finite element method,the numerical simulation of three-dimensional crack propagation is relatively rare,and it is often realized by commercial programs.In addition to the geometric complexity,the determination of the cracking direction constitutes a great challenge.In most cases,the local stress state provides the fundamental criterion to judge the presence of cracks and the direction of crack propagation.However,in the case of three-dimensional analysis,the coordination relationship between grid elements due to occurrence of cracks becomes a difficult problem for this method.In this paper,based on the extended finite element method,the stress-related function field is introduced into the calculation domain,and then the boundary value problem of the function is solved.Subsequently,the envelope surface of all propagation directions can be obtained at one time.At last,the possible surface can be selected as the direction of crack development.Based on the aforementioned procedure,such method greatly reduces the programming complexity of tracking the crack propagation.As a suitable method for simulating tension-induced failure,it can simulate multiple cracks simultaneously.展开更多
An approach for joint direction of arrival(DOA) angle and frequency estimation for a linear array is investigated in this paper. Specifically, we make the utmost of the autocorrelation and cross-correlation informatio...An approach for joint direction of arrival(DOA) angle and frequency estimation for a linear array is investigated in this paper. Specifically, we make the utmost of the autocorrelation and cross-correlation information to propose an extended DOAmatrix(EDOAM) method. Subsequently, we obtain the autopaired angle and frequency estimates by the eigenvalues and the corresponding eigenvectors of the novel DOA matrix. Furthermore, the proposed method surpasses the DOA-matrix method which partly ignores the autocorrelation and cross-correlation information. Finally, the proposed method works well for both uniform and non-uniform linear arrays. The simulation consequences indicate the superiority of our proposed approach.展开更多
In this paper,a new technique is introduced to construct higher-order iterative methods for solving nonlinear systems.The order of convergence of some iterative methods can be improved by three at the cost of introduc...In this paper,a new technique is introduced to construct higher-order iterative methods for solving nonlinear systems.The order of convergence of some iterative methods can be improved by three at the cost of introducing only one additional evaluation of the function in each step.Furthermore,some new efficient methods with a higher-order of convergence are obtained by using only a single matrix inversion in each iteration.Analyses of convergence properties and computational efficiency of these new methods are made and testified by several numerical problems.By comparison,the new schemes are more efficient than the corresponding existing ones,particularly for large problem sizes.展开更多
Transmit waveform optimization is critical to radar system performance. There have been a fruit of achievements about waveform design in recent years. However, most of the existing methods are based on the assumption ...Transmit waveform optimization is critical to radar system performance. There have been a fruit of achievements about waveform design in recent years. However, most of the existing methods are based on the assumption that radar is smart and the target is dumb, which is not always reasonable in the modern electronic warfare. This paper focuses on the waveform design for radar and the extended target in the environment of electronic warfare. Three different countermeasure models between smart radar and dumb target, smart target and dumb radar, smart radar and smart target are proposed. Taking the signal-to-interferenceplus-noise ratio(SINR) as the metric, optimized waveforms for the first two scenarios are achieved by the general water-filling method in the presence of clutter. For the last case, the equilibrium between smart radar and smart target in the presence of clutter is given mathematically and the optimized solution is achieved through a novel two-step water-filling method on the basis of minmax theory. Simulation results under different power constraints show the power allocation strategies of radar and target and the output SINRs are analyzed.展开更多
立体摄影技术可实现三维海浪的连续观测,但目前基于立体摄影海浪观测数据开展二维海浪方向谱估计的研究却相对匮乏,从而束缚了立体摄影技术在海洋观测中的进一步深入应用。鉴于此,本文基于中国海洋大学微波遥感实验室开发的立体摄影海...立体摄影技术可实现三维海浪的连续观测,但目前基于立体摄影海浪观测数据开展二维海浪方向谱估计的研究却相对匮乏,从而束缚了立体摄影技术在海洋观测中的进一步深入应用。鉴于此,本文基于中国海洋大学微波遥感实验室开发的立体摄影海浪观测系统,并结合海浪方向谱阵列测量的扩展本征矢方法,系统性研究了基于立体摄影海浪观测数据反演二维海浪方向谱的可行性,并分析了不同海面采样点阵列排列方式、采样点间距及观测误差等因素对二维海浪方向谱反演结果的影响。立体摄影实测海浪数据反演结果显示:阵列中采样点间距小于1/3波浪的波长,海面采样点阵列排列方式为五边形时可得到较好的海浪方向谱反演结果。通过将立体摄影数据反演所得二维海浪方向谱与Signature1000型声学多普勒波浪流速剖面仪(Acoustic Doppler Wave and Current Profiler, AWAC)测量结果进行比较,结果显示二者具有较高的相关性和良好的一致性。立体摄影所得有效波高、平均波向和AWAC测量的有效波高、平均波向的相关系数分别为0.988和0.983,平均偏差分别为0.029 m和0.010°,均方根误差分别为0.089 m和8.844°。展开更多
基金Project(2011CB013505)supported by the National Basic Research Program of ChinaProject(51279100)supported by the National Natural Science Foundation of China
文摘The extended finite element method(XFEM) is a numerical method for modeling discontinuities within the classical finite element framework. The computation mesh in XFEM is independent of the discontinuities, such that remeshing for moving discontinuities can be overcome. The extended finite element method is presented for hydro-mechanical modeling of impermeable discontinuities in rock. The governing equation of XFEM for hydraulic fracture modeling is derived by the virtual work principle of the fracture problem considering the water pressure on crack surface. The coupling relationship between water pressure gradient on crack surface and fracture opening width is obtained by semi-analytical and semi-numerical method. This method simplifies coupling analysis iteration and improves computational precision. Finally, the efficiency of the proposed method for modeling hydraulic fracture problems is verified by two examples and the advantages of the XFEM for hydraulic fracturing analysis are displayed.
基金supported by the Aviation Science Foundation of China
文摘The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.
基金Project(50578038)supported by the National Natural Science Foundation of China
文摘Crack is found to be a major distress that affects the performance of the epoxy asphalt pavement.An extended finite element method was proposed for investigating the fracture properties of the epoxy asphalt mixture.Firstly,the single-edge notched beam test was used to analyze the temperature effect and calculate the material parameters.Then,the mechanical responses were studied using numerical analysis.It is concluded that 5℃ can be selected as the critical temperature that affects the fracture properties,and numerical simulations indicate that crack propagation is found to significantly affect the stress state of the epoxy asphalt mixture.The maximum principal stress at the crack surface exhibits different trends at various temperatures.Numerical solution of stress intensity factor can well meet the theoretical solution,especially when the temperature is lower than 5℃.
基金Projects(41172244,41072224) supported by the National Natural Science Foundation of ChinaProject(2009GGJS-037) supported by the Foundation of Youths Key Teacher by the Henan Educational Committee,China
文摘Extended finite element method （XFEM） implementation of the interaction integral methodology for evaluating the stress intensity factors （SIF） of the mixed-mode crack problem is presented. A discontinuous function and the near-tip asymptotic function are added to the classic finite element approximation to model the crack behavior. Two-state integral by the superposition of actual and auxiliary fields is derived to calculate the SIFs. Applications of the proposed technique to the inclined centre crack plate with inclined angle from 0° to 90° and slant edge crack plate with slant angle 45°, 67.5° and 90° are presented, and comparisons are made with closed form solutions. The results show that the proposed method is convenient, accurate and computationallv efficient.
基金Supported by the National Natural Science Foundation of China(12275172)。
文摘Based on the Hirota bilinear method,this study derived N-soliton solutions,breather solutions,lump solutions and interaction solutions for the(2+1)-dimensional extended Boiti-Leon-Manna-Pempinelli equation.The dynamical characteristics of these solutions were displayed through graphical,particularly revealing fusion and ssion phenomena in the interaction of lump and the one-stripe soliton.
基金Project(2017YFC0404802)supported by the National Key R&D Program of ChinaProjects(U1965206,51979143)supported by the National Natural Science Foundation of China。
文摘In the finite element method,the numerical simulation of three-dimensional crack propagation is relatively rare,and it is often realized by commercial programs.In addition to the geometric complexity,the determination of the cracking direction constitutes a great challenge.In most cases,the local stress state provides the fundamental criterion to judge the presence of cracks and the direction of crack propagation.However,in the case of three-dimensional analysis,the coordination relationship between grid elements due to occurrence of cracks becomes a difficult problem for this method.In this paper,based on the extended finite element method,the stress-related function field is introduced into the calculation domain,and then the boundary value problem of the function is solved.Subsequently,the envelope surface of all propagation directions can be obtained at one time.At last,the possible surface can be selected as the direction of crack development.Based on the aforementioned procedure,such method greatly reduces the programming complexity of tracking the crack propagation.As a suitable method for simulating tension-induced failure,it can simulate multiple cracks simultaneously.
基金supported by the National Natural Science Foundation of China (61971217,61971218,61631020)Jiangsu Natural Science Foundation (BK20200444)+1 种基金Jiangsu Key Research and Development Project (BE2020101)the Fund of Sonar Technology Key Laboratory。
文摘An approach for joint direction of arrival(DOA) angle and frequency estimation for a linear array is investigated in this paper. Specifically, we make the utmost of the autocorrelation and cross-correlation information to propose an extended DOAmatrix(EDOAM) method. Subsequently, we obtain the autopaired angle and frequency estimates by the eigenvalues and the corresponding eigenvectors of the novel DOA matrix. Furthermore, the proposed method surpasses the DOA-matrix method which partly ignores the autocorrelation and cross-correlation information. Finally, the proposed method works well for both uniform and non-uniform linear arrays. The simulation consequences indicate the superiority of our proposed approach.
基金Supported by the National Natural Science Foundation of China(12061048)NSF of Jiangxi Province(20232BAB201026,20232BAB201018)。
文摘In this paper,a new technique is introduced to construct higher-order iterative methods for solving nonlinear systems.The order of convergence of some iterative methods can be improved by three at the cost of introducing only one additional evaluation of the function in each step.Furthermore,some new efficient methods with a higher-order of convergence are obtained by using only a single matrix inversion in each iteration.Analyses of convergence properties and computational efficiency of these new methods are made and testified by several numerical problems.By comparison,the new schemes are more efficient than the corresponding existing ones,particularly for large problem sizes.
基金supported by the National Natural Science Foundation of China(61302153)the Aeronautical Science Foundation of China(20160196001)
文摘Transmit waveform optimization is critical to radar system performance. There have been a fruit of achievements about waveform design in recent years. However, most of the existing methods are based on the assumption that radar is smart and the target is dumb, which is not always reasonable in the modern electronic warfare. This paper focuses on the waveform design for radar and the extended target in the environment of electronic warfare. Three different countermeasure models between smart radar and dumb target, smart target and dumb radar, smart radar and smart target are proposed. Taking the signal-to-interferenceplus-noise ratio(SINR) as the metric, optimized waveforms for the first two scenarios are achieved by the general water-filling method in the presence of clutter. For the last case, the equilibrium between smart radar and smart target in the presence of clutter is given mathematically and the optimized solution is achieved through a novel two-step water-filling method on the basis of minmax theory. Simulation results under different power constraints show the power allocation strategies of radar and target and the output SINRs are analyzed.
文摘立体摄影技术可实现三维海浪的连续观测,但目前基于立体摄影海浪观测数据开展二维海浪方向谱估计的研究却相对匮乏,从而束缚了立体摄影技术在海洋观测中的进一步深入应用。鉴于此,本文基于中国海洋大学微波遥感实验室开发的立体摄影海浪观测系统,并结合海浪方向谱阵列测量的扩展本征矢方法,系统性研究了基于立体摄影海浪观测数据反演二维海浪方向谱的可行性,并分析了不同海面采样点阵列排列方式、采样点间距及观测误差等因素对二维海浪方向谱反演结果的影响。立体摄影实测海浪数据反演结果显示:阵列中采样点间距小于1/3波浪的波长,海面采样点阵列排列方式为五边形时可得到较好的海浪方向谱反演结果。通过将立体摄影数据反演所得二维海浪方向谱与Signature1000型声学多普勒波浪流速剖面仪(Acoustic Doppler Wave and Current Profiler, AWAC)测量结果进行比较,结果显示二者具有较高的相关性和良好的一致性。立体摄影所得有效波高、平均波向和AWAC测量的有效波高、平均波向的相关系数分别为0.988和0.983,平均偏差分别为0.029 m和0.010°,均方根误差分别为0.089 m和8.844°。
