By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain sy...By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.展开更多
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.展开更多
针对先进高性能飞行器对高精度大气数据的测控需求,研发设计了一套适用于亚声速飞行器的嵌入式大气数据传感(flush air data sensing,FADS)系统。该系统首先基于数值建模技术建立了FADS系统模型的压力数据库,并针对建模数据精度及风洞...针对先进高性能飞行器对高精度大气数据的测控需求,研发设计了一套适用于亚声速飞行器的嵌入式大气数据传感(flush air data sensing,FADS)系统。该系统首先基于数值建模技术建立了FADS系统模型的压力数据库,并针对建模数据精度及风洞试验校准数据分析了Ma=0.2~0.4对应的压力误差限;其次,开发了攻角实时解算算法,并集成到工程原理样机中;最后基于风洞试验和飞行试验对FADS系统的实时解算算法及样机进行了系统评估,并通过事后模型算法对攻角进行重新解算以评估攻角实时解算算法的可靠性。结果表明:(1)与机载惯性导航系统等其他独立测试系统解算的数据相比,飞行试验中FADS系统采用的攻角实时解算方法精度整体较好,攻角误差小于1°,在关键段小于0.5°;基于不同模型建立的FADS系统攻角解算方法得到的攻角数值基本一致,证实了开发的实时解算算法的可靠性。(2)基于风洞试验及飞行试验数据对算法误差限的考核结果显示,飞行试验初始阶段实时解算的攻角值产生波动是压力输入波动误差限较大造成的,高空低速时的压力波动幅值大是实时解算攻角值偏差较大的主要原因;建立的FADS系统的攻角解算方法在算法误差限范围内的压力波动对攻角解算值影响较小,但超过算法误差限的压力波动对攻角解算值影响显著。高空低速飞行器FADS系统对测压传感器精度水平及工程实施水平要求较高,在实际工程应用中应尽量保证测压传感器的精度水平。展开更多
基于AMSAA模型以研发阶段收集的同类或相似产品故障数据为核心,创新性地引入离散系数最小化原则作为优化标准,用于指导拟合优度检验统计量的选取。在整合平均值与方差等多元信息后,构建了一种全新的时间环境折合系数求解算法,旨在对原...基于AMSAA模型以研发阶段收集的同类或相似产品故障数据为核心,创新性地引入离散系数最小化原则作为优化标准,用于指导拟合优度检验统计量的选取。在整合平均值与方差等多元信息后,构建了一种全新的时间环境折合系数求解算法,旨在对原始故障数据进行有效折算,进而精准估算模型各项参数。对所得折合系数进行求解,并在10种不同置信度设定下,逐一计算产品设计成型时平均无故障工作时间(Mean Time Between Failure,MTBF)的单侧置信下限。实例研究表明,当置信区间位于0.9~0.99之间时,无论同一置信水平如何,该方法始终能得出优于现有文献的结果,即采用该方法对航天产品可靠性增长进行预测,其准确度显著提升。此外,在不同置信水平下,由改进方法求解的时间环境折合系数值并没有改变,即每个试验项目的环境应力和真实环境应力之间的数量关系并没有因为置信度的增加而变化,也从另一个角度证明了该改进方法更接近于工程实践。展开更多
文摘By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
基金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.
文摘针对先进高性能飞行器对高精度大气数据的测控需求,研发设计了一套适用于亚声速飞行器的嵌入式大气数据传感(flush air data sensing,FADS)系统。该系统首先基于数值建模技术建立了FADS系统模型的压力数据库,并针对建模数据精度及风洞试验校准数据分析了Ma=0.2~0.4对应的压力误差限;其次,开发了攻角实时解算算法,并集成到工程原理样机中;最后基于风洞试验和飞行试验对FADS系统的实时解算算法及样机进行了系统评估,并通过事后模型算法对攻角进行重新解算以评估攻角实时解算算法的可靠性。结果表明:(1)与机载惯性导航系统等其他独立测试系统解算的数据相比,飞行试验中FADS系统采用的攻角实时解算方法精度整体较好,攻角误差小于1°,在关键段小于0.5°;基于不同模型建立的FADS系统攻角解算方法得到的攻角数值基本一致,证实了开发的实时解算算法的可靠性。(2)基于风洞试验及飞行试验数据对算法误差限的考核结果显示,飞行试验初始阶段实时解算的攻角值产生波动是压力输入波动误差限较大造成的,高空低速时的压力波动幅值大是实时解算攻角值偏差较大的主要原因;建立的FADS系统的攻角解算方法在算法误差限范围内的压力波动对攻角解算值影响较小,但超过算法误差限的压力波动对攻角解算值影响显著。高空低速飞行器FADS系统对测压传感器精度水平及工程实施水平要求较高,在实际工程应用中应尽量保证测压传感器的精度水平。
文摘基于AMSAA模型以研发阶段收集的同类或相似产品故障数据为核心,创新性地引入离散系数最小化原则作为优化标准,用于指导拟合优度检验统计量的选取。在整合平均值与方差等多元信息后,构建了一种全新的时间环境折合系数求解算法,旨在对原始故障数据进行有效折算,进而精准估算模型各项参数。对所得折合系数进行求解,并在10种不同置信度设定下,逐一计算产品设计成型时平均无故障工作时间(Mean Time Between Failure,MTBF)的单侧置信下限。实例研究表明,当置信区间位于0.9~0.99之间时,无论同一置信水平如何,该方法始终能得出优于现有文献的结果,即采用该方法对航天产品可靠性增长进行预测,其准确度显著提升。此外,在不同置信水平下,由改进方法求解的时间环境折合系数值并没有改变,即每个试验项目的环境应力和真实环境应力之间的数量关系并没有因为置信度的增加而变化,也从另一个角度证明了该改进方法更接近于工程实践。