一种新型通用经纬仪检定装置设计

新型通用经纬仪检定装置针对平行光管结构进行了重新优化设计,具有提供瞄准目标、光电自准直和图像采集及处理三大功能.基于图像采集与处理的关键技术,通过CMOS相机光学成像系统实现分划板图像采集,利用图像处理软件解算出特征图像的中心位置,得到被测经纬仪光轴与目标光管光轴的夹角或者自准直的失准值,最终达到用图像识别和软件处理取...     

增强氟塑料干法制备工艺研究

对生产增强氟塑料的原材料P202和FR104两种聚四氟乙烯树脂性能进行了对比,采用“干法”制备工艺并对工艺参数进行改进,生产出FS-20d和FS-35d增强氟塑料。生产制品测试结果表明：“干法”制备工艺配方稳定、生产工艺稳定,制品的耐磨性能、耐高温性能、致密性、均匀性和相分散性均优于“湿法”制备工艺制品。     

压电网络复合板的振动抑制实验研究

主要研究了压电网络系统针对薄板的振动抑制特性,在对压电网络复合板机电耦合动力学方程分析的基础上,通过设计模拟电感电路解决了压电网络复合板振动实验中最优电感值过大的问题,从理论和实验上分析比较了电阻型和电感电阻并联型压电网络复合板振动控制效果及其特点。实验证明采用均匀化处理方法建立的机电耦合动力学方程能够正确预测压电网络复合板的动力学特性,同时实验验证了压电网络的电路模态和压电复合板的机械模态的耦合关系,明确了最优电学参数选取原则,为压电网络复合板的最优参数设计提供了依据。      

航天产品环境试验技术体系现状分析与发展建议

文章回顾了我国航天产品环境试验发展历程,较系统地梳理了航天产品环境试验技术体系,分析了国内外航天产品环境试验技术体系现状,重点进行了与国外差距的分析,提出了发展思路和建议。     

基于节点改善策略的伪谱轨迹优化

基于Legendre Gauss Lobatto（LGL）伪谱法(PSM)求解最优控制问题的原理,研究了有限推力轨迹快速优化设计以及计算节点和效率改善策略。对远程变轨动力学模型进行了无量纲化处理,并设计了初值生成和串行优化求解策略,用来提高多变量多约束大规模稀疏非线性规划问题的收敛性。结合极小值原理推导了问题的最优性必要条件,基于协态映射原理设计了数值解的最优性验证方法。利用二阶微分方程技术消去部分状态量,建立了节点和计算效率改进模型,并讨论了该策略的相关数值处理技术。仿真结果表明,本文的算法可以快速地提供应用于实际飞行任务的最优解,节点改善策略在保证计算精度的同时,有效降低了计算收敛时间。     

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

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

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

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

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平台上对模型进行了形式化验证,结果表明模型是正确的.