上下文无关文法测试充分性

讨论了文法测试的基本概念,分析了文法测试的特点、应用场景及其与一般软件测试的异同.形式化地定义了上下文无关文法的测试充分性准则,提出了一个上下文无关文法的测试充分性准则族.分析了该准则族中各准则之间的包含关系,以及这种包含关系与揭示文法所特有的2类缺陷的能力之间的关系. 计算和比较了准则族中各准则的测试集规模复杂性.为了评价文法的测试开销,定义了一个上下文无关文法的测试复杂性度量,该度量能够从测试充分性的角度反映测试一个文法的难易程度和测试开销的大小.      

韧性断裂准则中材料参数的特征和估算方法

对经过球化处理的20号钢进行一步加裁和两步加载实验,研究了作者提出的韧性断裂准则中材料参数的统计特征,并导出该参数的估算公式。结果表明,该参数服从正态分布,所建立的估算公式是合理的。所提出的韧性断裂准则可以揭示塑性加工过程中工件内部损伤演化规律和预测材料加工性。     

论以应力为参量的复合型裂纹断裂准则

60年代,Erdogan和Sih继承了历史上材料宏观最大正应力理论思想,提出了复合型裂纹的最大周向应力准则;而后,力学工作者以裂纹前缘的应力分量为参量,提出了多种复合断裂准则。这些准则的主要区别为:（1）裂纹起裂是在裂纹前缘的特征圆上还是在其它地方;（2）断裂参量是单一的应力分量还是各应力分量的组合。为此,本文对最大周向应力准则([σ_θ]_max准则)、等能量密度线上的最大周向应力准则([σ_Wθ]_max准则)、径向正应力和切向剪应力联合准则([σ_γ,σ_γθ]_max准则)和最大主应力准则([σ₁]_max准则)进行了试验验证和理论分析,认为断裂准则应建立在同一力学基础上,其断裂参量应以应力分量的组合来形成。     

评二维非定常分离准则

说明二维非定常与三维定常比拟准则存在着一些内在的矛盾,进而说明用Lagrange方法揭示的二维非定常分离应该用染色线而不应用轨线来解释。     

基于CTOAc评估结构断裂特性的方法研究

介绍了一种基于临界裂纹尖端张开角(CTOAc)评估破损结构延性断裂特性的方法。引入了评估裂纹稳态扩展和止裂的CTOA准则,介绍了CTOAc的试验测定方法,重点推荐准静态的方法。通过对两类典型M(T)试件进行有限元分析,应用应力失效准则及节点力释放技术模拟了结构的裂纹扩展过程,得到了对应裂纹长度的CTOA值。结果表明,CTOA是模拟延性断裂的一个重要表征参数,CTOA准则在高韧性的航空铝合金结构中具有广泛的适用性和广阔的应用前景。     

头部空腔对固体火箭发动机压强振荡抑制作用的数值研究

为了揭示头部空腔对固体火箭发动机压强振荡的抑制原理,以VKI实验发动机为基础,使用大涡模拟方法,对障碍物旋涡脱落诱发的振荡流场开展了数值研究,获得了压强振荡的频率和幅值,并和实验数据进行了对比。通过在发动机头部加入空腔,发现压强振幅明显减弱,证实了瑞利准则用于指导头部装药抑振设计的有效性。研究结果表明,空腔体积、位置、形状对振幅的影响很大,改变装药结构本质上是质量抽取与注入之间的相互抗争过程。装药头端复杂流场对抑振基本无效,在声压波节处改变药型对抑振基本无效,在声压波腹处加入的质量通量越大,振幅增加越显著,空腔越靠近声压波腹,空腔对声能的阻尼效应越强。     

升力式再入飞行器体襟翼姿态控制方法

针对升力式再入飞行器体襟翼控制三通道时的非最小相位问题,设计了一种姿态输出跟踪控制方法。选择合理的局部微分同胚,将姿态输入-输出模型转换为正则形式并得到内动态。通过对内动态进行稳定性分析并提出系统非最小相位特性的判据,采用此判据可判定当存在副翼反效时该输出跟踪控制问题为非最小相位控制问题。针对该问题,首先依据内动态与外部动态的线性相关度将正则模型分解为最小相位子系统(纵向通道)和非最小相位子系统(横侧向通道),然后运用动态逆控制技术对2个子系统分别设计状态反馈控制器,最后基于Lyapunov方程和最小范数控制策略在非最小相位子系统中引入非线性辅助控制项以镇定整个姿态控制回路。仿真结果表明了在仅有体襟翼控制的情况下该控制方法能够精确跟踪控制指令并镇定内动态。      

最大相关熵准则自适应滤波器的分数阶长算法

对自适应滤波器最佳阶长的准确估计可以有效平衡自适应算法的稳态性能与计算复杂度,而基于最小均方差(MMSE)准则的变阶长最小均方(LMS)算法在非高斯噪声环境下的收敛性能变差。针对这一问题,提出一种最大相关熵准则(MCC)自适应滤波器的分数阶长(FT)算法——FT-MCC算法。该算法从MCC自适应滤波器最佳阶长的定义出发,利用不同阶长滤波器产生的相关熵之差实现阶长更新。理论分析和实验表明:相比现有变阶长最小均方算法,FT-MCC算法在非高斯噪声环境中具有较强的鲁棒性;通过恰当的参数选择,算法可较好地实现对最佳阶长的跟踪和估计。      

纤维缠绕气瓶设计分析

讨论了具有金属内衬的纤维缠绕气瓶在加压和卸压过程中的变形特性。依据网格理论,给出了纤维缠绕壳体的设计方法。对塑性性能良好的金属材料内衬,可用强度理论中的最大正应变准则进行强度设计。推导出气瓶卸压时内衬不失稳所应满足的条件。为使卸压时内衬不失稳,内衬与纤维缠绕壳体之间应有足够的粘接强度,而且内衬的壁厚应越薄越好。对壁厚较薄的内衬,给出了气瓶卸压时内衬不失稳的最小粘接强度的确定方法。算例表明,文中给出的设计分析方法,可用于具有金属内衬纤维缠绕气瓶的初步设计。     

航天器末端拦截自适应博弈策略

针对航天器末端拦截博弈问题,基于微分对策理论研究了各星的博弈策略。根据拦截空间是否具有防御器将博弈态势分为双星博弈和三星博弈。首先考虑拦截器与目标的双星博弈态势,以终端脱靶量为指标设计了相对博弈策略,并提出时间分析方程以提高策略对不同拦截态势的自适应性。然后,考虑具有防御器的三星博弈态势,提出了博弈切换策略将其化为分段双星博弈,并将双边时间方程扩展到三星博弈中,使拦截器在不被防御器反拦截的情况下,实现对目标的快速拦截。最后仿真分析了博弈策略与时间分析方程对航天器拦截博弈问题的有效性。