C/C++软件的危险函数静态检查研究

C/C++软件开发过程中,源代码中若使用了危险函数,会造成内存缓冲区溢出,产生严重的安全漏洞和隐患,因此对源代码进行危险函数检查非常重要.对于大型软件模块需要将危险函数静态检查工具集成到持续集成工具上,对源代码进行危险函数检测.结合工作实践,介绍了危险函数检测工具,叙述了对源代码进行检查的流程;详细叙述了基于持续集成的危险函数检查过程;最后介绍了两个典型案例.工作实践表明,进行危险函数检查有助于及时发现和处理软件中的危险函数隐患,从而提高软件产品的质量和安全性.     

战斗机飞行姿态对最低安全救生高度影响的仿真研究

战斗机飞行员在飞机出现危险情况时采用火箭弹射座椅作为救生装备的主要形式,在低空不利姿态下弹射时,往往需要一定的最低安全高度来保证弹射救生的成功率,在座椅性能确定的情况下,最低安全救生高度取决于弹射时飞机的飞行姿态。为此,根据火箭弹射座椅的工作原理,针对弹射过程的不同阶段,建立相应的数学模型,用仿真计算的手段来研究不同飞行姿态对最低安全救生高度的影响,以期为飞行员如何选择正确的弹射时机提供一定的理论支撑。     

舰载机弹射起飞动力学仿真与安全边界评估

为了研究影响舰载机弹射起飞安全性的因素,在舰载机弹射起飞动力学模型的基础上,设计了标准起飞航迹并进行了数值仿真。分别对航母、飞机、环境等参数对安全起飞的影响规律进行了仿真研究,然后对多种参数的组合影响进行了仿真分析,最终获得了安全起飞的边界参数。     

从事故角度浅谈飞机结构设计理念及规章

2017年交通部发布了《CCAR121大型飞机公共航空运输承运人运行合格审定规则》R5版本,其中维修体系的主要变动为附件J：持续适航和安全改进,民航局审定司同时发布/修订了8个相应咨询通告。其中重点规章为《AC-121-FS-2018-71修理和改装的损伤容限检查要求》。通过民航史上关键事故,介绍并阐述规章和咨询通告中“安全寿命”、“损伤安全”和最终发展为“损伤容限”的历史及落实到附件J和咨询通告的相应条款,为业内人员提供借鉴,加深对于飞机结构安全设计理念和规章理解。     

近距平行跑道配对进近方式的安全区域

为了提高我国近距平行跑道的运行效率,对配对进近方式的安全区域进行研究.根据配对过程中快机和慢机的相对运动关系和速度特征,将配对进近分为快机不可超越慢机和快机超越慢机两种方式.将慢机作为参考量,分析快机的相对运动状态,定性地给出两种配对方式的安全区域范围.在此基础上,考虑慢机错误地闯入快机航向道,建立防撞安全边界计算模型;考虑配对前机在最大不利侧风影响下的尾流对后机的影响,建立尾流安全边界模型.利用虹桥机场的相关数据,采用C类航空器B737-800,D类航空器B747-400作为配对进近的两架飞机,对模型进行验证.结果表明:该方法可以实现实时定量地计算两种配对方式下的安全区域范围.     

考虑交接班误差的RLV进场着陆轨迹和安全交接区设计

针对考虑交接班误差的重复使用运载器(RLV)无动力自动进场着陆段轨迹设计问题进行了研究。将整个自动进场着陆过程分成交接段、标称下滑段和标称拉平段3个阶段。在依据标称交接班状态、触地状态逆序完成拉平段、下滑段的标称轨迹设计的前提下,针对可能存在的交接班误差,提出一种综合考虑纵、侧向位置和速度交接班误差的交接段在线三维轨迹设计方法,并结合阻力舵调整策略,实现RLV从交接班点向标称轨迹的平滑过渡;然后,在交接段轨迹设计基础上提出了交接高度平面内"安全交接区域(SIA)"的概念及其求解方法。仿真结果表明:所提出的轨迹设计方法及SIA对存在交接班误差的无动力进场着陆轨迹设计问题具有实际的参考意义。     

自由飞行下考虑高空风的最小安全间距研究

自由飞行为解决空中交通拥挤问题提供了有效方法,为保证自由飞行下的飞行安全,对飞机对间的最小安全间距的研究显得尤为重要。高空风对飞机的航向、地速都有影响,综合考虑了CNS性能及高空风因素来建立基于随机微分方程的碰撞风险模型,利用MATLAB计算算例中的碰撞风险。根据给定的安全目标水平,利用牛顿迭代法对最小安全间距进行寻优,求解自由飞行下的最小安全间距。算例结果表明了所建模型的可行性。     

扁平体空间非合作目标多指外包络抓捕构型设计

针对空间非合作目标抓捕问题,提出了一种扁平体空间非合作目标多指外包络抓捕最优构型设计方法。该方法的核心在于：选择抓捕机构的主手指并控制它跟踪包络点;根据抓捕机构的多指几何关系计算从手指可行抓捕构型;利用外包络抓捕约束条件,以及碰撞检测约束条件,筛选出有效包络构型。与已有方法相比,该方法采用主 从抓捕的简洁模式,可以大大降低抓捕构型优化的计算量,适用于空间非合作目标实时在轨抓捕。进一步,引入了抓捕安全裕度的概念,用于量化抓捕机构多指形成的抓捕包络空间和空间非合作目标运动包络之间的安全裕度。考虑到形成抓捕构型之前尽量避免空间非合作目标与抓捕机构发生碰撞,避免产生二次碎片,在设计抓捕外包络构型时选择最大抓捕安全裕度构型作为最优构型。将该算法分别应用到四边形和正五边形运动目标包络问题中,仿真结果表明了其有效性。     

基于蜂群算法的飞机滑行路径优化

研究了飞机场面滑行路径动态规划问题,将三种滑行冲突作为约束条件,建立了场面运行模块化模型。基于蜂群算法给出了问题的优化算法,并进行了计算机仿真实验,结果表明可以大大减少滑行时间。算法既可以用于滑行路径的动态规划,也可以为繁忙机场的安全运行提供决策支持。     

不完整结构系统刚度可靠性分析

基于结构强度可靠性分析的基础之上，提出了不完整结构(结构系统中有部分元件已失效，但结构未变成机构仍具有一定的承载能力)刚度可靠性的分析方法。该方法考虑了元件因强度失效对结构系统刚度可靠性的影响，以条件概率的形式给出了不完整结构因刚度失效所对应的模式失效概率。并且导出了条件概率所对应的等效安全余量的形式，进而计算在各失效历程中的各失效模式之间的相关性和刚度失效概率。算例表明这样分析符合结构在变成机构之前在使用各阶段刚度可靠性的真实情况，为结构的合理利用起指导作用。