安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

航天飞机自动着陆轨迹优化设计

采用沿约束轨迹的推演计算方法及优化原理对航天飞机自动着陆飞行轨迹进行优化设计。首先根据过载、垂直下降率、连续性和平稳性要求确定飞行轨迹的基本形状，然后采用两点边值优化方法对轨迹参数进行优化设计以获得理想的接地动压。与传统的和制导系统联系在一起的轨迹设计方法相比，该方法具有简便、快速、可重复使用、鲁棒性强等特点。     

基于遗传算法的弧齿锥齿轮动态特性优化设计

基于集中质量法建立了弧齿锥齿轮八自由度弯-轴-扭三维空间动力学模型,在模型中考虑了啮合刚度的时变性、几何传动误差的非线性、齿面侧隙以及支承刚度的非线性.采用Runge-Kutta法对传动系统动态响应进行求解.在此基础上,以啮合周期内动态特性指标——振动加速度均方根作为优化目标函数,使用遗传算法对局部综合法中的齿面控制参数进行优化.在对设计参数进行优化的同时也获得了齿轮副最优加工参数.最终以齿面修形的方式实现了航空弧齿锥齿轮动态特性优化,减小了齿轮传动系统的振动与噪声.      

TC1和TC4钛合金腐蚀加工溶解行为研究

测试了TC1和TC4钛合金在氢氟酸-硝酸溶液中腐蚀加工的E-t曲线和极化曲线,分析了腐蚀加工过程的速率变化,观察了腐蚀加工形貌。在氢氟酸-硝酸腐蚀加工液中,极化曲线呈现活化-钝化特征,氢氟酸浓度较高时,硝酸浓度增大到一定值后,极化曲线呈现自钝化倾向。钝化膜的生成速率和厚度由氢氟酸和硝酸体积比决定,氢氟酸和硝酸体积比为1∶2时,腐蚀加工速率最大。腐蚀加工初期钛合金表面氧化膜被破坏,自腐蚀电位迅速变负,加工速率较大,继续加工,硝酸使钛合金表面发生钝化,导致速率降低,钝化膜的生成和破坏同时进行,当钝化膜的生成与基体溶解达到动态平衡时,自腐蚀电位和加工速率趋于稳定。TC1和TC4钛合金中的Ti和Al优先溶解,随着硝酸浓度的增加,钛合金表面微观凹坑变浅。     

端壁抽吸位置对压气机叶栅角区分离控制的影响

以某高负荷压气机叶栅为研究对象,应用数值模拟方法探索了叶栅端壁不同抽吸位置对角区流动结构、通道漩涡发展过程以及叶栅性能的影响规律,寻求控制角区分离的可行方法。研究结果表明:在叶栅前缘上游5%C(弦长)位置实施抽吸,延缓了通道涡的形成,但导致叶栅来流攻角发生改变,在角区形成角区分离涡,并且该漩涡与通道涡相互促进,进一步恶化叶栅流场,导致叶栅落后角增大,损失增加;在叶栅通道激波后25%C端壁抽吸,吸除了上游端壁积累的高熵低能气流,制约了通道涡的迅速发展,改善了叶栅通道的流场结构,降低了流动损失,但并未对上游流场产生较大影响,是一种可行的方案。然而25%C处抽吸后,未能完全消除分离,在端部与叶栅通道主流之间存在较高损失区域。     

轴流风机中雷诺应力与应变滞后涡黏模型 的PIV实验

采用粒子成像测速(PIV)技术,精细测量了低速轴流风机内部叶片60%跨度处压力面与吸力面的切向和轴向速度,以及风机出口径向平面的切向和径向速度,基于叶片的周缘速度和叶片弦长的雷诺数为370000.应用周期相位平均技术分析雷诺剪切应力与平均速度剪切应变的时空演化过程,并应用互相关技术研究了两者之间的相位关系.结果表明雷诺剪切应力与平均速度剪切应变的极值发生在不同时空相位,存在相位滞后.这一现象广泛存在于三维非平衡复杂湍流中,显然,工业领域广泛应用的线性k-ε模型具有一定的缺陷,应考虑雷诺应力张量与平均速度应变张量之间的时空滞后现象,从而得到符合物理规律的计算结果.因此,雷诺应力张量与平均速度应变张量滞后的涡黏模型将成为一个很有发展前景的封闭模型,来更加精准地预测工业领域中广泛存在的非平衡复杂湍流.      

考虑运动耦合的BTT导弹三维制导律设计

针对倾斜转弯(BTT)导弹制导过程中的双通道耦合问题,设计了一种新型三维(3D)制导律。首先,通过矢量描述的方式,将导弹运动学模型分解成俯冲、转弯和耦合3项,俯冲和转弯两项在笛卡儿坐标系下描述,耦合项则在SO(3)空间中描述。然后,针对无终端约束和有终端约束情况,分别采用比例控制和SO(3)群上的广义比例-微分(PD)控制方式进行了相应的制导律设计。所得制导律既克服了李群方法的结构复杂性,又避免了解耦方法的信息损失。仿真表明,所设计的制导律能够满足BTT导弹精确制导的要求。     

运载火箭主动段自适应增广控制

针对运载火箭上升段在复杂飞行环境、大不确定性干扰和振动等因素的影响下,传统PID控制方法难以满足高品质控制需求的问题,进行了自适应增广控制(AAC)方法研究,以实现对运载火箭姿态的精确控制。在深入分析自适应增广控制系统整体构架的基础上,通过标称PID控制器设计与基于粒子群优化(PSO)的数字滤波器设计实现了刚体控制及对弹性振动的抑制;继而针对大范围干扰、不确定性和由于滤波器切换产生的弹性振动影响,设计了在线调整算法自适应调节PID控制增益,并对其工作机理与参数设计原则进行研究;然后设计干扰补偿回路和主动减载回路以减小内外扰动、弹性振动和风载荷影响;最后在弹性振动、风干扰和参数不确定性等因素同时作用的状态下进行仿真分析,验证了自适应增广控制系统能够有效应对运载火箭主动段复杂飞行环境的影响,大幅度提升综合控制性能,具有理论研究意义与工程应用价值。     

基于轮廓特征的X射线脉冲星信号多普勒估计

探测器速度引起的多普勒效应会影响脉冲星信号累积轮廓特征,反之,这种轮廓特征改变可用于多普勒估计。提出了一种基于轮廓特征的X射线脉冲星信号多普勒估计方法。通过建立累积轮廓非齐次泊松模型,获得多普勒效应对累积轮廓的影响。构造轮廓特征函数对该影响进行度量,并利用函数值与周期误差的关系搜索信号周期。在搜索过程中,将离散观测数据转换为连续能量密度函数,消除相位间隔对累积周期的限制。根据周期搜索结果,结合脉冲星先验知识完成多普勒估计。仿真实验验证了该方法的有效性,其多普勒估计精度优于频域方法。     

基于SCADA及以太网的大型空间环境模拟器集中控制系统

以往的空间环境模拟器大多采用分散独立控制的模式,导致多套设备并行试验时人力投入大、设备管理困难。针对这一问题,文章提出了一种基于SCADA（Supervisory Control And Data Acquisition,监控与资料搜集）系统和以太网的分布式集中控制系统。该系统采用B/S架构,将控制网络和企业局域网相结合,为操作用户和管理用户提供方便灵活的远程数据服务。系统对关键模块采用了必要的冗余设计,增加了可靠性和安全性。