航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

一种电子政务数据交换覆盖网络

数据交换是电子政务应用的核心问题.构建一种应用层数据交换覆盖网络成为解决这类问题的关键.分析了电子政务数据交换的特点,提出了电子政务数据交换覆盖网络eGON(e-Government data exchange Overlay Network)的概念模型,在树型结构组织网络的基础上,引入结点间组织距离和结点适应度概念,提出了一种eGON拓扑结构模型——双尺度异质组织网络模型DSHON(Dual Scale Heterogeneous Organization Network),该模型按照与组织距离和能力适应度2种尺度相关的概率添加快捷边,实现网络性能改善.设计了eGON的总体结构、构建与维护机制、路由维护协议和基于组织距离优先的消息路由算法,并进行了路由算法实验验证.      

基于GPS伪距的微小卫星定轨技术研究

高可靠、高精度、低成本的全自主导航是现代微小卫星定轨领域的发展方向,GPS以其在成本、精度、功耗等方面的独特优势,在低轨航天器上得到应用。论文采用GPS伪距作为观测量,在可见星较少的情况下仍可得到观测信息,较GPS直接输出提高了导航精度,并能进一步降低硬件成本。还引入了衰减记忆滤波算法,通过调节协方差矩阵,削弱了历史量测信息对当前数据融合的贡献,从而减小了轨道摄动对定轨精度的影响。仿真结果表明当导航星数目较少时,该算法仍可实现信息融合,且显著提高了定位精度。     

基于局部方法的余度惯性组件故障诊断

介绍了局部方法(local approach)原理及其在随机系统故障诊断中的应用问题,讨论了用于故障诊断的样本数目对检测性能的影响,指出通过增加样本数目,可以大大增加局部方法检测小故障的能力,并说明样本数为1时,广义似然比(GLR,Generalized Likelihood Ratio)方法和局部方法的判决函数相同.为了验证所提出方法的有效性,将局部方法用于沿正十二面体对称侧面配置的冗余微机械惯性组件(IMU, Inertial Measurement Unit)故障检测,实验结果表明文中的理论分析是符合实际情况的.      

GALILEO/SINS组合导航系统研究

GALILEO是新一代的全球卫星定位系统。文章根据GALILEO系统的特点,有针对性地研究了GALILEO/捷联惯导(SINS)伪距组合导航模式。分析并建立了GALI LEO的误差方程,并以此为基础,给出了GALILEO/SINS伪距组合导航系统的误差模型和相应的卡尔曼滤波方程。为了有效验证设计的组合导航系统的有效性,在仿真过程中采用了协方差分析法,对组合导航系统性能进行了仿真研究。仿真结果表明GALILEO/SINS伪距组合导航系统能够有效的提高导航精度,随着GALILEO的不断完善,该系统将具有很大的应用前景。     

基于推力矢量控制的固体火箭发动机气体二次喷射研究

采用二维雷诺平均方程和κ-ε湍流模型,对固体火箭发动机气体二次喷射复杂干扰内流场进行了数值模拟。借助数值模拟技术,对气体二次喷射推力矢量喷管的部分方案进行了初步探索,研究了不同喷射参数对气体二次喷射流场特征及侧向控制力的影响,并分析了其原因。结果表明,二次喷射气体的喷射孔位置、喷射角及喷射总压等因素对侧向力的影响相互耦合,适中的喷射孔位置、逆流喷射角及较大的喷射总压都能有效增加侧向力及矢量角。     

新型国产芳纶Ⅲ纤维的性能实验研究

测试了7批次新型国产芳纶Ⅲ纤维的复丝拉伸性能,且采用第07批次的芳纶Ⅲ纤维进行缠绕制作了NOL环试样和150 mm试验容器。实验结果表明,第04批、06批、07批芳纶Ⅲ纤维复丝强度平均值达到4 535 MPa以上,弹性模量大于139 GPa,这些性能与Armos(2A)纤维相当,断裂延伸率较Armos(2A)纤维低,约为2.9%~3.3%。芳纶Ⅲ纤维单向复合材料的拉伸性能也与Armos(2A)纤维相当,但层间剪切强度较Armos(2A)纤维低很多,150 mm国产芳纶Ⅲ纤维试验容器性能有高有低,表明芳纶Ⅲ纤维的成型工艺性差,线密度太低且不均匀,另外与树脂浸润性差,层间剪切强度低,有待于进一步优化成型工艺参数。     

有机纤维束纱弹性模量测试分析

介绍了一种超声波测试技术,能快速简便地对有机纤维进行动态弹性模量测试,给出了动态和静态弹性模量的计算式,并测试了F-12芳纶、国产芳纶Ⅲ和PBO纤维的动态弹性模量,且采用GJB 348—87复丝拉伸实验对上述几种纤维的静态杨氏模量进行测试对比。实验结果表明,超声波测试F-12芳纶纤维、芳纶Ⅲ纤维和PBO纤维的动态弹性模量平均值分别比采用GJB 348—87测得的静态模量稍高;与GJB 348—87复丝拉伸实验相比,此方法具有测试装置简单、取样容易等特点,可作为一种常用的测试方法。     

基于光纤通道的航空电子网络研究

介绍先进综合化航空电子系统结构及先进综合化航空电子系统对采用光纤统一网络互连的要求;列举光纤通道(FC)互联网络的高可靠性、容错性和确定性等指标,并评估其适于作为新一代航空电子系统互连标准;描述FC在未来航空电子系统应用中复杂的体系结构和多种上层映射协议共用的解决方案;介绍1553上层映射(FC-AE-1553)、虚拟接口结构上层映射(VIA ULP)、音频视频上层映射(FC-AV)等三种FC的上层映射协议适用于未来航空电子系统应用的特点,分析三种上层映射协议在未来航空电子系统中的应用。     

Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.