基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

基于干扰观测器的受扰卫星姿态控制器设计与优化

对复杂环境下的卫星姿态控制进行了研究,针对存在外界干扰和转动惯量不确定的卫星姿态控制,建立了基于误差四元数卫星姿态动力学与运动学方程,在此基础上设计了反演滑模控制器,构造Lyapunov函数并从理论上证明了闭环系统的稳定性;设计非线性干扰观测器(NDO)对等效干扰进行估计,使控制器输出力矩减小,有效降低了输出饱和的风险,同时抑制了滑模控制带来的抖振;为了获得更好的控制效果,以控制器参数为优化变量,综合考虑了控制器的动态性能和被控对象的输入受限条件,建立了评价函数,利用改进的粒子群算法对控制器参数进行优化。仿真结果表明设计的控制器可行且有效,得到了较好的控制效果。     

航天器展开机构间接式主动热控设计方法

针对目前航天器展开机构直接热控实施的功能局限性和可靠性风险的问题,提出了一种采用间接控制点控制目标点温度的设计方法,并以某卫星展开机构的热控设计为例,对关键机构部位的热控设计进行了阐述。仿真分析、地面热试验与在轨数据结果均表明:该间接热控设计方法能够满足机构产品的控温需求,展开机构的顺利展开验证了此方法的正确性和合理性,可为以后机构产品的热控设计提供借鉴。     

单向曲率抛物反射面可展结构型面精度误差研究

具备大尺度、高精度特性的刚性反射面天线是解决星载微波遥感有效载荷空间分辨率、增益与信噪比等电气指标需求的优选方案，需要采用可展结构设计，以解决卫星尺寸与整流罩包络之间的矛盾。文章针对高精度单向曲率抛物反射面可展结构型面精度误差的分析及预示需求，基于刚体旋转的欧拉理论及正态分布，描述加工精度误差与展开重复精度误差，建立了可展结构型面精度误差的预测模型。并根据Monte Carlo试验结果数据的统计分析方法，开展了面向加工精度误差与展开重复精度误差的敏感度分析。结果表明：板间铰链的展开重复精度对整体型面精度误差的收益高于根部铰链，同等条件下应优先对其进行优化；在整体型面精度误差指标允许的前提下，应适当提高刚性抛物柱面的加工精度误差，从而控制整体型面精度误差的变化区间。     

柔性隔振结构影响下控制力矩陀螺的动力学建模与仿真#br#

近年来，控制力矩陀螺逐渐广泛应用于航天器姿态控制中.为了减小动量轮的高速旋转引起的振动对星体的影响，需要在控制力矩陀螺于航天器之间安装隔振装置.但是隔振装置的引入对控制力矩陀螺内部机构的动力学特性造成了影响.基于此，本文建立了柔性隔振机构耦合作用下的控制力矩陀螺动力学模型.本文通过欧拉角变换建立了陀螺内部各机构的运动学关系，使用能量方法建立了陀螺内部各结构的动力学特性.并在Matlab中进行了数值仿真与分析.通过仿真发现了隔振结构对陀螺的输出力矩产生了影响，在柔性支撑下的陀螺力矩存在明显波动，且波动范围随动量轮转速的增加而增加.同时，柔性隔振机构的引入还导致了干扰力矩的产生，该干扰力矩对控制力矩陀螺框架电机的控制存在较大影响.     

基于动态补偿的多电机控制算法

多电机协调控制达到转速一致是电机控制中的一个关键难题，外加负载变动和电机参数变化时会引起电机性能的下降，达不到良好的控制效果。为使电机间保持转速同步，建立了永磁同步电机d-q坐标系下的矢量控制数学模型，基于转速跟随控制，提出一种基于单神经元PID的变增益速度补偿器进行偏差耦合控制。在MATLAB/Simulink建立了3台永磁同步电机的仿真模型。仿真结果表明，与传统PID固定增益速度补偿器算法相比，单神经元PID的变增益速度补偿器具有更强的鲁棒性以及更快的收敛性。     

基于未知输入观测器的四旋翼无人机故障诊断与模型参考容错控制

对四旋翼无人机（Unmanned aerial vehicle， UAV）姿态控制系统的执行器故障诊断问题进行了研究，在系统模型方面全面地考虑了模型的非线性和四旋翼无人机在飞行过程中受到外部干扰的情况。由于未知输入观测器可以将干扰、误差等作为未知输入进行处理，对干扰不敏感而对故障比较敏感，故设计了一种新的未知输入观测器进行故障诊断。同时为了保持四旋翼无人机在故障发生后的稳定性或者仍然可以按照预定轨迹运动，在得到准确的故障估计后为四旋翼无人机姿态控制系统设计了模型参考容错控制器，使其可以跟踪给定的参考模型。仿真结果证明了本文提出的故障诊断与容错控制方法的有效性。     

基于新型丝状电极等离子体激励器的前体涡控制

本文首次将新型丝状暴露电极DBD等离子激励器应用于大迎角下细长体非对称涡控制。丝状暴露电极的材料的选择对DBD推力以及推力效率至关重要,通过地面精细推力测量对丝状暴露电极等离子体激励器进行了优化,结果表明,本文研究材料中采用钨丝作为暴露电极,其推力效率最优;且随着电极直径从d=0.3 mm减小到d=0.08 mm,DBD推力效率显著提升。基于优化后的DBD激励器,将其应用于前体非对称涡控制:未施加等离子体控制时,压力测量以及PIV结果均表明细长体背风区流场为明显的非对称涡结构;在等离子体激励下,该非对称涡结构可变为对称甚至反向非对称,且非稳态激励控制能力明显优于稳态激励。研究发现,大迎角下细长体非对称涡控制与背风区原始涡系结构有关,其中包含对称涡系和非对称涡系。本文研究为大迎角下细长体非对称涡控制提供了一种新思路,同时也为丝状暴露电极DBD等离子体激励器的应用提供参考。     

无人集群系统时变编队H∞控制

针对有向通信拓扑网络下具有通信时滞与外部干扰的无人集群系统（AUSS）时变编队H_∞控制问题进行了研究。首先，基于AUSS期望编队构型信息、无人机（UAV）实时状态信息以及通信UAV之间带通信时滞的状态误差信息提出了AUSS的编队控制方法，通过变量替换将AUSS的编队控制问题转换成低维闭环系统的渐近稳定问题，并以线性矩阵不等式（LMI）形式给出了系统稳定的充分条件与最大允许通信时滞的计算公式。其次，通过构造Lyapunov-Krasovskii（L-K）泛函，证明了存在通信时滞与外部干扰条件下AUSS能够实现时变编队。最后，通过数值仿真验证所设计方法的准确性与有效性。