This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is...Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.展开更多
The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomi...The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.展开更多
The dynamic system control circuit board(DSCCB)is one of the most important components for dynamic system of pure electric vehicles. The current detection of the DSCCB is done manually, which is not only inefficient i...The dynamic system control circuit board(DSCCB)is one of the most important components for dynamic system of pure electric vehicles. The current detection of the DSCCB is done manually, which is not only inefficient in the detection but also difficult to guarantee the data accuracy. In order to improve the detection efficiency and accuracy, a new testing system is designed by Labview. The total test time can be further reduced by about 75% compared with the results of the manual detection. In this paper, the three-parameter sine wave curve-fit algorithm theory is applied to the phase delay detection of the current sensor sampling circuit on the DSCCB. This method solves the problem of big error in the phase delay detection.展开更多
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
基金Supported by the Ministry of Education for Ph. D (20030614006)
文摘Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.
基金This project was supported by the National Science Foundation of China (60572093).
文摘The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.
基金"863"program-saving and new energy vehicles of major projects funded project(2008AA11A154)
文摘The dynamic system control circuit board(DSCCB)is one of the most important components for dynamic system of pure electric vehicles. The current detection of the DSCCB is done manually, which is not only inefficient in the detection but also difficult to guarantee the data accuracy. In order to improve the detection efficiency and accuracy, a new testing system is designed by Labview. The total test time can be further reduced by about 75% compared with the results of the manual detection. In this paper, the three-parameter sine wave curve-fit algorithm theory is applied to the phase delay detection of the current sensor sampling circuit on the DSCCB. This method solves the problem of big error in the phase delay detection.
