ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

某零件热防护层的简易成型方法

主要介绍了一种在某异形零件外表面镶嵌热防护层的一种简易、可行的方法。     

高强度耐烧蚀复合材料的RTM成型工艺

介绍了使用RTM成型工艺制造高强度、耐烧蚀三维编织复合材料的工艺设备,分析了RTM工艺参数,制定了氨酚醛树脂RTM成型工艺流程,并且进行了树脂分析、工艺参数分析,材料力学、烧蚀性能测试,证明了RTM成型工艺过程是可行的,适合于军工企业单件、小批量生产使用及研制需要。     

空间前方交会法及其在测试技术中的应用

分析了空间前方交会法的基本原理，建立了相关的理论模型，并在实验室的条件下严格测试了这种方法的测量精度；探讨了空间前方交会法在位置检测系统的测试过程中应用，详细地给出了测试的步骤以及测试数据的分析处理结果。     

加衬套耳片接头止裂特性的计算研究

 本文研究了加衬套对耳片的加强与止裂作用。提出了销钉与衬套、衬套与耳片之间接触边界条件的处理方法。利用作者编制的耳片应力分析通用程序LUGS进行计算,得出了具有最佳止裂特性的衬套参数配置。     

边界元法在薄板稳定问题中的应用

 <正> 1.基本公式 弹性薄板的稳定方程为式中D是板的弯曲刚度;λ是临界载荷因子;为双Laplace算子;N_1,N_2,N_3为板的中而力。 首先确定基本解。即:在无穷域上某一点作用一个单位力时,双调和微分算子的解,即板的挠度。与板的挠度相对应的基本解对应于方程     

大厚度织物液相浸渍工艺研究

提供了一种针对厚织物的液相浸渍工艺方法,解决了大厚度、大尺寸复合陶瓷天线罩材料致密性(密度大于1.75g/cm3)和均匀性的问题,同时可使纤维强度有较高的保持率,复合材料有较高的强度和断裂韧性。     

半球谐振陀螺温度补偿与实验研究

温度的变化严重影响了半球谐振陀螺的使用精度。为了消除或者减小温度因素对陀 螺 精度的影响,在简要分析温度对半球谐振陀螺精度影响原因的基础上,采用独立成分分析方 法对温度影响性的独立性和规律性进行了分析检验;建立了陀螺的温度误差补偿模型,并对 与温度有关的确定性漂移进行补偿;利用Allan方差方法对不确定性漂移进行了分析补偿。 实验证明该方法可以扩大陀螺温度环境适应范围,使陀螺仪的使用精度提高约3倍。〖JP 〗
     

ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。