This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the...This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the satellite orbit design and the orbit injection deviation are the causes for the initial shift velocity, whereas the atmospheric drag and the sun gravitational perturbation produce the shift acceleration. To deal with these shift factors, a shift control method is put forward, through such methods as orbit variation design, orbit altitude, and inclination keeping control. The simulation experiment and practical application have proved the effectiveness of this control method.展开更多
As one of the basic inventory cost models, the （Q, τ）inventory cost model of dual suppliers with random procurement lead time is mostly formulated by using the concepts of ＂effective lead time＂ and ＂lead time de...As one of the basic inventory cost models, the （Q, τ）inventory cost model of dual suppliers with random procurement lead time is mostly formulated by using the concepts of ＂effective lead time＂ and ＂lead time demand＂, which may lead to an imprecise inventory cost. Through the real-time statistic of the inventory quantities, this paper considers the precise （Q, τ） inventory cost model of dual supplier procurement by using an infinitesimal dividing method. The traditional modeling method of the inventory cost for dual supplier procurement includes complex procedures. To reduce the complexity effectively, the presented method investigates the statistics properties in real-time of the inventory quantities with the application of the infinitesimal dividing method. It is proved that the optimal holding and shortage costs of dual supplier procurement are less than those of single supplier procurement respectively. With the assumption that both suppliers have the same distribution of lead times, the convexity of the cost function per unit time is proved. So the optimal solution can be easily obtained by applying the classical convex optimization methods. The numerical examples are given to verify the main conclusions.展开更多
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.展开更多
An efficient hybrid time reversal（TR） imaging method based on signal subspace and noise subspace is proposed for electromagnetic superresolution detecting and imaging. First, the locations of targets are estimated b...An efficient hybrid time reversal（TR） imaging method based on signal subspace and noise subspace is proposed for electromagnetic superresolution detecting and imaging. First, the locations of targets are estimated by the transmitting-mode decomposition of the TR operator（DORT） method employing the signal subspace. Then, the TR multiple signal classification（TR-MUSIC）method employing the noise subspace is used in the estimated target area to get the superresolution imaging of targets. Two examples with homogeneous and inhomogeneous background mediums are considered, respectively. The results show that the proposed hybrid method has advantages in CPU time and memory cost because of the combination of rough and fine imaging.展开更多
Dimensional analysis and numerical simulations were carried out to research prediction method of breakthrough time of horizontal wells in bottom water reservoir. Four dimensionless independent variables and dimensionl...Dimensional analysis and numerical simulations were carried out to research prediction method of breakthrough time of horizontal wells in bottom water reservoir. Four dimensionless independent variables and dimensionless time were derived from 10 influencing factors of the problem by using dimensional analysis. Simulations of horizontal well in reservoir with bottom water were run to find the prediction correlation. A general and concise functional relationship for predicting breakthrough time was established based on simulation results and theoretical analysis. The breakthrough time of one conceptual model predicted by the correlation is very close to the result by Eclipse with less than 2% error. The practical breakthrough time of one well in Helder oilfield is 10 d, and the predicted results by the method is 11.2 d, which is more accurate than the analytical result. Case study indicates that the method could predict breakthrough time of horizontal well under different reservoir conditions accurately. For its university and ease of use, the method is suitable for quick prediction of breakthrough time.展开更多
The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliab...The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded sys- tem, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine （RT-EFSM） model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class （timeCTEC） are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics real- time embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.展开更多
The Filon-type quadrature is efficient for highly oscillatory functions - Fourier transforms. Based on Cox and Matthews' ETD schemes, the higher order single step exponential time differencing schemes are presente...The Filon-type quadrature is efficient for highly oscillatory functions - Fourier transforms. Based on Cox and Matthews' ETD schemes, the higher order single step exponential time differencing schemes are presented based on the Filon-type integration and the A-stability of the two-order Adams-Bashforth exponential time differencing scheme is considered. The effectiveness and accuracy of the schemes is tested.展开更多
A model of vibrating device coupling two pendulums (VDP) which is highly nonlinear was put forward to conduct vibration analysis. Based on energy analysis, dynamic equations with cubic nonlinearities were established ...A model of vibrating device coupling two pendulums (VDP) which is highly nonlinear was put forward to conduct vibration analysis. Based on energy analysis, dynamic equations with cubic nonlinearities were established using Lagrange's equation. In order to obtain approximate solution, multiple time scales method, one of perturbation technique, was applied. Cases of non-resonant and 1:1:2:2 internal resonant were discussed. In the non-resonant case, the validity of multiple time scales method is confirmed, comparing numerical results derived from fourth order Runge-Kutta method with analytical results derived from first order approximate expression. In the 1:1:2:2 internal resonant case, modal amplitudes of Aa1 and Ab2 increase, respectively, from 0.38 to 0.63 and from 0.19 to 0.32, while the corresponding frequencies have an increase of almost 1.6 times with changes of initial conditions, indicating the existence of typical nonlinear phenomenon. In addition, the chaotic motion is found under this condition.展开更多
In this paper, a class of real-time parallel combined methods (RTPCM) of the digital simulation for a partitioned large system is presented. By means of combination of the parallelism across the system with the parall...In this paper, a class of real-time parallel combined methods (RTPCM) of the digital simulation for a partitioned large system is presented. By means of combination of the parallelism across the system with the parallelism across the method, stiff and non-stiff subsystems are solved in parallel on parallel computer by a parallel Rosenbrock method and a parallel RK method, respectively. Their construction, convergence and numerical stability are discussed, and the digitalsimulation experiments are conducted.展开更多
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.展开更多
This paper takes the evaluation of overall economic benefit by an example and proposes a simple additive weighting method for time-series multiindices decision making. The method can automatically determine the weight...This paper takes the evaluation of overall economic benefit by an example and proposes a simple additive weighting method for time-series multiindices decision making. The method can automatically determine the weight coefficients among the multiindices and the years respectively and it also can obtain the objective evaluation results and conclusions.展开更多
基金supported by the China Postdotoral Science Foundation(20060401004)
文摘This article analyzes the shift factors of the descending node local time for sun-synchronous satellites and proposes a shift control method to keep the local time shift within an allowance range. It is found that the satellite orbit design and the orbit injection deviation are the causes for the initial shift velocity, whereas the atmospheric drag and the sun gravitational perturbation produce the shift acceleration. To deal with these shift factors, a shift control method is put forward, through such methods as orbit variation design, orbit altitude, and inclination keeping control. The simulation experiment and practical application have proved the effectiveness of this control method.
基金supported by the National High Technology Research and Development Program of China(863 Program)(2007AA04Z102)the National Natural Science Foundation of China(6087407160574077).
文摘As one of the basic inventory cost models, the （Q, τ）inventory cost model of dual suppliers with random procurement lead time is mostly formulated by using the concepts of ＂effective lead time＂ and ＂lead time demand＂, which may lead to an imprecise inventory cost. Through the real-time statistic of the inventory quantities, this paper considers the precise （Q, τ） inventory cost model of dual supplier procurement by using an infinitesimal dividing method. The traditional modeling method of the inventory cost for dual supplier procurement includes complex procedures. To reduce the complexity effectively, the presented method investigates the statistics properties in real-time of the inventory quantities with the application of the infinitesimal dividing method. It is proved that the optimal holding and shortage costs of dual supplier procurement are less than those of single supplier procurement respectively. With the assumption that both suppliers have the same distribution of lead times, the convexity of the cost function per unit time is proved. So the optimal solution can be easily obtained by applying the classical convex optimization methods. The numerical examples are given to verify the main conclusions.
文摘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.
基金supported by the National Natural Science Foundation of China(6130127161331007)+2 种基金the Specialized Research Fund for the Doctoral Program of Higher Education of China(2011018512000820120185130001)the Fundamental Research Funds for Central Universities(ZYGX2012J043)
文摘An efficient hybrid time reversal（TR） imaging method based on signal subspace and noise subspace is proposed for electromagnetic superresolution detecting and imaging. First, the locations of targets are estimated by the transmitting-mode decomposition of the TR operator（DORT） method employing the signal subspace. Then, the TR multiple signal classification（TR-MUSIC）method employing the noise subspace is used in the estimated target area to get the superresolution imaging of targets. Two examples with homogeneous and inhomogeneous background mediums are considered, respectively. The results show that the proposed hybrid method has advantages in CPU time and memory cost because of the combination of rough and fine imaging.
基金Project(2011ZX05009-004)supported by the National Science and Technology Major Projects of China
文摘Dimensional analysis and numerical simulations were carried out to research prediction method of breakthrough time of horizontal wells in bottom water reservoir. Four dimensionless independent variables and dimensionless time were derived from 10 influencing factors of the problem by using dimensional analysis. Simulations of horizontal well in reservoir with bottom water were run to find the prediction correlation. A general and concise functional relationship for predicting breakthrough time was established based on simulation results and theoretical analysis. The breakthrough time of one conceptual model predicted by the correlation is very close to the result by Eclipse with less than 2% error. The practical breakthrough time of one well in Helder oilfield is 10 d, and the predicted results by the method is 11.2 d, which is more accurate than the analytical result. Case study indicates that the method could predict breakthrough time of horizontal well under different reservoir conditions accurately. For its university and ease of use, the method is suitable for quick prediction of breakthrough time.
基金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.
基金Projects(02JJY2006, 03JJY2001) supported by Natural Science Foundation of Hunan Province project supported by JSPS Fellowship Research Program
文摘The Filon-type quadrature is efficient for highly oscillatory functions - Fourier transforms. Based on Cox and Matthews' ETD schemes, the higher order single step exponential time differencing schemes are presented based on the Filon-type integration and the A-stability of the two-order Adams-Bashforth exponential time differencing scheme is considered. The effectiveness and accuracy of the schemes is tested.
基金Projects(50574091, 50774084) supported by the National Natural Science Foundation of ChinaProject supported by the Priority Academic Program Development of Jiangsu Higher Education Institutions+1 种基金Project(CXLX12_0949) supported by Research and Innovation Project for College Graduates of Jiangsu Province, ChinaProject(2013DXS03) supported by the Fundamental Research Funds for the Central Universities, China
文摘A model of vibrating device coupling two pendulums (VDP) which is highly nonlinear was put forward to conduct vibration analysis. Based on energy analysis, dynamic equations with cubic nonlinearities were established using Lagrange's equation. In order to obtain approximate solution, multiple time scales method, one of perturbation technique, was applied. Cases of non-resonant and 1:1:2:2 internal resonant were discussed. In the non-resonant case, the validity of multiple time scales method is confirmed, comparing numerical results derived from fourth order Runge-Kutta method with analytical results derived from first order approximate expression. In the 1:1:2:2 internal resonant case, modal amplitudes of Aa1 and Ab2 increase, respectively, from 0.38 to 0.63 and from 0.19 to 0.32, while the corresponding frequencies have an increase of almost 1.6 times with changes of initial conditions, indicating the existence of typical nonlinear phenomenon. In addition, the chaotic motion is found under this condition.
基金Project supported by China Postdoctoral Science Foundation （20100481488）, Key Fund Project of Advanced Research of the Weapon Equipment （9140A33040512JB3401）.
文摘In this paper, a class of real-time parallel combined methods (RTPCM) of the digital simulation for a partitioned large system is presented. By means of combination of the parallelism across the system with the parallelism across the method, stiff and non-stiff subsystems are solved in parallel on parallel computer by a parallel Rosenbrock method and a parallel RK method, respectively. Their construction, convergence and numerical stability are discussed, and the digitalsimulation experiments are conducted.
基金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.
文摘This paper takes the evaluation of overall economic benefit by an example and proposes a simple additive weighting method for time-series multiindices decision making. The method can automatically determine the weight coefficients among the multiindices and the years respectively and it also can obtain the objective evaluation results and conclusions.
