Design a precision electroplating mechanical structure for automobiles based on finite element analysis method and analyze its mechanical properties.Taking the automobile steering knuckle as the research object,ABAQUS...Design a precision electroplating mechanical structure for automobiles based on finite element analysis method and analyze its mechanical properties.Taking the automobile steering knuckle as the research object,ABAQUS parametric modeling technology is used to construct its three-dimensional geometric model,and geometric simplification is carried out.Two surface treatment processes,HK-35 zinc nickel alloy electroplating and pure zinc electroplating,were designed,and the influence of different coatings on the mechanical properties of steering knuckles was compared and analyzed through numerical simulation.At the same time,standard specimens were prepared for salt spray corrosion testing and scratch method combined strength testing to verify the numerical simulation results.The results showed that under emergency braking and composite working conditions,the peak Von Mises stress of the zinc nickel alloy coating was 119.85 MPa,which was lower than that of the pure zinc coating and the alkaline electroplated zinc layer.Its equivalent strain value was 652×10^(-6),which was lower than that of the pure zinc coating and the alkaline electroplated zinc layer.Experimental data confirms that zinc nickel alloy coatings exhibit significant advantages in stress distribution uniformity,strain performance,and load-bearing capacity in high stress zones.The salt spray corrosion test further indicates that the coating has superior corrosion resistance and coating substrate interface bonding strength,which can significantly improve the mechanical stability and long-term reliability of automotive precision electroplating mechanical structures.展开更多
To enhance the computational efficiency of spatio-temporally discretized phase-field models,we present a high-speed solver specifically designed for the Poisson equations,a component frequently used in the numerical c...To enhance the computational efficiency of spatio-temporally discretized phase-field models,we present a high-speed solver specifically designed for the Poisson equations,a component frequently used in the numerical computation of such models.This efficient solver employs algorithms based on discrete cosine transformations(DCT)or discrete sine transformations(DST)and is not restricted by any spatio-temporal schemes.Our proposed methodology is appropriate for a variety of phase-field models and is especially efficient when combined with flow field systems.Meanwhile,this study has conducted an extensive numerical comparison and found that employing DCT and DST techniques not only yields results comparable to those obtained via the Multigrid(MG)method,a conventional approach used in the resolution of the Poisson equations,but also enhances computational efficiency by over 90%.展开更多
Recent advancements in additive manufacturing(AM)have revolutionized the design and production of complex engineering microstructures.Despite these advancements,their mathematical modeling and computational analysis r...Recent advancements in additive manufacturing(AM)have revolutionized the design and production of complex engineering microstructures.Despite these advancements,their mathematical modeling and computational analysis remain significant challenges.This research aims to develop an effective computational method for analyzing the free vibration of functionally graded(FG)microplates under high temperatures while resting on a Pasternak foundation(PF).This formulation leverages a new thirdorder shear deformation theory(new TSDT)for improved accuracy without requiring shear correction factors.Additionally,the modified couple stress theory(MCST)is incorporated to account for sizedependent effects in microplates.The PF is characterized by two parameters including spring stiffness(k_(w))and shear layer stiffness(k_(s)).To validate the proposed method,the results obtained are compared with those of the existing literature.Furthermore,numerical examples explore the influence of various factors on the high-temperature free vibration of FG microplates.These factors include the length scale parameter(l),geometric dimensions,material properties,and the presence of the elastic foundation.The findings significantly enhance our comprehension of the free vibration of FG microplates in high thermal environments.In addition,the findings significantly enhance our comprehension of the free vibration of FG microplates in high thermal environments.In addition,the results of this research will have great potential in military and defense applications such as components of submarines,fighter aircraft,and missiles.展开更多
At the first time,the finite element method was used to model and analyze the free vibration and transient response of non-uniform thickness bi-directional functionally graded sandwich porous(BFGSP)skew plates.The who...At the first time,the finite element method was used to model and analyze the free vibration and transient response of non-uniform thickness bi-directional functionally graded sandwich porous(BFGSP)skew plates.The whole BFGSP skew-plates is placed on a variable visco-elastic foundation(VEF)in the hygro-thermal environment and subjected to the blast load.The BFGSP skew-plate thickness is permitted to vary non-linearly over both the length and width of the skew-plate,thereby faithfully representing the real behavior of the structure itself.The analysis is based on a four-node planar quadrilateral element with eight degrees of freedom per node,which is approximated using Lagrange Q_(4)shape function and C^(1)level non-conforming Hermite shape function based on refined higher-order shear deformation plate theory.The forced vibration parameters of the non-uniform thickness BFGSP skew-plate are fully determined using Hamilton's principle and the Newmark-βdirect integration technique.Accuracy of the calculation program is validated by comparing its numerical results with those from reputable sources.Furthermore,a thorough assessment is conducted to determine the impact of various parameters on the free and forced vibration responses of the non-uniform thickness BFGSP skew-plate.The findings of the paper may be used in the development of civil and military structures in situations that are prone to exceptional forces,such as explosions and impacts load.展开更多
The finite set statistics provides a mathematically rig- orous single target Bayesian filter （STBF） for tracking a target that generates multiple measurements in a cluttered environment. However, the target maneuver...The finite set statistics provides a mathematically rig- orous single target Bayesian filter （STBF） for tracking a target that generates multiple measurements in a cluttered environment. However, the target maneuvers may lead to the degraded track- ing performance and even track loss when using the STBF. The multiple-model technique has been generally considered as the mainstream approach to maneuvering the target tracking. Moti- vated by the above observations, we propose the multiple-model extension of the original STBF, called MM-STBF, to accommodate the possible target maneuvering behavior. Since the derived MM- STBF involve multiple integrals with no closed form in general, a sequential Monte Carlo implementation （for generic models） and a Gaussian mixture implementation （for linear Gaussian models） are presented. Simulation results show that the proposed MM-STBF outperforms the STBF in terms of root mean squared errors of dynamic state estimates.展开更多
Systolic implementation of multiplication over GF(2m) is usually very efficient in area-time complexity,but its latency is usually very large.Thus,two low latency systolic multipliers over GF(2m) based on general irre...Systolic implementation of multiplication over GF(2m) is usually very efficient in area-time complexity,but its latency is usually very large.Thus,two low latency systolic multipliers over GF(2m) based on general irreducible polynomials and irreducible pentanomials are presented.First,a signal flow graph(SFG) is used to represent the algorithm for multiplication over GF(2m).Then,the two low latency systolic structures for multiplications over GF(2m) based on general irreducible polynomials and pentanomials are presented from the SFG by suitable cut-set retiming,respectively.Analysis indicates that the proposed two low latency designs involve at least one-third less area-delay product when compared with the existing designs,To the authors' knowledge,the time-complexity of the structures is the lowest found in literature for systolic GF(2m) multipliers based on general irreducible polynomials and pentanomials.The proposed low latency designs are regular and modular,and therefore they are suitable for many time critical applications.展开更多
Using semi-tensor product of matrices, the controllability and stabilizability of finite automata are investigated. By expressing the states, inputs, and outputs in vector forms, the transition and output functions ar...Using semi-tensor product of matrices, the controllability and stabilizability of finite automata are investigated. By expressing the states, inputs, and outputs in vector forms, the transition and output functions are represented in matrix forms.Based on this algebraic description, a necessary and sufficient condition is proposed for checking whether a state is controllable to another one. By this condition, an algorithm is established to find all the control sequences of an arbitrary length. Moreover, the stabilizability of finite automata is considered, and a necessary and sufficient condition is presented to examine whether some states can be stabilized. Finally, the study of illustrative examples verifies the correctness of the presented results/algorithms.展开更多
The impact angle control over guidance(IACG) law against stationary targets is proposed by using feedback linearization control(FLC) and finite time control(FTC). First, this paper transforms the kinematics equation o...The impact angle control over guidance(IACG) law against stationary targets is proposed by using feedback linearization control(FLC) and finite time control(FTC). First, this paper transforms the kinematics equation of guidance systems into the feedbackable linearization model, in which the guidance law is obtained without considering the impact angle via FLC. For the purpose of the line of sight(LOS) angle and its rate converging to the desired values, the second-order LOS angle is considered as a double-integral system. Then, this paper utilizes FTC to design a controller which can guarantee the states of the double-integral system converging to the desired values. Numerical simulation illustrates the performance of the IACG, in contrast to the existing guidance law.展开更多
The aim of this work is to propose a 3D FE model of a theoretical assembling straight bevel gear pair to analyze the contact fatigue on the tooth surface and the bending fatigue in the tooth root. Based on the cumulat...The aim of this work is to propose a 3D FE model of a theoretical assembling straight bevel gear pair to analyze the contact fatigue on the tooth surface and the bending fatigue in the tooth root. Based on the cumulative fatigue criterion and the stress-life equation, the key meshing states of the gear pair were investigated for the contact fatigue and the bending fatigue. Then, the reliability of the proposed model was proved by comparing the calculation result with the simulation result. Further study was performed to analyze the variation of the contact fatigue stress and the bending fatigue stress under different loads. Furthermore, the roles of the driving pinion and the driven gear pair were evaluated in the fatigue life of the straight bevel gear pair and the main fatigue failure mode was determined for the significant gear. The results show that the fatigue failure of the driving pinion is the main fatigue failure for the straight bevel gear pair and the bending fatigue failure is the main fatigue failure for the driving pinion.展开更多
Facing the problems lack of considering the non-uniform distribution of the static bias magnetic field and computing the panicle displacements in the simulation model of electromagnetic acoustic transducer （EMAT）, a...Facing the problems lack of considering the non-uniform distribution of the static bias magnetic field and computing the panicle displacements in the simulation model of electromagnetic acoustic transducer （EMAT）, a multi-field coupled model was established and the finite element method （FEM） was presented to calculate the entire transduction process. The multi-field coupled model included the static magnetic field, pulsed eddy current field and mechanical field. The FEM equations of the three fields were derived by Garlerkin FEM method. Thus, the entire transduction process of the EMAT was calculated through sequentially coupling the three fields. The transduction process of a Lamb wave EMAT was calculated according to the present model and method. The results show that, by the present method, it is valid to calculate the particle displacement under the given excitation signal and non-uniformly distributed static magnetic field. Calculation error will be brought about if the non-uniform distribution of the static bias magnetic field is neglected.展开更多
To the most of velocity fields, the traveltimes of the first break that seismic waves propagate along rays can be computed on a 2-D or 3-D numerical grid by finite-difference extrapolation. Under ensuring accuracy, to...To the most of velocity fields, the traveltimes of the first break that seismic waves propagate along rays can be computed on a 2-D or 3-D numerical grid by finite-difference extrapolation. Under ensuring accuracy, to improve calculating efficiency and adaptability, the calculation method of first-arrival traveltime of finite-difference is de- rived based on any rectangular grid and a local plane wavefront approximation. In addition, head waves and scat- tering waves are properly treated and shadow and caustic zones cannot be encountered, which appear in traditional ray-tracing. The testes of two simple models and the complex Marmousi model show that the method has higher accuracy and adaptability to complex structure with strong vertical and lateral velocity variation, and Kirchhoff prestack depth migration based on this method can basically achieve the position imaging effects of wave equation prestack depth migration in major structures and targets. Because of not taking account of the later arrivals energy, the effect of its amplitude preservation is worse than that by wave equation method, but its computing efficiency is higher than that by total Green′s function method and wave equation method.展开更多
Cross-wedge rolling (CWR) is a metal process of ro ta ry forming. To produce a part, one cylindrical billet should be placed between t wo counterrotating and wedge-shape dies, which move tangentially relative each oth...Cross-wedge rolling (CWR) is a metal process of ro ta ry forming. To produce a part, one cylindrical billet should be placed between t wo counterrotating and wedge-shape dies, which move tangentially relative each other. The billet suffers plastic deformation (essentially, localized compressio n) during its rotation between the rotating dies. Compared to other numerical si mulation methods, the finite element method (FEM) has advantages in solving gene ral problems with complex shapes of the formed parts. In cross-wedge rolling, t here are four stages in the workpiece deformation process, namely knifing, guidi ng, stretching and sizing stage. It is time-consuming and expensive to design t he CWR process by trial and error method. The application of numerical simul ation for the CWR process will help engineers to efficiently improve the process development. Tselikov, Hayama, Jain and Kobayashi, and Higashimo applied the sl ip-line theory in study of CWR process analysis. Zb.pater studied CWR process i ncluding upsetting by upper-bound method. The above numerical simulation were b ased on the two-dimensional plain-strain assumption ignored the metal flow in workpiece axial direction. Therefore, the complex three-dimensional stress and deformation involved in CWR processes were not presented. Compared to other nume rical simulation methods, the finite element method (FEM) has advantages in solv ing general problems with complex shapes of the formed parts. As yet, a few 3-D finite element simulation studies on CWR process have been reported in literatu res. In this paper, the process of cross wedge rolling (CWR) has been simulated and analyzed by 3D rigid-plastic finite element method. Considering the charact eristic of CWR, the static implicit FEM program is selected. The models proposed in this study uses the commercial code DEFORM 3D to simulate the CWR process. T his is an implicit Lagrangian finite element code, which includes many new enhan cements functions. A new method of utilizing multiple processors using the MPI s tandard has been implemented. Automatic switching between the two different defo rmation solvers (Sparse Solver and Conjugate Gradient Solver) has also been impl emented in order to increase the speed of simulations. In this paper, all stages in CWR process are simulated to be able to closely understand and analyze the a ctual CWR process. For simulating all forming stages in CWR process, the dynam ic adaptive remeshing technology for tetrahedral solid elements was applied. T he stress distributions in cross section of forming workpiece are analyzed to in terpret fracture or rarefaction in the center of workpiece. Authors also analyze d the time-torque curve and the laws of load changing.展开更多
Based on the fact that 3-D model discretization by artificial could not always be successfully implemented especially for large-scaled problems when high accuracy and efficiency were required, a new adaptive multigrid...Based on the fact that 3-D model discretization by artificial could not always be successfully implemented especially for large-scaled problems when high accuracy and efficiency were required, a new adaptive multigrid finite element method was proposed. In this algorithm, a-posteriori error estimator was employed to generate adaptively refined mesh on a given initial mesh. On these iterative meshes, V-cycle based multigrid method was adopted to fast solve each linear equation with each initial iterative term interpolated from last mesh. With this error estimator, the unknowns were nearly optimally distributed on the final mesh which guaranteed the accuracy. The numerical results show that the multigrid solver is faster and more stable compared with ICCG solver. Meanwhile, the numerical results obtained from the final model discretization approximate the analytical solutions with maximal relative errors less than 1%, which remarkably validates this algorithm.展开更多
To investigate the effects of billet geometry on the cold precision forging process of a helical gear, six different billet geometries were designed utilizing the relief-hole principle. And the influences of the bille...To investigate the effects of billet geometry on the cold precision forging process of a helical gear, six different billet geometries were designed utilizing the relief-hole principle. And the influences of the billet geometry on the forming load and the deformation uniformity were analyzed by three-dimensional （3D） finite element method （FEM） under the commercial software DEFORM 3D. The billet geometry was optimized to meet lower forming load and better deformation uniformity requirement. Deformation mechanism was studied through the distribution of flow velocity field and effective strain field. The forging experiments of the helical gear were successfully performed using lead material as a model material under the same process conditions used in the FE simulations. The results show that the forming load decreases as the diameter of relief-hole do increases, but the effect of do on the deformation uniformity is very complicated. The forming load is lower and the deformation is more uniform when do is 10 mm.展开更多
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.展开更多
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.展开更多
Texture evolution and inhomogeneous deformation of polycrystalline Cu during uniaxial compression are investigated at the grain scale by combining crystal plasticity finite element method(CPFEM) with particle swarm op...Texture evolution and inhomogeneous deformation of polycrystalline Cu during uniaxial compression are investigated at the grain scale by combining crystal plasticity finite element method(CPFEM) with particle swarm optimization(PSO) algorithm. The texture-based representative volume element(TBRVE) is used in the crystal plasticity finite element model, where a given number of crystallographic orientations are obtained by means of discretizing the orientation distribution function(ODF) based on electron backscattered diffraction(EBSD) experiment data. Three-dimensional grains with different morphologies are generated on the basis of Voronoi tessellation. The PSO algorithm plays a significant role in identifying the material parameters and saving computational time. The macroscopic stress–strain curve is predicted based on CPFEM, where the simulation results are in good agreement with the experimental ones. Therefore, CPFEM is a powerful candidate for capturing the texture evolution and clarifying the inhomogeneous plastic deformation of polycrystalline Cu. The simulation results indicate that the <110> fiber texture is generated finally with the progression of plastic deformation. The inhomogeneous distribution of rotation angles lays the foundation for the inhomogeneous deformation of polycrystalline Cu in terms of grain scale.展开更多
文摘Design a precision electroplating mechanical structure for automobiles based on finite element analysis method and analyze its mechanical properties.Taking the automobile steering knuckle as the research object,ABAQUS parametric modeling technology is used to construct its three-dimensional geometric model,and geometric simplification is carried out.Two surface treatment processes,HK-35 zinc nickel alloy electroplating and pure zinc electroplating,were designed,and the influence of different coatings on the mechanical properties of steering knuckles was compared and analyzed through numerical simulation.At the same time,standard specimens were prepared for salt spray corrosion testing and scratch method combined strength testing to verify the numerical simulation results.The results showed that under emergency braking and composite working conditions,the peak Von Mises stress of the zinc nickel alloy coating was 119.85 MPa,which was lower than that of the pure zinc coating and the alkaline electroplated zinc layer.Its equivalent strain value was 652×10^(-6),which was lower than that of the pure zinc coating and the alkaline electroplated zinc layer.Experimental data confirms that zinc nickel alloy coatings exhibit significant advantages in stress distribution uniformity,strain performance,and load-bearing capacity in high stress zones.The salt spray corrosion test further indicates that the coating has superior corrosion resistance and coating substrate interface bonding strength,which can significantly improve the mechanical stability and long-term reliability of automotive precision electroplating mechanical structures.
基金Supported by Shanxi Province Natural Science Research(202203021212249)Special/Youth Foundation of Taiyuan University of Technology(2022QN101)+3 种基金National Natural Science Foundation of China(12301556)Research Project Supported by Shanxi Scholarship Council of China(2021-029)International Cooperation Base and Platform Project of Shanxi Province(202104041101019)Basic Research Plan of Shanxi Province(202203021211129)。
文摘To enhance the computational efficiency of spatio-temporally discretized phase-field models,we present a high-speed solver specifically designed for the Poisson equations,a component frequently used in the numerical computation of such models.This efficient solver employs algorithms based on discrete cosine transformations(DCT)or discrete sine transformations(DST)and is not restricted by any spatio-temporal schemes.Our proposed methodology is appropriate for a variety of phase-field models and is especially efficient when combined with flow field systems.Meanwhile,this study has conducted an extensive numerical comparison and found that employing DCT and DST techniques not only yields results comparable to those obtained via the Multigrid(MG)method,a conventional approach used in the resolution of the Poisson equations,but also enhances computational efficiency by over 90%.
文摘Recent advancements in additive manufacturing(AM)have revolutionized the design and production of complex engineering microstructures.Despite these advancements,their mathematical modeling and computational analysis remain significant challenges.This research aims to develop an effective computational method for analyzing the free vibration of functionally graded(FG)microplates under high temperatures while resting on a Pasternak foundation(PF).This formulation leverages a new thirdorder shear deformation theory(new TSDT)for improved accuracy without requiring shear correction factors.Additionally,the modified couple stress theory(MCST)is incorporated to account for sizedependent effects in microplates.The PF is characterized by two parameters including spring stiffness(k_(w))and shear layer stiffness(k_(s)).To validate the proposed method,the results obtained are compared with those of the existing literature.Furthermore,numerical examples explore the influence of various factors on the high-temperature free vibration of FG microplates.These factors include the length scale parameter(l),geometric dimensions,material properties,and the presence of the elastic foundation.The findings significantly enhance our comprehension of the free vibration of FG microplates in high thermal environments.In addition,the findings significantly enhance our comprehension of the free vibration of FG microplates in high thermal environments.In addition,the results of this research will have great potential in military and defense applications such as components of submarines,fighter aircraft,and missiles.
文摘At the first time,the finite element method was used to model and analyze the free vibration and transient response of non-uniform thickness bi-directional functionally graded sandwich porous(BFGSP)skew plates.The whole BFGSP skew-plates is placed on a variable visco-elastic foundation(VEF)in the hygro-thermal environment and subjected to the blast load.The BFGSP skew-plate thickness is permitted to vary non-linearly over both the length and width of the skew-plate,thereby faithfully representing the real behavior of the structure itself.The analysis is based on a four-node planar quadrilateral element with eight degrees of freedom per node,which is approximated using Lagrange Q_(4)shape function and C^(1)level non-conforming Hermite shape function based on refined higher-order shear deformation plate theory.The forced vibration parameters of the non-uniform thickness BFGSP skew-plate are fully determined using Hamilton's principle and the Newmark-βdirect integration technique.Accuracy of the calculation program is validated by comparing its numerical results with those from reputable sources.Furthermore,a thorough assessment is conducted to determine the impact of various parameters on the free and forced vibration responses of the non-uniform thickness BFGSP skew-plate.The findings of the paper may be used in the development of civil and military structures in situations that are prone to exceptional forces,such as explosions and impacts load.
基金supported by the National Natural Science Foundation of China (61101181)
文摘The finite set statistics provides a mathematically rig- orous single target Bayesian filter （STBF） for tracking a target that generates multiple measurements in a cluttered environment. However, the target maneuvers may lead to the degraded track- ing performance and even track loss when using the STBF. The multiple-model technique has been generally considered as the mainstream approach to maneuvering the target tracking. Moti- vated by the above observations, we propose the multiple-model extension of the original STBF, called MM-STBF, to accommodate the possible target maneuvering behavior. Since the derived MM- STBF involve multiple integrals with no closed form in general, a sequential Monte Carlo implementation （for generic models） and a Gaussian mixture implementation （for linear Gaussian models） are presented. Simulation results show that the proposed MM-STBF outperforms the STBF in terms of root mean squared errors of dynamic state estimates.
基金Project(61174132) supported by the National Natural Science Foundation of ChinaProject(09JJ6098) supported by the Natural Science Foundation of Hunan Province,China
文摘Systolic implementation of multiplication over GF(2m) is usually very efficient in area-time complexity,but its latency is usually very large.Thus,two low latency systolic multipliers over GF(2m) based on general irreducible polynomials and irreducible pentanomials are presented.First,a signal flow graph(SFG) is used to represent the algorithm for multiplication over GF(2m).Then,the two low latency systolic structures for multiplications over GF(2m) based on general irreducible polynomials and pentanomials are presented from the SFG by suitable cut-set retiming,respectively.Analysis indicates that the proposed two low latency designs involve at least one-third less area-delay product when compared with the existing designs,To the authors' knowledge,the time-complexity of the structures is the lowest found in literature for systolic GF(2m) multipliers based on general irreducible polynomials and pentanomials.The proposed low latency designs are regular and modular,and therefore they are suitable for many time critical applications.
基金supported by the National Natural Science Foundation of China(61174094)the Tianjin Natural Science Foundation of China(13JCYBJC1740014JCYBJC18700)
文摘Using semi-tensor product of matrices, the controllability and stabilizability of finite automata are investigated. By expressing the states, inputs, and outputs in vector forms, the transition and output functions are represented in matrix forms.Based on this algebraic description, a necessary and sufficient condition is proposed for checking whether a state is controllable to another one. By this condition, an algorithm is established to find all the control sequences of an arbitrary length. Moreover, the stabilizability of finite automata is considered, and a necessary and sufficient condition is presented to examine whether some states can be stabilized. Finally, the study of illustrative examples verifies the correctness of the presented results/algorithms.
基金supported by the National Natural Science Foundation of China(51679201)
文摘The impact angle control over guidance(IACG) law against stationary targets is proposed by using feedback linearization control(FLC) and finite time control(FTC). First, this paper transforms the kinematics equation of guidance systems into the feedbackable linearization model, in which the guidance law is obtained without considering the impact angle via FLC. For the purpose of the line of sight(LOS) angle and its rate converging to the desired values, the second-order LOS angle is considered as a double-integral system. Then, this paper utilizes FTC to design a controller which can guarantee the states of the double-integral system converging to the desired values. Numerical simulation illustrates the performance of the IACG, in contrast to the existing guidance law.
基金Project(51105287) supported by the National Natural Science Foundation of ChinaProject(2012BAA08003) supported by the Key Research and Development Project of New Products and New Technologies of Hubei Province, ChinaProject(2011-P05) supported by the State Key Laboratory of Materials Processing and Die & Mould Technology, Huazhong University of Science and Technology,China
文摘The aim of this work is to propose a 3D FE model of a theoretical assembling straight bevel gear pair to analyze the contact fatigue on the tooth surface and the bending fatigue in the tooth root. Based on the cumulative fatigue criterion and the stress-life equation, the key meshing states of the gear pair were investigated for the contact fatigue and the bending fatigue. Then, the reliability of the proposed model was proved by comparing the calculation result with the simulation result. Further study was performed to analyze the variation of the contact fatigue stress and the bending fatigue stress under different loads. Furthermore, the roles of the driving pinion and the driven gear pair were evaluated in the fatigue life of the straight bevel gear pair and the main fatigue failure mode was determined for the significant gear. The results show that the fatigue failure of the driving pinion is the main fatigue failure for the straight bevel gear pair and the bending fatigue failure is the main fatigue failure for the driving pinion.
基金Project(10974115) supported by the National Natural Science Foundation of China
文摘Facing the problems lack of considering the non-uniform distribution of the static bias magnetic field and computing the panicle displacements in the simulation model of electromagnetic acoustic transducer （EMAT）, a multi-field coupled model was established and the finite element method （FEM） was presented to calculate the entire transduction process. The multi-field coupled model included the static magnetic field, pulsed eddy current field and mechanical field. The FEM equations of the three fields were derived by Garlerkin FEM method. Thus, the entire transduction process of the EMAT was calculated through sequentially coupling the three fields. The transduction process of a Lamb wave EMAT was calculated according to the present model and method. The results show that, by the present method, it is valid to calculate the particle displacement under the given excitation signal and non-uniformly distributed static magnetic field. Calculation error will be brought about if the non-uniform distribution of the static bias magnetic field is neglected.
基金National Natural Science Foundation of China (49894190-024) and Geophysical Prospecting Key Laboratory Foun- dation of China National Petroleum Corporation.
文摘To the most of velocity fields, the traveltimes of the first break that seismic waves propagate along rays can be computed on a 2-D or 3-D numerical grid by finite-difference extrapolation. Under ensuring accuracy, to improve calculating efficiency and adaptability, the calculation method of first-arrival traveltime of finite-difference is de- rived based on any rectangular grid and a local plane wavefront approximation. In addition, head waves and scat- tering waves are properly treated and shadow and caustic zones cannot be encountered, which appear in traditional ray-tracing. The testes of two simple models and the complex Marmousi model show that the method has higher accuracy and adaptability to complex structure with strong vertical and lateral velocity variation, and Kirchhoff prestack depth migration based on this method can basically achieve the position imaging effects of wave equation prestack depth migration in major structures and targets. Because of not taking account of the later arrivals energy, the effect of its amplitude preservation is worse than that by wave equation method, but its computing efficiency is higher than that by total Green′s function method and wave equation method.
文摘Cross-wedge rolling (CWR) is a metal process of ro ta ry forming. To produce a part, one cylindrical billet should be placed between t wo counterrotating and wedge-shape dies, which move tangentially relative each other. The billet suffers plastic deformation (essentially, localized compressio n) during its rotation between the rotating dies. Compared to other numerical si mulation methods, the finite element method (FEM) has advantages in solving gene ral problems with complex shapes of the formed parts. In cross-wedge rolling, t here are four stages in the workpiece deformation process, namely knifing, guidi ng, stretching and sizing stage. It is time-consuming and expensive to design t he CWR process by trial and error method. The application of numerical simul ation for the CWR process will help engineers to efficiently improve the process development. Tselikov, Hayama, Jain and Kobayashi, and Higashimo applied the sl ip-line theory in study of CWR process analysis. Zb.pater studied CWR process i ncluding upsetting by upper-bound method. The above numerical simulation were b ased on the two-dimensional plain-strain assumption ignored the metal flow in workpiece axial direction. Therefore, the complex three-dimensional stress and deformation involved in CWR processes were not presented. Compared to other nume rical simulation methods, the finite element method (FEM) has advantages in solv ing general problems with complex shapes of the formed parts. As yet, a few 3-D finite element simulation studies on CWR process have been reported in literatu res. In this paper, the process of cross wedge rolling (CWR) has been simulated and analyzed by 3D rigid-plastic finite element method. Considering the charact eristic of CWR, the static implicit FEM program is selected. The models proposed in this study uses the commercial code DEFORM 3D to simulate the CWR process. T his is an implicit Lagrangian finite element code, which includes many new enhan cements functions. A new method of utilizing multiple processors using the MPI s tandard has been implemented. Automatic switching between the two different defo rmation solvers (Sparse Solver and Conjugate Gradient Solver) has also been impl emented in order to increase the speed of simulations. In this paper, all stages in CWR process are simulated to be able to closely understand and analyze the a ctual CWR process. For simulating all forming stages in CWR process, the dynam ic adaptive remeshing technology for tetrahedral solid elements was applied. T he stress distributions in cross section of forming workpiece are analyzed to in terpret fracture or rarefaction in the center of workpiece. Authors also analyze d the time-torque curve and the laws of load changing.
基金Projects(2006AA06Z105, 2007AA06Z134) supported by the National High-Tech Research and Development Program of ChinaProjects(2007, 2008) supported by China Scholarship Council (CSC)
文摘Based on the fact that 3-D model discretization by artificial could not always be successfully implemented especially for large-scaled problems when high accuracy and efficiency were required, a new adaptive multigrid finite element method was proposed. In this algorithm, a-posteriori error estimator was employed to generate adaptively refined mesh on a given initial mesh. On these iterative meshes, V-cycle based multigrid method was adopted to fast solve each linear equation with each initial iterative term interpolated from last mesh. With this error estimator, the unknowns were nearly optimally distributed on the final mesh which guaranteed the accuracy. The numerical results show that the multigrid solver is faster and more stable compared with ICCG solver. Meanwhile, the numerical results obtained from the final model discretization approximate the analytical solutions with maximal relative errors less than 1%, which remarkably validates this algorithm.
基金Project(51105287)supported by the National Natural Science Foundation of China
文摘To investigate the effects of billet geometry on the cold precision forging process of a helical gear, six different billet geometries were designed utilizing the relief-hole principle. And the influences of the billet geometry on the forming load and the deformation uniformity were analyzed by three-dimensional （3D） finite element method （FEM） under the commercial software DEFORM 3D. The billet geometry was optimized to meet lower forming load and better deformation uniformity requirement. Deformation mechanism was studied through the distribution of flow velocity field and effective strain field. The forging experiments of the helical gear were successfully performed using lead material as a model material under the same process conditions used in the FE simulations. The results show that the forming load decreases as the diameter of relief-hole do increases, but the effect of do on the deformation uniformity is very complicated. The forming load is lower and the deformation is more uniform when do is 10 mm.
基金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(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.
基金Projects(51305091,51475101) supported by the National Natural Science Foundation of ChinaProject(20132304120025) supported by Specialized Research Fund for the Doctoral Program of Higher Education,China
文摘Texture evolution and inhomogeneous deformation of polycrystalline Cu during uniaxial compression are investigated at the grain scale by combining crystal plasticity finite element method(CPFEM) with particle swarm optimization(PSO) algorithm. The texture-based representative volume element(TBRVE) is used in the crystal plasticity finite element model, where a given number of crystallographic orientations are obtained by means of discretizing the orientation distribution function(ODF) based on electron backscattered diffraction(EBSD) experiment data. Three-dimensional grains with different morphologies are generated on the basis of Voronoi tessellation. The PSO algorithm plays a significant role in identifying the material parameters and saving computational time. The macroscopic stress–strain curve is predicted based on CPFEM, where the simulation results are in good agreement with the experimental ones. Therefore, CPFEM is a powerful candidate for capturing the texture evolution and clarifying the inhomogeneous plastic deformation of polycrystalline Cu. The simulation results indicate that the <110> fiber texture is generated finally with the progression of plastic deformation. The inhomogeneous distribution of rotation angles lays the foundation for the inhomogeneous deformation of polycrystalline Cu in terms of grain scale.
