Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

瞬态气动模拟加热控制中的快速高精度"E-T"转换

为了准确模拟飞行器在高速飞行时的瞬态气动加热状态,必须使用快速、高精度的计算机瞬态热能控制系统,对气动模拟试验的加热过程,实行快速、高精度的非线性动态控制.为此,传感器的快速、高精度"E-T"转换是一个必须解决的非常重要的问题.提出一种高速飞行器瞬态气动加热控制系统中传感器的快速、高精度"E-T"转换方法.该方法具有计算简单、转换速度快、校正精度高的优点,使用该方法实现了高速飞行器气动加热过程中温度场高速变化状态下的瞬态非线性动态控制.     

双框架飞机蒙皮检测机器人切换运动控制方法

针对一种双框架飞机蒙皮检测机器人,通过分析该机器人在飞机表面上的受力情况,在飞机表面该机器人受到了非完整约束,基于牛顿-欧拉法建立了机器人非完整约束动力学模型。根据机器人机械结构和运动步态分析,将该非完整机器人系统分为子系统A和子系统B。为了实现机器人在飞机表面运动,采用反演技术和快速Terminal滑模控制相结合的思想对系统设计了控制器,提出了一种反演-滑模控制方法;对于非完整机器人子系统A和子系统B,设计了一种基于事件驱动的切换策略,实现了机器人对期望轨迹的全局渐近跟踪,并利用Lyapunov稳定性证明系统的跟踪误差收敛。仿真和试验表明,采用该切换策略和反演-滑模控制方法,双框架飞机蒙皮检测机器人可以在飞机表面自由运动并进行损伤检测,具有良好的可靠性和稳定性。     

新一代战斗机非定常流动数值研究综述

新一代战斗机强调超机动能力和强隐身性，其中大攻角下的静态失速、动态失速及内埋弹仓绕流是与高机动和强隐身密切相关的、极具挑战的几类典型的非定常流动，它们对数值方法提出了极高的要求。为了高精度地仿真流场、清楚地揭示流动机理，有效地控制非定常流动，非常有必要发展高精度且高效率的RANS-LES混合方法体系，包含RANS-LES混合方法本身、与RANS-LES混合方法匹配的高精度自适应耗散格式、基准湍流模式、高质量计算网格、高精度时间推进方法、非定常量的统计方法等，具有极强的紧迫性。提出、发展、验证并应用该类方法数值仿真新一代战斗机（包括单独部件、组合体、甚至全机）的非定常流动，数值预测结果与风洞实验数据吻合良好；此类方法可为新型战斗机设计提供理论依据和分析手段。     

Effect of curing condition on bonding quality of scarf-repaired composite laminates

Both single-face vacuum bag curing (SVC) and double-face vacuum bag curing (DVC) can be used in scarf repair of composite structures. But different curing conditions caused by the sealing state may affect the bonding quality of scarf-repaired structures. In this paper, the effect of curing condition on bonding quality of scarf-repaired laminates was experimentally investigated in terms of surface profiles, moisture absorption curves and section profiles. In order to further explore the moisture absorption mechanism, finite element model of the repaired laminates using DVC was established with moisture diffusion of both the adhesive and composite laminates considered. This model was verified by experimental results. Based on the model of DVC case, the model of SVC case was built by changing moisture absorption parameters of the adhesive. Results show that SVC reduces the bonding quality, mainly reflecting in more adhesive inner voids and patch-to-parent dislocation. And SVC increases moisture absorption rate and moisture equilibrium content of the adhesive, and its effect on the former is far greater than that on the latter.     

地市级政府规模影响因素的实证研究——以河南省为例

政府规模是我国推进行政体制改革、简政放权进程中值得关注的一个重大课题,文章以＂利维坦假说＂和＂瓦格纳法则＂为理论基础,利用河南省1990~2012年的地市级面板数据,通过构建静态面板数据模型和动态面板数据模型,从一个更微观的视角考察了地方政府规模的影响因素。研究发现,财政分权推动了地方政府规模的扩大,＂利维坦假说＂并不成立;而经济发展水平、城镇化率与地方政府规模也呈正相关关系,即＂瓦格纳法则＂是成立的;此外,我们还发现人口规模、产业结构和开放程度也是影响地方政府规模的重要因素。     

面向高级在轨系统的动态服务质量保证方法研究

AOS(Advanced Orbiting System,高级在轨系统)已经逐渐被各国空间组织采用,随着空间任务的发展趋势更多样化和复杂化,对AOS的QoS(Quality of Service,服务质量)也提出了更高要求.针对AOS服务质量的提升需求,提出了一种虚拟信道优先级策略,使用大容量缓存结合数据压缩动态策略和遥测数据抽帧策略相结合的QoS保证方法,通过分析返向链路带宽与航天器遥测用户带宽的裕量,可以动态调整QoS保证,以适应不同应用环境下的航天器AOS的QoS保证需求.通过模拟不同的工况进行仿真试验,结果表明,该AOS服务质量保证方法适用于返向链路带宽裕量充足和不足的工况,比传统的全同步策略和同步异步结合策略拥有更广泛的适应范围.     

基于计划到达时刻的四维航迹规划

为了加速空管自动化与智能化技术的应用与实施,提出了水平航迹与高度/速度剖面分阶段设计的四维航迹规划方法。基于动态时间规整与层次聚类方法实现历史雷达航迹聚类分析,完成水平航迹设计。建立速度剖面规划模型,通过航迹生成器与速度调整器交互协作,精细化控制进场时间,以满足计划到达时间要求。以上海浦东国际机场PINOT进场航班为例实施验证,结果表明,四维航迹规划方法可有效实现航班的计划到达时间,从而减少航班延误,提高终端空域运行效率。     

机载嵌入式系统构件间依赖关系处理方法研究

随着航空电子系统的发展和未来作战需求的变化,机栽系统的设计更偏向于机群间的公共资源统一分配和协同作战能力,能够动态加卸载构件的构件系统可以满足这种需求.在动态加卸载构件的整个周期中,动态依赖关系的分析与建立起着至关重要的作用.通过对现有依赖方案的分析,提出了一种新的依赖分析的方案,解决了使用动态依赖可能导致构件运行时依赖关系不满足的问题.     

军航活动下扇区动态容量评估研究

民航业迅速发展,空域资源的稀缺性日益凸显。科学合理地评估空域容量是解决空中交通流量瓶颈的关键,同时也为制定流量管理策略提供科学的依据。由于我国体制的特殊性,军航活动一直是我国空域资源限制的重要因素。研究并详细分析军航活动对扇区容量损失作用的机理,定量地评估军航活动对扇区容量的影响,建立军航活动影响下的扇区动态容量评估模型,结论表明模型有一定的参考意义。