一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。     

民航低高度告警和冲突告警功能系统

本文详细介绍了民航低高度告警和冲突告警功能系统结构、主要功能和在中国民航实施情况。     

基于1553B总线的航电系统半实物仿真远程级联

半实物仿真技术是地面评估航电系统作战效能的重要仿真方法。航电设备因工作原理差异需在不同的物理环境下开展试验,为实现闭环测试,基于1553B总线通信的航电系统要解决传输距离限制问题。本文通过分析1553B总线协议,总结影响传输距离的原因,提出采用光电转换和光纤传输来实现航电设备远程级联。     

一种机载嵌入式RapidIO网络动态管理方法

RapidIO是一种针对高性能嵌入式系统芯片级、板级互联而设计的总线技术,广泛应用于航空电子系统。为了实时地管理RapidIO网络,提出了基于预置带宽与硬件事件的管理方法,设计并实现了分布式系统网络管理软件,实现不同规模网络的动态管理与容错处理。测试验证与工程应用表明,所提方法解决了大规模网络的动态管理问题,能够满足机载嵌入式系统强实时、高性能、高可靠的应用需求。     

俄研制出飞船外壳“自我修复”新材料

俄罗斯中央机器制造科学研究所4月6日说,该研究所专家已经研制出可“自我修复”的飞船外壳新材料。研发小组专家费尔德施泰因介绍说,这种新材料的“自我修复”能力与人体皮肤遭受轻微损伤时的自行修复功能类似。目前,这种材料尚处于试验的最初阶段,它将应用于未来的飞船和空间站,在飞船或空间站外壳因微小陨石或太空垃圾撞击而遭受轻微损坏时,它将能自动收缩修复至原来状态,从而恢复其密封性。     

AIRTEK楼控系统在华东民航管理局业务大楼的应用

文章简要叙述了AIRTEK楼宇自动化系统的特点及功能．介绍了上海华东民航管理局业务大楼楼宇自动化系统对舒适性环境的控制功能。阐述了AIRTEK系统在该大楼内各方面应用及控制过程。     

深空探测WIFI分离监视相机锁紧释放机构研制

文章提出了一种基于热刀切割UHMWPE绳的轻小型锁紧释放机构,质量仅为150g,高度只有27mm,用于拍摄“天问一号”着陆器与巡视器合影。设计卡爪装置对WIFI相机进行卡紧固定,采用UHMWPE绳对卡爪装置进行捆绑紧固,设计绳索预紧和收紧装置实现绳索拉紧,通过热刀组件熔断UHMWPE绳实现WIFI相机释放。为验证机构可靠性和对复杂空间环境适应性,开展了UHMWPE绳蠕变测试、抗辐照试验、机构解锁测试、力学试验等专项测试,结果表明该锁紧释放机构能够稳定锁紧和释放分离相机,具有体积小、质量轻、耐辐照、高可靠等特点。     

英美影视作品在英语听力教学中的功能与运用

英语影视作品应用于课堂教学是一种十分有效的教学方法。它以多媒体为手段,融视、听、说于一体,情景真实生动,语言丰富地道,形式活泼多样,有助于给学生创造出一个学习英语的良好氛围,使学生在这种良好的语言环境中学习语言,感受中西方文化差异,从而增强活学活用的外语交际能力,将会使学生在英语学习和个人成长等方面受益无穷。