公路隧道照明存在的问题及节能技术研究

随着公路隧道建设里程的增长,隧道照明节能问题亟需解决。从规范、照明设计、照明控制三个方面,分析目前公路隧道照明存在的问题,并针对此类问题,提出基于设计参数、节能灯具及布置方式、照明控制和太阳能应用的公路隧道照明节能技术,可为公路隧道的照明、节能和持续性发展提供设计思路和参考。     

北京市交叉口交通参与者忍耐度问卷调查分析

在构建和谐社会、倡导＂以人为本＂的社会环境中,城市道路交通参与者忍耐度已成为交通管理应考虑的诸多影响因素之一。为提高北京城市道路交通管理现代化水平,指导智能交通控制系统建设,在北京市的14个区以开放式调查问卷的形式开展数据调研工作,对3000份调查问卷的基础数据进行整理、归纳和统计,给出北京市行人和驾驶员在交叉口等待红灯时间的忍耐度水平推荐值,可为北京城市信号配时设计提供参考。     

����˫��滮�Ķ�̬���ض����ۿ����������Ż�

以港口为节点的区域物流与其所在地区的区域经济相互影响、协调发展. 本文研究了二级港口物流网络问题,即港口之间的海上航线系统以及各个港口与其经济腹地之间的集疏运系统的二级网络. 在动态腹地条件下,构建以区域港口群总运输成本为上层优化目标,以个体港口的经济效益为下层目标的双层规划模型. 模型反映了港口竞争力、腹地划分以及运力配备的动态性,因此更接近港口实际. 为有效求解模型,利用Kuhn-Tucker理论将双层规划问题转化成单层规划模型,并且应用算例对模型和算法的有效性进行验证,最后通过Matlab对模型进行了求解. 数值结果表明,双层规划模型及求解方法具有可行性.     

浅谈公路工程施工质量管理

公路工程施工质量管理,是公路施工企业经营管理的一个重要组成部分,是公路工程质量的基础和保证,也是在当今市场竞争体制下公路施工企业生存的基础和保证。介绍了公路工程质量管理的方法。     

手动-自动驾驶混合交通流元胞传输模型

为了分析自动驾驶车辆对交通流宏观特性的影响, 以手动驾驶车辆与自动驾驶车辆构成的混合交通流为研究对象, 提出了不同自动驾驶车辆比例下的混合交通流元胞传输模型(CTM); 应用Newell跟驰模型作为手动驾驶车辆跟驰模型, 应用PATH实验室真车测试标定的模型作为自动驾驶车辆跟驰模型; 计算了手动驾驶与自动驾驶车辆跟驰模型在均衡态的车头间距-速度函数关系式, 推导了不同自动驾驶车辆比例下的混合交通流基本图模型, 计算了混合交通流在不同自动驾驶车辆比例下的最大通行能力、最大拥挤密度以及反向波速等特征量, 依据同质交通流CTM理论建立了不同自动驾驶车辆比例下的混合交通流CTM; 选取移动瓶颈问题进行算例分析, 应用混合交通流CTM计算了不同自动驾驶车辆比例下的移动瓶颈影响时间, 应用跟驰模型对移动瓶颈问题进行微观数值仿真, 分析了混合交通流CTM计算结果与跟驰模型微观仿真结果之间的误差, 验证了混合交通流CTM的准确性。研究结果表明: 混合交通流CTM能够有效计算移动瓶颈的影响时间, 在不同自动驾驶车辆比例下, 混合交通流CTM计算结果与跟驰模型微观仿真结果的误差均在52 s以下, 相对误差均小于10%, 表明了混合交通流CTM在实际应用中的准确性; 混合交通流CTM体现了从微观到宏观的研究思路, 基于微观跟驰模型与目前逐步开展的小规模自动驾驶真车试验之间的关联性, 混合交通流CTM能够较真实地反映未来不同自动驾驶车辆比例下单车道混合交通流演化过程, 增加了模型研究的应用价值。     

基于自适应迭代学习控制的列车自动驾驶算法

针对高速列车自动驾驶系统受到时变外部扰动和受限状态的情况,提出一种基于迭代学习控制的自适应控制算法. 基于Lyapunov 函数,利用列车运行过程中的状态偏差,推导出自适应迭代学习控制律和参数学习更新律. 构造类Lyapunov 函数的复合能量函数,通过迭代域的差分,证明其差分负定性和收敛性. 采用所提控制算法对列车跟踪性能进行计算机仿真和实例仿真验证,结果表明,所提出的自适应迭代学习控制算法对列车期望曲线跟踪具有较高的精度和较快的收敛速度,能够在较短的迭代次数实现对期望曲线的精确跟踪.     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性. 此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

时间社会学视角下老年人对家庭出行行为的影响研究

为阐述家庭微观社会情境中老年人与同住成员之间的行为交互对个体出行决策的影响,本文从时间社会学视角出发,以昆明市有老年人家庭为分析单元,用家庭贡献度量化老年人家务活动的分担程度,构建结构方程模型揭示老年人对家庭成员日常活动时间结构的影响,进而剖析成员间的活动交互影响机理.结果表明：老年人家庭贡献度增加时,成员间在非通勤活动上的交互效用减弱;由于女家长在时间结构上呈现隐形的“时间贫困”特征,其在活动-出行模式上受老年人家庭贡献度的影响显著高于男家长;与此同时,老年人作用下女家长在非通勤活动出行决策时优先考虑家务活动的时间安排,而男家长则优先考虑自由活动的安排.     

强夯法施工锤重参数的合理选用

如何选择强夯处理工程地基中的有关施工参数，直接关系到地基的加固效果。在对常规方法确定参数的全面分析后，通过对下落锤体对地基土体的冲力作用研究，提出了在同一单击能量（机械提升能量）情况下，采用重锤低落距处理地基工程优于轻锤高落距强夯方案。