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

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

插装式液控能源选择阀的设计与分析

针对液压系统油源的安全性及可靠性问题,提出油源冗余设计方法,即多油源供给多负载,当某一油源发生故障时能源选择阀切断故障油源,由其他油源给负载提供基本液压能源,系统能完成必须的服役性能。针对液压系统能源选择阀存在的频繁换向与振动问题,提出一种插装式液控能源选择阀,其先导阀采用锥阀和可变阻尼形式,主阀采用三台肩且终端有缓冲功能的滑阀。建立了插装式液控能源选择阀的数学模型,分析了能源选择阀在两种模拟故障下的切换压力及切换时间、油源压力脉动等特性。理论分析结果表明,油源压力阶跃和线性变化时,某能源选择阀切换时间分别为5 ms和7 ms。当压力发生波动时,主阀不会发生振动,还可通过液控先导阀结构设计来控制切换压力和回复压力大小。     

冗余系统两种应力-强度分布模型的可靠度计算

本文运用应力-强度干涉理论,说明如何确定相同设备(或元件)构成的冗余系统的可靠性。讨论了冗余系统的并联和从n中取k两种结构形式的数学模型,推导了应力和强度服从瑞利分布的并联冗余系统,以及应力和强度分别服从麦克思韦分布和瑞利分布n中取k冗余系统的数学公式。最后,给出这两个模型在应力作用下,对应于不同的强度参数,设备或元件的可靠性曲线,直观地说明应力强度参数的改变对可靠性的影响。     

应用于磁悬挂系统的200V─6OA晶体管斩波器

在大功率磁悬挂系统中，电磁铁电流必须采用开关频率较高的大功率斩波器来调节。本文介绍一个用于磁悬挂系统的大功率晶体管斩波器，它的工作电源电压为２００Ｖ，输出电流为６０Ａ，斩波频率为２ｋＨｚ，试验负载从阻性到感性，电感量达２．５Ｈ。该斩波器在一个单自由度大功率磁悬浮试验装置中完成了磁悬挂控制试验。该斩波器由不对称半桥、开关辅助网络、最优基极驱动电路ＵＡＡ４００２、一次脉冲源ＭＣ３４０６０及电流反馈环等部分构成，具有多种保护功能和良好的传输特性线性度。     

分布式容错系统的低冗余重构策略及拓扑结构研究

分布式系统需要采用合理的拓扑结构，才能在低冗余的条件下的实现容错，从而获得高的性能价格比。本文从分析的可靠性与重构策略的关系以及重构策略与系统拓扑系统入手，找出解决这一课题的一种途径，最后介绍了一个低余度高可靠实时重构的分布式容错系统的实现。     

核磁共振陀螺高精度磁场驱动技术

核磁共振陀螺（NMRG）是利用激光与核磁共振气室中的碱金属原子和惰性气体原子的相互作用使核子以拉莫尔频率进动,并通过磁场驱动技术对气室磁场实现闭环控制和对剩磁进行补偿来维持核子的共振状态,进而能够检测载体的角速度信息。磁场驱动技术作为磁场闭环控制的重要部分,直接影响核磁共振陀螺的磁场控制精度和稳定性。为了解决核磁共振陀螺磁场控制精度和稳定性不足的关键问题,采用交直流分离设计的压控电流源方案改善磁场驱动问题,基于噪声分析理论对电路进行建模和噪声分析,并通过实验验证对三轴线圈的横向磁场控制精度达±0.046 2 nT,纵向磁场控制精度为±0.003 1 nT,实验证明该技术方案具有较强的工程应用价值。      

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

CCD器件用机械泵驱动两相流体回路仿真与试验

电荷耦合元件（CCD）作为航天光学遥感器的核心部件之一,其工作性能受温度影响很大,传统的热控产品难以满足大功率CCD的精密控温需求。通过仿真与试验系统研究了机械泵驱动两相流体回路（MPTL）用于CCD控温时的启动特性、运行状态、内部工质的流动及传热特性。结果表明:MPTL可以通过干度的调节来吸收冷凝器外热流和CCD工作模式的影响;MPTL的控温精度可以达到±1℃,蒸发器并联支路、蒸发器负载和冷凝器温度在一定范围内变化等均不会对系统运行稳定性产生影响,其仍可将CCD器件控制在所需温度;通过仿真与试验对比,发现仿真模型的误差在±1℃以内,验证了模型的有效性和准确度。MPTL可以很好地满足航天光学遥感器CCD的控温要求,能够保证CCD始终具有较好的温度稳定性和均匀性,且系统具有良好的运行特性和鲁棒性,其在CCD精密控温方面具有很好的应用前景。      

软体弯曲驱动器设计与建模

与传统的"刚性"机器人相比,基于仿生学启发的软体机器人由于其与生俱来的柔顺性和安全性受到广泛关注。然而,此类软体机器人驱动器的设计与控制目前仍缺少理论指导。针对这些问题,设计了一种由气压驱动的可实现弯曲运动的新型软体驱动器,在系统分析其结构和弯曲原理的基础上,利用几何方法和虚功原理建立了其数学模型,并且通过有限元模型和原理样机实验验证了数学模型的有效性,为软体机器人驱动器的优化设计和控制提供了依据。     

基于改进积分视线导引策略的欠驱动无人水面艇路径跟踪

路径跟踪控制是无人水面艇（USV）自主完成各项任务使命的关键技术之一,受到国内外运动控制领域的普遍关注。为提高风浪流等外界环境干扰下,无人水面艇（USV）路径跟踪控制的准确性和鲁棒性,研究海流等外界扰动环境下一类非对称欠驱动无人水面艇的路径跟踪问题,提出了2种改进积分视线（ILOS）导引策略,并基于改进导引策略和反馈控制思想实现了无人水面艇水平面的路径跟踪。与传统ILOS导引策略相比,第1种改进策略具有变积分增益能够避免积分饱和及超调现象;第2种改进策略在前者的基础上将前视距离设计为时变量,使得无人水面艇操纵更加灵活,其中积分增益和前视距离均为垂直距离误差的不同函数,引导无人水面艇灵活快速地跟踪期望路径。基于级联系统理论证明了当所有控制目标实现时,控制系统为全局k-指数稳定（GKES）的,理论分析和仿真实验证明了算法的有效性和先进性。