基于时间参数的CTCS-1级RDC设置方式的研究

既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考.

IMA平台分区分析方法研究

依照综合模块化航空电子系统(Integrated modular avionics,IMA)平台的健壮性分区特点,IMA平台必须能够为驻留应用和驻留功能提供健壮分区隔离和其他保护能力,这些措施要允许多个驻留应用共享一个平台及平台上的资源,且自身的资源支持系统级分布功能在容错网络上运行。根据综合模块化航空电子系统开发指南与认证考虑RTCA DO-297标准中关于IMA平台健壮性分区、安全性以及认可证明数据的要求,本文对IMA平台分区分析展开研究,重点对IMA平台及其组件通用处理模块(General processing module,GPM)、航空数据网络ARINC664交换机和远程数据集中器(Remote data concentrator,RDC)进行分区分析方法的研究。给出每个组件的分区分析策略和目标,明确每个任务需要进行的活动,为IMA平台及其组件的健壮性分析、缓解潜在风险、安全性分析和认可提供充足的证据。

飞机综合模块航电电气系统的架构及接口

分析飞机综合模块航电(IMA)系统的已有技术和计算机应用技术,研究飞机综合模块航电系统的物理拓扑,及典型系统接口,初步定义不同构型飞机综合模块航电电气系统的基本架构及接口。