大直径单洞双线盾构隧道内轮廓设计要点

1工程概况1.1盾构隧道概况天津西站至天津站地下直径线工程(简称天津地下直径线)为单洞双线隧道,盾构段隧道长2129m,采用1台盾构机、设2个盾构工作井的从东往西掘进方案。盾构段隧道共有3处平面曲线,曲线半径分别为600、2500、700m;盾构段隧道覆土厚度8.92～27.89m,隧道隧底埋深20.52～39.49m。盾构隧道最大纵坡23‰,最小纵坡3.372‰,竖曲线半径10000m。     

基于微分动态逻辑的无线闭塞中心交接协议建模与验证

ETCS-2级列车运行控制系统呈现复杂的混成性。按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图;基于微分动态逻辑理论,从混成系统角度对ETCS-2级列控系统规范中的RBC交接协议进行建模。建立的RBC交接协议模型包括列车子模型、移交子模型和接收子模型。根据模型的性质,构造微分不变式,运用证明工具KeYmaera验证模型的安全性和活性。结合专业知识对关键性的约束条件进行分析并将其反馈至模型,实现模型的精化。在模型验证过程中,发现了交接安全及交接效率的参数约束条件,由此参数约束条件可知,RBC交接效率受RBC离散控制时间和列车运行状况的共同影响。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

我国港口工程项目管理模式分析

伴随着全球经济一体化,港口在区域经济和地方经济发展中将起着更加重要的作用。通过对国内外港口工程项目管理模式的深入研究,总结归纳我国港口工程现有的项目管理模式。从业主方投资管理的角度,将我国现有的港口工程项目管理模式分为三类,并对各种模式进行深入分析,提出我国港口工程项目管理模式的选择建议,以期为提高我国港口工程项目管理水平提供借鉴。     

深中通道伶仃洋大桥(主跨1 666 m)抗风性能研究

伶仃洋大桥（主跨1 666 m）为深中通道的主通航孔桥，位于典型的强台风气候区，易受台风主导的极端天气影响，桥面高度处的设计基准风速高达58.6 m·s^-1，桥梁的抗风设计面临极大挑战。介绍该桥从初步设计阶段到施工图设计阶段的抗风性能研究过程，包含初步设计阶段采用节段模型风洞试验实施的多方案结构比选和施工图设计阶段通过全桥气弹模型和节段模型风洞试验优化主梁气动措施两方面内容。通过整个抗风设计流程，最终确定了结构体系、主梁形式及梁高、中央稳定板高度、栏杆透风率和检修轨道位置等综合抗风措施，在保证抗风安全的同时提高了工程经济性。对于本工程代表的超大跨度悬索桥，以多种气动和结构措施综合提升桥梁的抗风稳定性，突破了颤振设计的认识瓶颈，成功地沿用了整体式流线箱形加劲梁，回归到桥梁设计及建造兼顾经济和安全的发展本源，对于采用整体箱梁的大跨度悬索桥极限跨径的应用具有重要的示范意义。     

海洋三维非定常斜压数值模型研究

本文主要介绍俄罗斯水文气象学专家В.А.Царёв的海洋三维非定常斜压模型,它可用于计算潮汐、潮流、海洋环流、海水温、盐扩散和污染物扩散,可以通过温度、盐度扩散模式建立海冰形成和融解的过程计算数值模型。     

耗散电感耦合电路中的量子涨落

从电阻产生的物理机制即电子与晶格的碰撞出发，对耦合部分有电阻时的电感耦合电路进行了量子化，给出了分回路及以往未加注意的耦合部分的量子涨落，同时计入了温度效应，结果表明，量子涨落是随时间变化的，长时间后趋于一稳定值；耦合部分的电阻对分回路及耦合部分的量子涨落都有影响，但按照新方法算出的结果要比按以前理论算出的涨落小。     

本田轿车转向费力

转向稍费力,进行齿条导向调节 (1)首先检查转向油位、皮带张紧力、助力泵、轮胎状况均正常。 (2)将车辆举升,用专用工具松开齿条导向螺栓锁紧螺母,然后松开齿条导向螺栓。     

城市客运交通枢纽预警分级阈值简析

交通枢纽作为服务于公共交通之间以及公共交通与其它交通方式之间客流转换的场所,是改善整个交通系统,提高居民出行效率、解决出行换乘等问题的重要影响因素。本文结合东直门综合运输枢纽信息服务平台工程,采集枢纽客流进出量,总结客流统计规律,对东直门交通枢纽预警分级阈值进行简析,相关研究成果可为交通枢纽预警分级阈值分析提供参考。