摘要：临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。

摘要：针对不同厂商研制的CBTC(基于通信的列车控制)系统,如何验证其是否符合互联互通规范要求,已成为产品在工程上应用推广的瓶颈。定义了互联互通型CBTC系统架构,分析了CBTC系统互联互通的测试需求,提出了CBTC系统互联互通测试验证平台的技术要求。在此基础上,设计并实现了互联互通型CBTC系统测试验证平台。实际应用表明,该平台可对互联互通型CBTC系统及所包含的子系统进行全面的功能、性能和接口测试,解决了CBTC系统互联互通验证的技术难点。

摘要：分析了CBTC系统和车辆系统接口的功能需求,并基于多个轨道交通项目的研究,总结了当前主要的接口方案;对存在分歧的接口内容给出了合理的分析和设计方案。结合车辆、信号的专业特点,对各接口尤其是全自动驾驶系统的典型功能接口,提出了关键的设计要求,可作为实际轨道交通项目的设计参考。

摘要：为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了测试平台的体系结构,并介绍了仿真环境模块、测试工具模块的设计过程、测试平台搭建方法和平台仿真测试过程。通过仿真测试结果表明,该平台提高了测试效率和灵活性,降低了测试成本。

摘要：介绍CBTC仿真测试系统的整体结构及各子系统的功能。在对线路数据进行深入研究分析的基础上,提出一种线路数据可视化显示及生成方案,利用UML构建了静态模型和动态模型,对该方案进行阐述。对于数据生成结果,以XML结构化线路拓扑信息,使用数据库表保存线路设备数据。实际仿真结果表明,该方案可以很好地完成线路数据的可视化生成。

摘要：采用多因子随机区组试验设计,3种遮荫方式(一层遮阳网、双层遮阳网、双层架空遮阳网)、2种插穗(带踵、不带踵)和2种生根剂(萘乙酸、GGR生根粉)进行扦插试验。结果表明,(1)不同遮荫方式对于桂花扦插成活率和生根效应的作用不同,双层遮阳网遮荫桂花扦插成活率明显高于双层架空遮阳网遮荫和一层遮阳网遮荫。(2)插穗带踵与不带踵间差异不显著。(3)萘乙酸、GGR生根粉能促进生根提高桂花扦插成活率,但效果不明显。

摘要：[目的]盾构隧道结构发生横截面大变形后,若采用内张钢圈等方法进行加固,会花费大量材料和人工成本。通过二次注浆改善盾构隧道结构受力条件、主动回调变形是更加经济的手段。因此有必要对注浆修复盾构隧道结构横截面变形的有效性、注浆过程中及注浆后的结构响应进行深入研究。[方法]依托武汉地铁盾构隧道进行现场洞内注浆试验,测量、比较了注浆前后隧道的周边地层缺陷、结构裂缝及收敛变形。详细分析了洞内侧向注浆后隧道结构收敛变形、水平平移的时变规律。[结果及结论]试验结果证明了洞内侧向注浆对修复地层缺陷、治理隧道结构裂缝和横截面大变形的有效性;揭示了注浆荷载影响下衬砌环的收敛变形、水平平移的分布规律和时变发展过程。在注浆过程中,注浆点位所在的衬砌环呈现“竖鸭蛋”收敛变形趋势;注浆后2.5 h,受浆液收缩影响,衬砌结构“竖鸭蛋”收敛变形有所回弹,“横鸭蛋”收敛变形趋势进一步发展;注浆后20.0 h左右,隧道结构收敛变形基本稳定。