排序方式: 共有49条查询结果,搜索用时 16 毫秒
1.
2.
3.
4.
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。 相似文献
5.
接口型式试验验证不同类型ATP车载设备与不同型号动车组之间接口的适配性与安全性,而其测试序列设计和优化对在有限试验资源下高效、安全地完成试验十分重要。目前,接口型式试验的测试序列主要基于经验人工编写形成,测试项的有效性和测试序列的优化衡量等方面存在较多问题。本文研究了接口型式试验的测试序列的优化生成方法,利用深度学习算法与遗传算法,针对测试序列的生成与优化进行建模,设计测试序列的生成与优化两个相互联系的过程,综合地在序列解空间中寻找次优解,以得到期望的测试序列。基于型式试验现场数据进行了仿真与分析,论述了本文策略的有效性。 相似文献
6.
7.
以某联长240 m的八跨预应力混凝土连续梁为例,介绍其采用翼缘刚性连接的方式一次性整体拼接对新旧桥结构受力的影响.计算结果表明,结构拼接的关键点在于解决混凝土收缩徐变、新桥基础沉降及汽车局部轮压对拼接翼缘的不利作用. 相似文献
8.
9.
10.