基于随机需求的单列车票额分配方法

根据时间序列原理将单列车的客运需求划分为具有趋势规律的确定需求和具有分布规律的随机需求两部分,通过差分自回归移动平均模型得到确定性需求的表达式和随机性需求的分布函数,进而构成单列车的客流量预测模型;将该预测模型嵌入随机票额分配模型中,通过求解客流量的期望值而将随机票额分配问题转化为确定票额分配问题,实现随机需求与随机票额分配有效结合的单列车票额分配,从而避免由于客运需求预测结果误差较大而使票额分配结果不能满足实际客运需求。通过算例验证了方法的可行性。     

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

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

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

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

永磁电磁混合磁悬浮列车吸死防护技术研究

相对传统的电磁型磁悬浮(EMS)列车,永磁电磁混合型磁悬浮(PEMS)列车可以降低功耗、减少发热,还可以实现大气隙悬浮,但存在吸死的可能是目前阻碍其向工程应用发展的最大障碍,提出一种新型永磁电磁混合磁铁结构.使得系统具备冗余性,并通过理论和仿真分析新结构的合理性和有效性,能很好地完成悬浮和吸死防护任务,分析了相应的控制...     

计算机联锁报警设计的改进

JD-IA及DS6-11计算机联锁系统都采用双机热备的动态冗余结构,两套联锁机互为主、备,没有主次之分,在主用机发生故障,备机同步热备的情况下,能自动转换到备机工作,从而能实现无缝倒接,     

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

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

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

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

CBTC系统车载信号常见故障分折

详细分析南京地铁2号线使用CBTC系统运营以来车载信号设备发生的主要故障(最常见的故障为ATP冗余和无线丢失,在运营初期占到全部故障总数的60%左右)和应对措施.     

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

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

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

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