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

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

旋翼诱发砂尘环境及其对直升机的危害

 用直升机模型进行试验研究,制造了“直升机”在地面附近不同高度悬停及不同桨盘载荷下诱发砂尘环境,考察了旋翼诱发砂尘对直升机的实际危害,测定了某些指定部位的砂尘浓度与作用力及砂尘粒度分布情况。理论分析,计算了机身周围旋翼诱导流场,并经实验检验了直升机旋翼诱发砂尘浓度、粒度分布规律及作用力的近似估算方法。     

陆基移动小运载制导控制技术初探

陆基移动发射小型运载器不依赖大型、复杂的地面支持系统 ,系统简单 ,可以根据轨道以及相关限制因素需要选择最佳发射地点与控制程序 ,进而大幅度降低发射成本、有效的提高运载能力。本文根据上述特点 ,基于惯性 /卫星组合技术研究了制导控制方案 ,可以实现行进中瞄准与快速发射 ,并以近地轨道卫星发射为范例进行仿真计算。     

自动测试设备的效率方程

效率是各项指标的综合度量。首先提出度量自动测试设备(ATE)效率的8项技术指标:故障检测率FDR、故障隔离率FIR、检测准确度FDA、测试时间t_d、故障检测概率P_d、故障漏报概率P_m、虚警概率P_f和故障分辨率δ。重点是建立ATE的效率方程,包括建立和求解ATE的工作状态方程,导出故障检测效率方程,无模糊故障隔离的效率方程和模糊故障隔离的效率方程,即ATE的效率方程,从而为ATE指标的分析与综合提供一种理论依据。     

锥面螺栓联接结构承载能力的实验预测

本文用模型试验方法研究了以套齿 (花键)联接的某发动机高压轴的轴向承载能力,分析了双锥面定位联接结构的载荷—变形规律以及它们与传统的螺栓联接结构载荷—变形规律的区别,讨论了影响双锥面联接结构轴向承载能力的因素,同时对某发动机高压轴的承载能力进行了试验确定,并对其装配工艺提出了改进建议。      

叶片鸟撞击的理论和实验研究

本文对叶片受鸟撞击损伤的机理进行了理论和实验研究。开发了鸟撞击过程数值分析和叶片响应数值计算的软件系统, 建立了鸟撞击模拟试验设备, 进行了平板叶片的软体撞击试验。通过高速摄影, 记录了叶片受软体撞击后的变形过程, 为进一步研究叶片鸟撞击损伤问题打下基础。      

旋转盘弹塑性应力分析的光测法研究

本文介绍了光贴片法及光塑性法的原理及在旋转盘弹塑性应变测量中的应用。作者用上述方法设计了等色线条纹的实测系统, 测定了旋转模型盘及发动机压气机盘在榫槽、偏心孔、中心孔等应力集中区的弹塑性应变分布及塑性区。试验结果表明: 研究的技术成果可应用于旋转盘在试验器上试验或模型试验中的弹塑性应变测定。      

飞行轨迹指令综合跟踪控制器设计

运用多重尺度奇异摄动理论,结合动态逆解耦理论和动态平衡点邻区域优化线性化系统的优化解耦控制律理论,研究了战术任务综合飞行管理系统的综合飞行轨迹指令跟踪控制器系统化设计方法。对F-15飞机,设计了综合飞行轨迹跟踪控制器。数字仿真结果表明,设计的跟踪控制器能够控制飞机精确跟踪不同时标集的飞行指令。     

用Walsh函数方法的阶梯波式DC/AC变换器的设计与实现

讨论了阶梯波式 DC/AC变换器的一种新的设计与实现方法 ,即用 Walsh函数方法及矢量合成原理分析、综合和设计。试验结果表明实现了逆变器结构的简化及其输出电压频率稳定 ,幅值便于调节与自动稳定。给出了有关硬件、软件框图与说明、试验结果及进一步设想     

初始疲劳质量的一种简化模型

提出描述结构细节初始疲劳质量的简化模型。此模型只需一种应力水平下的耐久性试验结果和细节Ｓ－Ｎ曲线之指数值ｍ,即可描述初始疲劳质量,进行耐久性分析。用一套耐久性试验数据验证了简化简模型的可用性。最后,还给出了由裂纹尺寸和裂纹超过数概率定义的Ｓ－ｔ关系,使结构耐久性分析简单易行。