80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

规则回转体自动铺丝轨迹规划与丝束增减

为满足自动铺丝轨迹的满铺覆性要求，针对现阶段自动铺丝轨迹规划存在的不足，提出了不同的丝束增减算法。首先讨论纤维铺放方向的确定和中心轨迹数量的计算，设计不同铺放方向轨迹的生成算法。然后以丝束重叠系数为重要参数，对于纤维局部堆积和空缺问题提出单侧纤维裁剪算法和双侧纤维裁剪算法，并对裁剪后的重叠区域和间隙区域进行面积求解，使得纤维丝束均匀覆于芯模表面。最后基于CATIA CAA二次开发平台，将上述算法集成到纤维铺放CAD系统中，通过运动仿真系统验证算法的正确性。利用提出的丝束增减算法，实现了间隙/重叠区的均匀分布，尽量降低了富树脂区等相关缺陷的聚集对性能的不良影响。     

A Structured Mesh Euler and Interactive Boundary Layer Method for Wing/Body Configurations

To compute transonic flows over a complex 3D aircraft configuration, a viscous/inviscid interaction method is developed by coupling an integral boundary-layer solver with an Eluer solver in a ＂semi-inverse＂ manner. For the turbulent boundary-layer, an integral method using Green＇s lag equation is coupled with the outer inviscid flow. A blowing velocity approach is used to simulate the displacement effects of the boundary layer. To predict the aerodynamic drag, it is developed a numerical technique called far-field method that is based on the momentum theorem, in which the total drag is divided into three component drags, i.e. viscous, induced and wave-formed. Consequently, it can provide more physical insight into the drag sources than the often-used surface integral technique. The drag decomposition can be achieved with help of the second law of thermodynamics, which implies that entropy increases and total pressure decreases only across shock wave along a streamline of an inviscid non-isentropic flow. This method has been applied to the DLR-F4 wing/body configuration showing results in good agreement with the wind tunnel data.     

增升状态下的全机位流数值模拟

研究了势流理论下的全机增升装置复杂外形气动力数值计算方法,该方法以低阶面元法为基础,具有计算量小、速度快的优点.复杂流动的粘性效应主要通过附面层粘性修正技术加以体现.采用该方法对某增升装置翼身组合体外形压力分布特性进行计算,并和风洞实验数据相比较,验证了方法的正确性和实用性.在此基础上对某型飞机真实复杂外形的压力分布特性进行了计算,为复杂外形飞行器增升装置的初步设计、方案选型与评估提供了非常理想的工程技术手段.     

双元统一推进系统混合比调节技术研究

对空间液体推进系统的混合比调节技术进行了研究.根据闭环补气调节混合比原理,建立了补气调节混合比试验模型,研究了系统的流量特性.根据某同步轨道卫星平台推进系统的性能要求,给出了相应混合比的调节范围和对应的补气量,为混合比调节技术的实际工程应用提供了理论和试验依据.     

某型蒸发式稳定器气动及燃烧特性研究

为解决亚燃冲压发动机在高速低温来流条件下的可靠点火、火焰稳定和高效燃烧问题,对某型蒸发式火焰稳定器分别进行了冷态流场和燃烧流场的数值研究,并与常规V型火焰稳定器进行了对比分析。研究结果表明:在给定范围内,蒸发式稳定器随来流速度的增大,总压恢复系数和停留时间明显减小,回流区长度、回流率和燃烧效率变化不大;与相同槽宽的常规V型火焰稳定器相比,回流率明显减小,总压恢复系数、回流区长度和停留时间略有减小。蒸发式稳定器后部形成明显的回流区,且基本上不受外部主流流动的干扰,通过单独控制稳定器局部供油,可以使稳定器在最佳油气比下工作,有利于在高速来流条件下可靠工作。     

基于hp伪谱同伦凸优化的火箭垂直回收在线轨迹规划方法

针对可重复使用运载火箭垂直回收轨迹优化问题,提出了一种带有最优终端时间估计策略的hp伪谱同伦凸优化在线轨迹规划算法。首先,考虑状态约束和过程约束的非凸性,采用无损凸化处理推力幅值约束;然后,结合同伦方法与不动点迭代思想将气动力与非凸质量约束转化为线性时变剖面,完成问题凸化;进一步基于hp flipped Radau伪谱法对问题进行离散化处理,将最优控制问题转化为参数优化问题,进而采用原-对偶内点法求解;最后,为进一步减少燃料消耗,提升经济效益,考虑最优终端时间难以在线确定的问题,结合解析推导与二次插值法,设计了最优终端时间快速估计策略。仿真结果表明所设计的轨迹优化算法最优终端时间估计速度快,收敛性能良好,具有较高的精度和计算效率,具备在线应用的潜力。     

改进PointNetLK的点云智能配准与位姿图优化方法

针对空间在轨服务任务中的非合作目标相对位姿测量问题,提出一种目标可测部位点云的智能配准方法。首先,通过Straight Through滤波算法对半物理仿真平台采集得到的点云进行目标提取,以消除背景数据等杂乱信息;其次,改进PointNetLK神经网络点云配准算法,将提取后的点云数据作为输入,从而获得初步配准结果,解决非合作目标先验信息缺失导致的无法配准问题;最后,建立基于位姿图的优化模型,以降低配准误差,提高配准精度。实验结果表明,与传统迭代最近点(ICP)算法相比,配准综合误差从6.3598降低到1.7291,精度提高约 72.81% 单次耗时从33.16 s降低到4.2 s,效率提升约87.33%,与当前SM ICP等其他算法相比,也具有一定的优势。     

深层地质数据监测系统的设计

本系统以STM32处理器芯片为主控制器,采用MSP430单片机挂载多个传感器执行多点数据采集,CAN总线实现数据通信。另配有SD存储卡,键盘,TFT彩屏,具有存储,显示等功能。本系统可以监测深层地质数据,具有超低功耗、高可靠性等优点,可以适应野外各种复杂环境下连续的长时间工作,具有广泛的应用前景。     

基于少量数据确定航空发动机涡轮叶片的寿命分布

通过分析第一级高压涡轮转子(HPT-1)叶片现场故障数据,综合考虑影响HPT-1叶片寿命的因素、故障模式、维修情况等,建立三维数学模型,通过降维处理得出HPT-1叶片寿命分布柱状图,使用最小二乘法减少所拟合的威布尔寿命分布曲线与柱状图之间的误差。为处理现场数据提供一种切实可行的方法,且为航空公司维修管理部门安排HPT-1叶片维修操作提供依据,对减少飞机停机时间、提高航空公司运作效益有着重要的意义。