基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

超大柔性空间结构姿态振动耦合稳定性分析

针对太阳帆塔等细长结构的空间太阳能电站构型,以圆轨道内平面运动的空间柔性梁为研究对象,在质心浮动坐标系下,基于Hamilton原理建立了姿态运动与弯曲振动的耦合动力学模型。引入简谐形式的姿态运动假设,并验证了假设的合理性。基于此假设,分析了姿态运动与重力梯度对弯曲振动的第一阶频率的影响,重力梯度项的影响为简谐波动形式,而姿态运动使得弯曲振动频率降低,两者作用均随初始姿态角增大而增强。同时,推导了Mathieu方程形式的模态振动方程,并利用小参数摄动分析方法,得到了不同初始姿态角下的弯曲振动的稳定图,发现当初始姿态角越大时不稳定区域就越大。     

一种利用功率反演和线性约束最小方差算法的自适应天线

介绍了一种新的基于功率反演和线性约束最小方差的算法,以高度抑制GPS接收机的干扰信号。这种结构通过提调整天线阵列的权值,实时地接收并改变来自各方向的GPS信号,同时对不同方向的干扰信号有高的抑制比。对固定和移动的干扰都做了仿真,仿真表明这种结构有很深的零点,对固定干扰信号的抑制比可达到115dB,对移动干扰信号的抑制比可达到94dB。     

基于视频图像处理技术的汽车防撞系统的研究现状

视频图像处理技术应用于汽车防撞系统,可以极大提高车辆的安全驾驶性能。重点介绍基于视频图像处理技术的汽车防撞系统的工作流程,以及该类系统进行目标距离测量采用的模型。并针对该类系统核心的目标车辆检测的方法就国内外的研究现状及研究成果进行了总结,指出基于视频图像处理技术的汽车防撞系统的目标检测朝着多种特征融合、多维模型的方向发展。     

旋转爆震发动机燃烧室气膜出流影响数值研究

针对旋转爆震发动机（RDE）壁面的高热负荷问题,开展旋转爆震发动机燃烧室壁面气膜冷却的数值仿真,探究气膜出流与爆震波、斜激波和燃烧室流场之间的相互作用以及气膜对壁面的冷却特性。研究结果表明:爆震波对气膜的压缩和冷却孔的堵塞作用明显,气膜对爆震波整体的传播特性影响较小。受爆震波和燃烧室流场的影响,气膜出流存在周期性的摆动情况,这在一定程度上影响了壁面的冷却效果。在爆震波覆盖的壁面区域,峰值壁温下降程度有限,但时均壁温的降幅超过26.9%;在斜激波覆盖区域,随着冷气量的增加,峰值壁温和时均壁温的降幅超过32.5%和51.3%,气膜对该区域壁面的冷却效果更加明显。      

基于 Patran 的复杂薄壁结构有限元建模及细节分析方法研究

在航空薄壁结构分析中,经常会需要关注细节部分分析结果。本文以某机翼整体油箱铆钉连接分析为 例,提出3种有限元建模分析方法。①根据结构受力特点选择合适元素对模型进行简化,同时采用过渡结构使 模型边界约束模拟更为真实;②基于等效刚度思想构造加筋壁板结构的初步分析模型,通过设定等效层合板的 铺层参数模拟其力学特征;③利用Patran的网格处理功能,通过自适应网格构造疏密过渡单元,保证细节分析 对小网格的需求,同时降低整体结构模型的网格数量。将上述方法应用于整体油箱铆钉连接分析的建模和分析 过程,不仅实现了整体油箱铆钉连接部位的细节分析,而且建模快速,模型简单,有限元分析效率高。     

双轴旋转调制光纤惯导系统运动隔离控制实现

框架旋转控制的稳定性、快速性、准确性是捷联式双轴旋转调制惯导系统发挥精度潜力的重要保障条件.针对这一需求,搭建了双轴旋转控制系统,选用了直流力矩电机结合旋转变压器的硬件结构,设计了基于DSP的高速控制线路板作为控制器,完成了信号流程的构建,并设计相应PI控制算法,实现了光纤陀螺惯导系统隔离载体运动的旋转控制功能.实验结果表明,IMU姿态隔离效率达99％以上,框架旋转控制性能良好,能够满足系统隔离载体运动的需求.     

民用飞机飞行载荷筛选方法研究

以某大型民用飞机为例,对设计点方法、参数分析与选择法、单值包线法以及组合包线法等四种飞行载荷筛选方法进行了分析说明,载荷筛选方法对飞行载荷设计有极其重要的意义,并在目前飞机型号设计中得到广泛的应用。     

关于隐身目标检测与跟踪的几点思考

隐身武器装备的出现和发展对传统雷达的检测与跟踪性能构成了严峻的威胁。首先,分析了隐身目标检测与跟踪中存在的一些关键问题;然后,对高机动隐身目标、多隐身目标、机载高脉冲重复频率雷达的多隐身目标等检测与跟踪问题进行了初步的探讨,并提出了一些可行的解决方案。     

民用飞机延程运行飞行试验技术与研究

概述了民用飞机延程运行(Extended Operations,以下简称ETOPS)的定义、适航条款、商业需求、历史,分析了双发飞机的ETOPS型号设计批准的不同取证方法(早期的ETOPS方法、服役经历法、服役经历法和早期的ETOPS方法相结合),并设置了ETOPS飞行试验的验证工作及其单发失效、座舱释压、辅助动力装置(Auxiliary Power Unit,以下简称APU)冷浸透等失效场景。为了使民用飞机可以尽快取得ETOPS批准,应结合现有的适航条款、试飞技术和方法对试飞过程进行不断优化,在同一架次上进行相似的两个模拟失效场景的飞行试验认证可以大大地节省时间和油耗。