基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

叶型上局部凸起对扩压器性能影响的数值研究

借助CFD数值模拟技术,对四种常规叶片扩压器（不同凸起位置）内部流场进行了数值模拟,研究了不同凸起位置对扩压器性能的影响,讨论了改变叶片凸起位置对扩压器静压恢复系数、总压损失系数等性能参数的影响,以为小型/微型发动机的叶片扩压器的优化设计提供一定的参考价值。结果表明,当叶片扩压器产生局部凸起时,在流动进入叶片扩压器凸起截面后面产生了低速流动,导致了明显的总压损失,使得叶片扩压器的效率降低。叶片中间产生凸起对于叶片扩压器的总压损失最高。在工程实际中叶片扩压器如果产生局部凸起,尽量选择在叶片前端。     

Monocular Vision-based Two-stage Iterative Algorithm for Relative Position and Attitude Estimation of Docking Spacecraft

Visual sensors are used to measure the relative state of the chaser spacecraft to the target spacecraft during close range rendezvous phases. This article proposes a two-stage iterative algorithm based on an inverse projection ray approach to address the relative position and attitude estimation by using feature points and monocular vision. It consists of two stages: absolute orientation and depth recovery. In the first stage, Umeyama's algorithm is used to fit the three-dimensional (3D) model set and estimate the 3D point set while in the second stage, the depths of the observed feature points are estimated. This procedure is repeated until the result converges. Moreover, the effectiveness and convergence of the proposed algorithm are verified through theoretical analysis and mathematical simulation.     

基于Rodrigues参数的视觉相对位姿确定算法

以Rodrigues参数作为姿态描述参数提出了一种视觉相对位姿确定算法。Rodrigues参 数作为一种简洁、高效的姿态描述法,适用于实时性要求高的视觉相对位姿确定,但它本身 的奇异性使其不能用于大角度的位姿确定。将视觉导航方法和无奇异姿态描述的Rodrig ues参数切换理论结合起来,推导了基于Rodrigues参数的视觉相对位姿解算模型,并给出了 这种相对位姿确定算法的流程。仿真结果表明该算法能很好地解决奇异问题,实现全姿态运 动情形下的相对位姿确定。
     

一种转台角位置定位精度检测方法

角位置定位精度和速率精度是转台产品的最主要两项技术指标,转台产品均需检测。其中角位置精度检测方法的操作步骤多,影响因素多。本文从角位置精度的检测方法,检测步骤和检测技巧等方面进行初步的剖析,重点阐述用24面体进行位置精度检定中的过程与方法。     

缝式处理机匣轴向位置对压气机特性影响的机理

对轴向倾斜缝处理机匣轴向位置的改变如何影响轴流压气机性能进行了研究.试验与数值结果均表明三个轴向位置的处理机匣均扩宽压气机的稳定工作范围,轴向位置不变时扩稳效果最好,轴向位置后移时效果最差.同时轴向位置前移或后移使压气机等熵效率损害程度降低.通过详细地分析压气机内部流场表明:处理机匣轴向位置后移使叶顶机匣约1/3的轴向...     

基于制导信息的一维波束可控随机脉位脉冲多普勒引信技术研究

针对空空导弹引信的任务特点,综合采用了基于制导信息的起爆控制算法技术、自适应调整天线波束倾角技术、基于频域信号处理的数字信号处理技术设计了总体技术方案.仿真分析和试验表明,系统实现了对作战飞机、导弹等不同类型目标的智能探测,提高了对目标的探测灵敏度和抗干扰能力.     

民机结构维修大纲抽样检查原则与方法研究

民机结构维修中的抽样检查是保证飞机持续适航的关键措施。结构抽样检查是为了掌握同一时期下线飞机的结构损伤情况,以便更好地修订维修计划。针对民机结构维修的抽样是非随机抽样的特点,本文研究了结构维修抽样的原则,结合空客A320抽样经验,给出了我国自主设计大飞机结构维修抽样准则和抽样的具体步骤。     

固体发动机界面脱粘低温探伤仿真研究

分析了利用工业CT对固体火箭发动机缺陷进行检测的局限性,提出低温冷冻扩大脱粘间隙的方法,利用Ansys软件仿真了同一温度载荷作用下脱粘间隙和初始脱粘长度的关系．得出可以利用低温检测方法部分检测到冷冻前检测不到的脱粘。     

锥面活塞环锥度测量方法和不确定度评定

介绍了一种新的锥面活塞环测量方法。该方法应用光电技术解决了测量中的关键问题。本文详述了测量原理、实验系统工作原理和测量不确定度评定。