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.展开更多
One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. Th...One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.展开更多
In this paper, a new concept of simulation operating system (SIMOS) is described. A detailed definition of SIMOS is given, and two integrated simulation software (IPSOS and IMSS) are introduced based on SIMOS.
We apply the forward modeling algorithm constituted by the convolutional Forsyte polynomial differentiator pro-posed by former worker to seismic wave simulation of complex heterogeneous media and compare the efficienc...We apply the forward modeling algorithm constituted by the convolutional Forsyte polynomial differentiator pro-posed by former worker to seismic wave simulation of complex heterogeneous media and compare the efficiency and accuracy between this method and other seismic simulation methods such as finite difference and pseudospec-tral method. Numerical experiments demonstrate that the algorithm constituted by convolutional Forsyte polyno-mial differentiator has high efficiency and accuracy and needs less computational resources, so it is a numerical modeling method with much potential.展开更多
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.展开更多
A disorder situation of traffic operation always appears in on-ramp junction area of urban freeway,because the operation action for vehicles presents the weaving condition,especially for different vehicle types.Based ...A disorder situation of traffic operation always appears in on-ramp junction area of urban freeway,because the operation action for vehicles presents the weaving condition,especially for different vehicle types.Based on the analysis on the cellular automata theory,and combining with on-site survey data,several key parameters were defined,namely,cellular length,cellular speed,cellular acceleration,updating time interval.In addition,cellular acceleration rule,cellular deceleration rule,random rule,lane-changing rule and other micro-simulation rules were set,and cellular automaton micro-simulation model was set up.Further-more,a micro-simulation module was developed for traffic operation actions of on-ramp junction with Matlab toolbox.Finally,a simulation experiment for traffic operation reliability was done with this micro-simulation module,and the situation of change for on-ramp junction area was obtained under the conditions of different mainline design speed,acceleration lane length,vehicle generation probability and lane-changing probability.The results show that operation reliability for on-ramp junction is determined by the parameters of the probability of vehicle generation and the length of acceleration lane,especially for on-ramp.展开更多
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.展开更多
The new numerical approach for analysis of the warhead transportations is suggested.This approach allows to control the warhead operability before its experimental analysis.The approach is implemented by the adequate ...The new numerical approach for analysis of the warhead transportations is suggested.This approach allows to control the warhead operability before its experimental analysis.The approach is implemented by the adequate models for the software ANSYS.Analysis of the loads at land operations and transportations of the warhead by natural roads,water and aviation allows to obtain the maximal values of loads,which are used in numerical simulations of the warhead.These loads give an opportunity to analyze the operability and the fatigue strength of the cartridge warhead.The numerical simulations of the attachments of the warhead combat elements are performed on the basis of the suggested method.The data of the numerical simulations verifies the operability of the fastener system of the warhead combat elements.展开更多
With the development of power systems,a large number of shunt capacitors are used to improve power quality in the distribution network.The shunt capacitor banks are operated much frequently,as a result,the capacitor b...With the development of power systems,a large number of shunt capacitors are used to improve power quality in the distribution network.The shunt capacitor banks are operated much frequently,as a result,the capacitor banks will bear large numbers of over-voltage inevitably.If the over-voltage exceeds certain amplitude,the capacitor will be damaged.This paper aims at the capacitor banks in the 35 kV side of Shanghai Xu-xing 500 kV substation,and applies ATP-EMTP to simulate the over-voltages generated by operating the switches under different angles of the source.Finally,according to the results of simulation and theoretical analysis,a best choice(i.e.angles of the source) to switch on capacitor banks is proposed.In this case the over-voltage on the capacitor will be limited to lowest.展开更多
The controlled volume method of operation is especially suitable for large-scale water delivery canal system with complex operation requirements. An operating simulation model based on the storage volume control metho...The controlled volume method of operation is especially suitable for large-scale water delivery canal system with complex operation requirements. An operating simulation model based on the storage volume control method for multi-reach canal system in series was established. In allusion to the deficiency of existing controlled volume algorithm, the improved controlled volume algorithm of the whole canal pools was proposed, and the simulation results indicated that the storage volume and water level of each canal pool could be accurately controlled after the improved algorithm had been adopted. However, for some typical discharge demand operating conditions, if the previously mentioned algorithm was adopted, then it certainly would cause some unnecessary gate adjustments, and consequently the disturbed canal pools would be increased. Therefore, the idea of controlled volume operation method of continuous canal pools was proposed, and corresponding algorithm was designed. Through simulating practical project, the results indicated that the new controlled volume algorithm proposed for typical operating conditions could comparatively and obviously reduce the number of regulated check gates and disturb canal pools for some typical discharge demand operating conditions, thus the control efficiency of canal system could be improved.展开更多
A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-B...A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-BSP board, extended multi-DSP board are analysed. The outstanding advantage is that the communication among different board components of this system is supported by high speed link ports ＆ serial ports for increasing the system performance and computational power. Then the implementation of embedded real-time operating systems （RTOS） by us is discussed in detail. In this system, we adopt two kinds of parallel structures controlled by RTOS for parallel processing of algorithms. The experimental results show that exploitive period of the system is short, and maintenance convenient. Thus it is suitable for real-time image processing and can get satisfactory effect of image recognition.展开更多
文摘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.
文摘One of the most important features of modern minor satellites is to realize autonomous moving. The performance of the satellite autonomous computer operating system acting as the control center is utmost important. The recent trend in operating system development is adopting microkernel architecture which holds such advantages as microminiaturization, modularity, portability and extendibility. The performance of I/O subsystem is currently receiving considerable research attention. Object-orientation offers an approach to application development in which software system can be constructed by composing and refining the pre-designed plug-compatible software components.It also starts with some basic notions fairly well accepted in computer science, namely encapsulation and reuse. In this paper, a new object-oriented real-time I/O subsystem model has been designed.In this model, the traditional I/O subsystem framework is discarded and a stream mechanism based on the object-oriented concept is introduced. In addition, the I/O requests are classified according to their time emergency to obtain real-time performance. So, this model meets such satelliteperformance requirements as reliability, flexibility, portability and real-time performance.
文摘In this paper, a new concept of simulation operating system (SIMOS) is described. A detailed definition of SIMOS is given, and two integrated simulation software (IPSOS and IMSS) are introduced based on SIMOS.
基金Open Fund of State Key Laboratory of Geological Processes and Mineral Resources, China University of Geo-sciences (GPMR0750)National Natural Science Foundation of China (40437018)
文摘We apply the forward modeling algorithm constituted by the convolutional Forsyte polynomial differentiator pro-posed by former worker to seismic wave simulation of complex heterogeneous media and compare the efficiency and accuracy between this method and other seismic simulation methods such as finite difference and pseudospec-tral method. Numerical experiments demonstrate that the algorithm constituted by convolutional Forsyte polyno-mial differentiator has high efficiency and accuracy and needs less computational resources, so it is a numerical modeling method with much potential.
文摘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.
基金Project(HIT.NSRIF.2009102) supported by the Fundamental Research Funds for the Central Universities in ChinaProject(11541295) supported by the Scientific Research Fund of Heilongjiang Provincial Education Department of ChinaProject(20100471029) supported by China Postdoctoral Science Foundation
文摘A disorder situation of traffic operation always appears in on-ramp junction area of urban freeway,because the operation action for vehicles presents the weaving condition,especially for different vehicle types.Based on the analysis on the cellular automata theory,and combining with on-site survey data,several key parameters were defined,namely,cellular length,cellular speed,cellular acceleration,updating time interval.In addition,cellular acceleration rule,cellular deceleration rule,random rule,lane-changing rule and other micro-simulation rules were set,and cellular automaton micro-simulation model was set up.Further-more,a micro-simulation module was developed for traffic operation actions of on-ramp junction with Matlab toolbox.Finally,a simulation experiment for traffic operation reliability was done with this micro-simulation module,and the situation of change for on-ramp junction area was obtained under the conditions of different mainline design speed,acceleration lane length,vehicle generation probability and lane-changing probability.The results show that operation reliability for on-ramp junction is determined by the parameters of the probability of vehicle generation and the length of acceleration lane,especially for on-ramp.
文摘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.
文摘The new numerical approach for analysis of the warhead transportations is suggested.This approach allows to control the warhead operability before its experimental analysis.The approach is implemented by the adequate models for the software ANSYS.Analysis of the loads at land operations and transportations of the warhead by natural roads,water and aviation allows to obtain the maximal values of loads,which are used in numerical simulations of the warhead.These loads give an opportunity to analyze the operability and the fatigue strength of the cartridge warhead.The numerical simulations of the attachments of the warhead combat elements are performed on the basis of the suggested method.The data of the numerical simulations verifies the operability of the fastener system of the warhead combat elements.
基金supported of the Fundamental Research Founds for the Central Universities
文摘With the development of power systems,a large number of shunt capacitors are used to improve power quality in the distribution network.The shunt capacitor banks are operated much frequently,as a result,the capacitor banks will bear large numbers of over-voltage inevitably.If the over-voltage exceeds certain amplitude,the capacitor will be damaged.This paper aims at the capacitor banks in the 35 kV side of Shanghai Xu-xing 500 kV substation,and applies ATP-EMTP to simulate the over-voltages generated by operating the switches under different angles of the source.Finally,according to the results of simulation and theoretical analysis,a best choice(i.e.angles of the source) to switch on capacitor banks is proposed.In this case the over-voltage on the capacitor will be limited to lowest.
基金Supported by the Governmental Public Industry Research Special Funds for Projects of MWR (200901002,200901003,200901006)Key Projects in the National Science & Technology Pillar Program During the 11th Five-year Plan Period of China (2006BAB04A12)
文摘The controlled volume method of operation is especially suitable for large-scale water delivery canal system with complex operation requirements. An operating simulation model based on the storage volume control method for multi-reach canal system in series was established. In allusion to the deficiency of existing controlled volume algorithm, the improved controlled volume algorithm of the whole canal pools was proposed, and the simulation results indicated that the storage volume and water level of each canal pool could be accurately controlled after the improved algorithm had been adopted. However, for some typical discharge demand operating conditions, if the previously mentioned algorithm was adopted, then it certainly would cause some unnecessary gate adjustments, and consequently the disturbed canal pools would be increased. Therefore, the idea of controlled volume operation method of continuous canal pools was proposed, and corresponding algorithm was designed. Through simulating practical project, the results indicated that the new controlled volume algorithm proposed for typical operating conditions could comparatively and obviously reduce the number of regulated check gates and disturb canal pools for some typical discharge demand operating conditions, thus the control efficiency of canal system could be improved.
基金This project was supported by the National Natural Science Foundation of China(60135020) National Key Pre-researchProject of China(413010701 -3) .
文摘A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-BSP board, extended multi-DSP board are analysed. The outstanding advantage is that the communication among different board components of this system is supported by high speed link ports ＆ serial ports for increasing the system performance and computational power. Then the implementation of embedded real-time operating systems （RTOS） by us is discussed in detail. In this system, we adopt two kinds of parallel structures controlled by RTOS for parallel processing of algorithms. The experimental results show that exploitive period of the system is short, and maintenance convenient. Thus it is suitable for real-time image processing and can get satisfactory effect of image recognition.
