基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

大口径管内层材料硬度现场自动测量仪设计

硬度试验是材料性能试验的主要方法之一。随着工业的发展,许多管类产品的硬度现场测量需求越来越多,常规的硬度测量仪器不能满足管类产品的现场测量需求,需要研究新的测量手段,实现对管件的非破坏性测量。论述了采用电阻硬度传感器技术实现炮管镀铬层硬度的测量方法以及对测量装置的设计。     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统,旨在民机研制过程中充分发挥自主适航的能力,通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能,以保证航空产品的设计或者设计更改满足适航当局的要求。其中,设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上,从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制,给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议,并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果,进而增强设计保证系统对飞机型号研制的保证作用。     

CAN总线在电液伺服阀性能测试系统中的应用

伺服阀性能测试系统中,测控电路和计算机间的模拟信号传输易受外界干扰,而把信号以数码形式通过CAN总线传输的方法,可以彻底消除外界干扰问题,还能提高系统的性能和可靠性。介绍了CAN总线硬件电路、程序设计及CANopen通讯协议的实现,讨论了CAN总线在测试系统上的实际应用。     

环型超声速空气引射器零二次流流场数值研究

采用二维轴对称雷诺平均方程和标准κ-ε双方程湍流模型，数值研究了环型超声速引散器零二次流的流场结构及盲腔压强的变化，空间上采用二阶迎风格式进行耦合求解，时间上采用显示的Runge-Kutta方法进行迭代推进。结果表明，引射器几何参数不变的情况下，启动后的盲腔压强与引射气流总压之比为一常数；喷管马赫数不变情况下，喷管出口面积与混合室入口面积比越小，盲腔压强越低，扩压器性能越好，启动要求的总压越低，对超声速空气引射器的设计具有指导意义。     

ASL3000集成电路测试系统的检定方法

介绍了ASL3000集成电路测试系统的检定方法.通过分析该测试设备的特性,对线性信号、数字信号、混合信号、射频信号、基带信号模块的检定,采用自带通用仪表和检定程序实现;对于自带仪表的检定,则通过定期送检,溯源到国家标准.     

叶片飞脱下转子动力学响应实验

为了研究大涵道比涡扇发动机叶片飞脱时动力学响应,更好地进行发动机安全性设计,根据相似理论设计了包含叶片飞脱装置的突加不平衡实验系统并进行了实验验证。研究结果表明:设计的突加不平衡实验系统,与某型验证机相似度高,代表性强,能够有效可控地进行突加不平衡实验,重复性好,机理清晰且飞脱不平衡量大,能够真实地模拟发动机叶片飞脱响应。通过实验发现,当大突加不平衡发生时,频谱出现超次谐波并且冲击系数由于挤压油膜阻尼器限幅作用并不呈现线性关系,因而在后续研究中还应注意限幅导致的碰摩问题。      

基于扩展卡尔曼滤波器的微型燃气轮机传感器 故障诊断与硬件在环验证

为了解决微型燃气轮机在变工况条件下的传感器信号故障诊断问题,提出了基于1簇卡尔曼滤波器的故障诊断方法。该方法基于V字研发流程,使用基于模型的设计方法开发了Simulink微型燃气轮机部件级仿真模型,设计了变负载条件下的传感器故障诊断与隔离系统。基于全数字仿真平台和硬件在环仿真平台对模型以及故障诊断与隔离系统进行集成验证。结果表明:基于MBD方法的全数字仿真及硬件在环仿真具有很高的一致性,能够快速实现模型转换及验证,为微型燃气轮机控制算法开发与硬件在环验证提供了有力的支持。     

复合材料壳段自动钻铆技术研究

拉铆型环槽铆钉广泛的应用于航天复合材料壳段装配,实现其自动钻铆对提高复合材料壳段的装配效率及装配质量具有重要的影响。本文在概述了环槽铆钉拉铆原理的基础上,综述了国内外关于自动钻铆技术的研究和发展概况,以自动钻铆设备供应商为代表,介绍自动钻铆技术的最新发展,并对常见的自动钻铆系统工作特点及效果做了系统分析,针对复合材料壳段装配特点提出一种自动钻铆技术方案,为实现复合材料壳段的自动钻铆奠定基础。     

空冷电机气动噪声的分析与验证

介绍了空冷电机气动噪声的来源、测量方法以及工程上常用的气动噪声控制措施。以某空冷电机为例,采用CFD方法对外风路的稳态流场、瞬态流场以及声场进行了数值分析,将计算结果通过试验进行验证。这对自通风型空冷电机的气动噪声分析具有一定的参考意义。