摘要：基于通信的列控系统CBTC利用无线通信传递列车状态信息和控制命令,数据传输时延将引发不必要的列车牵引和制动,降低列控系统的性能。本文提出一种适用于CBTC的列控系统和数据通信系统的一体化设计方法,将CBTC的多列车控制系统等效为网络控制系统,建立一体化模型,分析传输时延对列控系统性能的影响。提出消除传输时延对列控系统影响的改进措施,并通过仿真验证该方法的有效性。

摘要：当遭受拒绝服务(DoS)攻击时,分布式列车控制系统的弹性控制问题受到广泛关注.本文提出了一种基于分布式领导车状态观测器和障碍李雅普诺夫函数的弹性控制策略,不仅可以避免列车碰撞,同时实现了编队控制的目标.首先,给出了一种分布式的领导车状态观测器设计方法,用于实时估计领导车的状态.理论分析表明,在DoS攻击满足一定约束的条件下,该状态观测器的估计误差具有指数稳定特性.在此基础上,通过将列车碰撞避免问题转化为状态受限问题,提出一种基于障碍李雅普诺夫函数的状态受限控制律,解决了DoS攻击下确保碰撞避免的车队控制问题.最后,数值仿真证实了本文方法的有效性.

摘要：全自动驾驶系统FAO(Fully Automatic Operation)具有安全、可靠、高效的特点,成为未来城市轨道智能交通系统的主要发展方向。FAO系统典型运营场景是1个实时的过程,为发现其逻辑的错误、功能和性能的缺陷,需要在系统设计前,针对系统需求规范中典型运营场景的实现流程进行形式化分析。本文分析FAO典型运营场景保护区的实现流程,在系统需求规范中提取其功能与性能的需求,采用基于时间自动机理论的UPPAAL构建时间自动机网络模型,进行仿真分析,并验证其功能属性、性能属性与安全属性。通过反例分析、模型修正,增强对FAO系统的理解,减少设计故障,提高安全性,为系统设计与实现打下良好的基础。

摘要：设计导则是城市设计图纸得以实施的重要工具,其对城市设计实施的调控效果已得到了广泛认可。在目前国情下,我国城市设计导则的编制与实施管理主体仍然是政府机构,政府主导的城市设计实施过程的公众参与力度不足,具体实施效果也受到很大的限制。文章以东京银座为例,阐述了日本银座社会组织—设计委员会的形成以及机构组织运作特点,并介绍了《银座设计导则》的基本框架内容,以期对我国社会组织参与有所启示。

摘要：本文设计了一种多车协作利用再生能量的节能方法,提出时隙-能量格的再生能利用模型,可分析同一供电分区内双向任意多车、多次牵引/制动的再生能利用。基于该模型,制定统一的调度控制一体化节能策略,通过选择列车站间运行曲线,调整站间运行时间、站停时间和发车间隔,寻找列车牵引总净能耗的全局最优值。本文利用北京亦庄线、昌平线的线路和列车参数,通过仿真对比现有调度控制一体化节能方法,验证本文所提方法的有效性。仿真结果表明,本文方法在不同站间距和发车间隔条件下,再生能利用率明显提升,牵引总净能耗均明显优于现有方法,有较强的实用性。

摘要：针对城轨列控系统面临的信息安全风险日益突出的问题,提出基于人工免疫系统的态势评估(AISSA)方法,即利用城轨列控系统数据特性,设计检测器成熟机制和攻击检测方法,实时感知城轨列控系统遭受的网络攻击;设计检测器克隆和变异机制,进一步丰富检测器种群,提高城轨列控系统感知网络攻击的能力;仿真试验模拟城轨列控系统遭受不同强度身份认证拒绝服务攻击和TCP拒绝服务攻击,采用AIS-SA方法感知网络攻击并实时量化系统的安全态势。结果表明:AIS-SA方法感知网络攻击的能力较强,当检测器进化至25代时,对身份认证拒绝服务攻击的检测率为96.81%、误报率为0.25%,对TCP拒绝服务攻击的检测率为98.46%、误报率为1.32%,与其他方法相比检测率较高且误报率较低;此外,AIS-SA方法能表征不同攻击强度下城轨列控系统安全态势,当攻击强度增大时实时态势量化值升高,反之减小;仿真结果验证了AIS-SA方法的有效性和准确性。

摘要：为提高城市轨道交通列车运行控制系统对复杂信息安全攻击的防御能力,建立列控系统攻防量化方法,设计基于博弈论的主动防御框架。首先根据列控系统网络架构和应用特点分析列控系统接入、设备、通信3方面的隐患,获得列控系统信息安全攻击的基本类型和基本方法;其次结合攻击方法和被攻击列控系统对象的固有属性,构建列控系统攻防量化方法;然后根据复杂信息安全攻击的阶段性特点,使用多阶段博弈建立列控系统信息安全攻防博弈模型;最后利用简化的攻防行为库验证该模型。结果表明:提出的列控系统攻防量化方法和多阶段博弈模型能够计算理性条件下的攻防策略。

摘要：在深入总结我国目前地震应急救援演练的基础上,对比了国外地震救援演练的设计思路和经验,试图探讨一套适合我国国情并能很好地与国际接轨的地震救援演练设计的理念和模式,并详细描述了演练实施的总体框架、思路、内容及步骤等。

摘要：列车自动驾驶(ATO)是列车自动控制系统(ATC)的重要组成部分。本文根据全自动无人驾驶系统(FAO)中ATO的功能需求和RM48安全芯片的安全架构,提出了基于RM48的ATO双机热备结构设计方案。利用马尔科夫模型研究了双机热备ATO系统的可靠性,并且通过仿真工具分析了双机热备ATO和单机ATO的可靠性。仿真结果表明,双机热备ATO的可靠度比单机ATO具有明显的优势,完全可以满足全自动无人驾驶的可靠性需求。

摘要：在《“健康中国2030”规划纲要》发布及突发公共安全事件的背景下,如何建设以人民为中心的健康城市正成为我国城市规划界、公共卫生界的热点问题。健康城市评价是健康城市建设的前置工作,目前国内外均有大量的健康城市评价实践和研究,也建立了丰富多样的健康城市评价或建设指标体系,但并未形成统一的标准。本文以广州市为例,结合亚热带城市特点,构建了广州亚热带特色的健康城市评价体系,并对广州市健康城市现状进行分析。