黑盒测试技术方法在大气数据计算机软件测试中的应用

软件测试是保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。以大气数据计算机软件测试为例,详细介绍了软件黑盒测试的几种方法,用黑盒测试技术来设计切实可行的测试用例。实践证明,应用黑盒测试技术在大气数据计算机软件测试中设计测试用例,提高了测试效率,发现了软件问题,取得了较好的效果。     

基于国内外相关标准研究的DR与RT的等价性评价分析

在分析国内外X射线检验技术相关标准的基础上,结合射线照相检测理论,从缺陷检验方面对射线数字透射成像检验技术和射线照相检验技术的等价性进行了讨论.     

包含处理机匣影响的压气机旋转失速稳定性模型

通过引入等价分布源方法,建立了处理机匣非定常壁面边界条件的数学模型,从而可以计算处理机匣对压力扰动波的影响。同时,将这一计算模块引入稳定性模型中,发展了可以包含处理机匣影响的稳定性模型。与某低压压气机以及NA SA的37号压气机的实验结果对比表明,所发展的三维旋转失速稳定性模型完全满足预测压气机稳定性的需求。此外,对37号压气机的数值计算表明,处理机匣的结构参数,如长度、背腔高度和壁面开孔率等都对稳定性有影响。理论上表明可以通过设计这些结构参数达到扩大压气机稳定性裕度的目的。      

多变量自校正控制的虚拟等价系统

给出多变量确定性对象自校正控制系统的虚拟等价系统分析方法和结论,用以理解、分析和判别其稳定性、收敛性．得出了不依赖于参数估计算法和控制律的通用性判据。作为本文判据的应用,在不使用关键性技术引理的前提下,推出了Goodwin等人关于直接一步超前自校正控制系统的稳定性和收敛性结果。     

控制受限航天器无角速度反馈姿态控制

重点研究了控制受限和角速度不可测情况下航天器姿态快速跟踪问题。首先定义了四元数辅助系统,并设计了包含实际误差四元数和观测误差四元数的双曲正切函数的非线性控制律;然后,证明了系统的稳定性以及控制量的有界性;最后通过数字仿真与已有的方法进行比较研究,说明该方法能大大提高卫星姿态跟踪精度和响应速度。     

奇异不确定变时滞系统的滑模控制

文章首先建立了奇异系统的能控规范受限等价分解形式，然后基于此形式，研究了线性奇异不确定系统在满足匹配条件时的变结构综合设计问题，提出了切换函数和变结构控制的新方法。     

有错排射流冲击的受限长通道及出流孔流场的实验研究

1引言由于铸造技术的改善,国外现已经可以在涡轮工作叶片上铸造多个细小的冷气通道。这些通道通过冲击孔与冷气供气腔连接以实现冲击冷却,冲击后的气体可以通过连接孔进入下一个腔室或者直接通过气膜孔流出叶片形成气膜冷却。这种冷却结构的优点是:利用冲击冷却获得高换热系数,     

推力器故障的刚体航天器自适应变结构容错控制

 针对刚体航天器存在未知惯量参数、推力器故障以及控制受限的姿态控制问题,提出了一类自适应变结构容错控制方法,显式地引入推力器输出的饱和幅值,以确保控制输出在其要求界的范围内;同时,引入控制参数在线自适应调整技术,提高了控制律对参数、干扰以及故障变化的自适应能力;对设计者而言,推力器故障信息不需要进行在线检测和分离。此外,进一步考虑存在推力偏差对系统性能的影响,设计控制器参数使得闭环系统对这类推力偏差具有L₂增益稳定性。最后,将设计的控制器应用于航天器的姿态机动控制,仿真结果表明该控制器能有效地抑制外部干扰、参数不确定性和推力器各种故障的约束,在完成姿态机动的同时,保证其控制输出满足饱和受限界的要求。     

模糊极大极小算子神经元网络的图灵等价性

将模糊Zadeh算子的定义域作了扩充,并重新定义为模糊极大极小算子,使其满足交换律、结合律和零元律.在此基础上提出一种模糊极大极小算子型神经元网络模型,符合一般模糊算子型神经元网络的定义.与传统的Zadeh算子型模糊神经网络相比具有较强的映射能力.详细证明了用该模糊极大极小算子神经元网络可以计算与图灵机等价的部分递归函数,从而表明模糊极大极小算子神经元网络的计算能力等价于图灵机.将传统神经元M-P模型神经网络的图灵等价性推广到模糊神经元网络.     

基于事件驱动的航天器姿态自适应跟踪控制

针对即插即用无线小卫星模块间通信资源约束以及航天器惯量信息难以精确获得下的姿态跟踪控制问题,提出了 一种基于事件驱动的航天器姿态自适应跟踪算法.该算法在跟踪控制过程中,通过自适应控制律对转动惯量矩阵进行估计,同时引入事件驱动控制策略,只在驱动条件满足时对控制器进行更新,能有效改善模块间通信频率.然后根据Lyapunov...