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.展开更多
In order to improve the system reliability and performance and to reduce the system cost, volume and weight, we have designed, fabricated and tested the multibus adapter system of a trimodular redundant fault tolerant...In order to improve the system reliability and performance and to reduce the system cost, volume and weight, we have designed, fabricated and tested the multibus adapter system of a trimodular redundant fault tolerant computer system on a single chip of 5000 gate CMOS gate array. The design, fabrication and test of this single chip system will be discussed..展开更多
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.展开更多
According to the delay property, linear time-delay （LTD） systems can be classified as LTD systems with depen- dent delays （LTD_DD） and LTD systems with independent delays （LTD_ID）. This paper reveals that the st...According to the delay property, linear time-delay （LTD） systems can be classified as LTD systems with depen- dent delays （LTD_DD） and LTD systems with independent delays （LTD_ID）. This paper reveals that the stability condition for LTD_ID systems can be applied to LTD_DD systems, a sufficient stability condition for LTD_DD systems is derived from it, while only fewer of the LTD_DD systems can satisfy the stability condition due to the very strict limitation for the delays of the LTD_DD systems. To solve the problem, based on two-dimensional （2-D） hybrid polynomials, some sufficient conditions for stability of LTD_DD systems are pro- posed. Examples show that the proposed stability test algorithms are simple and valid.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
Under Type-Ⅱ progressively hybrid censoring, this paper discusses statistical inference and optimal design on stepstress partially accelerated life test for hybrid system in presence of masked data. It is assumed tha...Under Type-Ⅱ progressively hybrid censoring, this paper discusses statistical inference and optimal design on stepstress partially accelerated life test for hybrid system in presence of masked data. It is assumed that the lifetime of the component in hybrid systems follows independent and identical modified Weibull distributions. The maximum likelihood estimations(MLEs)of the unknown parameters, acceleration factor and reliability indexes are derived by using the Newton-Raphson algorithm. The asymptotic variance-covariance matrix and the approximate confidence intervals are obtained based on normal approximation to the asymptotic distribution of MLEs of model parameters. Moreover,two bootstrap confidence intervals are constructed by using the parametric bootstrap method. The optimal time of changing stress levels is determined under D-optimality and A-optimality criteria.Finally, the Monte Carlo simulation study is carried out to illustrate the proposed procedures.展开更多
During maintainability demonstration,the maintenance time for complex systems consisting of mixed technologies generally conforms to a mixture distribution.However existing maintainability standards and guidance do no...During maintainability demonstration,the maintenance time for complex systems consisting of mixed technologies generally conforms to a mixture distribution.However existing maintainability standards and guidance do not explain explicitly how to deal with this situation.This paper develops a comprehensive maintainability demonstration method for complex systems with a mixed maintenance time distribution.First of all,a K-means algorithm and an expectation-maximization(EM)algorithm are used to partition the maintenance time data for all possible clusters.The Bayesian information criterion(BIC)is then used to choose the optimal model.After this,the clustering results for equipment are obtained according to their degree of membership.The degree of similarity for the maintainability of different kinds of equipment is then determined using the projection method.By using a Bootstrap method,the prior distribution is obtained from the maintenance time data for the most similar equipment.Then,a test method based on Bayesian theory is outlined for the maintainability demonstration.Finally,the viability of the proposed approach is illustrated by means of an example.展开更多
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.展开更多
基金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.
文摘In order to improve the system reliability and performance and to reduce the system cost, volume and weight, we have designed, fabricated and tested the multibus adapter system of a trimodular redundant fault tolerant computer system on a single chip of 5000 gate CMOS gate array. The design, fabrication and test of this single chip system will be discussed..
基金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.
基金supported by the National Natural Science Foundation of China(60572093)the Natural Science Foundation of Beijing(4102050)
文摘According to the delay property, linear time-delay （LTD） systems can be classified as LTD systems with depen- dent delays （LTD_DD） and LTD systems with independent delays （LTD_ID）. This paper reveals that the stability condition for LTD_ID systems can be applied to LTD_DD systems, a sufficient stability condition for LTD_DD systems is derived from it, while only fewer of the LTD_DD systems can satisfy the stability condition due to the very strict limitation for the delays of the LTD_DD systems. To solve the problem, based on two-dimensional （2-D） hybrid polynomials, some sufficient conditions for stability of LTD_DD systems are pro- posed. Examples show that the proposed stability test algorithms are simple and valid.
基金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 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.
基金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.
基金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.
文摘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.
文摘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(71401134 71571144+1 种基金 71171164)the Program of International Cooperation and Exchanges in Science and Technology Funded by Shaanxi Province(2016KW-033)
文摘Under Type-Ⅱ progressively hybrid censoring, this paper discusses statistical inference and optimal design on stepstress partially accelerated life test for hybrid system in presence of masked data. It is assumed that the lifetime of the component in hybrid systems follows independent and identical modified Weibull distributions. The maximum likelihood estimations(MLEs)of the unknown parameters, acceleration factor and reliability indexes are derived by using the Newton-Raphson algorithm. The asymptotic variance-covariance matrix and the approximate confidence intervals are obtained based on normal approximation to the asymptotic distribution of MLEs of model parameters. Moreover,two bootstrap confidence intervals are constructed by using the parametric bootstrap method. The optimal time of changing stress levels is determined under D-optimality and A-optimality criteria.Finally, the Monte Carlo simulation study is carried out to illustrate the proposed procedures.
基金supported by the National Defense Pre-research Funds(9140A27010215JB34422)
文摘During maintainability demonstration,the maintenance time for complex systems consisting of mixed technologies generally conforms to a mixture distribution.However existing maintainability standards and guidance do not explain explicitly how to deal with this situation.This paper develops a comprehensive maintainability demonstration method for complex systems with a mixed maintenance time distribution.First of all,a K-means algorithm and an expectation-maximization(EM)algorithm are used to partition the maintenance time data for all possible clusters.The Bayesian information criterion(BIC)is then used to choose the optimal model.After this,the clustering results for equipment are obtained according to their degree of membership.The degree of similarity for the maintainability of different kinds of equipment is then determined using the projection method.By using a Bootstrap method,the prior distribution is obtained from the maintenance time data for the most similar equipment.Then,a test method based on Bayesian theory is outlined for the maintainability demonstration.Finally,the viability of the proposed approach is illustrated by means of an example.
基金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.
