论文部分内容阅读
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.
面向形式化验证的联锁翻译器软件设计
【摘 要】
：
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.
【机 构】
：
卡斯柯信号(成都)有限公司,成都 610083;西南交通大学信息科学与技术学院,成都 611756;卡斯柯信号有限公司,上海 200071;西南交通大学信息科学与技术学院,成都 611756
【出 处】
：
铁路通信信号工程技术
【发表日期】
：
2022年2期
其他文献
针对铁路GSM-R网络自动检测设备运用状况,研发其地面控制系统.在明确GSM-R网络自动检测地面控制系统设计目标的基础上,重点阐述系统设计方案,以及实现与保障系统稳定、可靠运行的关键技术,并通过综合检测列车检测设备与系统的交互试验,对系统运用进行验证.该系统具有对全路所有车载检测设备进行管理和控制的功能,包括测试任务下发与控制、设备位置跟踪与记录,以及对设备事件、告警、状态的报告与管理,同时可对测试数据进行存储、管理和分析,使检测人员在地面实现对设备运行状况的全面掌控,以及时了解线路各处GSM-R网络状态
近年来,大风导致的建筑工地防尘网、农村塑料大棚薄膜、菜市场塑料包装袋、含金属丝的风筝线、锡箔纸以及各种漂浮物等异物频频引发接触网供电故障,导致行车中断或事故.分析故障原因,介绍接触网异物主要清除方式,从政策保障、人工监测、物理防护、技术监测等多方面讨论我国接触网风致异物安全防护现状,深入研究视频图像、卫星图像、激光对射、红外对射、微波对射监测等各种技术监测手段的优劣和成本,提出重点区域采用物理防护,一般区域采用视频图像和激光对射复合监测系统的具体解决方案.
电务检测车装备的信号检测系统,用于动态条件下判别铁路信号轨旁设备的工作状态.在分析铁路既有信号检测系统的基础上,提出一种基于宽带无线网络的铁路信号自动检测系统.介绍这种基于宽带无线网络的铁路信号自动检测系统总体结构,提出车载端可靠性设计、定位数据校准等关键问题的解决方法,完成车载端设计.
通过对机务段业务现状及业务流程的分析,基于信息联锁和管控一体化的技术理念,提出机务段作业的一体化运营方案.构建统一的作业管控平台,实现机务段作业的计划精细化、作业自动化、安全防护智能化,提高机务段作业效率,加速机车周转.
针对铁路基础设施检测数据中的里程偏差、无效数据和质量评估等共性数据管理问题,需要研究铁路基础设施检测数据的综合治理技术.铁路基础设施检测数据综合治理技术包括:基于台账信息的检测数据基准文件自动生成数据预处理技术、基于最大相关系数的多次检测数据里程自动对准技术、基于人工智能的无效数据智能识别技术和检测数据质量自动评估技术.对于轨道几何等铁路基础设施检测数据,首先基于台账信息自动生成基准文件,之后利用自动生成的基准文件基于最大相关系数原理实现多次检测数据里程自动对准,采用人工智能技术研究检测数据的无效自动识别
介绍铁路信号区间综合监控系统的功能,通过对铁路信号区间综合监控系统各功能的分析,结合特殊车站的应用要求,提出以区间为对象的QJK设计思路,最终形成特殊车站铁路信号区间综合监控系统的应用实施方案,为双线区段站内一条线设置侧线股道,另一条线无侧线股道车站采用区间综合监控系统提供可操作的技术方案.
应答器传输系统是CTCS-2/3级列控车载系统中ATP设备的重要组成单元,BTM工作是否正常对动车组列控车载设备的运用有直接影响.研究BTM智能化检测系统的设计思路,如何采用较便利的测试方法,实现在列车动态运行条件下对BTM下行链路发射信号中心频率、下行链路信号发射能量、上行链路信号频偏的检测及上行链路信号I u1等性能的检测,判断B T M是否处于亚健康工作状态.同时,积累大量检测数据,为后续利用大数据技术实现BTM性能变化趋势分析、故障预判等提供数据基础.
结合朝凌高铁建设实施方案,介绍一种站台广播设备设施隐蔽化设计方案,通过采用与静态标识结合设置方案,达到广播隐蔽化安装的效果.通过EASE软件对此种布设方式下站台广播声场覆盖情况进行仿真,并结合现场实听实感,确认该方案满足站台广播系统实际使用需求.
采用基于安全套接字协议(Secure Sockets Layer,SSL)的虚拟专用网络(Virtual Private Network,VPN)的接入认证及授权方式,通过SSL VPN协议的网络扩展和web代理等功能,实现铁路数据通信网各网管复示终端与网管服务器端的可信任安全加密通信.
从张吉怀高铁将采用道岔融雪设备的实际情况出发,分析传统的R D1型电加热道岔融雪系统存在耗电量大的问题,从而创新性采用基于调度的智能道岔融雪系统方案,并详细介绍智能道岔融雪系统的结构、智能控制算法、智能控制效果,提出的基于调度的智能道岔融雪系统相比于传统道岔融雪系统可以极大地节省电能.