软件测试的控制论方法

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

喷丸处理对IC6合金NiCoCrAlY涂层表面粗糙度的影响

研究喷丸处理对IC6合金NiCoCrAlY涂层表面粗糙度的影响.结果表明,在涂层真空扩散处理后进行喷丸处理,喷丸压力0.4MPa和时间4min可显著改善NiCoCrAlY涂层表面粗糙度,使Ra降至1.6μm以下,并可提高涂层致密度.涂层喷丸处理所引入的残余压应力没有引起基体IC6合金再结晶.因此采取喷丸处理改善IC6合金NiCoCrAlY涂层表面粗糙度是完全可行的.     

战术数字信息链路J报文的基本特性分析

初步探讨了战术数字信息链路J的报文所具有的基本特点,并对相关规则进行了详细介绍与分析。     

板材一次拉弯成形分析与回弹计算

在考虑加载历史的情况下,采用数值方法分析板材一次拉弯成形,利用应变增量理论,由差分方程求算应力分布,推导出回弹后的应变中性层弯曲半径及弯曲角的计算公式,并对几种成形方式的回弹加以比较.     

月球重力场模型误差对CE-5T1探测器定轨的影响

利用嫦娥五号再入返回飞行试验拓展任务期间获取的探测器(CE-5T1)实测数据,采用内符合方法比较了3种重力场模型的实测数据定轨结果,发现采用GRAIL(Gravity Recovery And Interior Laboratory,重力恢复与内部实验室)重力场模型进行定轨的结果最优。相比于之前的嫦娥系列探测器定轨常用的LP(Lunar Prospector,月球勘探者)重力场模型,采用GRAIL重力场模型定轨后测距数据的残差降低了1个量级。进一步采用不同重力场模型进行轨道外推,定量分析重力场模型对不同类型轨道的影响,结果表明,对于倾角为90°的环月极轨道,不同重力场模型的轨道外推结果差异较小;而对于倾角为20°和40°的环月轨道,不同重力场模型的外推星历的偏差均方根可达到2km,大于当前环月探测器的定轨精度。为此,建议在后续探月任务中使用GRAIL重力场模型进行轨道确定。     

基于模型的安全性分析技术研究

基于模型的安全性分析技术(MBSA)经过十余年发展,其理论基础和工程应用技术已日趋成熟.首先阐述了传统的安全性分析技术存在的不足,分析了MBSA的技术优势;然后结合传统系统安全性分析流程,初步构建了基于模型的安全性建模与分析流程,最后给出了MBSA分析技术在飞机研制过程中的安全性评估案例.结果表明:MBSA可以解决传统安全性分析中飞机级安全性评估不足以及安全性分析结果正确性得不到客观保证的问题.     

载人月球探测深空站布局体系

针对载人月球探测,在我国现有深空测控资源的基础上,结合其他航天组织,如NASA (National Aeronautics and Space Administration,美国国家航空航天局)、ESA(European Space Agency,欧空局)等分布在全球的深空测控资源,提出了全球深空站布局体系.该体系包括我国深空站在内的8个地面站,大体形成“南四北四,均匀分布”的格局.并以美国“重返月球”计划深空站布局为参照,对比分析了布局体系的测控覆盖、三向测量和干涉测量共视弧段,讨论了布局干涉测量不同观测站三角的测角精度,可以为后续载人月球探测任务提供支持和参考.     

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

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

A study of instability in a miniature flying-wing aircraft in high-speed taxi

This study investigates an instability that was observed during high-speed taxi tests of an experimental flying-wing aircraft.In order to resolve the reason of instability and probable solution of it,the instability was reproduced in simulations.An analysis revealed the unique stability characteristics of this aircraft.This aircraft has a rigid connection between the nose wheel steering mechanism and an electric servo,which is different from aircraft with a conventional tricycle landing gear system.The analysis based on simulation results suggests that there are two reasons for the instability.The first reason is a reversal of the lateral velocity of the nose wheel.The second reason is that the moment about the center of gravity created by the lateral friction force from the nose wheel is larger than that from the lateral friction force from the main wheels.These problems were corrected by changing the ground pitch angle.Simulations show that reducing the ground pitch angle can eliminate the instability in high-speed taxi.     

基于响应面法的带喷流激波针参数优化研究

对基于响应面法的带喷流激波针参数优化方法进行了研究,优化目标是最佳减阻效果和最小喷流流量,优化参数是激波针长度、喷流出口总压和喷流出口直径,利用响应面模型对设计参数与响应目标的关系进行建模,样本点设计采用了Ⅳ-最优方法,样本点的气动响应通过数值计算得到,最后用期望函数法进行多目标寻优。研究表明:激波针长度、喷流总压和喷流出口直径与阻力呈现2阶或3阶非线性关系,且激波针长度和喷流出口直径耦合效应较强;响应面模型给出了阻力与各设计参数关系的数学表达式,仅用较少的样本点就获得了设计空间内任意参数组合的阻力预测值和置信区间,效率较高;通过响应面法获得了最优参数组合,其阻力预测值与校验结果相比精度较高;响应面法应用于带喷流激波针这类多参数、多目标优化设计问题中,有计算量小、结果可信、实用性强的特点。