The ground penetrating radar(GPR) forward simulation all aims at the singular and regular models, such as sandwich model, round cavity, square cavity, and so on, which are comparably simple. But as to the forward of c...The ground penetrating radar(GPR) forward simulation all aims at the singular and regular models, such as sandwich model, round cavity, square cavity, and so on, which are comparably simple. But as to the forward of curl interface underground or “v” figure complex model, it is difficult to realize. So it is important to forward the complex geoelectricity model. This paper takes two Maxwell’s vorticity equations as departure point, makes use of the principles of Yee’s space grid model theory and the basic principle finite difference time domain method, and deduces a GPR forward system of equation of two dimensional spaces. The Mur super absorbed boundary condition is adopted to solve the super strong reflection on the interceptive boundary when there is the forward simulation. And a self-made program is used to process forward simulation to two typical geoelectricity model.展开更多
With the microscopic phase-field dynamic model, the effects of temperature and concentration on the nucleation incubation time of Ni75AlxV25-x alloy were studied and the relation between the incubation time and precip...With the microscopic phase-field dynamic model, the effects of temperature and concentration on the nucleation incubation time of Ni75AlxV25-x alloy were studied and the relation between the incubation time and precipitation mechanism was investigated by using the atomic occupation probability picture and average order parameter curve. The simulation results demonstrate that there exists the incubation time for different precipitation mechanisms~ such as non-classical nucleation, the mixed style of non-classical nucleation and spinodal decomposition, and spinodal ordering; and the incubation time shortens in turn for the three kinds of mechanisms. With the increase of Al content of Ni75AlxV25-x alloy, the incubation time of Llz phases shortens continuously and that of DOzz phases is prolonged. The effects of temperature on the incubation time of Llz and DOzz phases are accordant, i.e. the incuba- tion time is greatly prolonged with the temperature rising.展开更多
Capcity both in uplink and downlink of TD-SCDMA (time division-synchronous code division multiple access) system is studied in a multi-cell environment. The theoretical expressions of the mean of intercell interferenc...Capcity both in uplink and downlink of TD-SCDMA (time division-synchronous code division multiple access) system is studied in a multi-cell environment. The theoretical expressions of the mean of intercell interference in uplink and the mean of sum of power allocation in downlink are given, by which uplink and downlink capacity is analyzed. Furthermore, we give the simulation models for both uplink and downlink capacity. The results from theoretical analysis and simulation fit very well. In the end, the maximum number of users that TD-SCDMA system can serve for 12.2 k speech service is given.展开更多
The main purpose of the present work is to study the possibilities of reducing calculation time while maintaining the validity in the numerical simulation of the combustion product flow in SPRM chamber.Three ways of d...The main purpose of the present work is to study the possibilities of reducing calculation time while maintaining the validity in the numerical simulation of the combustion product flow in SPRM chamber.Three ways of decreasing the calculation time-the use of numerical methods of high accuracy order,the reduction in spatial dimension of the problem,and the use of physical features of the processes in SPRM chamber while constructing a calculation model-were considered.Presented calculation data show that the use of these approaches makes it possible to reduce the time for solving the problems of SPRM simulation significantly(up to 100times).Also conclusions about the applicability of the mentioned above approaches in SPRM design were made.展开更多
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.展开更多
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.展开更多
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.展开更多
Time synchronization is a critical middleware service of wireless sensor networks. Researchers have already proposed some time synchronization algorithms. However, due to the demands for various synchronization precis...Time synchronization is a critical middleware service of wireless sensor networks. Researchers have already proposed some time synchronization algorithms. However, due to the demands for various synchronization precision, existing time synchronization algorithms often need to be adapted. So it is necessary to evaluate these adapted algorithms before use. Software simulation is a valid and quick way to do it. In this paper, we present a time synchronization simulator, Simsync, for wireless sensor networks. We decompose the packet delay into 6 delay components and model them separately. The frequency of crystal oscillator is modeled as Gaussian. To testify its effectiveness, we simulate the reference broadcast synchronization algorithm (RBS) and the timing-sync synchronization algorithm (TPSN) on Simsync. Simulated results are also presented and analyzed.展开更多
Molecular dynamics simulations are performed to observe the evolutions of 512 and 51262 cage-like water clusters filled with or without a methane molecule immersed in bulk liquid water at 250 K and 230 K. The lifetime...Molecular dynamics simulations are performed to observe the evolutions of 512 and 51262 cage-like water clusters filled with or without a methane molecule immersed in bulk liquid water at 250 K and 230 K. The lifetimes of these clusters are calculated according to their Lindemann index δ (t) using the criteria of δ≥0.07. For both the filled and empty clusters, we find the dynamics of bulk water determines the lifetimes of cage-like water clusters, and that the lifetime of 512 62 cage-like cluster is the same as that of 512 cage-like cluster. Although the methane molecule indeed makes the filled cage-like cluster more stable than the empty one, the empty cage-like cluster still has chance to be long-lived compared with the filled clusters. These observations support the labile cluster hypothesis on the formation mechanisms of gas hydrates.展开更多
文摘The ground penetrating radar(GPR) forward simulation all aims at the singular and regular models, such as sandwich model, round cavity, square cavity, and so on, which are comparably simple. But as to the forward of curl interface underground or “v” figure complex model, it is difficult to realize. So it is important to forward the complex geoelectricity model. This paper takes two Maxwell’s vorticity equations as departure point, makes use of the principles of Yee’s space grid model theory and the basic principle finite difference time domain method, and deduces a GPR forward system of equation of two dimensional spaces. The Mur super absorbed boundary condition is adopted to solve the super strong reflection on the interceptive boundary when there is the forward simulation. And a self-made program is used to process forward simulation to two typical geoelectricity model.
文摘With the microscopic phase-field dynamic model, the effects of temperature and concentration on the nucleation incubation time of Ni75AlxV25-x alloy were studied and the relation between the incubation time and precipitation mechanism was investigated by using the atomic occupation probability picture and average order parameter curve. The simulation results demonstrate that there exists the incubation time for different precipitation mechanisms~ such as non-classical nucleation, the mixed style of non-classical nucleation and spinodal decomposition, and spinodal ordering; and the incubation time shortens in turn for the three kinds of mechanisms. With the increase of Al content of Ni75AlxV25-x alloy, the incubation time of Llz phases shortens continuously and that of DOzz phases is prolonged. The effects of temperature on the incubation time of Llz and DOzz phases are accordant, i.e. the incuba- tion time is greatly prolonged with the temperature rising.
文摘Capcity both in uplink and downlink of TD-SCDMA (time division-synchronous code division multiple access) system is studied in a multi-cell environment. The theoretical expressions of the mean of intercell interference in uplink and the mean of sum of power allocation in downlink are given, by which uplink and downlink capacity is analyzed. Furthermore, we give the simulation models for both uplink and downlink capacity. The results from theoretical analysis and simulation fit very well. In the end, the maximum number of users that TD-SCDMA system can serve for 12.2 k speech service is given.
基金the sponsors of the conference for financial support
文摘The main purpose of the present work is to study the possibilities of reducing calculation time while maintaining the validity in the numerical simulation of the combustion product flow in SPRM chamber.Three ways of decreasing the calculation time-the use of numerical methods of high accuracy order,the reduction in spatial dimension of the problem,and the use of physical features of the processes in SPRM chamber while constructing a calculation model-were considered.Presented calculation data show that the use of these approaches makes it possible to reduce the time for solving the problems of SPRM simulation significantly(up to 100times).Also conclusions about the applicability of the mentioned above approaches in SPRM design were made.
文摘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.
文摘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.
文摘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.
基金Supported in part by National Basic Research Program of P. R. China(2005CB321604) in part by National Natural Science Foundation of P. R. China (90207002)
文摘Time synchronization is a critical middleware service of wireless sensor networks. Researchers have already proposed some time synchronization algorithms. However, due to the demands for various synchronization precision, existing time synchronization algorithms often need to be adapted. So it is necessary to evaluate these adapted algorithms before use. Software simulation is a valid and quick way to do it. In this paper, we present a time synchronization simulator, Simsync, for wireless sensor networks. We decompose the packet delay into 6 delay components and model them separately. The frequency of crystal oscillator is modeled as Gaussian. To testify its effectiveness, we simulate the reference broadcast synchronization algorithm (RBS) and the timing-sync synchronization algorithm (TPSN) on Simsync. Simulated results are also presented and analyzed.
基金supported by the National Natural Science Foundation of China(Grant No.40102005 and No.49725205).
文摘Molecular dynamics simulations are performed to observe the evolutions of 512 and 51262 cage-like water clusters filled with or without a methane molecule immersed in bulk liquid water at 250 K and 230 K. The lifetimes of these clusters are calculated according to their Lindemann index δ (t) using the criteria of δ≥0.07. For both the filled and empty clusters, we find the dynamics of bulk water determines the lifetimes of cage-like water clusters, and that the lifetime of 512 62 cage-like cluster is the same as that of 512 cage-like cluster. Although the methane molecule indeed makes the filled cage-like cluster more stable than the empty one, the empty cage-like cluster still has chance to be long-lived compared with the filled clusters. These observations support the labile cluster hypothesis on the formation mechanisms of gas hydrates.
基金Acknowledgments
This work was supported by the National High Technology Research and Development Program of China under grant No. 2006AAOAA102-12 and the National Natural Science Foundation of China （Grant No. 40774064）. The authors would like to express their sincere thanks to TH oil field for providing field data sets.
