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.展开更多
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.展开更多
介绍了ATS技术在微波网络调试工作中的实际应用,给出了硬件组成及软件实现方式。复杂形式的微波网络需要通过大量的调试工作才能使各项指标满足使用要求。调试人员需要反复的更换端口进行指标调试和测试。文中将一种ATS技术引入微波网...介绍了ATS技术在微波网络调试工作中的实际应用,给出了硬件组成及软件实现方式。复杂形式的微波网络需要通过大量的调试工作才能使各项指标满足使用要求。调试人员需要反复的更换端口进行指标调试和测试。文中将一种ATS技术引入微波网络调试系统中,基于GPIB总线、端口扩展中枢、控制软件,实现微波网络调试工作中测试自动化和辅助调试。引入ATS技术后的调试系统的精度可以达到:幅度误差≤0.05 d B,相位误差≤1°,调试效率提高约40%。展开更多
提出一种基于灰色系统理论和贝叶斯信息融合理论评定小样本自动测试系统(Automatic Test System,ATS)测量不确定度的新方法。该方法在已有测量不确定度灰色评定模型的基础上,引入灰色关联理论,建立新灰色评定模型,并引入贝叶斯信息融合...提出一种基于灰色系统理论和贝叶斯信息融合理论评定小样本自动测试系统(Automatic Test System,ATS)测量不确定度的新方法。该方法在已有测量不确定度灰色评定模型的基础上,引入灰色关联理论,建立新灰色评定模型,并引入贝叶斯信息融合思想,融合历史测量数据和当前测量数据的评定结果,得到最终测量不确定度。以某ATS测量链中具体的传递单元作为实例,按该方法计算测量不确定度,并将评定结果与其他常用方法评定结果进行比较,达到很好的一致性,且该方法评定小样本ATS静态测量得到的结果准确度高,评定小样本ATS动态测量,更符合其动态测量特性且计算量小。展开更多
基金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.
基金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.
文摘介绍了ATS技术在微波网络调试工作中的实际应用,给出了硬件组成及软件实现方式。复杂形式的微波网络需要通过大量的调试工作才能使各项指标满足使用要求。调试人员需要反复的更换端口进行指标调试和测试。文中将一种ATS技术引入微波网络调试系统中,基于GPIB总线、端口扩展中枢、控制软件,实现微波网络调试工作中测试自动化和辅助调试。引入ATS技术后的调试系统的精度可以达到:幅度误差≤0.05 d B,相位误差≤1°,调试效率提高约40%。
文摘提出一种基于灰色系统理论和贝叶斯信息融合理论评定小样本自动测试系统(Automatic Test System,ATS)测量不确定度的新方法。该方法在已有测量不确定度灰色评定模型的基础上,引入灰色关联理论,建立新灰色评定模型,并引入贝叶斯信息融合思想,融合历史测量数据和当前测量数据的评定结果,得到最终测量不确定度。以某ATS测量链中具体的传递单元作为实例,按该方法计算测量不确定度,并将评定结果与其他常用方法评定结果进行比较,达到很好的一致性,且该方法评定小样本ATS静态测量得到的结果准确度高,评定小样本ATS动态测量,更符合其动态测量特性且计算量小。
