共查询到20条相似文献,搜索用时 727 毫秒
1.
本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证.结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性. 相似文献
2.
基于MSC与UPPAAL的列控系统等级转换场景形式化验证 总被引:3,自引:3,他引:0
等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。 相似文献
3.
4.
高速铁路CTC分界口临时限速系统建模与验证 总被引:2,自引:0,他引:2
临时限速是高速铁路列控系统的重要组部分,CTC行车调度台分界口处的临时限迷信息交互频繁,对实时性的要求也更苛刻.为满足其实时性要求,采用时间自动机理论,结合分界口处临时限速相邻设备间的交互过程,分别建立各设备的时间自动机模型,通过时间自动机的积构建整个交互系统的网络模型,并利用UPPAAL验证工具对模型的功能和性能属性进行形式化验证.验证结果确认了交互过程中系统的安全性和受限活性. 相似文献
5.
针对全自动运行系统测试指定路径覆盖的测试需求,基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论,建立全自动运行系统的时间自动机模型;为表征全自动运行系统指定路径覆盖的测试需求,提出基于时间自动机模型的标记变量建模方法 ;结合Yggdrasil的测试用例生成机制,提出全自动运行系统测试用例生成方法,同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则;以全自动运行系统的模式转换功能为例,建立时间自动机模型并生成测试用例。结果表明,测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边,能够满足全自动运行系统指定路径覆盖的测试要求。 相似文献
6.
区域控制器(Zone Controller,ZC)边界切换场景是城市轨道交通列车控制系统的重要场景,切换过程中移交ZC、接管ZC和车载子系统之间要进行频繁的信息交互,因而对其安全性和实时性有更严苛的要求。根据ZC子系统特点,将MSC半形式化方法作为切入点,结合时间自动机理论,建立ZC切换场景的MSC模型和时间自动机网络模型,用于ZC切换场景功能和受限活性的安全验证。结果表明:ZC边界切换控制功能满足系统安全性和受限活性的规范要求。因此此种建模验证方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中。 相似文献
7.
针对CBTC计算机联锁安全性十分重要的问题,介绍时间自动机理论,分析CBTC计算机联锁系统的结构和与传统联锁系统的区别,以CBTC联锁系统的道岔转换功能为例,采用UPPAAL建立了道岔转换模型,分析模型的安全需求。表明了在联锁系统开发过程中采用基于时间自动机建模与验证的方法的可行性和有效性。 相似文献
8.
根据列车运行控制系统C2/C3等级转换的相关规范、RBC和ATP设备C2/C3级间转换时的处理过程,对工程实施过程中存在的C2/C3级间转换设置问题进行了分析研究,并提出相应的优化措施。 相似文献
9.
10.
11.
针对茂县隧道穿越活动断裂带及其影响区所遇到的挤压性变形问题,通过对1号斜井及左洞前期施工变形统计分析,以及现场锚杆施工存在的问题,针对性地提出锚杆施工工艺的改进措施,并开展长期跟踪监测。研究结果表明:锚杆工艺改进前,1号斜井和左洞收敛均值分别为689.2 mm和624.8 mm,且1号斜井变形不收敛,左洞收敛时间达6个月;锚杆工艺改进后,左、右洞水平收敛均值分别为320.4 mm和141.2 mm,相比左洞工艺调整前分别下降77.4%和40.6%,且收敛时间缩短至约4个月;按"孔腔通畅+非收缩浆液+可简单验证和不可逆转灌注满浆"的思路综合性改进锚杆施工工艺可显著提升锚杆质量,发挥其在抑制隧道挤压性变形中应有的作用。 相似文献
12.
针对高速铁路CRTSⅡ型板式无砟轨道支承层伤损,以影响运输效率最小化、作业效率最大化为原则,提出钢轨切割、轨道板移出、砂浆清理、钢垫梁临时支撑、伤损支承层修复、轨道板复位和砂浆层灌注的作业方案。并以关键工装钢垫梁为研究对象,进行承载能力静载试验和有限元数值分析,论证该技术方案的可行性。在钢垫梁临时支撑阶段,采用视频监控及动力学监测技术手段,实时监控线路状态,保障施工安全。应用实践表明:该技术能在天窗时间内完成CRTSⅡ型板式无砟轨道支承层伤损修复,有效改善线路高低不平顺,恢复无砟轨道结构稳定性。 相似文献
13.
潘刚毅 《城市轨道交通研究》2019,22(2):35-40,47
针对我国250 km/h城际动车组列车车内噪声控制问题,提出由问题导向式的被动噪声控制提升为低噪声正向设计,让车内声学指标变得可控。从声学技术规范、部件声学设计、整车声学仿真及优化、样车试验、减振降噪关键技术等方面着手,开展车内低噪声设计技术研究等方面工作。介绍了低噪声设计研究思路和声学设计参考标准,详细阐述了低噪声设计方法和试验方法。研究成果可为我国250 km/h城际动车组振动噪声控制提供依据,同时为动车组列车减振降噪提供参考。 相似文献
14.
王奭 《城市轨道交通研究》2019,22(3):51-55
采用极限分析有限元结合强度折减理论对边坡稳定性进行研究,定义无量纲参数P并将所得边坡安全系数作为判定边坡是否失稳的依据,将计算所得安全系数与已有文献结果进行比较验证,验证结果表明所采用方法能够更好地评估边坡稳定性。对不同参数影响下的边坡稳定性进行分析,讨论了摩擦角对边坡失稳破坏模式的影响。研究结果表明:所采用方法求得的安全系数上下限差值小于1%,可以用上下限的平均值来评估边坡安全系数;边坡坡脚、摩擦角和P对边坡稳定性均有很大的影响。 相似文献
15.
高鹏燕 《城市轨道交通研究》2019,22(2):48-51
对某型地铁一系簧下盖螺栓断裂问题的原因进行分析,结合断裂螺栓理化分析、一系簧下盖螺栓线路工况载荷台架试验模拟,确定了钢弹簧调整垫摩擦阻力不足为故障直接原因。针对故障原因,进行了钢弹簧调整垫设计方案改进。基于台架试验,验证了改进方案的有效性。 相似文献
16.
王晨 《城市轨道交通研究》2019,22(8):153-157
提出了城市轨道交通高架线路噪声影响简化预测模型,该模型能够区分高架线路不同噪声源的影响方式,将受声点的总声级分解为轮轨直达声、桥梁结构噪声、混响声和地面辐射声的叠加。给出了每种噪声的预测计算公式。实际线路的预测值与测试值的比较结果表明,所建立的简化预测模型的计算精度可满足城市轨道交通高架线路噪声影响的预测研究要求。 相似文献
17.
王亚丽 《城市轨道交通研究》2019,22(7):97-101
积极发展中小运量城市轨道交通系统,符合目前及未来需要的“立体式”“空中一体化”的城市交通规划理念,因此车辆的多元化选择正当其时。现代有轨电车、单轨、中低速磁浮、胶轮地铁这4种系统制式具有运量适中、布设灵活、经济环保及建设周期短等的优势。根据线路的功能定位和特点,从适用性、经济性、安全可靠性和社会效益等4个方面,兼顾乘坐舒适、技术先进、环境保护及气候特点等因素,对车辆进行选型以满足输送旅客的目标和国产化率的要求。 相似文献
18.
刘汶菠 《城市轨道交通研究》2019,22(6):120-123,128
为了充分发挥轨道交通的高效性、舒适性和快捷性,扩大轨道交通服务范围,从交通一体化发展策略角度,研究国内外如伦敦、东京、莫斯科、广州等城市的轨道交通一体化衔接模式。基于绵阳市近期轨道交通系统的建设规划,提出建立与绵阳市客运发展战略相适应的模式:构建"5大衔接分区、3大衔接系统"的交通一体化衔接系统。 相似文献
19.
杨军 《城市轨道交通研究》2019,22(2):52-56
高速列车刚柔耦合振动会引起车下悬吊设备的剧烈运动。介绍了高速动车组车辆悬吊设备以及质量调谐吸振理论。根据试验数据,分析了构架振动响应、车下设备振动响应,以及不同车速和线路对车下设备振动响应的影响。结果表明:正常路段构架横向振动加速度振动幅值较小,而蛇形激励路段构架横向振动主频为7.4 Hz。在振动水平正常时段,设备振动显著大于车体振动,设备频域振动特征主要为高频磁致振动,设备15 Hz以上的高频振动均未传递至车体。转向架蛇行激励时段,辅助变流器和车体耦合振动频率为7.6 Hz,设备和车体振动相位基本相同。运行速度增大时,车下设备振动增强,线路条件对车下设备振动也有重要影响。 相似文献
20.
李小坤 《城市轨道交通研究》2019,22(7):126-128,132
LI Xiaokun(China Railway Siyuan Survey and Design Group Co., Ltd., 430063, Wuhan, China) 相似文献