航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

一种测量雷达散射截面参数现场校准方法

雷达散射截面参数是测量雷达一项非常重要的技术指标,该参数的准确性直接影响雷达对被测目标隐身能力的判定。基于雷达散射截面参数有源定标技术、高精度雷达散射截面模拟控制技术、高稳定雷达散射截面回波信号合成技术等,实现对雷达散射截面参数的动态精确模拟,从而对测量雷达散射截面参数进行校准,通过外场条件下的量值传递,解决了测量雷达散射截面参数有源定标问题。     

多外力柔性微动机构输出位移求解方法

对于单个外力作用下的微动机构,柔度描述了外力与其输出位移之间的关系,是影响微动机构动态性能和精度的重要性能指标。对于多个外力作用下的情况,与之相对应的是微动机构输出位移与其多外力间的关系式。为求解该关系式,采用了柔度矩阵和刚体运动规律相结合的方法。首先,对整体进行单元划分,并求解结构中各柔性单元的端点位移与端点力之间的关系式;然后,根据各单元间的结构关系求解各不同单元端点力或端点位移间的叠加和协调关系式;最后,综合所有求得的关系式整理出输出位移与外力之间的关系式。运用该方法求解了一种微动夹持器的工作端位移,并与有限元分析软件的计算结果进行了对比。研究结果表明:该方法具有普遍适用性以及可靠的精度,能够用于一般微动机构的性能分析与优化。应用MATLAB软件对求得的关系式进行分析,获得了结构参数优化所需的理论依据。      

单神经元PID算法在流量比值控制中的应用

针对在PCT-2型过程控制装置进行流量比值控制时．PID（proportional integral differential controller）参数难以整定的问题,提出一种基于单神经元自适应的PID流量比值控制方法,使PID参数实现自整定。该算法利用单神经元的自学习和自适应能力、结构简单和易于计算的特点与PID算法相结合,形成了一种新型的智能PID流量比值控制方法．其可以解决传统PID调节器不易在线实时进行参数整定、难于对一些复杂过程和慢时变系统进行有效控制的不足。实验结果表明：这种控制方法不仅容易掌握、精度高,且具有一定的实用价值。     

面向深空探测的30cm离子推力器寿命预估

为评价30cm离子推力器的寿命,提出了有限寿命考核结合栅极仿真模型的推力器寿命预估方法,利用粒子-蒙特卡洛（PIC-MCC）方法建立了栅孔溅射腐蚀模型,开展了30cm离子推力器寿命预估研究,分析了栅孔刻蚀速率、单孔电场及离子引出特性,给出了30cm推力器寿命预估值。结果表明,栅孔直径仿真与实测值一致性较好,误差在20%以内,基于每个寿命小节栅孔实测值对模型的修正是有效的;根据仿真结果,10000h寿命考核后,减速栅最先失效,30cm离子推力器在最大功率（3kW）工况下预估寿命为37540h,能够满足小天体探测任务对电推进系统的长寿命需求。     

多关节轻型机械臂的设计研究

根据现有空间机械臂的结构特点,参照几种轻型机械臂的设计,设计了一种两自由度机械臂运动模块,并根据此模块研制了一台6自由度空间机械臂。运动模块由两个相邻关节轴线正交的关节组成,关节内部没有驱动器。机械臂内有一根高速主轴,为各个串联关节提供动能。机械臂控制系统采用上下位机方式,上位机根据虚拟场景仿真的运动轨迹发出控制指令给关节控制器,下位机根据关节状态表控制离合器组输入关节的能量。为确定机械臂在工作过程中的强度和稳定性,建立了机械臂的有限元模型,分析了其工作态的应力情况和动态特性。仿真结果表明,机械臂在工作态有足够的强度,在抓取的过程中,机械臂固有频率远离激励源的激励频率,无共振现象。通过多关节联动,机械臂可实现多种组合姿态,适用于在轨维修、加注等复杂空间任务。     

封闭前后航天发射塔回转平台结构动特性分析

建立了封闭前后航天发射塔回转平台的结构有限元模型,分析求解了其固有频率和振型.通过对比分析,明确了封闭对回转平台结构动特性和可靠性安全性的影响规律.上述分析计算结果对实际工程使用具有一定的参考价值.     

编队对地攻击作战效能分析

以马尔可夫理论为基础,运用全概率公式建立了飞机编队对地攻击的动态模型;评估了任务成功率等作战效能指标;给出了飞机对地攻击作战效能的计算实例。结果表明所建模型客观描述了对地攻击作战的实质。