民用飞机机电系统试验测试技术

在剖析民用飞机机电系统试验测试需求和试验测试体系的基础上,通过对国外相关技术调研分析,明确了国外机电系统试验测试技术发展方向。结合民用飞机实际需求及国内相关技术发展现状,提出了国内必须从提升适航验证能力、突破核心关键测试技术、研制地面试验集成化测试平台、推动试验测试标准化工作等方面成体系地开展工作的建议,希望能够为我国未来民用飞机试验测试技术发展起到一定的指导作用。     

网络安全审计设备性能测试方法

对网络安全审计设备工作流程进行分析,对设备性能指标进行了分类并给出明确定义,在此基础上提出基于测量的性能测试方法。该方法通过使用硬件测试仪对网络业务流量进行实时模拟,结合设备进行测量。实际测试结果表明,提出的性能测试方法在业务流量与设备性能之间能够建立显式关联,所使用的性能指标可以有效地对设备的性能进行客观描述。     

基于VC33航天软件集成测试技术研究

针对航天软件高可靠性的特点,以发现程序中的错误为重要目的。为了使得整个软件得到多次多层的测试,发现存在于单元间接口的诸多问题,验证单元接口的一致性、正确性而采用集成测试技术。集成测试方法主要包含非渐增式和渐增式两种测试方法。渐增式测试方法主要分为自顶向下、自底向上和三明治集成三种方法。根据航天型号软件极特殊的运行环境和特点,基于VC33航天型号软件采用深度优先自顶向下集成测试方法。实例验证,该方法能发现和改正模块接口错误,减少残留错误,降低航天软件开发风险与代价以及保证航天软件质量。     

一种基于FSM的BGP-4协议模糊测试方法

BGP-4路由协议的安全性对于保障整个网络安全、可靠运行具有重要意义。现有的模糊测试方法在对BGP-4协议测试时存在状态测试困难、测试用例冗余等问题。为了解决这些问题,提出了一种基于有限状态机的BGP-4协议模糊测试方法BFuzz,设计了测试序列生成算法TSGF（Test Sequences Generation for Fuzzing）和测试用例生成算法TCGVF（Test Cases Generation based on Vulnerable Fields）,实现了原型系统BFuzzer。测试结果表明该方法能够有效地挖掘BGP-4协议中的漏洞。     

民用飞机机载软件同行评审过程研究

依据DO-178B中对于机载软件研制过程的要求,根据民用飞机机载软件验证经验,从实践出发,总结出了能够满足适航要求的民用飞机机载软件同行评审过程。     

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.     

某型设备控制装置单板测试方法研究

以通用检测平台为基础,研究了某型设备控制装置单板的测试方法。采用先进的电路仿真软件对电路板进行了原理仿真、测试仿真,确定了电路板的测试思路、测试方法。根据测试需要,提出了特殊激励信号的产生方法。最后,对该电路板进行了实际的测试验证,所得波形满足电路板的功能要求,结果证实了测试方法的有效性与合理性。     

网络安全专用产品网闸性能测试方法

为解决网络安全专用产品网闸的性能测试问题,研究了针对网闸产品性能的测试方法,设计了包括使用iPerf软件和IXIA硬件的两种测试方式,两种测试方式均能够适用于对网闸性能的测试.同时,还分析了国家标准中对网闸性能要求的测试方法,并与网络安全专用产品的性能要求做了对比说明,最后通过实验的方式,测试了网络安全专用产品中网闸的吞吐量和系统延时性能指标,给出了14款网闸产品的性能结果分布.     

基于测试性的电子系统综合诊断与故障预测方法综述

故障诊断与预测技术是故障预测与健康管理(PHM)中的两大关键技术.依据电子系统的故障模式与机理,结合测试性设计分析理论,提出了一种基于测试性的电子系统综合诊断与故障预测方法框架.对国内外综合诊断与故障预测方法进行了分类与总结,从基于测试性的嵌入式诊断、基于信号处理的智能故障诊断、基于测试性的故障预测3个方面论述了电子系统综合诊断与故障预测方法.最后分析了制约电子系统综合诊断与故障预测的因素,并探讨了未来的发展趋势.     

协议脆弱性分析及其测试研究

网络安全问题已引起人们的广泛关注,通信协议设计和实现的健壮与否对于网络安全至关重要。使用扩展了的构造类别代数描述协议规范,基于该描述,从一致性和完备性角度对协议可能存在的漏洞进行分析;系统地给出了一种针对潜在漏洞进行脆弱性测试的测试方法,使用类似于协议测试的方法测试实现系统能否抵御针对该漏洞的攻击。实现了一个分布式的协议脆弱性测试平台KD-TclRunner,对国内外著名厂商的通信设备进行脆弱性测试。     

通用飞机验证试飞智能辅助测试系统需求研究

根据当前通用飞机验证试飞测试的实际需要,针对通用飞机体积小、重量轻、试飞周期短等特点,基于人工智能技术提出了一套适用于通用飞机验证试飞的智能辅助测试系统需求,为通用飞机验证试飞智能辅助测试系统构架研究提供支撑。智能辅助测试系统需求包括从采集记录、座舱影像记录等环节提取的机载试验设备需求和从数据传输、数据存储、数据处理等环节提取的地面智能辅助系统需求两大部分,依据该需求构建的系统可实现对测试数据进行实时综合分析评估并反馈,辅助试飞工程师和试飞员全面掌握验证飞行情况,及时调整飞行状态、操作程序,从而为试飞适航验证提供技术支持,并实现提高试飞效率、缩短CCAR23部类通用飞机型号科研试飞与适航验证试飞周期、降低试飞成本的目的。     

飞机结构虚拟试验与认证方法的发展趋势

飞机结构强度虚拟试验是飞机数字化设计/制造/验证流程中的重要一环,针对民用飞机结构的取证方法.文章简述了飞机结构强度虚拟试验的有关问题,包括结构虚拟试验方法与策略,结构虚拟试验与常规结构分析、结构试验的关系,以及近期结构虚拟试验技术的发展战略通过虚拟试验技术,可以强化结构取证的分析验证,减少研发阶段物理试验数量,同时,在飞机研制阶段.加速结构选型和验证速度,辅助结构强度验证试验,减少试验风险,缩短试验周期,降低飞机研制成本.     

基于MTRDL的自动飞行系统模式需求建模与验证方法[1]

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.本文工作提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL,和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明了本文方法在自动飞行系统模式转换需求验证中的有效性.     

飞机工程模拟机重构技术研究

飞机工程模拟机已经广泛应用于飞机设计过程中,为了满足飞机设计中局方MOC验证、延伸论证、扩展性设计的需求,工程模拟机的可重构要求被提出.结合公司承担的C919飞机工程模拟机的实际研制状态和局方审定的相关要求,初步分析可重构内容的初步实现方法和工程实现的内容,具体阐述了该项目的 工程应用,将理论的可重构技术与实际相结合.该项目中既有硬件的重构要求,又涉及软件的快速重构与试验报告的快速迭代,解决了用户的实际试验验证需要,同时降低了验证成本.     

全尺寸缝翼疲劳试验随动加载技术

缝翼及其支承结构的疲劳试验是民用飞机适航取证的一项重要工作,其难度在于需要在试验件运动过程中同步施加载荷,完成对缝翼翼面及其支承结构载荷的考验。过大的同步偏差及不当的异常处理会造成试验件的非预期损伤,是一项风险极高的地面强度试验。在试验方案中采用了控制系统与驱动系统的双驱动方式,在国内首次在翼身组合体真机环境中完成了缝翼疲劳试验,真实还原了缝翼实际运动场景,试验通过对试验运动轨迹的仿真指导随动加载框架的安装,极大地提高了活动翼面随动加载试验在翼面活动时的同步性和加载精度,同时创新的同步偏差实时监控和防错设计保障了试验的顺利运行,为该型号飞机的缝翼设计提供了更具参考价值的试验数据及试验结果。     

民机液压管路程控清洗技术验证系统设计

为解决民机液压管路清洗过程中需反复拆装液压成品件影响清洗效率等问题,提出一种基于假件模块的民机管路清洗新工艺模式.研制压力油滤、PTU选择阀假件模块代替真实成品件,使其具备管路安装定位、油路程控切换等功能,并与液压系统、电气设备、显控平台共同搭建验证系统,对管路程控清洗的有效性、完整性进行试验验证.研究结果为民机液压管路清洗提供了一种新的工作方法,提高了工作效率和质量.     

民机航电系统综合核心处理机平台软件技术研究

针对大型民用客机综合模块化航电核心处理机驻留功能应用数量多、安全级别不同、需独立认证等特点,提出了一种基于ARINC653规范的平台软件架构,设计并实现了平台软件,包括平台基础软件和10项平台驻留应用,研究了相关关键技术,为国产大型民用客机综合模块化航电系统的研制提供了技术支撑。     

国产超大规模集成电路测试系统综合试验验证方法

为全面验证国产超大规模集成电路测试系统的工作指标和性能，提出测试系统的一种综合试验验证方法，根据测试系统不同的验证阶段，分别从系统仪器技术指标测试试验验证、系统软硬件功能测试试验验证和系统集成电路测试能力试验验证三个阶段开展综合试验，并针对各阶段的验证方法开展测试系统的试验验证实例分析，验证实例结果表明该综合试验验证方法能够全方位验证国产超大规模集成电路测试系统的工作指标、功能性能以及测试能力，进一步验证所述方法的可行性；该验证方法能够有效解决集成电路测试系统投入测试应用前的试验验证问题，也为新研集成电路测试系统的指标与功能性能验证提供一种有效的综合验证思路。     

基于SMT方法的测试性验证试验方案设计

针对现有导弹测试性验证试验方案确定的故障样本量较大以及序贯类试验方案最大样本量上界无法确定的问题,提出一种基于序贯网图检验（SMT）方法的测试性验证试验方案。通过对序贯概率比检验（SPRT）的检验问题进行拆分,在确定检验点数目的基础上,提出一种检验点取值与最大样本量的优化求解方法。同时考虑最大样本量较大的情形,基于承制方风险和使用方风险设计了SMT方法的截尾策略。通过案例验证与经典验证方法以及SPRT方法进行对比分析。结果表明,该方法能控制验证试验的样本量且所确定的平均样本量也优于其他方法,导弹装备的测试性验证试验的实施具备实际指导意义。     

基于案例和规则融合的民用客机故障诊断系统设计

目前很多工程应用中的飞机故障诊断方法,只考虑单一的基于案例或基于规则的诊断方法,故障诊断的效率有待提高。本文针对民用客机地面运营支持系统的特点和要求,将案例和规则融合的推理机制引入到飞机故障诊断系统的设计中。该方法采用规则推理为前导、案例推理后置补充的结合方式,最大化地利用飞机故障隔离手册知识和从维修记录中提取的案例知识,从而提高首次故障隔离效率、降低无效排故时间。以民用客机某系统的典型故障为例,阐述了该推理机制在故障诊断中的应用。通过历史飞行数据试验,验证了提出的基于案例与规则融合诊断方法的有效性,以此为基础设计的故障诊断方案可为航空公司构建更完善的专家系统提供参考。