AFDX流量管制信用量设置的模型检查

航空电子全双工交换式以太网（AFDX）实时通信中,交换节点采用信用量令牌桶（creditedtoken bucket）进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性（bounded liveness）模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路（VL）的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。     

一种TVD方法在三维非结构网格中的应用

以三维非结构网格的显式有限体积法为基础,采用了一种TVD方法求解三维Euler方程,使用Roe通量来计算网格单元边界处的守恒量通量.为了验证方法的可行性,用该方法模拟三维爆炸问题,得出的结论是我们的方法可行,稳定且有效.     

用户星天线空间扫描策略

 天线空间扫描过程是建立中继卫星系统星间链路的关键阶段之一。首先分析比较了水平行扫、螺旋扫描和分行螺旋扫描策略,并根据分析结果,结合轨迹预处理算法,设计了一种变速分行螺旋扫描策略。然后采用蒙特卡罗仿真分析了用户星天线开环回扫指向精度,近似确定了天线空间扫描的范围。最后通过仿真比较等速分行螺旋扫描和变速分行螺旋扫描策略,并仿真了用户星天线捕获中继卫星的过程,通过仿真结果证明所设计的变速分行螺旋扫描具有一定的工程应用价值。     

助航灯光光强检测数据处理方法研究

给出了一种在线快速测量灯光光强的方法,建立了照度测量的数学模型,给出了光程的测量方法和补偿方法、动态测量中照度和光强的换算,通过软件实现了单灯等光强曲线的绘制和回路光强参数的统计。通过与静态测量结果的比较证明了此方法的可行性且能满足机场生产时的精度要求。     

AZ31B变形镁合金激光-MIG复合焊焊接组织和性能分析

采用激光-MIC复合焊对10mm厚的AZ31B变形镁合金进行焊接.利用光学显微镜、扫描电镜、X射线衍射仪等手段分析了焊接接头的外观和截面特征、显微组织、元素分布、焊缝物相和断口形貌等,并检测了接头区域硬度和接头强度.试验结果表明:采用激光-MIG复合焊能获得成形美观的焊缝,无明显的缺陷;焊缝热影响最大宽度位于激光区,约为100μm,焊缝组织为15～25μm的等轴晶粒;相比于母材,焊缝区的镁元素出现烧损,铝和锰元素的比例有一定增加;焊缝区主要为Mg,Al和少量的MgO相.焊接接头硬度值较均匀;焊缝抗拉强度达到222MPa,断口形貌为混合断裂断口.     

飞行器最优机动策略研究方法及进展

回顾了国内外最优机动策略研究的理论和方法,着重论述了近几年国内外的最优轨道机动策略问题的研究状况,比较了国内外的发展差别,讨论了轨道最优机动策略的发展趋势,为我国飞行器最优轨道机动策略研究方向提供了有意义的参考。     

大型飞机迎角/过载限制器设计

根据典型大型飞机迎角/过载限制器的特点,提出了两种采用积分控制来减小静态误差的大型飞机迎角/过载保护方法,即最大值切换逻辑和加权过渡逻辑方法,深入研究了如何设计迎角/过载限制器参数,探讨了采用以上两种不同方法来进行迎角与过载限制器切换的优劣,系统仿真结果证明了所设计的限制器的有效性。该项研究为我国未来大型飞机如何设计迎角/过载限制器提供了部分理论依据。     

应用自由变形法的翼型几何外形参数化研究

对一种新的基于NURBS方法的自由变形参数化方法进行了研究,该方法继承了NURBS方法的优点并避免了其缺点。利用该方法对两副翼型分别进行了参数化和优化设计、反设计,流动控制方程为N-S方程,目标函数梯度计算方法采用了离散共轭方法。算例表明,自由变形参数化方法能够满足设计需要。     

净现值与内部收益率指标的决策分析

我国目前采用的投资项目财务评价指标体系是以动态指标为主,静态指标为辅的多种指标并存的指标体系.在综合应用财务评价指标对互斥投资方案进行分析时,有些评价指标得出的结论会不一致.通过对净现值与内部收益率指标在方案比选中的矛盾性进行的分析,提出两者在对互斥方案进行评价时,出现评价结果不一致时的决策方法.     

利用非交错对称矩阵构造Cartesian认证码

利用特征为2的有限域上非交错对称矩阵构造了一个Cartesian认证码，并计算出其参数。进而，假定编码规则按照均匀的概率分布所选取，计算出了该码被模仿攻击成功的最大概率只和被替换攻击成功的最大概率Ps。