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

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

2015中国国际卫星应用展览会

<正>国际化市场化专业化自主创新品牌展示供需对接国际交流北京展览馆·2015.11.12-14主办单位:中国卫星应用产业协会中国贸促会电子信息行业分会指导单位:工业和信息化部电子信息司国防科技工业局系统一司商务部投资促进事务局大会主席:孙家栋(中国科学院院士)沈荣骏(中国工程院院士)尹浩(中国科学院院士)支持单位:中信集团航天科技集团中国电信同方工业天津通广集团熊猫电子集团海格通信集团中电科技五十四所协同通信集团北京华力创通北斗星通众华原创Polarsat诺达卫星公司《中国电子报》《国际太空》《卫星应用》《数字通信世界》《卫星与网络》     

电离层周日变化对解算GPS硬件延迟稳定性的影响

针对电离层周日变化特征分析了其可能对SCORE方法估算的硬件延迟稳定性的影响. 利用BJFS以及XIAM台站的GPS观测数据, 解算了位于太阳活动高年(2001年)和太阳活动低年(2009年)的卫星硬件延迟并分析了估算的硬件延迟的稳定性. 研究发现, 电离层周日变化对估算的硬件延迟稳定性具有一定影响, 但是利用不同台站所得到的卫星硬件延迟稳定性在昼夜不同时间上的解算结果存在一定差异. 电离层周日变化对利用 BJFS台站数据解算的硬件延迟稳定性日夜差异较为明显, 在太阳活动高年利用XIAM 台站数据解算的硬件延迟日夜稳定性差异不很明显, 由于XIAM台站处于电离层赤道异常峰附近, 夜间电离层变化很大, 因此对比中纬度地区, 电离层周日变化对赤道异常峰附近地区硬件延迟稳定性解算结果的影响相对较小, 但在太阳活动低年, 其影响仍较为显著.      

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

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

离心机微机监控系统的模拟调试

结合介绍国家七·五项目“离心机微机监控设备”的模拟调试，论述了实验室或现场模拟调试的重要性；研究了模拟调试的内容和被物理、电子模拟装置替代的实际系统中的对象的分类；探讨了如何设计与制作一个或若干个既简单又“逼真”的模拟调试辅助装置，建立一个高效率的模拟调试环境。     

机载自保护和电子攻击系统需求增长

由于大批现代战斗机的生产和使用都将延长到2015年左右,从而为电子战系统供应商提供了新的机遇,他们纷纷着手改进和研制新一代的机载自我保护和电子攻击系统,使这一市场呈现一片繁荣景象.     

贴片元器件的识读

<正>随着南京禄口机场的迅猛发展,特别是二期建设的全面铺开,电子信息技术已经渗透到机场安全、运行的各个领域。而承载着电子信息最基础的电子硬件技术,更是今后"牵一发而动全身"的重中之重。本文正是结合机场的具体实际,汇集当今最常见的贴片元器件的识读知识,以利机场专业技术人员在实际维护维修时参考。贴片元器件(SMD/SMC)是电子设备微型化、高集成化的产物。它是一种无引线或短引线的新型微小型元器     

综合模块化航空电子系统远程加载技术研究及性能分析

随着飞机航空电子系统综合化程度的提高,软件的部署、加载和更新的复杂度也在逐步提高。传统软件更新后,需要在地面为每个模块进行升级,并将新版本的软件映像文件固化在模块上,这种更新周期长且流程复杂。随着通用模块和应用重构的发展,软件映像需要部署在系统的各个冗余备份节点中,从而使其更新的流程更为复杂。本文针对以上问题提出了基于光纤通道和 ARINC653操作系统的远程数据加载系统,以使系统在上电、重启及重构时可实现从大容量存储模块上远程加载操作系统内核映像、分区应用及自启动功能。在功能实现的基础上,本文对远程加载和本地加载的时间性能进行了分析和比较。     

涡轴发动机转速信号故障对策研究及试车验证

以某型涡轴发动机为对象, 对转速传感器失效状态下全权限数字电子控制系统(FADEC)采取的控制对策进行研究.确定了某型涡轴发动机的容错控制规律.试验在台架条件下进行, 采用“故障模拟杆”方法, 对发动机容错控制进行研究.试验结果表明, 所采用的故障对策和验证方法实施方便, 容错控制能够有效维持发动机的功率输出.验证试验为双发装机匹配提供了有益的经验, 对其它型式的发动机亦具有参考价值.