提高机载软件安全性的过程保证方法

在航空电子机载软件研制中,通常重点关注和实现软件的功能和性能,而对软件安全性、完整性以及追溯性不够重视。提出一套以典型软件生存周期为基础,在软件研发各过程中增加具体的安全性相关活动以提高软件安全性的过程保证方法。该方法在某型飞机显示系统软件项目开发和审定中取得一定成效。     

连续冷原子束干涉陀螺仪研究进展

原子干涉陀螺仪是一种实现高精度角速率测量的新型惯性器件,被认为是下一代导航技术中的核心器件。报道了在连续冷原子束干涉陀螺仪研究上的最新进展。提出了基于连续冷原子束的干涉陀螺仪方案,该方案在保证系统灵敏度和紧凑型的前提下有助于解决冷原子干涉陀螺仪低带宽和数据率的问题。利用激光冷却的~(87) Rb冷原子束作为原子光源,利用多普勒敏感的双光子受激拉曼跃迁进行原子波包的相干操控,演示了π/2-π-π/2拉曼脉冲序列的空间型原子干涉。数据估算原子干涉陀螺的短期灵敏度为7.8×10~(-5)(rad/s)/Hz~(1/2)(1s积分时间),其中干涉条纹的信噪比为15.1,系统带宽为190Hz,系统理论带宽可以达到790Hz。