面向复杂系统的三维Bayes网络测试性验证模型

针对当前武器装备复杂的系统结构,现有基于装备整机系统测试性先验信息的测试性验证方法难以适用,基于分系统测试性先验信息的测试性验证方法不能系统有效地处理先验信息,导致测试性验证结果可信度不高的问题,提出一种面向复杂系统的三维Bayes网络测试性验证模型。该模型能充分运用装备各层级结构中所蕴含的条件独立性,有效降低构建Bayes网络模型的复杂度,同时能融合装备各层级单元的先验信息。通过给出的三维Bayes网络的条件概率学习方法及G/M-H算法,由底层单元数据通过模型逐步向上融合,得到顶层测试性指标的后验分布,进一步利用顶层后验分布求取故障样本量。结果表明:该模型能充分考虑复杂系统的系统结构及各层级单元先验信息,并能通过模型推理得到的指标后验分布达到有效减少测试性验证故障样本量的目的。      

VXI总线嵌入式计算机

作为一种新型的模块化测量仪器标准总线 ,VXI总线已经成功应用于多种导弹的测试、发射和控制。VXI总线嵌入式计算机是VXI总线测控系统的核心模件 ,担负着控制VXI总线操作和管理系统资源的重任。本文通过对国内VXI总线嵌入式计算机现状的分析 ,提出了一种新型的VXI总线嵌入式计算机的硬件设计方案 ,并对主要电路的技术要点和实现方法进行了较详细的论述。     

基于FPGA的移动通信衰落信道的建模与实现

介绍了一种基于现场可编程逻辑阵列器件(FPGA)的中频移动通信衰落信道模拟系统设计方案,它可以模拟在地面环境下的移动通信传播特性.该系统可以在实验室条件下评估移动通信终端的性能.利用FPGA作为数字信号处理平台来实现可调的衰落带宽以及多径延时.介绍了一个模拟最多三个不同传播路径的典型多径效应模型,通过增加相同的单元数目可以实现更多路径的模拟.该通道衰落模拟系统专为速度达到120km/h以及多径时延达到9μs的移动单元设计.     

基于Gem5的性能数字样机系统

面对当今复杂多变的国际环境,数字工程作为确保国防安全的重要工程,其战略高度不断提升。作为数字化技术的集大成者,数字工程在国防装备的设计、生产和制造中占据着举足轻重的地位,决定装备研制的成败。面对机载领域中基于物理实际硬件的仿真验证平台已无法紧跟飞速迭代的智能算法和不断涌现的新型加速器,以及滞后的功能、性能验证和固定的硬件组成对平台的扩展性和灵活性造成束缚的问题。设计并实现了一种基于Gem5的性能数字样机系统,能够缩短机载计算平台设计、研制周期,提前评估系统性能、分析定位潜在的软硬件瓶颈,达到减低研制风险、提高研制效率的目的。     

基于AADL的多核体系设计与验证方法

通过建立模型来了解和预测多核体系的能力可有效避免在运用多核体系开发的后期出现返工的局面。为此,提出基于AADL的多核体系设计与验证方法。在使用AADL组件的前提下,基于AADL扩展属性集提出多核体系设计方法,基于AADL附件子语言提出多核体系验证方法。以腾锐D2000这一典型的通用8核处理器为实验对象,在开源建模环境OSATE中对所提出的基于AADL的多核体系设计与验证方法予以实验检验。实验结果表明所提出的基于AADL的多核体系设计与验证方法有效。     

反推力系统适航设计与符合性验证分析

现代涡喷飞机大多设计有反推力系统以提高飞机的经济性、可用性和安全性,然而反推力系统若发生故障则可能引发灾难性的飞行事故。因此,反推力系统的设计和适航符合性验证已成为适航当局重点关注的审定问题。本文通过对中、美、欧适航当局反推力系统的相关适航标准、咨询通告和修正案的研究,给出涡喷飞机反推力系统的适航要求和简析,反推力系统"操纵性"和"可靠性"验证思路及注意事项;此外,结合某型飞机的反推力系统,给出"可靠性"验证思路的实例验证过程和符合性结论。研究结果可为我国进行飞机反推力系统适航设计和符合性验证提供有益参考。     

空客A320系列飞机鲨鳍小翼复合材料结构修理质量验证

在进行A320系列飞机鲨鳍小翼复合材料结构修理时,根据适航法规要求采用完善的质量验证体系,涵盖损伤检测与评估、修理方式分析、质量控制及验证各个阶段,并参照ASTM标准,利用随炉样件同袋固化的方式对维修部件的力学性能进行检测,测试结果表明修理质量良好。     

太阳敏感器光学信号动态激励系统设计

摘要： 基于微小型两轴转台及太阳模拟器，设计了一种太阳敏感器光学信号动态激励系统，适用于卫星控制分系统闭路验证过程.通过对光源、光路、积分器、准直镜的合理选型、设计，使得模拟光的辐照度、准直度、辐照不均匀度、辐照不稳定度达到了控制分系统闭路验证的性能要求.通过结构设计、滑环设计、伺服控制设计，实现了0.02°的转台角度控制精度，以及360°全范围的角度空间可达.综合试验结果表明，该激励系统能够实现卫星在全天球范围内运行过程中对太阳敏感器的有效信号激励，能够应用于控制分系统的闭路验证系统.     

基于SOPC的计算机控制技术

本文提出一种基于SOPC的计算机控制系统。通过以SOPC为控制核心，配合外围电路，以实现RS422、CAN、1553B、FlexRay、以太网等多种通讯接口，完成控制、信号采集及数据记录等功能。本系统具有集成度高、扩展性强、可靠性高的优点。