Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and emb...Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.展开更多
To study the anti-explosion protection effect of polyurea coating on reinforced concrete box girder,two segmental girder specimens were made at a scale of 1:3,numbered as G(without polyurea coating)and PCG(with polyur...To study the anti-explosion protection effect of polyurea coating on reinforced concrete box girder,two segmental girder specimens were made at a scale of 1:3,numbered as G(without polyurea coating)and PCG(with polyurea coating).The failure characteristics and dynamic responses of the specimens were compared through conducting explosion tests.The reliability of the numerical simulation using LS-DYNA software was verified by the test results.The effects of different scaled distances,reinforcement ratios,concrete strengths,coating thicknesses and ranges of polyurea were studied.The results show that the polyurea coating can effectively enhance the anti-explosion performance of the girder.The top plate of middle chamber in specimen G forms an elliptical penetrating hole,while that in specimen PCG only shows a very slight local dent.The peak vertical displacement and residual displacement of PCG decrease by 74.8% and 73.7%,respectively,compared with those of specimen G.For the TNT explosion with small equivalent,the polyurea coating has a more significant protective effect on reducing the size of fracture.With the increase of TNT equivalent,the protective effect of polyurea on reducing girder displacement becomes more significant.The optimal reinforcement ratio,concrete strength,thickness and range of polyurea coating were also drawn.展开更多
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.展开更多
A class of hybrid algorithms of real-time simulation based on evaluation of non-integerstep right-hand side function are presented in this paper. And some results of the convergence and stability of the algorithms are...A class of hybrid algorithms of real-time simulation based on evaluation of non-integerstep right-hand side function are presented in this paper. And some results of the convergence and stability of the algorithms are given. Using the class of algorithms, evaluation for the right-hand side function is needed once in every integration-step. Moreover, comparing with the other methods with the same amount of work, their numerical stability regions are larger and the method errors are smaller, and the numerical experiments show that the algorithms are very effective.展开更多
In this paper a class of real-time parallel modified Rosenbrock methods of numerical simulation is constructed for stiff dynamic systems on a multiprocessor system, and convergence and numerical stability of these met...In this paper a class of real-time parallel modified Rosenbrock methods of numerical simulation is constructed for stiff dynamic systems on a multiprocessor system, and convergence and numerical stability of these methods are discussed. A-stable real-time parallel formula of two-stage third-order and A(α)-stable real-time parallel formula with o ≈ 89.96° of three-stage fourth-order are particularly given. The numerical simulation experiments in parallel environment show that the class of algorithms is efficient and applicable, with greater speedup.展开更多
In this paper, a mathematical model of real-time simulation is given, and the problem of convergence on real-time Runge-Kutta algorithms is analysed. At last a theorem on the relation between the order of compensation...In this paper, a mathematical model of real-time simulation is given, and the problem of convergence on real-time Runge-Kutta algorithms is analysed. At last a theorem on the relation between the order of compensation and the convergent order of real-time algorithm is proved.展开更多
A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and rela...A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and relaxing the dependence of stage value computation on sampling time of input function, a class of modified real-time parallel combined methods are constructed. Stiff and nonstiff subsystems are solved in parallel on a parallel computer by a parallel Rosen-brock method and a parallel RK method, respectively. Their order conditions and convergences are discussed. The numerical simulation experiments show that this class of modified algorithms can get high speed and efficiency.展开更多
为了探寻碰撞参数变化对大豆种子应力分布及形变位移的影响规律,利用Solid Works Simulation对大豆种子碰撞过程进行了模拟分析,获得了大豆种子碰撞过程的应力分布与位移形变及其随时间的变化,并以碰撞速度及接触半径为试验因素,大豆种...为了探寻碰撞参数变化对大豆种子应力分布及形变位移的影响规律,利用Solid Works Simulation对大豆种子碰撞过程进行了模拟分析,获得了大豆种子碰撞过程的应力分布与位移形变及其随时间的变化,并以碰撞速度及接触半径为试验因素,大豆种子碰撞过程的最大应力及最大位移为试验指标,采用正交试验方法,分析参数变化对指标的影响。试验结果表明:对最大应力指标,两因素影响极显著;对最大位移,因素接触半径影响极显著,碰撞速度影响显著。且两指标随着碰撞速度的增大而减小,随着接触半径的增大而先减小而后趋势减缓。研究结果为大豆种子脱粒机的仿真设计和产品研发提供了参考依据。展开更多
The discrete element method (DEM) was used to simulate the flow characteristic and strength characteristic of the conditioned sands in the earth pressure balance (EPB) tunneling. In the laboratory the conditioned sand...The discrete element method (DEM) was used to simulate the flow characteristic and strength characteristic of the conditioned sands in the earth pressure balance (EPB) tunneling. In the laboratory the conditioned sands were reproduced and the slump test and the direct shear test of the conditioned sands were implemented. A DEM equivalent model that can simulate the macro mechanical characteristic of the conditioned sands was proposed,and the corresponding numerical models of the slump test and the shear test were established. By selecting proper DEM model parameters,the errors of the slump values between the simulation results and the test results are in the range of 10.3%-14.3%,and the error of the curves between the shear displacement and the shear stress calculated with the DEM simulation is 4.68%-16.5% compared with that of the laboratory direct shear test. This illustrates that the proposed DEM equivalent model can approximately simulate the mechanical characteristics of the conditioned sands,which provides the basis for further simulation of the interaction between the conditioned soil and the chamber pressure system of the EPB machine.展开更多
We proposed an enhanced image binarization method.The proposed solution incorporates Monte-Carlo simulation into the local thresholding method to address the essential issues with respect to complex background,spatial...We proposed an enhanced image binarization method.The proposed solution incorporates Monte-Carlo simulation into the local thresholding method to address the essential issues with respect to complex background,spatially-changed illumination,and uncertainties of block size in traditional method.The proposed method first partitions the image into square blocks that reflect local characteristics of the image.After image partitioning,each block is binarized using Otsu’s thresholding method.To minimize the influence of the block size and the boundary effect,we incorporate Monte-Carlo simulation into the binarization algorithm.Iterative calculation with varying block sizes during Monte-Carlo simulation generates a probability map,which illustrates the probability of each pixel classified as foreground.By setting a probability threshold,and separating foreground and background of the source image,the final binary image can be obtained.The described method has been tested by benchmark tests.Results demonstrate that the proposed method performs well in dealing with the complex background and illumination condition.展开更多
To simulate explosion fragments, it is necessary to predict many variables such as fragment velocity, size distribution and projection angle. For active protection systems these predictions need to be made very quickl...To simulate explosion fragments, it is necessary to predict many variables such as fragment velocity, size distribution and projection angle. For active protection systems these predictions need to be made very quickly, before the weapon hits the target. Fast predictions also need to be made in real time simulations when the impact of many different computer models need to be assessed. The research presented in this paper focuses on creating a fast and accurate estimate of one of these variables - the initial fragment velocity. The Gurney equation was the first equation to calculate initial fragment velocity. This equation, sometimes with modifications, is still used today where finite element analysis or complex mathematical approaches are considered too computationally expensive. This paper enhances and improves Breech’s two-dimensional Gurney equation using available empirical data and the principals of conservation of momentum and energy. The results are computationally quick, providing improved accuracy for estimating initial fragment velocity. This will allow the developed model to be available for real-time simulation and fast computation, with improved accuracy when compared to existing approaches.展开更多
In this paper,we proposed a new design scheme of real time electronic countermeasure simulation system.This paper mainly expounds the modeling and realization methods of each part of the whole simulation system,and th...In this paper,we proposed a new design scheme of real time electronic countermeasure simulation system.This paper mainly expounds the modeling and realization methods of each part of the whole simulation system,and the real-time property of system has been lucubrated.Electronic countermeasure simulation system is the key part of military training of individuals;it can also allow the realistic evaluation of the performance of modern equipments and techniques.As a proof,we have drawn up a series of simulation scenarios,such as radar electronic reconnaissance simulation scenario,to explain the feasibility and the superiority of our modeling scheme in this paper.展开更多
In this study,the micro-failure process and failure mechanism of a typical brittle rock under uniaxial compression are investigated via continuous real-time measurement of wave velocities.The experimental results indi...In this study,the micro-failure process and failure mechanism of a typical brittle rock under uniaxial compression are investigated via continuous real-time measurement of wave velocities.The experimental results indicate that the evolutions of wave velocities became progressively anisotropic under uniaxial loading due to the direction-dependent development of micro-damage.A wave velocity model considering the inner anisotropic crack evolution is proposed to accurately describe the variations of wave velocities during uniaxial compression testing.Based on which,the effective elastic parameters are inferred by a transverse isotropic constitutive model,and the evolutions of the crack density are inversed using a self-consistent damage model.It is found that the propagation of axial cracks dominates the failure process of brittle rock under uniaxial loading and oblique shear cracks develop with the appearance of macrocrack.展开更多
This paper discusses some techniques for treating discontinuities of the right-hand functions of ordinary differential equations (ODEs) in real-time digital simulation (RTDS). The numericalexperiments show that these ...This paper discusses some techniques for treating discontinuities of the right-hand functions of ordinary differential equations (ODEs) in real-time digital simulation (RTDS). The numericalexperiments show that these techniques are effective.展开更多
文摘Modeling technology has been introduced into software testing field. However, how to carry through the testing modeling effectively is still a difficulty. Based on combination of simulation modeling technology and embedded real-time software testing method, the process of simulation testing modeling is studied first. And then, the supporting environment of simulation testing modeling is put forward. Furthermore, an approach of embedded real-time software simulation testing modeling including modeling of cross-linked equipments of system under testing （SUT）, test case, testing scheduling, and testing system service is brought forward. Finally, the formalized description and execution system of testing models are given, with which we can realize real-time, closed loop, mad automated system testing for embedded real-time software.
基金the Natural Science Foundation of Jiangsu Province(Grant No.BK20200494)China Postdoctoral Science Foundation(Grant No.2021M701725)+3 种基金Jiangsu Postdoctoral Research Funding Program(Grant No.2021K522C)Fundamental Research Funds for the Central Universities(Grant No.30919011246)National Natural Science Foundation of China(Grant No.52278188)Natural Science Foundation of Jiangsu Province(Grant No.BK20211196)。
文摘To study the anti-explosion protection effect of polyurea coating on reinforced concrete box girder,two segmental girder specimens were made at a scale of 1:3,numbered as G(without polyurea coating)and PCG(with polyurea coating).The failure characteristics and dynamic responses of the specimens were compared through conducting explosion tests.The reliability of the numerical simulation using LS-DYNA software was verified by the test results.The effects of different scaled distances,reinforcement ratios,concrete strengths,coating thicknesses and ranges of polyurea were studied.The results show that the polyurea coating can effectively enhance the anti-explosion performance of the girder.The top plate of middle chamber in specimen G forms an elliptical penetrating hole,while that in specimen PCG only shows a very slight local dent.The peak vertical displacement and residual displacement of PCG decrease by 74.8% and 73.7%,respectively,compared with those of specimen G.For the TNT explosion with small equivalent,the polyurea coating has a more significant protective effect on reducing the size of fracture.With the increase of TNT equivalent,the protective effect of polyurea on reducing girder displacement becomes more significant.The optimal reinforcement ratio,concrete strength,thickness and range of polyurea coating were also drawn.
基金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.
文摘A class of hybrid algorithms of real-time simulation based on evaluation of non-integerstep right-hand side function are presented in this paper. And some results of the convergence and stability of the algorithms are given. Using the class of algorithms, evaluation for the right-hand side function is needed once in every integration-step. Moreover, comparing with the other methods with the same amount of work, their numerical stability regions are larger and the method errors are smaller, and the numerical experiments show that the algorithms are very effective.
基金This project was supported by the National Natural Science Foundation of China (No. 19871080).
文摘In this paper a class of real-time parallel modified Rosenbrock methods of numerical simulation is constructed for stiff dynamic systems on a multiprocessor system, and convergence and numerical stability of these methods are discussed. A-stable real-time parallel formula of two-stage third-order and A(α)-stable real-time parallel formula with o ≈ 89.96° of three-stage fourth-order are particularly given. The numerical simulation experiments in parallel environment show that the class of algorithms is efficient and applicable, with greater speedup.
文摘In this paper, a mathematical model of real-time simulation is given, and the problem of convergence on real-time Runge-Kutta algorithms is analysed. At last a theorem on the relation between the order of compensation and the convergent order of real-time algorithm is proved.
基金This project was supported by the National Natural Science Foundation of China (19871080).
文摘A class of modified parallel combined methods of real-time numerical simulation are presented for a stiff dynamic system. By combining the parallelism across the system with the parallelism across the method, and relaxing the dependence of stage value computation on sampling time of input function, a class of modified real-time parallel combined methods are constructed. Stiff and nonstiff subsystems are solved in parallel on a parallel computer by a parallel Rosen-brock method and a parallel RK method, respectively. Their order conditions and convergences are discussed. The numerical simulation experiments show that this class of modified algorithms can get high speed and efficiency.
文摘为了探寻碰撞参数变化对大豆种子应力分布及形变位移的影响规律,利用Solid Works Simulation对大豆种子碰撞过程进行了模拟分析,获得了大豆种子碰撞过程的应力分布与位移形变及其随时间的变化,并以碰撞速度及接触半径为试验因素,大豆种子碰撞过程的最大应力及最大位移为试验指标,采用正交试验方法,分析参数变化对指标的影响。试验结果表明:对最大应力指标,两因素影响极显著;对最大位移,因素接触半径影响极显著,碰撞速度影响显著。且两指标随着碰撞速度的增大而减小,随着接触半径的增大而先减小而后趋势减缓。研究结果为大豆种子脱粒机的仿真设计和产品研发提供了参考依据。
基金Project (2007CB714006) supported by the National Basic Research Program of China
文摘The discrete element method (DEM) was used to simulate the flow characteristic and strength characteristic of the conditioned sands in the earth pressure balance (EPB) tunneling. In the laboratory the conditioned sands were reproduced and the slump test and the direct shear test of the conditioned sands were implemented. A DEM equivalent model that can simulate the macro mechanical characteristic of the conditioned sands was proposed,and the corresponding numerical models of the slump test and the shear test were established. By selecting proper DEM model parameters,the errors of the slump values between the simulation results and the test results are in the range of 10.3%-14.3%,and the error of the curves between the shear displacement and the shear stress calculated with the DEM simulation is 4.68%-16.5% compared with that of the laboratory direct shear test. This illustrates that the proposed DEM equivalent model can approximately simulate the mechanical characteristics of the conditioned sands,which provides the basis for further simulation of the interaction between the conditioned soil and the chamber pressure system of the EPB machine.
基金Project(2018YFC1505401)supported by the National Key R&D Program of ChinaProject(41702310)supported by the National Natural Science Foundation of China+1 种基金Project(SKLGP2017K014)supported by the Foundation of State Key Laboratory of Geohazard Prevention and Geo-environment Protection,ChinaProject(2018JJ3644)supported by the Natural Science Foundation of Hunan Province,China
文摘We proposed an enhanced image binarization method.The proposed solution incorporates Monte-Carlo simulation into the local thresholding method to address the essential issues with respect to complex background,spatially-changed illumination,and uncertainties of block size in traditional method.The proposed method first partitions the image into square blocks that reflect local characteristics of the image.After image partitioning,each block is binarized using Otsu’s thresholding method.To minimize the influence of the block size and the boundary effect,we incorporate Monte-Carlo simulation into the binarization algorithm.Iterative calculation with varying block sizes during Monte-Carlo simulation generates a probability map,which illustrates the probability of each pixel classified as foreground.By setting a probability threshold,and separating foreground and background of the source image,the final binary image can be obtained.The described method has been tested by benchmark tests.Results demonstrate that the proposed method performs well in dealing with the complex background and illumination condition.
文摘To simulate explosion fragments, it is necessary to predict many variables such as fragment velocity, size distribution and projection angle. For active protection systems these predictions need to be made very quickly, before the weapon hits the target. Fast predictions also need to be made in real time simulations when the impact of many different computer models need to be assessed. The research presented in this paper focuses on creating a fast and accurate estimate of one of these variables - the initial fragment velocity. The Gurney equation was the first equation to calculate initial fragment velocity. This equation, sometimes with modifications, is still used today where finite element analysis or complex mathematical approaches are considered too computationally expensive. This paper enhances and improves Breech’s two-dimensional Gurney equation using available empirical data and the principals of conservation of momentum and energy. The results are computationally quick, providing improved accuracy for estimating initial fragment velocity. This will allow the developed model to be available for real-time simulation and fast computation, with improved accuracy when compared to existing approaches.
基金supported by Scientific Research Program Funded by Shaanxi Provincial Education Department(Program No.18JK0286)Weinan Science and Technology Initiatives Fund program(Program No.2019JCYJ-2-6)+2 种基金Teaching Reform Project of Weinan Normal University(Program No.JG201704)Industry-University-Cooperation Education Project of the Ministry of Education of China(Program No.201702030020,201801082110)Weinan Normal University's Characteristic Discipline Construction Project Electronic Information(Computer Technology)Master's Degree Point Construction Project(18TSXK06)。
文摘In this paper,we proposed a new design scheme of real time electronic countermeasure simulation system.This paper mainly expounds the modeling and realization methods of each part of the whole simulation system,and the real-time property of system has been lucubrated.Electronic countermeasure simulation system is the key part of military training of individuals;it can also allow the realistic evaluation of the performance of modern equipments and techniques.As a proof,we have drawn up a series of simulation scenarios,such as radar electronic reconnaissance simulation scenario,to explain the feasibility and the superiority of our modeling scheme in this paper.
基金Projects(41502283,41772309)supported by the National Natural Science Foundation of ChinaProject(2017YFC1501302)supported by the National Key Research and Development Program of ChinaProject(2017ACA102)supported by the Major Program of Technological Innovation of Hubei Province,China。
文摘In this study,the micro-failure process and failure mechanism of a typical brittle rock under uniaxial compression are investigated via continuous real-time measurement of wave velocities.The experimental results indicate that the evolutions of wave velocities became progressively anisotropic under uniaxial loading due to the direction-dependent development of micro-damage.A wave velocity model considering the inner anisotropic crack evolution is proposed to accurately describe the variations of wave velocities during uniaxial compression testing.Based on which,the effective elastic parameters are inferred by a transverse isotropic constitutive model,and the evolutions of the crack density are inversed using a self-consistent damage model.It is found that the propagation of axial cracks dominates the failure process of brittle rock under uniaxial loading and oblique shear cracks develop with the appearance of macrocrack.
文摘This paper discusses some techniques for treating discontinuities of the right-hand functions of ordinary differential equations (ODEs) in real-time digital simulation (RTDS). The numericalexperiments show that these techniques are effective.
