机载设备综合 ATE 通用软件平台

针对机载设备综合ATE测试程序的编制及运行,提出一种既可编制测试程序又可运行测试程序的通用软件平台,测试程序以文本文件形式保存,实现了测试参数与测试源程序的分离。     

通用ATE开关资源测试路径模型及应用

针对自动测试设备(ATE)测试程序开发中的开关资源测试路径搜索复杂、冲突判断困难、管理难度大等问题,提出了通用ATE开关资源测试路径模型,给出了模型的构造方法和多开关资源级联的级联算法,介绍了模型的具体应用.模型实现了ATE测试过程中开关资源测试路径冲突判断、最佳测试路径自动搜索、测试路径故障隔离、测试程序与具体测试路径硬件资源无关.提高了测试程序(TP)的通用性和可移植性,降低了TP开发的工作量.      

机载设备自动测试系统通用开发平台

针对当前自动测试系统(ATS,Automatic Test System)开发技术存在的不足,构建了一个ATS通用开发平台.该平台对ATS软硬件进行联合设计,用户只需通过接口输入被测设备信息及测试策略流程,平台即可自动完成大部分软硬件设计工作,包括仪器选型、适配器设计、测试程序生成等.设计结果会传递到平台提供的ATS运行环境,供用户进行被测设备的测试、故障诊断.经实例验证,ATS软硬件联合自动设计技术可缩短开发周期,降低开发成本,提高设计的标准化、通用化程度.      

基于RTX实时系统测角方法的研究

针对惯导测试转台角速率精度测试要求,开发了在RTX实时系统下,以VC进程建立数据采集,以VB环境建立操作界面的测试程序,便于转台角速率的实时监测及对速率精度的随时检测,具有携带方便,适应性强、测试系统与转台系统相对独立等特点,保证设备运行的可靠性。     

Pulse振动测试软件的后续开发

为了解决振动计量测试后,人工处理大量数据的难题,利用Pulse LabShop软件的OLE控件,通过Matlab编程,实现测试数据自动调取和分析,并自动生成原始记录和报告。经一年的使用表明,软件能批量自动准确地处理数据,节约了大量时间,并为采用Pulse LabShop软件测试产生的数据,提供了后续处理的解决方案。     

软件自动测试的研究与程序实现

从介绍软件系统测试的现状及所采用的测试过程，测试方法入手，对软件自动测试的生命周期，适用范围，实现机制进行了研究，讨论了一种可行的，实用的自动测试的开发过程及方法，并且在此基础上介绍一个基于该方法的自动测试程序的实现。     

基于Labwindows/CVI的发射机测试系统软件设计

针对发射机测试系统的软件需要,进行了发射机测试系统的软件设计,包括交互界面设计,测试程序设计以及报表生成设计。测试结果表明,该软件能够实现发射机的自动测试和报表生成,满足工业测试需求。     

基于Labwindows/CVI的发射机测试系统软件设计

针对发射机测试系统的软件需要,进行了发射机测试系统的软件设计,包括交互界面设计,测试程序设计以及报表生成设计。测试结果表明,该软件能够实现发射机的自动测试和报表生成,满足工业测试需求。     

基于Labwindows/CVI的发射机测试系统软件设计CSCD

针对发射机测试系统的软件需要,进行了发射机测试系统的软件设计,包括交互界面设计,测试程序设计以及报表生成设计。测试结果表明,该软件能够实现发射机的自动测试和报表生成,满足工业测试需求。     

基于证据理论的TPS诊断性能综合评定

测试程序集TPS(Test Program Set)诊断性能的评定是保证TPS质量的重要手段.针对TPS诊断性能的评定问题,研究了基于D-S(Dempster-Shafer)证据理论的综合评定方法,介绍了D-S证据理论的基本原理,提出了TPS评价验证的数学模型以及基于证据理论的TPS诊断性能综合评定的基本框架,定义了TPS诊断性能的基本概率分配函数(BPAF,Basic Probability Assignment Functions),并在此基础上提出了基于Kolmogorov-Smimov(K-S)检验的BPAF确定方法,给出了TPS诊断性能综合评定的步骤,最后对基于D-S证据理论的TPS诊断性能综合评定的有效性进行了实例分析,结果证明了该方法的有效性.      

相变储热/辐射器式热沉的传热特性研究

对一种用于舱外活动的相变储热/辐射器式热沉进行了实验研究和数值模拟.设计了相变储热器的实验件和实验方案,进行了储热器的冷却实验.建立了具有导热与对流换热耦合边界的相变储热器数学模型,模型中考虑了自然对流及空穴的影响.编制了相变储热器的性能分析计算程序.通过实验值与计算值的比较分析,验证了程序的可靠性.该模型及计算程序为相变储热器的设计和优化提供了有利的分析工具.     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

山区机场高填方地基变形分析

目前山区机场大量采用高填方工程,高填方地基沉降变形问题是个亟待解决的重要问题。首先,基于统一硬化（UH）模型,通过研究含石量与内摩擦角和黏聚力的关系,并基于扩展SMP准则和变换应力,将含石量引入到UH模型中,建立了考虑含石量的UH模型;应用当前屈服面与平均主应力轴交点的变化规律作为考虑含石量UH模型加卸载的判断准则,实现了硬化和软化的统一考虑;采用半隐式回映应力更新算法,将加卸载判断准则应用到应力更新算法中,实现了考虑含石量UH模型的有限元应用。其次,应用考虑含石量UH模型的有限元程序,对土石混合料的大型三轴试验进行了计算分析,计算结果和实测结果进行对比,验证了有限元程序的有效性。最后,应用考虑含石量UH模型的有限元程序,对山区机场高填方地基进行了三维有限元分析,得到了地基沉降监测点的竖向位移随时间的变化曲线,并与不考虑含石量UH模型、修正剑桥（MCC）模型计算得到的曲线及工程实测数据进行了比较,得到了高填方地基的竖向位移云图、侧向位移云图、孔隙水压力云图和超静孔隙水压力随时间的变化曲线,从而得到了机场高填方地基的位移和超静孔隙水压力变化规律,说明了考虑含石量UH模型在分析山区机场高填方地基变形方面的合理性。      

卫星互联网用空间行波管非线性特性模拟

为了研究卫星互联网用空间行波管的非线性特性,本文使用行波管一维大信号模型,结合CST软件计算得到的行波管冷特性参数,基于MATLAB平台编写了数值计算程序。使用所编写的程序,以Ka波段和Q波段的两种空间行波管为模型,计算其调幅-调幅（AM-AM）和调幅-调相（AM-PM）的主特性,并同时计算了三阶交调失真（IMD3）和噪声功率比（NPR）。分析了输入功率的回退对这两种非线性特性的影响,并与矢量网络分析仪得到的实际测试结果进行了对比,三阶交调的计算结果与实际测试的误差在1dB以内。为高线性度行波管的设计提供模拟工具。     

飞机系统可靠性的电磁兼容预测研究

对飞机可靠性工程中的有关系统内电磁瘘容性分析和预测程序进行了研究开发，详细论述了天线对天线干扰的传播模型、导线与导线间的耦合模型、电磁场对导线的感应模型、设备对设备的耦合模型以及其编程语言、输入数据处理方法等开发技术。给出其计算结果，并与实验数据作了比较，结果表明，可提高系统的可靠性。     

对数正态分布寿命型序贯验证试验方法

借鉴指数分布寿命型序贯验证试验方案的思想,讨论了以平均寿命为指标的对数正态分布寿命型产品序贯验证试验的制定方法,给出了序贯试验的试验程序,研究了截尾状态下序贯试验的生产方风险和使用方风险的上限.基于工程实际的抽样方法,给出了计算机仿真评价方法,对给出的序贯试验方案进行评价.评价结果表明,在样本量和截尾数满足要求的前提下,所提出的序贯验证试验方法能够满足对双方风险的控制要求,且对使用方风险提供了更大的保护.     

一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

月面无人自动采样返回飞行程序设计与实现

针对嫦娥五号飞行程序多舱段、多任务、系统控制复杂的设计特点和难点,采用传统的飞行程序设计方法工作量大,状态控制困难,很难满足任务要求。提出了一种新的基于状态转移的方法对飞行程序进行系统建模,首先将整个飞行过程分解成若干模块状态机;然后针对每个模块状态机的功能划分为状态触发器、评估器、执行器和确认器,并分别开展建模设计;最后通过状态触发器和确认器将各个功能模块进行连接,形成整个飞行程序的有限状态机描述。相比传统方法,该方法具有通用性、可扩展性和可复用性等特点,对于规范飞行程序设计,描述复杂的飞行任务过程有很大的优势。采用该方法对嫦娥五号飞行程序进行了建模和设计,并给出了典型飞行过程的设计结果。在轨飞行试验结果表明,该方法可以满足飞行任务的要求,确保了嫦娥五号在轨飞行控制任务圆满成功。