层压复合材料连接接头设计及其在大飞机中的应用研究

 复合材料主承力接头的设计制造技术对拓宽复合材料在飞机结构上的应用范围,进一步减轻结构重量、提高疲劳性能和降低制造成本具有重要工程使用价值和发展应用前景。开展了平面环绕型层压板式复合材料承力接头的设计、分析与试验研究工作。提出了工程设计方案,通过理论推导,建立了环形接头危险部位的强度解析表达式并预测了具体接头设计的承载能力,同时完成了平面环绕型层压板复合材料接头的静力试验,试验结果与理论预测吻合良好。     

Petri网理论及其在离散事件系统中的应用

 本文扼要介绍Petri网理论及Petri网图。阐明了Petri网的解析方法,举出了用Petri网建立离散事件系统模型的例子。最后用Petri网不变量对系统进行了验证。     

变结构系统的递阶切换模式

 本文研究关于线性多变量变结构系统的递阶切换模式及其切换函数c与变结构控制u（x,s）的设计问题。文中提出了两种递阶一切换模式，并按模式的到达条件及对滑动模态的极点配置的原则给出了各种情况下切换函数及变结构控制的设计方法。此种模式的最大优点是系统的控制容许失误。     

可压缩流动的高分辨率低耗散混合格式研究(英文)

针对可压缩流场的计算,提出了一种混合型激波捕捉格式来获得对于光滑区域和流场间断都具有高精度的解。该混合方法采用有限体积形式的五阶WENO格式来计算流场的光滑区域,而采用MUSCL格式来捕捉流场中的间断。该混合格式结合WENO格式的低耗散特性和MUSCL格式的高分辨率特性。两种格式之间通过一个间断感受因子进行切换。文中选择了三种典型的间断感受因子进行对比研究。WENO格式和MUSCL格式均为激波捕捉格式,因此混合开关中的常数的选择范围相对较宽。选取了若干典型算例对于混合格式的性能进行了研究,并对不同格式的计算精度和效率进行了对比。数值结果表明,与WENO和MUSCL相比,本文提出的混合方法在较广的范围内均表现出良好的特性。     

面向混合网格高精度阻力预测的熵修正方法

Roe通量差分分裂格式具有耗散小、分辨率高等特点,在亚跨超声速流场模拟中得到广泛应用,但空间离散时需要对Roe平均矩阵的特征值进行熵修正,使用熵修正会增大耗散,影响阻力的求解精度。本文针对非结构混合网格中Roe格式熵修正的特点,通过改进传统的Roe格式Harten-Yee熵修正方法,提出了一种可提高非结构混合网格黏性计算精度的Harten-Yee熵修正改进方法。利用改进后的方法,完成了DLR-F4翼身组合体算例的计算和对比分析,改进后的熵修正方法残差收敛特性与原始Harten-Yee熵修正一致,计算精度提高,计算结果和无熵修正时基本一致,说明改进后的熵修正方法既保留了使用熵修正带来的程序鲁棒性等优点,同时把熵修正对阻力预测精度的影响降到了最低,验证了方法的有效性。采用改进后方法对第3届AIAA阻力会议的计算模型DLR-F6翼身组合体进行了详细的模拟,分析了网格收敛性和雷诺数的影响。结果表明：改进的Harten-Yee熵修正,更加适用于非结构混合网格的黏性计算,计算精准度达到国际同类CFD软件水平,进一步验证了改进方法的可靠性。     

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论.     

区间离散系统的鲁棒控制

用值集凸分析方法研究了区间离散系统鲁棒镇定问题。当系统传函仅低次项系数受扰时,导出了一阶控制器鲁棒镇定区间系统的顶点结果,并举例说明了控制器的设计方法.     

用BGK格式对平面可压缩自由混合剪切流动的数值模拟

本文介绍了ＢＧＫ－Ｂｏｌｔｚｍａｎｎ格式的构造与用有限体积法计算网络内宏观量的方法。文中还介绍了可压缩平面混合剪切层计算域在不同出口马赫数下的边界条件。然后将上述方法应用于四种不同情况的可压缩平面混合剪切层的数值模拟。还详细介绍了计算结果,并与其他方法所得的的结果以及实验数据进行比较。表明本文的结果较好,方法是有效的。     

高阶精度线性耗散紧致格式的渐近稳定性

文献〔２〕提出的高阶精度线性耗散紧致格式,（ＤＣＳ）能较好地抑制高波数振荡。本文进一步研究表明：内点耗散参数α能够控制耗散紧致格式ＤＣＳ３和ＤＣＳ５的渐近稳定性,边界格式参数α１和α对以上格式的渐近稳定性的影响是次要的,并给出了 些参数的取值范围。通过平面可压缩Ｃｏｕｅｔｔｅ流的稳定性数值模拟表明,当格式ＤＣＳ５满足渐近稳定性要求且具有耗散时,计算结果与线性稳定性分析的结果十分吻合,否则,会出现较