软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

一种高效的多重网格三维N-S方程计算方法及其应用

介绍一种基于 Jameson中心差分和 Runge-Kutta时间推进的三维 N-S方程计算的有限体积方法 ,计算点选取体积单元中心 ,为了提高收敛效率和程序稳定性 ,采用了当地时间步长和多重网格方法 ,特别是针对粘性计算中计算网格形状比高的特点 ,隐式残差光顺采用当地变系数的方法 ,并专门设计了考虑计算网格形状比的人工粘性模型。应用本文方法对收扩喷管的三维流场和NACA0 0 1 2翼型二维流场进行了计算 ,结果表明程序具有良好的收敛能力和较高的稳定性。     

一种旋流式喷嘴的实验和数值研究

对一种小尺寸复杂结构的旋流式喷嘴进行了实验和数值研究，实验研究中确定了喷嘴前后压差与流量间的对应关系，数值研究中应用VOF方法对喷嘴内三维气液两相流动进行了计算，并与实验结果做了比较，二者吻合较好，而后应用该算法对喷嘴在不同结构尺寸下的流动过程进行了计算，对比分析后发现，旋流室及旋流器的结构和尺寸均会对喷嘴出口速度产生影响，但只有旋流器螺旋升角和槽道数目才会对喷嘴雾化角产生显著影响。     

带装药裂纹发动机内流场数值研究

在N－S方程基础上，考虑网格移动，建立了适用于固体火箭发动机内流场的湍流控制方程组，并对带装药裂纹的固体的火箭发动机内流场进行了数值模拟，分析了推进剂中裂纹深度，宽度、位置、角度等多种因素对发动机内流场的影响，计算结果表明：（1）裂纹出口处流速高，大于主通道流速，在裂纹出口附近存在回流区；（2）当裂纹紧靠发动机前封头时，裂纹出口附近回流强度减弱，裂纹对发动机内的流动影响较小；（3）当裂纹深度与裂纹宽度比大于240时，裂纹内压强急剧升高，对发动机装药结构完整性具有重要影响。     

铸造法制备TiC/ZA43复合材料连续润滑摩擦行为研究

采用搅拌铸造法制备了TiC/ZA43复合材料, 用环-块摩擦磨损试验机测试了连续润滑条件下复合材料的滑动摩擦磨损性能.结果表明,TiC颗粒使基体ZA43合金的微观组织及磨损性能显著改善,摩擦系数和磨痕宽度降低且变化平稳.TiC/ZA43复合材料的磨面光滑,磨痕短细;而未增强的ZA43局部表现为粘着磨损,表面产生局部的塑性流动.摩擦过程中,未增强的ZA43合金次表层的硬度明显降低;而TiC/ZA43变化不明显.     

求解常微分方程组的小波技术

研究发展一种新的求解常微分方程的数值方法—快速小波配置法 (FWCM) ,该方法与传统的时间推进或频率区间方法完全不同。快速小波配置法是将任意函数展开为小波基函数 ,用快速离散小波转换技术 (DWT) ,有效地构造常微分方程的近似解。计算过程中 ,在小波展开层次和自变量区间两个不同方面采用了多层自适应和多区间自适应处理技术 ,提高了计算过程的稳定性和收敛性 ,并且具有均匀的误差分布。特别是在常微分方程的长时间解方面 ,与Runge-Kutta方法比较 ,具有稳定的长时间性态。     

板材最优路径成形理论与方法

按最优路径成形板材将获得理想的成形效果，这种最优成形路径可通过多点成形技术来实现。本文基于理想路径（最小塑性功路径）成形理论，提出了板材最优路径成形的概念。最优成形路径可由初始构形、目标构形以及一系列中间构形描述出来，根据理想路径成形的变形及本构关系，文中建立了计算初始构形的有限元方法；建立了确定中间构形的泛函，给出了求解中间构形的数值方法。根据给出的方法设计了近似最优路径成形──多道次多点成形实验，实验结果表明，采用近似最优路径成形，球面目标形状的最大变形曲率提高了１１％～４０％；马鞍面目标形状的最大变形曲率提高了１５％－５０％。     

固液混合火箭发动机燃烧的边界层计算

针对固液混合火箭发动机典型的边界层燃烧理论，用边界层的方法对固液混合火箭发动机燃烧进行了计算，计算采用二维轴对称的层流边界层方程，化学模型采用有限速率模型。计算考虑了不同氧化剂流率，不同吹入参数的多种情况，得到了固体混合发动机边界层的温度场分布，并利用计算结果，拟合了固体燃料的燃速公式，与相关文献的比较说明计算正确，结果符合燃烧机理和流动规律，为进一步研究固液混合火箭发动机的燃烧问题打下了基础。     

用高低压涡轮间补燃提高双轴涡扇发动机性能

基于双轴涡扇发动机热力学模型，采用高低压涡轮间补燃的方法，实现了对发动机性能的改善，研究分析了高低压涡轮间补燃对发动机高度特性，速度特性以及转速特性的影响，计算结果表明采用高低压涡轮间补燃的热力循环后，发动机的推力明显提高，耗油率基本保持原来的水平或有所降低。     

基于多特征图像增强深度卷积神经网络的航天用电子元器件分类算法

为了实现航天用电子元器件的全自动及非接触识别,并减少由照明系统造成的图像亮度不均、偏色等问题对检测结果的影响,通过结合局部、区域和总体三个层次特征提升物体检测精度,提出了一种基于多特征图像增强深度卷积神经网络(MFIE-DCNN)的航天用电子元器件分类算法。MFIE-DCNN算法包含多特征学习和深度学习,其学习过程类似于人类视觉系统,能够对形状、方向和颜色特征进行深度挖掘,突出元器件边界信息,抑制背景杂波干扰。实验结果表明,该算法能够区分电路板板载元器件的种类,检测准确度优于传统算法。对比基于稀疏自动编码器的深度神经网络,检测结果提高了近20%。