自动驾驶系统交通规则符合性仿真验证方法

随着自动驾驶技术的不断发展，高级别自动驾驶车辆逐步在限定区域开展实际道路测试，确保和提高自动驾驶系统安全驾驶能力是当前研究、测试和工程开发的热点难点。面对自动驾驶车辆将长期与人类驾驶车辆混行，并与其他交通参与者遵守同样交通规则的现实需要，提出一种验证和测试自动驾驶系统交通规则符合性的方法，以期降低多车混行条件下的交通安全风险。针对各类交通法律法规语义自动解析技术瓶颈，提出规范化-逻辑化两阶段交通规则数字化模型，基于改进谓词度量时序逻辑框架(Metric Temporal Logic，MTL)，将自然语言交通规则转换为命题、逻辑连接词和时序算子组成的逻辑编码，生成了自动驾驶系统可理解、可执行、可验证的数字化交通规则，并构建了交通规则命题的分级分类体系。提出了一套基于自动驾驶车辆高精度运动轨迹的交通规则符合性验证算法，并搭建仿真试验平台，在高速公路交通场景下开展了试验验证。理论分析与试验表明：精简命题空间、新增时序算子和谓词逻辑词等改进有效提高了原有MTL框架的时间表现能力，解决了时序逻辑性不足等问题，大幅提高了交通规则数字化转换效率，对地方性交通法规和未来交通法规修订提供了良好的兼容性。提出的交通规则符合性验证方法及试验平台可以有效测试自动驾驶系统对现有交通规则的遵守能力，相关成果对提高自动驾驶系统安全性能和未来混行交通安全管控水平具有重要意义。     

安全视角下我国校车集约运营模式探讨

当前我国校车服务尚处于粗放式运营阶段，还存在运营效率低、国家财政投入缺口大、安全事故频出、服务满意度差等问题。鉴于此，基于安全的视角，借鉴运输规模经济理论与企业集约化经营理论，提出校车集约运营模式，与当前校车运营模式相比，其具有成本投入少、服务标准化程度高、政府易监管、有利于缓解学校周边交通拥堵、有利培养学生公平意识、绿色环保等优势。进而提出了校车集约运营的5类模式：校车专营模式，城市公交模式，农村县际、乡际、村际班车模式，拼车模式，混合模式，系统阐述了5类模式的集约方法，最后在政策层面、技术层面就如何在我国推广校车集约运营提出了相应的对策。     

迪拜Jebel Ali自由港发展模式分析

通过分析迪拜Jebel Ali自由港的发展历程、空间布局与影响因素,为国内沿海地区进行保税港、自由贸易区规划研究提供借鉴。     

不同闭塞方式下城轨列车追踪运行过程及其仿真系统的研究

介绍了城市轨道交通不同信号闭塞方式及其追踪列车间隔时间的计算方法,建立了多列车追踪运行的仿真系统,并进行了算例的设计。在算例中,通过对两列车在固定闭塞、准移动闭塞、移动闭塞方式下的追踪运行模拟,分析了不同闭塞方式下列车追踪运行的效果,同时利用仿真系统对最小追踪列车间隔时间进行了验算,并得出相同发车间隔情况下不同信号闭塞方式的列车追踪运行结果以及三种闭塞方式条件下最小追踪列车间隔时间的计算结果。该系统可以为科研、设计人员进行城市轨道交通列车安全间隔及通过能力等方面的研究提供便利条件。     

动力分散型电动车组车载微机网络的功能划分与接口设想

从车载微机网络的拓扑结构、网络组成单元及功能划分、接口与控制逻辑、故障处理几个方面提出了动力分散型电动车组车载微机网络的功能划分与接口设想。     

城市轻轨车辆最佳运行控制方案的研究

本文给出一种利用微型机实现城市轨道车辆最佳运行的控制方案,即在变化的外界条件下确定断电和制动时刻,以指导司机驾驶车辆,实现能耗最小和准时运行.该控制方案的特点是不断地利用实测值并结合估算确定断电和制动时刻,简单易行.     

The influence of employer ridesharing programs on employee mode choice

Employer ridesharing programs and employee mode choice were analyzed using Southern California data. Problems in estimating the costs and benefits of employer ridesharing programs were identified. Surveyed firms used a wide variety of information to estimate employee mode split internally. Virtually all surveyed firms offered free or subsidized parking to some or all of their employees. Few responding firms estimated the cost of providing employee parking accurately, if at all. Despite these significant data limitations, factors influencing firm choice of employer ridesharing program components were identified. The influence of employer ridesharing programs on employee mode choice was modeled using weighted least squares logit regression analysis. Firm size was foung to be the single most important variable identified in the analysis. Larger firms were more likely to offer ridesharing incentives to their empolyees, and to report direct employer benefits from ridesharing. Alternative work hours hindered the formation of ridesharing arrangements in some cases. Relatively few firms promoted ridesharing on a purely voluntary basis. A private market for employer ridesharing services was found to exist, however. Personalized matching assistance may be a critical factor in developing more effective employer ridesharing programs. Parking pricing and supply control measures probably would have a larger impact on employee mode split overall. Parking management faces severe obstacles in implementation, some of which might be overcome through the more extensive provision of ridesharing services, such as personalized matching assistance. to employees at specific employment sites by their employers.     

浅析无人驾驶系统

简要介绍城市轨道交通中的自劝驾驶系统，包括有人监督自动驾驶和无人驾驶系统，并重点分析了无人驾驶系统的特点和运营模式。     

河港工程软土地基处理方法探讨

介绍了西南某河港散货码头挡墙地基加固处理的优选过程,并对振冲砂石桩施工提出了相应技术要求.实践证明,该工程采用振冲砂石桩进行软基加固效果良好.