基于数值气象预报的飞行受限区自动划设

合理有效的飞行受限区划设是航空器规避恶劣天气进行改航策略选择的重要前提。为提高划设的实时性及充分考虑危险天气的随机动态连续变化,借助于气象预报信息,运用Matlab对图像矩阵进行处理,自动将影响飞行安全的区域边界多边形化。通过仿真分析,所提出的划设方法复杂度较低,效果令人满意,具有一定的可行性。     

跨声速嗡鸣诱发机理及其失稳参数研究

跨声速嗡鸣问题是现代飞行器设计和使用过程中的拦路虎,会造成操纵面的损坏或严重变形。目前嗡鸣研究的局限在于缺乏预测嗡鸣触发参数范围的有效方法,难以指导工程实践。本文通过基于ROM的气动弹性分析模型和CFD/CSD时域仿真方法,研究了三种类型嗡鸣的触发条件及其参数的物理意义。相关结果表明,三种嗡鸣本质都是亚稳定的流动模态和结构模态耦合诱发结构失稳。降阶模型进一步揭示嗡鸣的触发要求流动的稳定裕量足够低(往往在抖振边界附近),同时结构频率在开环伯德图的零极点频率之间。该研究有助于对嗡鸣物理更深入的理解以及提出新的嗡鸣抑制方法。     

面向航天器系统级测试的虚拟测试方法及应用

航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。     

四色定理论证的关键

一百多年来对"四色问题"的研究长期不得其解的关键在于:肯泊(A.Kempe)当年提出的"不可避免构形集"中一个国家(地域)具有五个邻国(邻域)的所谓"可约性"问题得不到解决。"《四色定理》论证"用数学归纳法,而"平面图的点着色方法"未用数学归纳法,两种方式论证"四色问题"都涉及到"一个(待着色)顶点有五个邻接顶点,已着有4种颜色,要将这4种颜色设法变成3种,把腾出来的1种颜色给该顶点着色。"———这就是四色定理论证的关键。再根据换色原理,用巧妙而深层次地换色办法,对这个关键进行更深刻地论述,其换(着)色最多六步就可以完成,进而更充实和完善了前述两文。     

基于不同威胁体的无人作战飞机初始路径规划

 提出一种基于不同威胁体的路径规划新方法。从理论上建立了具有不同威胁体的局部空域路径选择原则,给出了根据不同威胁体建立相应路径图的步骤和方法。描述了基于图形模型的进化优化算法,并应用此算法进行了路径优化。进行了仿真验证,仿真结果表明,提出的路径规划方法不仅可行,而且有效地突破了原Voronoi 图只能对相同威胁体进行路径规划的局限。     

机载大屏幕显示器SoC图形系统设计

设计一种基于芯片级系统(So C)的机载大屏幕显示器图形产生系统,对图形系统框架、大分辨率图形产生、矢量汉字显示、PCIe接口等关键部分进行了详细说明。结合实际使用需求,绘制了典型画面。基于So C的图形产生系统有效地解决了传统的基于CPU+GPU图形系统功耗高、体积大的问题。随着应用处理器的迅速发展,So C图形系统性能将快速提升,形成系列化产品。     

空域拥挤资源分配的拍卖方法研究和博弈均衡分析(英文)

基于协调决策的各种流量管理策略已被广泛应用于空域拥挤问题,但是如何整合这些流量管理策略重排拥挤的航班,实现空域资源公平有效地分配,一直是一个难题。流量管理部门对拥塞空域的主要管理目标是系统总延误成本最小,而航空公司则是以自身获利最大化为目标。航空公司可在协调决策过程中,隐藏必要的信息,以实现自身利益的最大化,但是这样会增加系统的总延误成本。为实现流量管理部门与航空公司的目标一致性,提高空域资源的分配效率,文中提出了基于拍卖的方法解决预战术和战术流量管理阶段的空域拥挤问题,并利用博弈理论对航空公司的决策进行了分析建模。通过一个仿真实验,验证了拍卖的分配结果能够降低拥挤空域的总延误成本。最后,根据实验数据分析了通过按拥挤航班数量比例重分配拍卖收入给航空公司方案,该方案能有效地降低航空公司的航班延误损失,提高空域资源分配的公平性和有效性。     

ZN-1型粘弹性阻尼材料模型参数修正研究

为了给被动约束阻尼（PCLD）结构的动力学分析提供更精确的粘弹性材料数学模型,进行了ZN-1型粘弹性阻尼材料模型参数修正的研究。以模型参数为优化变量,以PCLD悬臂梁固有频率和损耗因子的误差最小为优化目标,采用混合遗传算法修正了ZN-1型粘弹性阻尼材料模型参数。修正模型参数后PCLD梁动力学特性计算值比原始模型更接近于试验值。     

动边界问题无网格算法及其动态点云

提出基于Delaunay图映射的点云运动处理技术.该技术使点云随物体运动再生成问题变成简单的映射关系,无需迭代,且能保持点云结构不变,故有效地避免了因点云结构变动而产生的附加计算量.运用该技术,结合非定常Euler方程双时间步无网格算法,成功地模拟了翼型的跨声速非定常流动.其中物理时间迭代采用二阶隐式格式,伪时间遮代采用四步龙格一库塔显式格式.文中给出了不同翼型的计算结果,并与实验结果进行了比较,取得了令人满意的结果.     

关于哈密顿轨问题最小流模型的讨论

MasonIri论证了网络最小流问题可以在多项式时间内转换为哈密顿问题的模型与方法。本文利用一个反例指出了在该证明中使用的模型存在有不严格的地方。在此基础上,利用网络最小生成流的概念提出了一个修正模型,并证明了无环最小生成流问题可以在多项式时间内转换为哈密顿圈问题。文中最后指出,这一新的模型为解决在有向图内构造哈密顿轨的有效算法提供了一个新的思路和方法