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

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

蜂窝填充薄壁盒式梁的约束扭转

在刚性剖面假设的基础上分析具有蜂窝芯材薄壁盒式梁约束扭转问题。应用分离变量法,建立并求解了两个常微分支配方程。边界条件可以精确满足,同时,解答是用本征函数展开式表达的。扭矩图是由三角级数表示的,并用于决定上述本征函数展开式的待定系数。计算结果给出了蒙皮正应力与剪应力以及蜂窝芯材剪应力沿翼弦和翼展的分布规律。     

高速铁路隧道初始压缩波一维流动模型的数值分析方法

基于隧道内空气流通截面是时间和距离的二元函数条件与一维流动理论,提出了高速列车驶入设有缓冲结构隧道端口时产生初始压缩波的数值分析方法。一维流动理论采用考虑摩擦、传热以及空气质交换等因素的一维可压缩非定常不等熵流动模型。数值分析方法采用广义黎曼变量特征线法。与国外有关未设缓冲结构、开孔型与未开孔型缓冲结构的隧道端口三种情况的现车试验结果进行了比较,表明本文所建方法正确、合理,能够模拟计算多种类型缓冲结构条件下的压缩波波动规律。     

转速对高速旋转冲压增程弹用进气道影响数值模拟

结合分区对接网格技术以及二阶精度区域分解算法，对高速旋转、含侧向支柱冲压增程弹丸进气道内外复杂流场进行了数值模拟。得到了高速旋转工况下对应于不同来流攻角和旋转角速度，临界工况时，超声速进气道内外流场复杂的波系结构。随着旋转角速度的提高，进气道总压恢复系数和动能效率均有所降低，而流场畸变指数则显著增大。特别是当转速达到20kr／min，进气道总压恢复系数和动能效率下降趋势以及流场畸变指数增大趋势更明显。攻角的存在对冲压发动机进气道的总体性能产生了负面影响。     

纤维位置随机引起的复合材料性能分散性研究

采用Monte-Carlo方法分别用均匀分布和正态分布模拟复合材料纤维中心位置的随机变化,得到材料截面图像。然后用像素对材料截面图进行网格划分,作为通用单胞模型的输入,计算出复合材料性能的子样。最后用数理统计的方法处理数据得到材料性能的统计特性数据。分析结果表明:本文采用的模拟方法是合理有效的。由纤维位置变化引起的材料分散性随纤维体积比的变化先增大然后减小。三参数威布尔分布和正态分布较好地描述了各个弹性参数的分布。      

鲁棒控制用于涡喷发动机控制器设计

基于LMI(LinearMatrixInequality,线性矩阵不等式)的方法,将PID控制律与鲁棒技术交叉结合,考虑了控制受限条件,提出了一种基于LMI的输出反馈PI控制器分段设计的切换方法。这一技术应用于某型涡喷发动机全功能的数字式电子控制器的稳态控制中,并介绍了该型涡喷发动机控制系统的组成,包括硬件、软件、步进电机执行机构及燃油计量装置。设计的电子控制器在发动机半实物仿真平台上进行了鲁棒性能的验证,实现了电子控制器的等转速调节功能和逻辑监控保护功能,满足涡喷发动机多功能FADEC控制要求。      

900℃动态应变计的研制与应用

为了对某型航空发动机涡轮转子叶片在900℃高温下进行动应力测试,研制了900℃动态应变计。分别从研制方案、材料的选取、应变计的制作、焊点的焊接形式与疲劳寿命和应用测试等方面进行了详细的阐述和分析。该成果成功地应用于某型发动机台架涡轮转子叶片的动应力测试中。     

过冷状态下二维枝晶生长的相场方法模拟

通过相场理论建立了纯物质镍在过冷溶液中枝晶生长的相场模型。把相场方程和温度场方程进行耦合,建立了相对应的相场模型。该模型以熵增加函数为基础,通过熵增加函数推导出热力学一致性的相场控制方程。利用上述的模型和方法在计算机上编制二维组织凝固模拟程序得出结论,各向异性强度影响枝晶尖端生长速度,过冷度决定凝固速度的快慢。     

基于均匀化方法的缝纫层压板拉伸弹性模量有限元预测

利用均匀化方法研究缝纫复合材料层压板的弹性性能，给出了相应的数学分析模型。建立了有限元分析的单胞模型，并进行求解。计算结果表明，利用这种半解析模型可以得到缝纫层压板的弹性模量的上下限，其平均值与实验结果平均值吻合得很好。     

基于最小成本的飞机着陆规划算法

在以往着陆规划中，较少考虑公司的成本。利用航班的成本函数，建立了满足着陆间隔、着陆时间段等约束的着陆规划模型，提出了一种使用局部搜索和线性规划的启发式算法。实例验算表明，所给模型及算法可以在合理的时间内求解大规模规划问题，有效地降低公司成本。