利用可靠性模型确定电子测量设备检定周期的方法

周期检定是保障计量器具能够准确可靠地开展测量活动的重要手段。检定周期的长度影响计量器具测量活动的可靠性和计量工作的经济性。本文通过建立电子测量设备测量可靠性与使用时间关系的数学模型提出了利用可靠性模型确定电子测量设备检定周期的可靠性评估法。该方法可以有效地保证电子测量设备检定周期制定的科学性。     

浅谈建立经纬仪检定装置测量标准技术报告的编写

针对经纬仪的特殊性,提出了建立经纬仪检定装置测量标准技术报告的编写建议。     

RTCADO-178B标准与相关国军标的对照分析

RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。     

火箭橇运动计算算法优化与试验验证

对火箭橇试验系统进行了动力学分析,研究了火箭橇运动计算方法,在常规算法基础上对各参量计算方法进行改进,并引入了新的参量能量耗散阻力,进而得到优化算法。取四次不同速度的双轨橇车试验结果分别与常规算法和优化算法计算结果进行比较,得到:常规算法计算结果误差最小为7.67%,误差最大为37.91%,优化后算法计算结果误差最小为0.48%,误差最大为5.0%;取四次不同速度的单轨橇车试验结果分别与常规算法和优化算法计算结果进行比较,得到:常规算法计算结果误差最小为11.78%,误差最大为43.64%,而优化算法计算结果误差最小为0.11%,误差最大为5.31%。结果表明火箭橇运动计算优化算法相比常规算法能有效提高计算结果精度,计算结果对火箭橇试验设计具有一定工程指导意义。      

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

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

载人航天器密封舱内管路设备维修设计与验证

载人航天器密封舱内配置大量的气、液管路设备,实现管路设备的在轨维修,对于提高长期在轨飞行载人航天器的安全性及使用寿命具有重要意义。文章对某载人航天器再生生保管路设备在轨维修性进行了设计,经地面充分验证后,航天员在轨完成了管路设备维修操作,结果表明本文提出的管路设备在轨维修设计正确、有效,可为载人航天器其他在轨维修设计提供参考。     

星载某设备高阻接地设计对整星电磁兼容性的影响

为了满足新的使用需求,星载某设备的接地设计由壳体直接接地改为采用高阻接地。文章采用理论分析和软件仿真的方法,对该设备采用高阻接地的设计后对整星电磁兼容性能的影响进行了分析,并提出了专项试验验证方法,在故障模拟仿真卫星平台上实施了试验验证。仿真分析和试验验证都表明,此设备采用高阻接地的设计不会对卫星整星的电磁兼容性产生明显影响,可作为后续其他卫星型号采用此类设计的参考。     

空间燃料电池电源子系统输出性能的仿真与试验验证

为了系统性地研究质子交换膜燃料电池电源子系统的输出特性与电堆压力、电堆温度之间的关系,首先建立电堆的数学模型,在Matlab/Simulink中进行仿真,研究输入与输出的关系;其次针对航天应用设计相匹配的燃料电池变换器（FCDR）,将其与电堆的输出端接在一起进行仿真,研究电堆的输入对FCDR的输出特性的影响,当负载发生变化时,检验FCDR对维持母线电压稳定输出的能力;最后对电堆和电堆系统的仿真进行试验测试,证明仿真的正确性,从而对空间燃料电池电源系统有更深一步的认识,为整个电源系统的设计打下坚实的基础。     

大型结冰风洞气流场适航符合性验证

大型结冰风洞气流场适航符合性是大型结冰风洞适航应用的先决条件。为验证3 m×2 m结冰风洞气流场适航符合性,首先建立了结冰风洞气流场适航符合性验证方法,然后针对主试验段构型,开展了气流场适航符合性验证试验,考察了试验段气流速度和喷嘴干空气射流对流场特征参数(气流速度、气流偏角和气流湍流度)的影响,最后评估了试验段内气流场品质,获得了结冰风洞气流场控制包线。结果表明:喷雾耙结构会影响试验段内气流速度和气流偏角空间分布形态,进而导致了非均匀峰值区的形成;增大试验段气流速度会改善气流场品质,但喷嘴干空气射流会显著恶化试验段气流速度低于60 m/s的气流场品质;3 m×2 m结冰风洞主试验段气流场品质在主要试验速度范围内均满足适航审定要求。     

适用于不同高度的等离子体体积力唯像学模型

针对等离子体流动控制数值模拟中唯像学模型高度适应能力不足的问题,假设等离子体中离子数密度正比于放电光强,对101.3~1.5kPa气压下等离子体放电图片进行灰度处理,得到等离子体发光的相对光强、光强比即离子数密度随气压、激励电压的变化特点。结果表明:随着气压增大,从弥散放电逐渐转化为丝状放电,而光强比逐渐减小,可以使用大气压下的饱和总相对光强代替其他气压下的结果;提高激励电压,等离子体出现双侧放电,且放电光强增大,放电电荷与激励电压近似成线性关系。进一步通过理论推导建立了新的电荷分布边界条件,并拟合了多个气压和激励电压下等离子体发光的相对光强,然后选择其中两个典型工况进行数值模拟,将计算结果与相应气压下等离子体诱导射流激光粒子图像测量结果进行比较,对该模型进行了验证,表明该模型能够准确模拟飞行高度、激励电压对等离子体诱导射流的影响。