基于着色Petri网的铁路时间同步协议建模及安全性分析

针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。     

基于时间目标的大都市区轨道交通功能分级研究

为指导大都市区轨道交通线网布局规划,在总结国外成熟大都市区轨道线网体系基本构成、功能层次和技术特性的基础上,通过分析大都市区居民通勤出行时耗特征,明确各空间圈轨道交通服务时间目标,即城市中心区30 min以内,城市外围区45 min以内,郊区1 h以内。以此为主要控制要素确定轨道交通线网功能分级:区域铁路主要服务于都市区对外客流联系需求;市郊轨道服务于大都市区近、郊区居民通勤出行;城市中心区轨道主要服务于城市中心区内部各类出行。     

洞内超前钻探注浆在盾构过溶洞区的施工技术

盾构隧道穿越香港米埔湿地自然保护区及大理岩溶洞区,由于受香港湿地公约限制,地面不允许采取任何工程加固措施。深港隧道通过洞内超前钻探并注浆加固地层,保证盾构安全顺利穿越溶洞区,在国内尚属首例。该工程的的成功实施填补了国内盾构隧道在洞内加固地层、穿越溶洞区施工技术的空白。     

地铁站火灾人员疏散时间评估方法探讨

采用人员疏散模拟软件Pathfinder和《地铁设计规范》给出的经验公式,分别计算地铁站火灾时人员疏散时间并进行比较分析,指出经验公式的局限性。以南京地铁1号线某车站为实例,利用两种计算方法分别得出疏散时间并进行对比。在此基础上,对经验公式进行了优化和改进,提出折减系数;并设定5个场景,利用Pathfinder对折减系数进行确定,对优化公式、进行了验证。将优化公式、原公式以及模拟的结果进行比较。结果表明,相比原公式,优化公式的计算结果与模拟结果更接近,误差更小,更符合实际情况。     

满足欧5排放标准的涡轮增压直喷汽油机催化剂起燃时间及减排研究

未来动力总成的开发目标是具有更好的燃油经济性。为了实现这一目标,在研发新车型时．发动机将更多地采用涡轮增压技术。涡轮增压发动机的动力性和燃油经济性较好,但排放性能欠佳．这是因为涡轮增压发动机冷起动时。由于涡轮响应滞后而会损失大量热能。因此．对于涡轮增压发动机。需要采用相应技术缩短催化剂起燃时间,以降低排放。尤其是配装涡轮增压发动机的车型按新欧洲行驶循环测试时,在城市低速循环起动阶段。其排放不能满足欧5标准要求。研究得出缩短催化剂起燃时间和降低排放的方法,使涡轮增压直喷汽油机满足欧5排放标准要求。进行全面的排放测试,如增加贵金属用量及载体的孔密度,缩短到催化剂的距离,以及采用二次空气系统等附加装置。通过这些独到的试验研究．使发动机逐步达到欧5排放标准。     

软岩隧道破坏机理及大变形趋势判断研究

隧道软弱围岩特有的工程力学性质以及所处的地质环境是造成大变形灾害的主要因素,严重影响工程进度。从武当群片岩的地质构造环境、物理特性、水理特性等方面分析该类软岩劣化及破坏机理。分析结果显示:软岩的变形破坏是地层岩性、结构偏压、地下水、构造应力等因素随时间交互作用的结果,具有明显的时间效应。在此基础上,选取典型断面的围岩变形监测数据,利用R/S分析法判断各时间序列的变形趋势。Hurst指数计算结果显示典型断面各变形时间序列均呈显著增长趋势,且长期记忆较好,表明大变形现象仍有继续发展趋势,须及时对大变形段采取有效措施。     

城市轨道交通综合监控系统时钟同步方案研究

介绍了城市轨道交通综合监控系统对时钟同步的要求和网络时间协议(NTP).结合北京地铁5号线的实际应用案例,重点对中心级和车站级综合监控系统的时钟同步方案进行了分析和研究.实际应用表明:在中心级综合监控系统中,冗余时钟源对时方案优于单时钟源对时方案;在车站级综合监控系统中,相对于独立时钟源方案,共享时钟源方案具有明显的优势.基于NTP的时间同步方法为综合监控系统提供了统一、高效、精准的时钟,经北京地铁5号线多年运用,实证其为运营的可靠性提供了基础保障.     

光伏并网逆变器零电压穿越控制策略的研究

针对光伏电站电网故障时突然脱网的不利影响,设计了一种光伏逆变器零电压穿越控制策略。采用基于电网电压正序分量的快速锁相技术,并根据电网电压的跌落深度给予并网点电压一定的无功支撑,实现了电网瞬时脱网情况下的不间断运行。250kW半实物仿真实验结果验证了该技术方案的有效性和可靠性。     

时间序列分析在某滑坡变形监测预报中的应用

为了预防滑坡的发生,需要不断对监测点的高程进行测量,观测其变化,并对滑坡的动态变化做出预报。在简要介绍时间序列模型的基础上,以某露天矿滑坡为例,对某监测点数据平稳化处理建立差分回归模型,分析模型的应用。计算结果表明,预报趋势基本符合滑坡动态发展规律,进而说明运用时间序列分析法对滑坡变形监测进行预报可行。     

带时间窗约束的道路危险品运输路径选择研究

对已有危险品运输模型进行分析,针对当前危险品类物流配送网络的特点,提出了在时间窗约束条件下城市道路网络中的危险品配送模型,该模型以整个网络中事故发生的期望和影响人数最小为目标。设计了目标集成方法和对集成后目标函数求解的扩展标号法来计算该多目标问题的Pareto最优折衷解,最后用实例对算法进行了验证。