符合民机适航标准的形式化方法研究

描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。     

国防科技工业计量培训考核资料

正~~     

某型飞机炸弹舱门操纵机构应急放不开锁故障研究

应急操纵机构是在液压系统有故障无法正常开关弹舱门时,用机械方法打开弹舱门保证战斗轰炸的一种重要可靠的备份系统。通过对炸弹舱门操纵机构生产现状进行调研,对应急放不开锁故障进行研究分析,提出了解决此故障的关键是改善钢珠锁受到的挤压应力。     

中心分级旋流燃烧室不稳定燃烧动态压力信号特征分析

针对中心分级旋流模型燃烧室中出现的不稳定燃烧特征进行试验研究，在常压试验中同步采集了不同工况下燃烧室动态压力脉动信号、释热率脉动信号和高速火焰图像信号。通过经验模态分解（EMD）对压力脉动信号进行分析，发现脉动特征主要集中在前3阶本征模态（IMF）中。这些IMF通过快速傅里叶变换（FFT）进行主频分析后发现分别与释热率脉动、气流旋流脉动和火焰不稳定脉动特征频谱吻合。进而可以判断通过EMD可以从单一燃烧室压力脉动信号中分解出3个主要物理过程的脉动特征，为进一步分析工程级燃烧室试验中振荡燃烧的诱发机制和燃烧诊断提供了数据处理方法。     

高温环境激光测振实验研究

根据激光测振原理,搭建了一套高温环境下的激光测振试验系统。利用该系统进行实验,分析了动圈连接杆对振动的传递效果,在中频下的传递误差较小,高频下传递误差较大,并为激光测振实验选取了合适的激励频率。进行了高温环境下的比较法测振和激光测振实验,通过与参考加速度计的测量结果进行对比,得到高温下的比较法测振和激光测振相对误差,并对误差影响因素进行了分析。实验表明,激光测振能够弥补压电加速度计在高温下测振的不足,且具有较好的稳定性和较高的精度。     

过失速动态翼型数据采集及预处理

详细介绍了过失速动态翼型测力，测压数据采集系统的组成，数据采集方法，数据预处理等，对过失速动态翼型数据采集过程中的校准，采样保持和滤波等技术细节进行了探讨。     

空气流速和自热效应对湿度传感器测量准确度的影响

通过对多种典型型号湿度传感器在不同空气流速条件下对同一相对湿度测量结果的变化的实验研究,得出了0～1.5 m/s流速范围内湿度传感器的示值随流速的变化趋势,即示值随流速增大而增大,总变化量最大达2%RH以上,且变化主要发生0.5 m/s以下的低流速情况下,同时传感器表面温度随流速增大而降低,两者变化趋势相互吻合。进一步分析表明,上述现象是湿度传感器的自热效应和空气与传感器之间的对流换热效应共同作用的结果,它给湿度传感器的测量结果带来新增不确定度。     

双向不对称同步数据业务接入设计

根据数据传输设备业务板卡功能特点,采用2个端口绑定的方式解决了双向不对称同步数据业务接入问题,针对链路调试过程中出现的数据传输不稳定现象,通过测试接口信号波形质量和时序关系,发现发送定时信号占空比及其与发送数据间的时序关系不符合相关标准要求,分析对此产生的影响并提出相应解决方案。通过对不同方式实施效果的分析评估,确定了设备连接状态,实际测试验证与理论分析结果完全相符,提高了传输的稳定性和可靠性,并在重要数据传输工程中得到应用,可为解决同步数据传输不稳定问题提供参考。     

间冷回热循环发动机回热器套管结构优化

以减小回热器管束内流量分配不均匀度和套管质量为目的,利用Isight集成CFD建模和仿真流程,优化间冷回热循环发动机回热器套管结构尺寸,同时还分析了单个及多个套管结构对回热器流量均匀度的影响。结果表明,单套管长度为135 mm时,回热器内不均匀度最低,为0.274 22;两套管结构套管长度分别为75 mm和203 mm时,不均匀度最低;三套管结构套管长度分别为23 mm、121 mm和78 mm时,不均匀度最低。前端套管对回热器不均匀度的影响最大,回热器中套管数目越多其不均匀度越大。     

鑫诺地面站对DFH—3卫星进行测距时出现2公里偏差的分析

鑫诺卫星测控管理站建成后,利用DFH-3卫星进行了测距定轨试验。鑫诺站定轨结果和西安卫星测控中心利用渭南站和厦门站对DFH-3卫星定轨的结果进行比较时,发现鑫诺站定出的轨道报数中,长半轴差2公里左右。本文对产生这个2公里左右偏差的原因进行了详细分析。发现原来研制单位提供的地面设备的零值是错误的,其中存在180°倒相。同时发现法国人提供的模拟应答机(TCR)的零值也是错误的。