面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

反编译在航天工业中的应用

本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用；     

参考标准的期间核查

期间核查是对校准实验室和检测实验室的通用要求之一。参考标准的核查关系到该地区或该单位计量活动和检测结果的有效性。本文论述了最高测量（计量）标准的核查标准、核查方法、核查结果处理、核查间隔及记录等问题。     

某型飞机可靠性外场验证评估与分析

介绍了国内首次参与外场验证的某型飞机的可靠性验证情况，对飞机各系统和主要机载设备的基本可靠性进行了考核与分析，指出了存在的问题。     

国产超薄铝蜂窝芯材在太阳翼基板的应用

针对太阳翼基板国产高性能低密度超薄铝蜂窝的自主可控需求,开展分析和试验,验证国产超薄铝蜂窝芯材应用于太阳翼基板的技术可行性。首先建立有限元模型进行准静态载荷分析,基板蜂窝芯子最大横向剪切应力为0.345 MPa,小于剪切强度0.36 MPa,满足强度裕度要求。其次,针对目前超薄蜂窝研制批次稳定性较差、剪切模量波动性较大的问题,对蜂窝剪切模量波动对基板力学性能的影响进行分析,结果表明,基板应力应变分布水平对剪切模量变化不敏感,蜂窝剪切模量降低50%后,基板蒙皮碳纤维最大应变减小3%,蜂窝芯子最大横向剪切应力减小9%,基板最大位移增加7%,可为蜂窝评估提供数据支撑。最后,开展基板缩比件和全尺寸基板的力、热试验,试验后基板未发生损伤。分析和试验结果表明：国产超薄铝蜂窝芯材性能满足要求,可在太阳翼基板上应用。     

航空发动机风扇叶片爆破飞断主动控制技术

为了实现在风扇机匣包容性试验中对叶片飞断转速的精确控制,开展了叶片飞断主动控制技术研究。提出了一种风扇 叶片爆破切割飞断的方法,进行了风扇叶片榫头的装药结构设计以及应用爆破技术的可行性分析;设计了遥控起爆系统,确保了 试验安全;根据静、动态双重验证的技术研究路线提出了详细的技术指标,使叶片飞出姿态满足试验器条件下包容性试验的技术 要求。结果表明：采用风扇叶片爆破切割飞断的方法顺利完成了某大涵道比发动机叶片在风扇机匣包容性试验指定转速下的爆 破飞断,叶片飞出的附加动能小于叶片飞失动能的0.05%,叶片飞断转速的控制精度在0.1%以内。验证了该项技术在试验器条件 下完成风扇机匣包容性试验的有效性,并为整机包容性试验奠定了基础。     

一种基于智能卡的指纹认证方案

利用智能卡安全的计算和存储能力,在智能卡上不仅存放指纹特征模板,而且还实现两个特征集合的比对,指纹识别算法的其它过程则由经过认证的读写设备来完成.指纹的预处理仅包括三个部分:基于8个离散方向的方向场计算,在脊线方向使用平滑算子而在垂直于脊线的方向使用增强算子的图像增强和直接对脊线进行跟踪的特征提取算法.比对过程中首先根据两个集合中的全等三角形求出它们的旋转和平移参数,然后对根据参数进行转换后的特征集合进行点模式匹配.根据实验获得的卡上比对时间和识别率表明该方法的合理性,可用于工程实践.     

高转速大长径比传动杆动态特性研究

大客发动机径向传动杆具有长径比大、转速高等特点.为保证传动杆可靠工作,需进行精确的动态特性分析,而边界条件的选取和简化是保证传动杆动态特性准确性的关键.分别使用了简化模型和整体模型计算了传动杆的模态,通过边界条件的选取设置,对传动杆进行了动态特性分析和试验验证,并与试验结果进行了对比.结果显示,使用整体模型计算得到的传动杆模态振型与试验结果较为一致,证明了传动杆边界条件选取方法的正确性.     

系留气球装备环境工程浅析

主要探讨系留气球等浮空器的环境适应性设计、试验和评价；结合环境适应性工程思想，结合实际工作经验，阐述了浮空器装备全寿命期环境分析、适应性设计以及环境试验与评价等方面的工作要求。相比于飞机等短时飞行的航空器而言，对于留空时间长达数天乃至数十天的系留气球，在设计和验证过程中更应该关注其环境适应性要求。     

板式表面张力贮箱导流板的理论计算与试验验证

板式表面张力贮箱的PMD通常包括导流板与出口附近的蓄液器,导流板是影响板式贮箱性能的关键因素之一,由于地面没有失重环境无法直接进行导流板的工作原理地面验证。为了确认导流板的可用性,通过理论分析建立了导流板液体传输能力的计算方法,通过中性浮力试验对导流板的液体收集能力进行了试验验证。经过多次试验的试验结果与理论计算结果的对比分析,得到了一种可应用于工程设计的计算方法,利用该方法编程形成了一套计算软件,可指导板式表面张力贮箱内导流板的设计。