排序方式: 共有41条查询结果,搜索用时 15 毫秒
21.
22.
基于传输线理论提出机车信号感应电压幅值包络仿真模型,利用机车信号感应电压与轨道电路信号电流的线性映射关系,分析补偿电容故障对机车信号感应电压幅值包络的影响规律,给出基于遗传算法的轨道电路故障综合诊断方法。以补偿电容和道砟电阻为决策变量,以实际的和仿真的机车信号感应电压幅值包络间差值的最小化为目标,构造适应度函数,通过对种群个体进行选择、交叉和变异等遗传操作,得到当前状态下各决策变量的最优值,从而实现轨道电路故障的综合诊断。实验表明,将遗传算法引入到轨道电路的故障诊断领域,利用机车信号的实际记录数据,能够对无绝缘轨道电路中多个补偿电容故障以及道砟电阻波动等情况作出正确的综合评判,从而弥补了目前检测方法的不足,为轨道电路的故障诊断提供了新的有效手段。 相似文献
23.
分析了列控闭塞一体化系统的结构、功能和关键技术原理等,并进行故障-安全设计,系统符合信号技术发展思路。 相似文献
24.
形式化方法在列车运行控制系统中的应用 总被引:2,自引:0,他引:2
为了确保列车运行控制系统设计和开发的正确性, 比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性, 提出了4个与系统安全相关的重要特性, 即实时性、混成性、分布(并发)性、反应性, 并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类, 给出了各种方法的优势和不足。分析结果表明: 任何形式化方法的应用都具有一定的局限性, 这是由模型检验和定理证明的本质所决定的; 指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。 相似文献
25.
介绍了开发列车自动控制测试系统的目的及意义,从系统所要求完成的功能出发,确定了测试系统的硬件构成,提出了测试系统的软件开发平台及构成思想,进一步确定了系统提供的测试环境及可变化的参数。 相似文献
26.
27.
列车运行控制系统设计正确性的验证方法 总被引:2,自引:2,他引:0
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性. 相似文献
28.
地铁调度员工作站人机交互界面设计研究 总被引:1,自引:0,他引:1
随着城市轨道交通运营载客能力的提高,对调度员应对突发事件的快速反应能力和高效处理能力要求越来越高,调度员与工作站界面的交互也越来越频繁.文中以双屏幕为设计环境,针对现代复杂的地铁调度工作站交互界面问题,归纳总结了调度员工作站人机交互界面适用的设计准则,引用生态界面理论的抽象层级法分析ATS调度系统,并结合图形用户界面的设计思维,提出了一种新的人机交互界面设计的方法流程.以北京地铁1号线的调度工作站系统为参考,构建具体的界面设计方案,并对方案进行实验比较分析. 相似文献
29.
30.
考虑38GHz毫米波通信中断与信道占用因素, 依据磁浮运控系统越区切换流程建立了确定与随机Petri网(DSPN) 模型, 对单一移动终端(MT) 和冗余MT两种结构进行了比较, 研究了基站间距和列车运行速度对单一MT和冗余MT两种结构越区切换可靠性的影响。研究结果表明: 冗余MT越区切换性能明显优于单一MT, 后者的停车概率约为前者的3×104倍; 越区切换成功率随列车运行速度的提高而降低, 随基站间距的减小而降低; 在极端情况下, 即列车以500km·h-1运行, 且相邻基站间距为500m, 冗余MT和单一MT越区切换成功率只有98.50%和97.85%。研究结论为磁浮运控系统车地通信子系统的服务质量优化与移动小区设置提供了依据。 相似文献