排序方式: 共有52条查询结果,搜索用时 15 毫秒
1.
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。 相似文献
2.
接口型式试验验证不同类型ATP车载设备与不同型号动车组之间接口的适配性与安全性,而其测试序列设计和优化对在有限试验资源下高效、安全地完成试验十分重要。目前,接口型式试验的测试序列主要基于经验人工编写形成,测试项的有效性和测试序列的优化衡量等方面存在较多问题。本文研究了接口型式试验的测试序列的优化生成方法,利用深度学习算法与遗传算法,针对测试序列的生成与优化进行建模,设计测试序列的生成与优化两个相互联系的过程,综合地在序列解空间中寻找次优解,以得到期望的测试序列。基于型式试验现场数据进行了仿真与分析,论述了本文策略的有效性。 相似文献
3.
4.
5.
6.
为了便于分析有砟道床重载铁路桥梁线桥的偏心效应,在现有设计活载偏载系数理论计算方法的基础上,推导了考虑运营阶段线桥额外偏心的活载弯矩偏载系数计算式,并就曲线半径、列车运行速度、曲线超高、道砟厚度、线桥偏心等因素对活载弯矩偏载系数的影响进行了分析。结合现场实测32 m双片式简支T梁的活载弯矩偏载系数,对比了采用空间多层梁格法计算和理论计算式的结果,不同行车速度下梁格法计算结果与实测值吻合更好,仅当行车速度80 km/h左右时,梁格法计算与理论计算式的结果一致。总体上看,线桥偏心使得偏心侧活载效应增大,由于曲线上线路相对桥梁多发生向曲线内侧的偏心,对32 m梁来说在一定程度上缓解了设计状态更为不利的外梁受力;而道砟超厚则使得内梁和外梁的二期恒载效应均明显增大,对两片梁受力均不利。 相似文献
7.
以某联长240 m的八跨预应力混凝土连续梁为例,介绍其采用翼缘刚性连接的方式一次性整体拼接对新旧桥结构受力的影响.计算结果表明,结构拼接的关键点在于解决混凝土收缩徐变、新桥基础沉降及汽车局部轮压对拼接翼缘的不利作用. 相似文献
8.
9.
10.