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

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

高负荷压气机静叶根部叶型气动性能实验研究

为研究高负荷压气机静叶根部流动状态,抽取该静叶根部叶型并模化成为平面叶栅进行吹风实验,冲角变化范围为-6°~+6°、进口马赫数变化范围为0.5~0.7。对叶栅出口截面气动参数进行了详细的测量,结果表明:非正冲角时叶展中部节距平均总压损失系数小于等于0.036,尾迹宽度和总压损失峰值随马赫数变化均不明显,正冲角时尾迹宽度和总压损失峰值急剧增加;端壁处的压力梯度随马赫数和冲角的增加而增加;0°冲角下随马赫数的增大,出口叶展中部截面二次流动能系数增加,二次流动得到加强,高能量损失区域增大并且尾迹略有变宽。     

航电系统的处理机重构算法与实现

主要阐述了满足新一代航空电子系统中核心数据综合处理要求的实时操作系统 ;概述了系统软件的三个主要层次的总体结构 ;着重论述了重构处理机的问题 ;并详细讨论了处理机容错重构处理的实施过程。     

环境专业教学体系结构改革探索——以就业市场需求为导向

通过对西安航专2006与2007年环境监测与治理技术专业毕业生就业情况的对比分析，认为目前环境类专业的就业形势发生良性转变，需求范围增加，同时就业单位对毕业生的专业技术能力、技术管理能力等也提出了更高的要求。据此，我们从专业发展方向、课程体系结构以及实验实训三个方面进行建设与调整来满足就业单位的需求。     

高压高剪切率下密封环缝隙流体动态润滑特性

为减少高压高剪切率下热效应对密封环缝隙流体润滑性能的影响，以密封环缝隙流体剪切速度梯度、壁面剪切应力和油膜温升表征摩擦副润滑性能，采用RNG k-ε湍流模型，通过Workbench建立流-固-热多场模型，计算得到不同主轴转角下缝隙流动形态变化规律和温升前后油膜厚度变化量、不同L型槽内外径比及长径比下流速流型分布规律、壁面剪切应力、温度分布和热变形量。研究结果表明:密封环L型槽黏性底层随剪切速度增大而增厚，油膜厚度随运动周期增加而变薄；当L型槽内外径比小于1.07时，随比值减小密封环壁面剪切应力不断增大，最大变化率为7%；密封环L型槽长径比在0.19时平均壁面剪切应力达到最大，当长径比继续增大时，油膜区剪切速度梯度逐渐减小，油膜温升和热变形亦随之减小。研究结果可为马达优化以减少能量损失和改善密封环润滑条件提供理论指导和依据。      

钛合金螺旋铣孔孔径偏差研究

螺旋铣孔是航空航天领域新出现的制孔技术,其切削过程中会产生径向切削力,从而引起刀具变形并造成孔径偏差。针对该问题开展了钛合金螺旋铣孔孔径偏差试验,分析了包括进给方向在内的不同加工参数对孔径偏差的影响规律;基于螺旋铣孔运动学原理对不同进给方向下的材料去除过程和径向切削力方向进行了研究,分析了不同进给方向下的孔径偏差变化规律及形成原因,并设计切削力试验进行了验证;通过分析不同加工参数下的未变形切屑形状及径向切削力变化情况,研究了各加工参数对孔径变化趋势的影响规律。研究结果表明,当进给方向为顺时针时,刀具受背离孔心的径向切削力的作用向孔径外侧发生挠曲变形,导致所加工孔径大于理论孔径;当进给方向为逆时针时则相反。进给速度和导程的增加将加剧孔径偏差,切削速度的增加则会减弱孔径偏差。     

GJB 3971-2000和TSO-C77b的对比分析

针对辅助动力系统研制及考核要求,以GJB 3971-2000为基准,对GJB 3971-2000和TSO-C77b中辅助动力系统结构完整性、包容性、环境适应性和持久试车等重点技术要求进行了对比分析,提出了辅助动力系统贯彻GJB 3971-2000和TSO-C77b的建议。     

跨声速压气机转子流场特性的数值研究

为研究跨声速压气机转子在设计转速下的内部流场特性,探索其流动机理,考察激波位置及成因,利用三维数值模拟方法对其进行了数值研究。结果表明,该跨声速压气机转子在设计转速下高效工作范围较宽,喘振裕度约为27.15%。近堵塞工况时,转子叶片前缘出现一道脱体的弓形激波,转子叶片流道内也存在一道正激波,激波位置随背压升高向叶片前缘移动;最高效率工况时,叶片前缘叶尖相对马赫数达到1.5。近失速工况时,流道内正激波消失。转子叶顶间隙处存在强烈的激波与附面层及间隙泄漏流的相互作用,该处熵值随背压升高而增大,高熵区随激波前移而向转子叶片前缘移动。     

基于跨模态近邻损失的可视-红外行人重识别

可视-红外跨模态行人重识别任务的目标是给定一个模态的特定人员图像,在其他不同模态摄像机所拍摄的图像集中进行检索,找出相同人员对应的图像。由于成像方式不同,不同模态的图像之间存在明显的模态差异。为此,从度量学习的角度出发,对损失函数进行改进以获取具有更加辨别性的信息。对图像特征内聚性进行理论分析,并在此基础上提出一种基于内聚性分析和跨模态近邻损失函数的重识别方法,以加强不同模态样本的内聚性。将跨模态困难样本的相似性度量问题转化为跨模态最近邻样本对和同模态样本对的相似性度量,使得网络对模态内聚性的优化更加高效和稳定。对所提方法在全局特征表示的基线网络和部分特征表示的基线网络上进行实验验证结果表明：所提方法对可视-红外行人重识别的预测结果相较于基线方法,平均准确度最高可提升8.44%,证明了方法在不同网络架构中的通用性;同时,以较小的模型复杂度和较低的计算量为代价,实现了可靠的跨模态行人重识别结果。