In order to realize the real-time and precise test for a weapon system of a certain type of fighter,a signal classification method according to attributes is proposed,common input channels for multiple signals are con...In order to realize the real-time and precise test for a weapon system of a certain type of fighter,a signal classification method according to attributes is proposed,common input channels for multiple signals are configured optimally,and a test adapter and an adaptive signal conditioning module is designed. The hardware of conditioning module can be configured flexibly and the programmable test range can be adjusted owing to programmable multiplexer. An FPGA adaptive filter is designed by the calculated filter coefficient vectors with LMS method to solve the problem of parallel test of fighter weapon system in electromagnetic interference environment. The adaptive signal conditioning technology is characterized by high efficiency,precision and integration. Its application makes the test system successful to conduct real-time and parallel test for a weapon system,which is developed based on VXI bus and virtual-instrument technology.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
In order to research the effects of built-in test(BIT) on the system and select BITand test strategy,the complex repairable systems with BITequipment are modeled and simulated by using Simulink.Based on the model,the ...In order to research the effects of built-in test(BIT) on the system and select BITand test strategy,the complex repairable systems with BITequipment are modeled and simulated by using Simulink.Based on the model,the influences of different built-in test equipments,maintenance time and error probabilities on the system usability are evaluated.The simulation results showthat they effect on the system differently.The simulation method of complex system based on Simulink provides a technique approach to research the effects of BITon the system and select BITand test strategy.展开更多
A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censore...A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censored test,and figures out the approach to determine the prior distribution of the system failure rate by applying the reliability growth model to incorporate the multistage test data collected from system development.Furthermore,the procedure for the Bayesian sequential testing is derived for the failure rate of the exponential life system,which enables the decision to terminate or continue development test.Finally,a numerical example is given to illustrate the efficiency of the proposed model and procedure.展开更多
Thyristor valve is one of the key equipments for ultra high voltage direct current(UHVDC) power transmission projects.Before being installed on site,they need to be tested in a laboratory in order to verify their oper...Thyristor valve is one of the key equipments for ultra high voltage direct current(UHVDC) power transmission projects.Before being installed on site,they need to be tested in a laboratory in order to verify their operational performance to satisfy the technical specification of project related.Test facilities for operational tests of thyristor valves are supposed to enable to undertake more severe electrical stresses than those being applied in the thyristor valves under test(test objects).On the other hand,the stresses applied into the test objects are neither higher nor lower than specified by the specification,because inappropriate stresses applied would result in incorrect evaluation of performance on the test objects,more seriously,would cuase the damage of test objects with expensive cost losing.Generally,the process of operational tests is complicated and performed in a complex synthetic test circuit(hereafter as STC),where there are a lot of sensors used for measuring,monitoring and protection on line to ensure that the test circuit functions in good condition.Therefore,the measuring systems embedded play a core role in STC,acting like "eyes".Based on the first project of building up a STC in China,experience of planning measuring systems is summarized so as to be referenced by related engineers.展开更多
As only a little information can be obtained from torpedo's lake and sea tests,and the torpedo's life does not distribute typically. If conventional methods are used to convert the environment factor for torpe...As only a little information can be obtained from torpedo's lake and sea tests,and the torpedo's life does not distribute typically. If conventional methods are used to convert the environment factor for torpedo's lake and sea tests,their results can not reflect the actual conditions. A conversion model of the environment factor for torpedo's lake and sea tests is set up based on the GM(1,2) model of the grey system theory. For the merit of the grey system,the problem of uncertain life distributions and few samples can be solved. The calculation results show that the method is easy,realistic and high precise.展开更多
It is difficult to determine the stability of linear systems with interval delays （LID systems） because the roots of the characteristic polynomials of the systems are continuous and vary in a complex plane with the ...It is difficult to determine the stability of linear systems with interval delays （LID systems） because the roots of the characteristic polynomials of the systems are continuous and vary in a complex plane with the delay. To solve the problem, this paper develops a stability test of LID systems by resorting to 2-D hybrid polynomials and 2-D Hurwitz-Schur stability. Comparing with the existing test approaches for LID systems, the proposed 2-D Hurwitz-Schur stability test is easy to apply, and can obtain closed form constraint conditions for system parameters. This paper proposes some theorems as sufficient conditions for the stability of LID systems, and also reveals that recent results about the stability test of linear systems with any delays （LAD systems） are not suitable for LID systems because they are very conservative for the stability of LID systems.展开更多
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.展开更多
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.展开更多
基金Sponsored by the Key Equipment Research Project of Air Force of China (KJZ06119)
文摘In order to realize the real-time and precise test for a weapon system of a certain type of fighter,a signal classification method according to attributes is proposed,common input channels for multiple signals are configured optimally,and a test adapter and an adaptive signal conditioning module is designed. The hardware of conditioning module can be configured flexibly and the programmable test range can be adjusted owing to programmable multiplexer. An FPGA adaptive filter is designed by the calculated filter coefficient vectors with LMS method to solve the problem of parallel test of fighter weapon system in electromagnetic interference environment. The adaptive signal conditioning technology is characterized by high efficiency,precision and integration. Its application makes the test system successful to conduct real-time and parallel test for a weapon system,which is developed based on VXI bus and virtual-instrument technology.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘In order to research the effects of built-in test(BIT) on the system and select BITand test strategy,the complex repairable systems with BITequipment are modeled and simulated by using Simulink.Based on the model,the influences of different built-in test equipments,maintenance time and error probabilities on the system usability are evaluated.The simulation results showthat they effect on the system differently.The simulation method of complex system based on Simulink provides a technique approach to research the effects of BITon the system and select BITand test strategy.
基金supported by the National Natural Science Foundation of China (70571083)the Research Fund for the Doctoral Program of Higher Education of China (20094307110013)
文摘A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censored test,and figures out the approach to determine the prior distribution of the system failure rate by applying the reliability growth model to incorporate the multistage test data collected from system development.Furthermore,the procedure for the Bayesian sequential testing is derived for the failure rate of the exponential life system,which enables the decision to terminate or continue development test.Finally,a numerical example is given to illustrate the efficiency of the proposed model and procedure.
基金Project Supported by National Development and Reform Commission(No.[2006]2709)
文摘Thyristor valve is one of the key equipments for ultra high voltage direct current(UHVDC) power transmission projects.Before being installed on site,they need to be tested in a laboratory in order to verify their operational performance to satisfy the technical specification of project related.Test facilities for operational tests of thyristor valves are supposed to enable to undertake more severe electrical stresses than those being applied in the thyristor valves under test(test objects).On the other hand,the stresses applied into the test objects are neither higher nor lower than specified by the specification,because inappropriate stresses applied would result in incorrect evaluation of performance on the test objects,more seriously,would cuase the damage of test objects with expensive cost losing.Generally,the process of operational tests is complicated and performed in a complex synthetic test circuit(hereafter as STC),where there are a lot of sensors used for measuring,monitoring and protection on line to ensure that the test circuit functions in good condition.Therefore,the measuring systems embedded play a core role in STC,acting like "eyes".Based on the first project of building up a STC in China,experience of planning measuring systems is summarized so as to be referenced by related engineers.
文摘As only a little information can be obtained from torpedo's lake and sea tests,and the torpedo's life does not distribute typically. If conventional methods are used to convert the environment factor for torpedo's lake and sea tests,their results can not reflect the actual conditions. A conversion model of the environment factor for torpedo's lake and sea tests is set up based on the GM(1,2) model of the grey system theory. For the merit of the grey system,the problem of uncertain life distributions and few samples can be solved. The calculation results show that the method is easy,realistic and high precise.
基金supported by the National Natural Science Foundation of China (60572093)the Natural Science Foundation of Beijing(4102050)
文摘It is difficult to determine the stability of linear systems with interval delays （LID systems） because the roots of the characteristic polynomials of the systems are continuous and vary in a complex plane with the delay. To solve the problem, this paper develops a stability test of LID systems by resorting to 2-D hybrid polynomials and 2-D Hurwitz-Schur stability. Comparing with the existing test approaches for LID systems, the proposed 2-D Hurwitz-Schur stability test is easy to apply, and can obtain closed form constraint conditions for system parameters. This paper proposes some theorems as sufficient conditions for the stability of LID systems, and also reveals that recent results about the stability test of linear systems with any delays （LAD systems） are not suitable for LID systems because they are very conservative for the stability of LID systems.
基金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.
基金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.
