军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

一种近地航天器脉冲星地固系动力学定轨方法

为改善近地航天器脉冲星导航的定轨精度,设计一种地固系动力学定轨方法。该方法结合了更精确的地球引力场模型,在求地球引力势梯度基础上引入惯性力,建立了地固系下轨道动力学方程;并结合脉冲相位量测,使用扩展卡尔曼滤波实现航天器轨道参数实时估计。此方法可以降低动力学方程非线性度,尤其适用于地球静止轨道卫星。通过数学仿真校验了新方法的有效性与精度。     

失效航天器的姿态机动接管控制

为实现失效航天器寿命延长的目的,采用接管控制技术接管失效航天器姿态控制系统。针对姿态机动接管控制中,失效卫星参数不确定和推力器构型矩阵突变的问题,提出一种基于控制系统重构的失效航天器姿态机动接管控制方法。首先采用指令滤波backstepping控制来重构姿态机动接管控制律,并利用Lyapunov方法分析系统稳定性;然后对推力器构型矩阵进行重构;最后考虑燃料消耗和控制输入受限问题,通过基于约束最优二次规划的动态控制分配算法对推力器推力进行控制重分配。采用本文方法实现了对燃料耗尽航天器和部分执行机构失效航天器的姿态机动接管控制。数值仿真证明了该方法的有效性。     

初值不确定轨道可达区域计算

为计算航天器轨道初值不确定造成的可达区域（RD）,提出一种适用于椭圆参考轨道的计算方法。以航天器的名义轨道作为基线,定义一个随时间变化的移动参考平面,在此移动平面上建立名义轨道到可达区域上任一点的距离函数,函数的极大值点即为可达区包络的边界点,从而将问题转换为非线性方程组的求解问题,并对动力学模型部分线性化带来的误差进行了分析。随后采用变参数的自适应同伦算法对方程组进行求解。最后对航天器释放微小卫星的实例进行数值仿真,结果显示该方法可行有效。     

六自由度气浮台及其姿态平台自动平衡系统设计

针对卫星交会对接中相对姿态和位置的控制问题,设计一种6自由度（DOF）气浮台,并推导出描述两个气浮台模拟卫星交会对接运动的耦合6自由度(DOF)动力学模型。为解决气浮台模拟空间失重环境中的重力力矩干扰问题,设计一种基于应用新颖的快速非奇异终端滑模面的自适应有限时间控制器的自动平衡系统,估计出质心位置,通过控制三个平衡质量块补偿姿态平台质心与旋转中心之间的位置偏差。李雅普诺夫理论推导和仿真结果表明,该方法可以快速完成对姿态平台质心位置的准确估计,实现质心与旋转中心的高度重合。     

尾座式无人飞行器鲁棒容错编队控制

针对尾座式无人飞行器编队在执行器故障、严重的非线性和耦合性、参数不确定性、外界扰动等影响下的容错控制问题进行了研究。提出了一种鲁棒容错编队控制方法来实现一群尾座式无人飞行器在执行器故障情况下的期望编队飞行。所构建的控制器由2部分组成：标称控制器和干扰补偿控制器。设计标称控制器使系统实现期望的控制性能,利用干扰补偿控制器抑制多种不确定性和执行器故障的影响。通过理论分析证明了系统的鲁棒稳定性,并通过数值仿真验证了算法的有效性。     

受轮缘密封结构影响的1.5级涡轮封严流与主流的相互作用以及轮缘密封间流动干扰

为探究动叶上游不同轮缘密封结构封严出流对1.5级涡轮端区流场及轮缘密封间流动干扰的影响区别,通过Shear Stress Transport （SST）湍流模型对无密封腔室,上游密封结构分别为简单斜向、简单径向,下游密封腔室为简单轴向的1.5级涡轮进行了非定常数值模拟。结果表明：轮缘密封间干扰使带径向密封结构模型的下游轮缘腔室内封严效率偏低,并增强了固有的非定常不稳定特性。上游密封结构变化对动叶和第2级静叶流动的影响差异分别位于35%、65%叶高范围内;径向密封结构增加了上游静叶的堵塞效应、动叶入口气流的欠偏转程度、叶根吸力面负荷与14%叶高以上的轮毂通道涡强度,并在第2级静叶入口处产生更多低频压力波动,使其尾缘脱落涡尺度增大但13%叶高以上的轮毂通道涡强度较弱。与无密封腔室相比,通入封严气体总量为主流流量的0.8%时,带斜向密封结构的1.5级涡轮气动效率降低了0.94%,且带径向密封结构的1.5级涡轮气动损失额外增加了0.17%。     

分腔流量比对涡轮曲端壁表面冷却特性实验

利用高速风洞及压敏漆（PSP）技术,研究了端壁表面不同分腔流量比对端壁表面的气膜冷却效率的影响。对比各个分腔在不同流量比下端壁表面的气膜冷却效率的详细分布发现：端壁表面的气膜冷却效率随着槽缝流（分腔1）流量比的增加而增大,随着槽缝喷射冷气流量的增加,冷气在端壁表面的覆盖范围变广,同时冷却效果也有所提升;随着端壁前部分腔（分腔2）冷气流量比的增加,叶栅通道喉部上游区域的冷却流体会出现明显的吹离壁面的情况,端壁表面的气膜冷却效率也会随之减小;端壁后部分腔（分腔3）冷气流量比对端壁表面的冷却效率的影响与分腔2类似。     

集成低频脉冲功率解耦端口的机载电源系统

为了消除高峰均功率比低频脉冲负载对有限容量机载交流供电系统的周期性冲击等不利影响,对开关器件进行集成和复用,提出了能够同时提供功率解耦端口和直流输出端口的三端口功率解耦整流器。通过将三端口整流器与DC/DC变换器组合,构造出集成低频脉冲功率解耦端口的机载电源系统,实现了直流侧周期性脉动功率和交流源侧功率的解耦,并保证低频脉冲负载正常供电需求。详细分析了三端口整流器的工作原理,提出了与之相适应的功率控制方法和调制策略,基于开关器件分时复用原理,实现了交流端口到两个直流端口的功率传输和分配,并实现了两个直流端口功率切换过程的平滑过渡。实验结果验证了所提三端口脉冲功率解耦整流器的有效性和可行性。     

苏通大桥实测强风湍流积分尺度的对比研究

湍流积分尺度是体现风特性的重要指标之一,而现场实测是获得工程结构准确可靠的风特性的唯一有效手段.本文利用苏通大桥结构健康监测系统(SHMS)采集的风特性数据库,选取该桥址区2008年夏季的“凤凰”、“海鸥”台风及冬季北风为样本进行强风特性分析.其中采用4种常用计算方法重点研究了桥址区强风的积分尺度,并对比了不同方法的计算结果以验证其可靠性.最后分析了湍流积分尺度随高度和平均风速等的变化规律.结果表明:湍流积分尺度与风速之间无确定关系,塔顶湍流积分尺度较跨中大.分析结果充实了苏通大桥风特性数据库,可为湍流积分尺度的分析计算提供参考,并为苏通大桥的强风环境和抗风评估提供了实测依据.