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

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

The OSIRIS-REx Visible and InfraRed Spectrometer (OVIRS): Spectral Maps of the Asteroid Bennu

The OSIRIS-REx Visible and Infrared Spectrometer (OVIRS) is a point spectrometer covering the spectral range of 0.4 to 4.3 microns (25,000–2300 cm^?1). Its primary purpose is to map the surface composition of the asteroid Bennu, the target asteroid of the OSIRIS-REx asteroid sample return mission. The information it returns will help guide the selection of the sample site. It will also provide global context for the sample and high spatial resolution spectra that can be related to spatially unresolved terrestrial observations of asteroids. It is a compact, low-mass (17.8 kg), power efficient (8.8 W average), and robust instrument with the sensitivity needed to detect a 5% spectral absorption feature on a very dark surface (3% reflectance) in the inner solar system (0.89–1.35 AU). It, in combination with the other instruments on the OSIRIS-REx Mission, will provide an unprecedented view of an asteroid’s surface.     

10 cm ECR中和器性能优化实验研究

针对电子回旋共振(ECR)中和器性能无法满足实际应用需求的问题，开展了10 cm ECR中和器的性能优化实验研究，在分析现有ECR中和器内部结构的基础上，提出新的结构改进方案。通过改进ECR中和器的电子束流引出对比实验，得到了中和器结构对束流引出性能的影响规律。优化后的ECR中和器性能实验表明：相同条件下ECR中和器束流引出大小与气体流量大小不成正相关，但随着微波功率的增加而增加。性能实验得到的中和器最佳工作和性能参数为：微波功率为10 W、氙气流量为0.5 sccm，收集板间距为5 mm时，在50 V引出电压条件下能够引出127 mA的电子束流。     

附加周期和神经网络补偿的实时钟差预报模型

考虑到多项式模型拟合残差中仍存在显著周期信号及其他系统误差影响，提出构建一种多项式结合周期项与BP神经网络的北斗(BDS)超快速钟差预报模型，并利用实测超快速钟差数据进行算法测试验证。数值算例结果显示：利用本文模型得到的北斗超快速钟差产品，相比国内iGMAS超快速钟差产品（ISU）与德国地学中心超快速钟差产品（GBU），预报精度在3 h,6 h,12 h和24 h四个方面分别提升了26.14%,16.46%,12.68%和 10.58% 及10.34%,13.85%,8.17%和14.41%。     

航天器太阳圆面速度差/太阳视方向组合导航

针对航天器，尤其是深空探测器的自主导航问题，提出了一种新的太阳圆面速度差天文量测信息，该信息利用太阳的较差自转所造成的太阳圆面各点速度不同的特性，是探测器当前位置的函数，其几何本质是一个探测器的位置圆锥。在此基础上，基于太阳圆面速度差和太阳视方向互补的特性，提出了一种太阳圆面速度差/太阳视方向组合导航新方法，将太阳圆面速度差与太阳视方向2种量测量结合起来，实现了量测量之间的优势互补，进一步提高了导航性能。以太阳探测器为例进行了仿真，仿真结果表明相比较于单独用太阳圆面速度差或太阳视方向的导航方法，基于太阳圆面速度差/太阳视方向的组合导航方法精度分别提升了10.2%和16.0%。此外，还分析了光谱仪精度、采样周期和光谱仪数量对导航性能的影响，为深空探测自主导航提供了新的理论与方法。     

Thermal behavior of an isolator with mode transition inducing back-pressure of a dual-mode scramjet

Combustion mode transition is a valuable and challenging research area in dual-mode scramjet engines. The thermal behavior of an isolator with mode transition inducing back-pressure is investigated by direct-connect dual-mode scramjet experiments and theoretical analysis. Combustion experiments are conducted under the incoming airflow conditions of total temperature 1270 K and Mach 2. A small increment of the fuel equivalence ratio is scheduled to trigger mode transition. Correspondingly, the variation of the coolant flow rate is very small. Based on the mea-sured wall pressures, the heat-transfer model can quantify the thermal state variation of the engine with active cooling. Compared with the combustor, mode transition has a greater effect on the iso-lator thermal behavior, and it significantly changes the isolator heat-flux and wall temperature. To further study the isolator thermal behavior from flight Mach 4 to Mach 7, a theoretical analysis is carried out. Around the critical point of combustion mode transition, sudden changes of the isola-tor flowfield and thermal state are discussed.     

固体火箭发动机用大直径卡环结构及加工工艺方法

介绍了固体火箭发动机用大直径卡环的组成结构、卡环与发动机的连接形式、卡环的材料选用及技术要求。依据卡环的结构和工艺特点,对其加工工艺难点进行了分析,指出应采取的措施;并提出应用车削加工卡环的新方法,同时对卡环车削原理即螺纹成型法,和螺纹牙型、螺距、车削刀具、车削时刀具的起始与终始位置、磨削成型等工艺方法做了详细叙述。这一方法既省时省力,又保证卡环的加工精度。     

载波相位平滑伪距算法在区域实时定位系统中的应用

针对可能出现的伪距突发错误及载波周跳的问题,研究一种应用于低动态区域实时定位系统的鲁棒载波相位平滑伪距算法.仿真结果表明,方法可以在一定程度上减小由于伪距突发错误与周跳所引起的测距误差,进而提高定位精度.     

瞬间射流作用下的混压式进气道起动特性研究

针对冲压发动机转级过程中可能出现的混压式进气道不起动现象,提出了一种新的瞬间射流调节方式,并开展了非定常数值模拟.结果表明,利用储气腔内高压气体的瞬间喷射,可以实现进气道不起动流场的再起动,且气体质量最少需要0.011 kg,射流作用时间最多持续27ms,具有较高的工程应用价值.深入研究发现,射流引起的进气道溢流是实现...     

不同柔度的柔性翼气动特性实验

为了研究不同柔度的柔性翼气动特性和抗风性性能,制作了九种不同柔度的柔性翼,利用西北工业大学微型飞行器专用风洞对其进行初步的风洞实验.在实验中进行了不同风速,不同迎角对柔度的气动特性研究.通过实验优选出气动特性较好的柔度,为柔性翼微型飞行器的总体设计和气动特性提供参考.