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.展开更多
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.展开更多
The paper describes the feasibility and method of the application of virtual reality technology to grinding process, and introduces the modeling method of object entity in the environment of virtual reality. The simul...The paper describes the feasibility and method of the application of virtual reality technology to grinding process, and introduces the modeling method of object entity in the environment of virtual reality. The simulation process of grinding wheels and ground surface roughness is discussed, and the computation program system of numerical simulation is compiled with Visual C++ programming language. At the same time, the three-dimensional simulation models of grinding wheels and ground surface roughness are made with OpenGL tool. The choice of grinding wheels, the forecast of ground surface quality and some simulation results can be realized by interactively inputting grinding parameters. The paper applies virtual reality technology to grinding process,makes the model of virtual grinding wheel and simulates the grinding process. The roughness of ground surface is showed in three-dimensional images, and therefore the grinding technology is studied. Computer simulation can not only be used as a shortcut to analyze and research the grinding process, but also increase the research scope and content. The virtual reality technology used in the paper is an advanced visualized simulation with interaction. The surface roughness Ra on simulated ground workpiece can be calculated by the arithmetic average of contour warp absolute value in sampling length of simulated ground workpiece. The parameters of virtual wheel and simulated grinding process can be changed by interaction input, so the simulated results in the desired grinding condition are gained. The effect of each parameter to ground surface can be analyzed by comparing the grinding results in different condition.展开更多
This paper presents the results of a concept capability demonstration pilot study, the aim of which was to investigate how inexpensive gaming software and hardware technologies could be exploited in the development an...This paper presents the results of a concept capability demonstration pilot study, the aim of which was to investigate how inexpensive gaming software and hardware technologies could be exploited in the development and evaluation of a simulator prototype for training Royal Navy mine clearance divers, specifically focusing on the detection and accurate reporting of the location and condition of underwater ordnance. The simulator was constructed using the Blender open source 3D modelling toolkit and game engine, and featured not only an interactive 3D editor for underwater scenario generation by instructors, but also a real-time, 3D After Action Review(AAR) system for formative assessment and feedback.The simulated scenarios and AAR architecture were based on early human factors observations and briefings conducted at the UK's Defence Diving School(DDS), an organisation that provides basic military diving training for all Royal Navy and Army(Royal Engineers) divers. An experimental pilot study was undertaken to determine whether or not basic navigational and mine detection components of diver performance could be improved as a result of exposing participants to the AAR system, delivered between simulated diving scenarios. The results suggest that the provision of AAR was accompanied by significant performance improvements in the positive identification of simulated underwater ordnance(in contrast to non-ordnance objects) and on participants' description of their location, their immediate in-water or seabed context and their structural condition. Only marginal improvements were found with participants' navigational performance in terms of their deviation accuracies from a pre-programmed expert search path. Overall, this project contributes to the growing corpus of evidence supporting the development of simulators that demonstrate the value of exploiting open source gaming software and the significance of adopting established games design techniques in delivering highly engaging scenarios to defence training communities.展开更多
To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation,...To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.展开更多
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.展开更多
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.展开更多
This paper presents partially asynchronous parallel simulation of continuous-system (PAPSoCS) and some approaches to the issues of its implementation on a multicomputer system. To guarantee the simulation results cor...This paper presents partially asynchronous parallel simulation of continuous-system (PAPSoCS) and some approaches to the issues of its implementation on a multicomputer system. To guarantee the simulation results correct and speedup the simulation, the scheme for efficient PAPSoCS is proposed and the virtual topology star is constructed to match the path of message passing for solving algorithm-architecture adequation problem. Under the circumstances that messages frequently passed inter-processor are much shorter, typically within several 4 bytes, asynchronous communication mode is employed to reduce the communication ratio. Experiment results show that asynchronous parallel simulation has much higher efficiency than its synchronous counterpart.展开更多
文摘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.
文摘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.
文摘The paper describes the feasibility and method of the application of virtual reality technology to grinding process, and introduces the modeling method of object entity in the environment of virtual reality. The simulation process of grinding wheels and ground surface roughness is discussed, and the computation program system of numerical simulation is compiled with Visual C++ programming language. At the same time, the three-dimensional simulation models of grinding wheels and ground surface roughness are made with OpenGL tool. The choice of grinding wheels, the forecast of ground surface quality and some simulation results can be realized by interactively inputting grinding parameters. The paper applies virtual reality technology to grinding process,makes the model of virtual grinding wheel and simulates the grinding process. The roughness of ground surface is showed in three-dimensional images, and therefore the grinding technology is studied. Computer simulation can not only be used as a shortcut to analyze and research the grinding process, but also increase the research scope and content. The virtual reality technology used in the paper is an advanced visualized simulation with interaction. The surface roughness Ra on simulated ground workpiece can be calculated by the arithmetic average of contour warp absolute value in sampling length of simulated ground workpiece. The parameters of virtual wheel and simulated grinding process can be changed by interaction input, so the simulated results in the desired grinding condition are gained. The effect of each parameter to ground surface can be analyzed by comparing the grinding results in different condition.
基金undertaken as part of a University of Birmingham Year 4(MEng)Final Year Project,with funding made available from internal resources at the University of Birmingham’s School of Electronic,Electrical&Systems Engineering
文摘This paper presents the results of a concept capability demonstration pilot study, the aim of which was to investigate how inexpensive gaming software and hardware technologies could be exploited in the development and evaluation of a simulator prototype for training Royal Navy mine clearance divers, specifically focusing on the detection and accurate reporting of the location and condition of underwater ordnance. The simulator was constructed using the Blender open source 3D modelling toolkit and game engine, and featured not only an interactive 3D editor for underwater scenario generation by instructors, but also a real-time, 3D After Action Review(AAR) system for formative assessment and feedback.The simulated scenarios and AAR architecture were based on early human factors observations and briefings conducted at the UK's Defence Diving School(DDS), an organisation that provides basic military diving training for all Royal Navy and Army(Royal Engineers) divers. An experimental pilot study was undertaken to determine whether or not basic navigational and mine detection components of diver performance could be improved as a result of exposing participants to the AAR system, delivered between simulated diving scenarios. The results suggest that the provision of AAR was accompanied by significant performance improvements in the positive identification of simulated underwater ordnance(in contrast to non-ordnance objects) and on participants' description of their location, their immediate in-water or seabed context and their structural condition. Only marginal improvements were found with participants' navigational performance in terms of their deviation accuracies from a pre-programmed expert search path. Overall, this project contributes to the growing corpus of evidence supporting the development of simulators that demonstrate the value of exploiting open source gaming software and the significance of adopting established games design techniques in delivering highly engaging scenarios to defence training communities.
文摘To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.
文摘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.
文摘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.
文摘This paper presents partially asynchronous parallel simulation of continuous-system (PAPSoCS) and some approaches to the issues of its implementation on a multicomputer system. To guarantee the simulation results correct and speedup the simulation, the scheme for efficient PAPSoCS is proposed and the virtual topology star is constructed to match the path of message passing for solving algorithm-architecture adequation problem. Under the circumstances that messages frequently passed inter-processor are much shorter, typically within several 4 bytes, asynchronous communication mode is employed to reduce the communication ratio. Experiment results show that asynchronous parallel simulation has much higher efficiency than its synchronous counterpart.
