基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

基于Kalman滤波和变时间窗测频的转速测量FPGA实现

利用信号与噪声状态模型的Kalman滤波,对频率进行无偏估计,适合对机车运行速度的精确测量.利用变时间窗采集脉冲信号的方法克服了常规算法中刷新时间和测量精度不稳定的缺点,同时也保证了对不同频率的测量精度.通过基于FPGA平台的算法设计与仿真,表明了上述方法对机车转速测量的实时有效性和准确性.     

高速铁路追踪列车间隔时间的动态特性研究

基于追踪列车间隔时间的基本定义,对常见的8种情况进行分析。结合一次制动模式曲线,着重讨论区间内追踪运行列车的间隔时间,前后车均到达车站的追踪列车间膈时间和前后车均从车站出发的追踪列车间隔时间,井推导出相关计算公式,归纳出追踪列车间隔时间具有实时动态变化的特性。     

铁路客运站股道运用窗时排序模型与算法

股道运用计划是实现CTC条件下客运站分散自律控制的关键。以时刻表、股道和站台为研究对象,结合进路编排、维修和列车早晚点时间窗,在分析股道运用平行机排序和多目标排序问题的基础上,运用现代排序理论,以总费用最小和股道均衡使用为目标函数,建立股道运用第一类多目标窗时排序模型。采用基本和合成分派规则、解改进优化策略,设计自律优化算法和3步算法制订和调整股道运用计划。实例表明:软时间窗下的规则解、近似解平均比硬时间窗下的解优化17.8%、14.1%,硬时间窗解收敛速度较快,采用θ规则在两类时间窗下均能得到较优解;制订计划时,宜综合采用各种分派规则尤其是规则6和θ规则,调整时宜直接采用规则10、12。提出的模型及算法能快速、合理地制订股道运用计划,有效解决带有时间窗的股道运用问题,并充分运用车站的各项资源。     

延长初发酵时间对生活饮用水中总大肠菌群结果影响分析

目的：了解延长初发酵培养时间对生活饮用水检出总大肠菌群结果的影响。方法：将GBIT5750．12—2006（（生活饮用水标准检验方法》中总大肠菌群多管发酵法中要求的初发酵培养时间由24h延长为48h,共检测生活饮用水326份。结果：延长初发酵时间后生活饮用水中总大肠菌群由阴转阳有16份,其中二次供水样本在两个不同发酵时间的总大肠菌群阳性率差异具有统计学意义（X^2=4．95,P〈0．05）。结论：延长初发酵时间至48h可以提高生活饮用水中总大肠菌群检出率。     

TRT技术在隧道地质超前预报中的应用

隧道地质超前预报是隧道施工安全的重要环节,在张嗄隧道施工过程中,引进TRT6000超前地质预报系统,采用多点激发和多点接收的三维空间反射层析成像技术,获取足够的空间波场信息,提高小断层、小构造和岩溶的探测能力,取得良好的预报效果,为隧道施工安全提供了安全保障。     

基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

隧道建设过程中超前地质预报应用方法浅析

在归纳总结现今隧道工程中超前地质预报技术主流方法优缺点的基础上,提出了隧道建设过程中超前地质预报技术的具体实施原则与方案,以供现场技术人员参考。     

宜万铁路复杂岩溶隧道施工地质预报特色

研究目的:宜万铁路地质异常复杂,被誉为修建铁路的"禁区",隧道工程存在巨大地质风险。重大隧道工程主体深埋于山体内腹,而目前勘察的技术手段只能探及浅部,难以涉及深部,完全查清隧道深部复杂的地质问题,的确很难(国内外皆如此),隧道建设始终存在"地面勘察难以探明深部,而隧道深部施工安全、工程处理又要求尽量探明"这一对矛盾。为解决这对矛盾,只能在前期勘察的基础上,强化隧道施工地质工作,实施施工地质预报。研究结论:研究创新了"隧道地质复杂程度分级",实现"隧道施工地质预报设计"并纳入规范管理,为隧道施工保驾护航,取得显著效果,使施工地质预报工作迈上新台阶。     

铁路贯通线融冰特性试验研究

研究目的:铁路10 kV贯通线因采用架空线与电缆混接方式,且其导线截面远小于电力系统110 kV及以上输电线路,因此,必须对其融冰特性试验研究,为10 kV贯通线融冰方案的实施提供基础数据。研究结论:本文在实验室模拟的现场环境中,选取了LGJ-35、LGJ-50和LGJ-70三种规格的钢芯铝绞线和相同截面积的10 kV交联电缆,进行了贯通线融冰试验研究,分析了融冰电流对贯通线电缆的承受能力、融冰时间和脱冰方式的影响,得出了如下结论:10 kV贯通线的最佳融冰电流范围为:LGJ-35,175～195 A;LGJ-50,210 A～240 A;LGJ-70,265～305 A。最佳融冰时间为1～2 h。