软件质量及其度量准则

几乎所有的软件开发者都同意软件的质量是至关重要的,但并不都知道如何使软件具有高质量。在软件工程中,对这个问题的研究已形成了一个分支——软件质量保证。软件质量保证是为使软件产品符合规定需求所进行的一系列有计划的工作,它贯穿于软件的全部开发过程。许多研究表明,开展软件质量保证对于开发者和最终用户都是有益和合算的。下面数据可以说明这一点: a.开发部门在软件维护方面的工作量逐步上升,已占全部开发工作量的50%到80%。 b.在软件生命期中用于发现和纠正软件错误的成本以几何级数的速度上升。对于纠正同一个错误,在维护阶段所花的成本要比在分析阶段所花的成本高10倍以上。     

一种用于导弹末制导的线性化控制方法

针对包含未知参数的导弹运动非线性模型,提出了一种用于末制导的线性化反馈简化控制方法。在模型中引入附加加速度输出,通过消除内反馈和零极点以输入-输出的近似线性控制导弹的非线性运动。给出了控制模型及其构成。仿真结果表明,该方法的反应速度快、稳定性好,控制精度满足要求,可用于导弹跟踪飞行控制。     

基于反馈线性化和变结构控制的飞行器姿态控制系统设计

在大姿态角的情况下，飞行器姿态运动的非线性因素和耦合因素不容忽略，使得传统的基于小扰动假设的近似线性化处理方法面临难以克服的困难。本文首先运用反馈线性化方法，将飞行器姿态通道线性化解耦成三个单输入单输出系统，然后运用分散滑动模态变结构控制理论对每个通道分别设计变结构控制器，以期使系统获得对参数摄动和外部扰动的鲁棒性。理论研究和数值仿真表明，所设计的控制系统可以适用于飞行器大姿态角飞行的情况，并对系统参数摄动和外部扰动具有较强的鲁棒性。     

非线性系统的高阶线性化方法及其在二阶摄动制导中的应用

本文讨论了非线性系统相对于标称轨道的高阶线性化方法。文中在一阶线性展开的基础上,提出了高阶误差项的补偿方法,导出了计算二阶补偿项系数的线性方程组,并给出了补偿项的计算公式。然后,采用所得方法研究了飞行器的二阶摄动制导方法。     

一种基于反馈精确线性化的空间拦截末制导律

本文用反馈线性化理论研究了一种空间末制导模型，提出了非线性末制导律，并进行了数字仿真。     

基于四元数反馈线性化的飞行器姿态控制方法研究

空间飞行器姿态控制系统是一个非线性多输入多输出系统,其姿控执行机构的布局及工作特性决定了姿态控制的难易程度。针对飞行器以姿控发动机作为姿控执行机构时的大角度姿态运动需求,本文采用单位四元数作为弹体姿态描述,考虑到姿控发动机布局对姿态控制的影响,直接以姿控发动机推力作为系统的控制输入,利用反馈线性化方法,将原非线性系统转化为一个六阶线性子系统和一个一阶内动态子系统。在对内动态分析的基础上,针对线性子系统设计了四元数PD反馈控制律。在转动惯量不确定性以及轨控大干扰力矩存在的情况下,对闭环控制系统进行了大角度姿态运动数字仿真。仿真结果表明,本文所设计的姿控方法能够有效地实现飞行器大角度姿态控制,并对系统参数摄动及外部干扰具有较强的鲁棒性。     

基于单隐层神经网络的空天飞行器直接自适应轨迹线性化控制

基于轨迹线性化方法（TLC）及神经网络技术研究了一种新的直接自适应TCC控制方案。利用单隐层神经网络（SHLNN）对于光滑非线性函数的逼近能力，对消系统中不确定因素的影响，神经网络自适应律采用Lyapunov方法设计，保证了整个系统所有信号有界。最后利用该方案设计了空天飞行器飞行控制系统，并在高超声速飞行条件下进行了仿真验证，仿真结果表明整个控制系统具有很好的性能和鲁棒性。     

复合材料裙级间连接结构强度预测

针对复合材料裙级间螺栓-柱销连接结构试件,建立了三维有限元逐渐损伤模型。该模型可模拟试件损伤起始、发展及最终破坏的整个过程,并能较好预测试件破坏的模式和强度。该模型包括应力分析、失效判定准则和材料性能退化3个步骤,采用该模型对试件进行了损伤扩展分析和强度预测,计算结果与实验结果较吻合。     

论相似准则,风洞尺寸与数据精,准度与关系

本文从相似理论到风洞实验，用大量的论据和事实、说明了风洞实验数据的精度，并不取决于风洞尺寸的大小，而只取决于实验条件及模型尺寸满足Ｎ－Ｓ方程的解的近似程度。文中讨论了怎样大小尺寸的风洞，既满足了空气动力学的研究发展和型号试验，又适合我国国情的经济性要求这个人们普遍关心的问题。最后介绍了ＮＡＳＡ给出的一组能较好满足上述两方面要求，且具有某种唯一性条件的不同Ｍａｃｈ数范围下的风洞最好尺寸，供有关部门和人员参考     

基于粗糙基的高超声速进气道起动/不起动分类方法研究

进气道起动/不起动状态检测是高超声速进气道研究的重要内容,它是进气道保护控制的基础和前提.针对这一问题,对高超声速进气道进行了不同边界条件下的二维稳态流场数值模拟.提出了利用粗糙集方法对进气道的测点进行约简处理,得到了进气道起动/不起动的分类准则,对分类准则进行了内在的物理机制分析,并利用其它工况数据对判断准则进行了验证.验证结果表明了分类准则的正确性.