基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

地铁专用无线网建设与政务无线应急网引入的探讨

随着城市轨道建设的快速发展和城市无线应急网的全面建设,城市无线应急网引入地铁已成必然。为此,从建网需求、工程投资、工程建设、使用维护、干扰分析等方面,对地铁专用无线网和政务应急网的功能以及定位进行分析,为轨道交通引入政务无线网系统提供方案。     

国产MTC-I型CBTC系统的安全认证实践与探讨

重点围绕城市轨道交通国产MTC-I型列车控制系统（CBTC）独立第三方安全评估与认证工作,阐述了信号安全攸关系统的技术标准规范体系、安全完整度等级、安全认证类型、风险评价原则等概念与定义。基于安全认证、系统生命周期、安全保障架构、项目风险管理、安全审核与评估等具体内容描述了MTC—I型CBTC系统通用产品安全认证实践过程。对建立我国城轨交通行业发展的安全认证体系、实施策略以及风险管控原则等安全认证要素进行了分析与探讨。     

深圳地铁3号线列乍牵引系统通信故障分析及改进

通过对深圳地铁3号线牵引系统通信故障发生的时间以及故障发生当日的气温等信息的统计,初步确定故障源,采用现场与实验室试验相结合的方法,确定故障发生的具体原因,进而提出改进措施,收到良好效果。     

自主式水下滑翔机关键技术专利扩展分析

为解决目前自主式水下滑翔机的导航技术、水声通信以及组网技术3个分支专利数量较少,存在一定的技术瓶颈和技术壁垒的问题,本文基于自主式水下滑翔机的功能、效果、适用等技术需求,将其研究范围扩展至水下航行器领域,通过对扩展领域中导航技术、水声通信技术以及组网技术的专利申请进行多角度分析,得到了3个分支在扩展领域的专利申请趋势、主要技术来源地、活跃度以及国内主要申请人等结论,以对自主式水下滑翔机的研究进行技术支撑。     

一机集团7种车型进入公安部警用特种车辆采购序列

近日,中国兵器工业集团一机集团组织4×4突击车、防暴车、运兵车、警用现场勘查车、通信指挥车、防护型监护救护车和诊疗车共7种车型参与公安部警用装备采购中心特种车辆供货遴选,最终全部入围,标志着一机集团正式进入公安部警用特种车辆采购序列。近年来,一机集团紧紧围绕国家公共安全防控体系建设需求,聚焦国内外警用装备科技最前沿。     

无线直放站在地铁通信中的应用研究

针对地铁机电施工过程中地铁站内的施工人员以及管理人员无法进行通信这一问题,提出使用基于干扰抵消技术的无线直放站来部署地铁民用通信系统的解决方案,从而实现了地铁站内的2G网络信号的覆盖。阐述了该方案的理论基础、组网架构、测试方案以及试验结果,并证明该方案的可行性。     

城市轨道交通网络化运营中的信号系统互联互通方案

依据CBTC(基于通信的列车控制)互联互通的背景和意义,提出了城市轨道交通网络化运营中的CBTC互联互通实施的必要性,并在此基础上从CBTC的整体架构、子系统布置位置和原则、接口技术等方面,针对信号系统网络化运营;互联互通方案做了整体介绍。     

验证与确认技术在CBTC系统中的应用方案

城市轨道交通CBTC(基于通信的列车控制)信号系统与列车安全运营密切相关。如何保证CBTC系统自身的安全性和可靠性是人们研究的重要课题。目前,验证与确认(VV)技术被认为是解决该课题的有效手段之一。介绍了VV技术的概念和发展历程,阐述了VV技术在CBTC中的应用方案。     

城市轨道交通通信系统项目建设中的接口管理研究

城市轨道交通机电系统专业众多,每个系统都有自己的专业特点,将不同的系统互相联接成一个整体协调、有效的工作,是一件十分复杂的技术。介绍了城市轨道交通机电工程中通信系统涉及的主要接口的组成与功能。对通信系统接口管理的责任分工、技术措施、管理措施、效果评价等进行探讨,以便为其它专业的接口管理提供参考,从而使城市轨道交通机电系统有机联系在一起,实现整个系统的最优化。