排序方式: 共有49条查询结果,搜索用时 15 毫秒
1.
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。 相似文献
2.
接口型式试验验证不同类型ATP车载设备与不同型号动车组之间接口的适配性与安全性,而其测试序列设计和优化对在有限试验资源下高效、安全地完成试验十分重要。目前,接口型式试验的测试序列主要基于经验人工编写形成,测试项的有效性和测试序列的优化衡量等方面存在较多问题。本文研究了接口型式试验的测试序列的优化生成方法,利用深度学习算法与遗传算法,针对测试序列的生成与优化进行建模,设计测试序列的生成与优化两个相互联系的过程,综合地在序列解空间中寻找次优解,以得到期望的测试序列。基于型式试验现场数据进行了仿真与分析,论述了本文策略的有效性。 相似文献
3.
4.
5.
以某联长240 m的八跨预应力混凝土连续梁为例,介绍其采用翼缘刚性连接的方式一次性整体拼接对新旧桥结构受力的影响.计算结果表明,结构拼接的关键点在于解决混凝土收缩徐变、新桥基础沉降及汽车局部轮压对拼接翼缘的不利作用. 相似文献
6.
7.
8.
9.
10.
安阳至林州城际铁路是安阳市城际铁路网及中原城市群城际铁路网的重要组成部分,本项目的建设可促进安阳市、林州市融入中原城市群,带动地区经济发展并加强与京津冀地区的联系。结合安阳地区现状、城市规划及环境敏感点,考虑客流吸引、服务质量、运输组织、工程拆迁量、线路长度及工程投资等因素,对本线引入方案进行综合分析比选。研究表明,引入安阳东站方案拆迁量小,与城市规划结合好,与城际网规划相符,对世界文化遗产殷墟无影响,客流吸引效果好,旅客换乘方便,且能够兼顾轨道交通功能,缓解城市交通压力,故推荐引入安阳东站方案。本项目引入安阳地区后,将形成以京广高铁安阳东站为起点,向濮阳、邯郸、林州、鹤壁呈"十"字形放射状的城际铁路网,对完善豫东北区域综合交通运输网、优化运输结构、适应城际交通需求不断增长具有十分重要的意义和作用。 相似文献