AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

基于优先级赤字轮询调度的WAIC网络延迟分析

航空电子机内无线通信（WAIC）在降低飞机重量和节省成本等方面的优势让其在航空电子系统的应用上具有可观的前景。为了研究基于802.11的WAIC网络的传输延迟并保证其可靠性,提出了一种优先级赤字轮询调度（PDRR）的介质访问控制（MAC）协议。首先,通过确定性网络演算方法为MAC层协议的活动建立了到达曲线和服务曲线模型。其次,充分考虑无线通信物理层的特点和所结合信道反转方法,给出了WAIC网络流量调度最坏情况下的端到端延迟的评价方法,可以发现信道反转后稳定的信道容量提供了较为保守的延迟界限。最后,通过案例分析对比了高优先级的WAIC节点与普通优先级节点的延迟界限以及信道反转的影响。结果表明:高优先级节点比普通优先级节点具有更好的实时性,并且可以通过增加平均信噪比来改善传输的延迟界限。      

高精度石英半球裸振子微应力制造

半球谐振子是半球谐振陀螺的核心元件,其质量直接决定了陀螺的性能精度,以高纯石英材料制成的半球谐振子已得到业界的广泛认可,但加工难度较高。半球裸振子是半球谐振子的未完全加工态,其加工表面残余应力的大小决定了谐振Q值、频差Δf等参数,进而影响谐振性能。文章就石英半球裸振子的微应力制造技术方法和技术特点进行了分析和讨论,以及采用飞秒激光加工设备实现石英半球裸振子微应力制造,飞秒激光加工具有速度快、热变形小、非接触、微应力等优势,用于半球谐振子加工能够明显改善加工效率、成本和表面应力状态,采用飞秒激光加工为高精度石英半球裸振子的加工提供新实现途径。     

深空探测器大口径天线指向在轨标定方案

基于深空探测器配备的大口径天线的指向精度要求,给出了一种深空探测器大口径天线在轨指向的标定方案,以解决深空探测器安装的大口径天线的在轨指向评价问题。通过对飞行器特点和约束条件的分析,结合"嫦娥4号"中继星天线的具体情况,采用星地协同工作的方法,给出了天线指向在轨标定的方案,并明确了标定的实施流程,最后对标定过程中的误差情况进行了分析。本方案可推广应用于其他深空探测器大口径天线指向标定方案的设计。     

基于双层K近邻算法航站楼短时客流量预测

航站楼离港客流量在短时期内呈现准周期性规律变化,易受航班计划、天气等多种因素影响,表现出复杂的非线性特点。为了实现航站楼短时客流量的准确预测,在传统K近邻（KNN）算法基础上增加了航班计划状态模式匹配方法,以航班计划包含的多维属性作为特征选取相似历史运营日作为预测基准向量,建立基于航站楼短时客流量预测的双层K近邻模型。通过实例分析,与ARIMA模型和传统K近邻模型等进行比较,证明双层K近邻模型预测误差更小,精度更高,模型拟合度相对传统K近邻模型提高了8%~10%,为航站楼短时客流量精确预测提供了一种新的解决思路。      

S波自旋单态底夸克偶素衰变到粲夸克对

对S波自旋单态底夸克偶素衰变到粲夸克对进行了研究,同时还研究了S波自旋单态和自旋三重态底夸克偶素衰变到D介子对。利用BaBar实验组测量得到的自旋三重态底夸克偶素衰变到D介子分支比的数据,发现自旋三重态底夸克偶素的色八重态矩阵元远小于理论预言,理论预言要比实验上限大20倍以上;得到S波自旋单态底夸克偶素衰变到粲夸克对的分支比的理论预言,可以进行实验测量从而研究色八重态矩阵元;得到S波自旋单态底夸克偶素衰变到D介子对的分支比的理论预言,与其他理论预言差异较大。这些预言可以通过BelleⅡ的实验进行验证,从而得到更多强子化的信息。      

管流转捩对比态定律的讨论：层,紊流并存流态转捩现象

转捩对管内流动和换热有很大影响,Ｎ．Ｔ．Ｏｂｏｔ曾在总结归纳圆管、矩形管、三角形管和环形管实验结果的基础上提出对比态定律,并断言：对任意截面管道,只要知道临界摩擦因子和临界雷诺数,根据对比态定律,就可以计算其流动和平均换热特性。本文通过对复杂截面通道流动的研究,指出管流转捩的对比态定律只适用于单一流态管流,而不适用于层、紊流并存管流,文中还分析了层、紊流并存现象及其产生的原因,它的起始点和终止点的判定,以及流动和换热特性计算的处理方法。     

航天器寿命末期离轨技术研究综述

为净化空间环境,针对航天器寿命末期离轨问题,对现有航天器离轨技术进行了分析。介绍了航天器寿命末期离轨技术的国内外研究发展现状,总结了不同类型离轨方式的特点及适用对象,分析了各种离轨方式发展趋势及关键技术,提出了航天器寿命末期离轨技术各离轨方式的发展建议。通过调研发现：现有航天器寿命末期离轨技术可使航天器在25年内离轨,但在离轨装置可靠性、离轨过程稳定性、航天器离轨时间及离轨后处理等方面有较大提升空间。     

Tear Resistance of Orthogonal Kevlar-PWF-reinforced TPU Film

This work seeks to investigate the notch sensitivity and fracture behaviour of orthogonal Kevlar-plain woven fabric (PWF)-reinforced thermoplastic polyurethanes (TPU) film applied to high altitude balloon. Four types of specimens are implemented to measure notched strength and fracture toughness by conducting static tension and tear tests on an MTS system respectively. The damage and failure mechanisms are discussed and the results for notched strength and tear resistance are evaluated and compared with each other. From the experiments, it is found that the notch sensitivity of the film increases with the increase in the size of the hole, but the notch sensitivity and the stress concentration of the notch are insignificant and there is a decrease of only about 4%-10% in tensile strength for the notched specimens with different hole sizes in diameter compared with the unnotched specimen. In contrast, the tear resistance containing a central slit with only 1 mm length is about half of tensile strength of the unnotched film, which implies that the tear resistance exists an significant notch sensitivity. The results of this study provide an insight into notch sensitivity and fracture behaviour of the Kevlar-PWF-reinforced TPU film and constitute a fundamental basis for the design of high altitude balloon.