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

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

基于OOCPN结线分析和反向推理的城市轨道交通牵引供电系统故障诊断方法

基于面向对象的思想和有色Petri网理论,构建库所的令牌,描述城市轨道交通牵引供电系统中组成结点的元件、开关及结点的含源性质,进而建立城市轨道交通牵引供电系统结线分析的OOCPN(Object-Ori-ented Colored Petri-Nets)模型。求解该模型可确定城市轨道交通牵引供电系统的故障域;然后结合专家经验以及牵引变电所综合自动化系统轮询到的保护动作信息,通过反向推理遍历搜索该故障域,对故障元件进行定位;根据专家推理规则以及城市轨道交通牵引变电所内的保护配合关系,判断开关的拒动行为。以城市轨道交通牵引供电系统馈线短路且馈线开关拒动为例进行验证,结果表明:提出的城市轨道交通牵引供电系统故障诊断方法能够实现对故障元件的准确定位和开关拒动行为的判断。     

一种基于无线传感器网络的安全优先门限敏感分簇路由协议

为构建基于无线传感器网络的铁路防灾安全监控系统,在门限敏感的节能型网络协议(TEEN)基础上,提出1种安全优先门限敏感分簇路由协议(SPTC).确定SPTC的网络架构,基于能量计算公式设计簇头分布算法及簇头和副簇头选举算法,以及路由建立步骤和数据采集流程.在协议中定义副簇头,保证数据路由的可靠性及数据自身传输的安全,提高协议的安全性;在汇聚节点(SN)附近区域布置更小规模的簇,在兼顾剩余能量与节点距离的准则下选择最佳的簇头节点,以提高协议的节能性.采用OMNeT++网络仿真工具对SPTC进行了建模仿真.仿真结果表明:当网络工作了10 000 s时,低能量节点数量比低功耗自适应聚类层次协议(LEACH)减少了60％;当灾害数据采集概率为0.5％时,基于SPTC协议的网络检测周期是基于LEACH的1.7倍.     

多目标协同下长江上游航道承载力评价*

为了进一步深化长江航道承载力的相关研究,探求航道的提升潜力,基于生态、经济、水资源配置和防洪多目标协同下航道承载力概念,以长江上游广阳坝河段为例,根据航段特性,结合影响因素互适机理,针对性地选择评价指标,初步构建航道承载力评价模型体系,分析计算该河段3.5、4.5及6.0 m航道水深下航道承载力综合评价值。结果表明,6.0 m航道水深下承载力状态最佳;广阳坝河段在综合考虑上述目标影响后,对于航道水深还有一定的提升空间。     

阶梯形丁坝局部冲刷特性数值模拟*

阶梯形丁坝局部冲刷特性研究对河道整治工程方案设计具有重要意义。应用平面二维水流泥沙数学模型,研究来流条件及丁坝尺度对阶梯形丁坝局部冲刷的影响。结果表明：在清水恒定流作用下,冲刷达到平衡所需历时主要受来流条件影响,而受丁坝几何尺度的影响相对较小;随着弗劳德数Fr的增大,冲刷坑面积A、最大冲深hs总体均呈线性增加,Fr≤0.565时平均冲深 随Fr增长较慢,Fr＞0.565时 随Fr增长相对较快;一级丁坝高度、二级丁坝长度对局部冲坑形态及冲深发展的影响具有一定的等效性;hs与 均随一级丁坝相对高度ψ的增加而增大,当ψ＞0.7时其增幅趋于平缓。     

矩形沉箱外壁支座加强短筋伸出长度分析

针对矩形沉箱外壁支座处加强短筋伸出长度的问题,以某重力式沉箱码头项目为实例,采用有限元软件计算沉箱构件实际受力情况,分析支座短筋的伸出长度。计算结果显示,对于部分情况,支座加强短筋伸出支座外的长度大于板净跨的1/4。因此,对于矩形沉箱外壁支座加强短筋的伸出长度,不可简单地取规范规定的最小长度,而应通过进一步计算确定。     

透水性碎石丁坝绕流及块体受力的数值模拟

碎石丁坝常用于河道的水流调控,其水动力学特征是评估工程效应的重要依据。流固耦合数值模型可有效地用于模拟相关的水动力学过程,描述其力学特征。建立了带自由表面多孔介质水流模型和离散单元法相耦合的CFD-DEM数值模型,并依据试验数据对模型进行有效性及模拟精度的验证。利用该数值模型开展碎石丁坝绕流的数值模拟,研究结构透水性对局部流动和碎石体受力的影响。研究结果表明：1）随着丁坝透水性的增强,尾流区沿流向延长。2）不同坝体透水性条件下的主流区及尾流区的速度分布有明显的差异,但尾流区内的剪切流速的分布具有一定的相似性。3）丁坝结构受力分析显示,随着坝体透水性的增强,块体受力区域由坝头向坝身蔓延、受力区面积逐渐增大。     

广州地铁3号线CC工控机电源国产化改造

广州地铁3号线信号系统使用的是进口CC工控机,负责处理中央信号系统数据信息,为列车提供ATP功能。现从CC电源工作原理入手,利用市场可寻电源线配件及工业级ATX电源,制作满足需求的CC工控机国产化电源,实现进口工控机CC电源的国产化改造。     

城市轨道交通CBTC互联互通发展趋势及建议

鉴于目前城市轨道交通中存在的问题,结合国外城市轨道交通的发展经验,大力支持和推广基于网络化运营的CBTC(基于通信的列车控制)互联互通技术变得尤为重要和迫切。攻克CBTC互联互通的关键技术难题,提出中国城市轨道交通的CBTC互联互通规范,对城市轨道交通行业具有重大意义。以重庆轨道交通互联互通国家示范工程项目为例,阐述CBTC互联互通示范工程的实现方式、任务和目标、线路和工程条件、技术路线及重要里程碑成果。总结CBTC互联互通国家示范工程已取得的成果,对城市轨道交通CBTC互联互通及未来发展趋势提出了建议。     

基于深度学习与遗传算法的动车组与ATP车载设备接口试验测试序列优化生成

接口型式试验验证不同类型ATP车载设备与不同型号动车组之间接口的适配性与安全性,而其测试序列设计和优化对在有限试验资源下高效、安全地完成试验十分重要。目前,接口型式试验的测试序列主要基于经验人工编写形成,测试项的有效性和测试序列的优化衡量等方面存在较多问题。本文研究了接口型式试验的测试序列的优化生成方法,利用深度学习算法与遗传算法,针对测试序列的生成与优化进行建模,设计测试序列的生成与优化两个相互联系的过程,综合地在序列解空间中寻找次优解,以得到期望的测试序列。基于型式试验现场数据进行了仿真与分析,论述了本文策略的有效性。