软件测试的控制论方法

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

Vega软件在视景仿真中的应用综述

扼要介绍了Vega软件的特点，运行环境以及Lynx场景设置和预览图形化平台，并在此基础上详细介绍了Vega软件在视景仿真中的应用。     

基于HSP50110、HSP50210和FPGA的机载超短波电台接收通道设计

介绍了基于软件无线电原理利用Intersil公司下变频芯片HSP50110、科斯塔斯环芯片HSP50210和FPGA芯片EP1C12实现的某机载超短波电台数字扩频接收机通道,它可以完成AM、FM、FSK、PSK等常用调制方式的下变频、同步、解调及伪码的快速并行捕获与跟踪。系统带宽8．1218MHz,用FPGA实现了一种新的全并行捕获延迟锁定环算法,捕获时间不大于一个伪码周期,抗干扰容限大于80dB。     

飞机拦阻系统PID控制及Matlab实现

主要介绍了飞机拦阻器的控制原理,并以钢缆式液压飞机拦阻系统为对象,采用线性化的方法得出系统传递函数模型,以恒加速度为控制目标设计出了PID控制器。并将该控制器应用在飞机拦阻系统的控制中,仿真结果表明,采用此控制器的控制系统具有较好的拦阻效果,可应用于我国大多数型号军用飞机的拦阻。     

不同襟翼偏角梯形翼构型气动特性数值模拟

基于雷诺平均Navier-Stokes(RANS)方程和结构网格技术,采用二阶离散精度的单调迎风格式(MUSCL),结合剪切应力输运(SST)两方程湍流模型和γ-Reθ转捩模型,研究了梯形翼高升力构型襟翼偏角变化对气动特性的影响。主要目的是进一步确认Trisonic Platform(TRIP)软件模拟高升力梯形翼不同襟翼偏角引起微小气动特性变化的能力。首先,简要介绍了采用的计算方法;其次,介绍了两种襟翼偏角的梯形翼模型及风洞试验;最后,在网格收敛性研究的基础上,采用全湍流和转捩两种方式模拟了梯形翼构型不同襟翼偏角对气动特性的影响。与试验数据的对比结果表明,采用全湍流和转捩两种方式均可以较好地模拟不同襟翼偏角对气动特性的影响量,采用γ-Reθ转捩模拟方式可以提高梯形翼构型气动特性的模拟精度,失速迎角附近的气动特性模拟需要进一步研究。     

内置式重力空射火箭运动出舱安全性分析

为研究内置式重力空射火箭运动出舱的安全性,应用多体动力学软件(ADAMS)构建了重力空射载机-箭-伞系统的动力学仿真模型,利用动态链接子程序实现了气动力的加载,分析了稳定伞阻力特性、滚轮摩擦系数、载机飞行速度和载机飞行俯仰角对火箭出舱安全性的影响,根据仿真计算结果得出了影响因素对火箭运动出舱整个过程安全性的影响规律.     

一种半实物仿真试验软件安全性评估方法

针对机载软件在多因素耦合复杂飞行情形下的安全性评估与开发安全控制,提出一种基于半实物仿真试验的软件安全性评估方法。介绍了采用飞行模拟器试验对软件安全性进行评估的思想;设计了实施该方法的操作流程;建立了试验平台中仿真系统主要的数学模型;借鉴生物学理论,分析了软件缺陷诱发飞机飞行危险的机理;最后,运用该方法对增稳系统嵌入式软件安全性进行了评估,验证了该方法运用于工程实践的可行性。利用该方法能够减少潜在的机载软件缺陷,降低复杂情形下软件诱发飞机功能危险的概率,提高机载软件安全性。     

基于MATLAB/Simulink的滑油系统建模仿真与优化

为分析滑油系统特性,研究其与航空发动机协同工作及设计问题,基于滑油系统元部件的流量、压力和换热特性在MATLAB/Simulink下开发了通用仿真模块库,构建了包含供油、回油、通风和热力系统的全系统仿真模型.以某型涡扇发动机及其滑油系统为例,计算了高温起飞工况下滑油系统主要工作参数值,并与商业软件Flowmaster对比计算结果,相对误差保持在3.8%以下.利用全系统仿真模型的拓展性,成功与GasTurb发动机模型进行联合仿真,使用遗传算法优化滑油系统设计参数,通过改变供油分配比例使最高回油温度降低4.12%,可为滑油系统的设计及改进提供参考.      

基于MRR-LSSVR 的发动机循环参数优化设计方法

为了实现飞机与发动机之间良好的协调与匹配,基于飞/发一体化设计软件AEDsys,通过约束分析、任务分析、参数循环分析、性能循环分析和安装性能分析等环节,对涡扇发动机总体设计进行了系统分析。针对性能循环分析中的备选发动机决策问题,提出了基于多输入多输出约简迭代最小二次支持向量回归机(MRR-LSSVR)的备选发动机代理模型构建方法,用于映射发动机设计参数与性能之间的关系,并通过可行序列二次规划(FSQP)算法自动优化出最佳的发动机设计循环参数组合,克服了AEDsys软件中发动机参数选择环节较为依赖设计经验、效率低的缺陷。     

C/SiC复合材料液相渗透连接应力的数值模拟与验证

采用有限元和试验两种方法研究了复合材料孔隙率对在线液相渗透连接接头残余应力的影响.利用ANSYS有限元分析软件,建立了计算2D及3D-C/SiC复合材料连接接头残余应力的有限元几何、物理模型,分析了复合材料中孔隙率对连接接头残余应力的影响.同时,通过试验测试了不同孔隙率对连接强度的影响,其试验结果与计算结果一致,证明了所提出的计算方法的正确性.