贫混凝土基层材料变形性能的研究

通过室内试验，研究了贫混凝土道路基层材料的温度收缩和干燥收缩特性。试验结果为贫混凝土基层路面温度应力的计算提供了重要的参数，并对进一步研究贫混凝土基层干缩裂缝的防止具有重要的意义。     

基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

铁路隔震连续梁桥地震碰撞响应研究

在地震作用下隔震桥梁的梁体位移比非隔震桥梁明显增加,使得相邻梁发生碰撞的概率增大。以1联3跨铁路隔震连续梁桥为例,选用3条人工地震波,采用非线性时程分析方法进行该桥的碰撞响应分析,研究梁间伸缩缝宽度和隔震支座刚度对梁间碰撞响应的影响。结果表明:随着伸缩缝宽度的增大和隔震支座刚度的增大,相邻梁碰撞的发生次数和碰撞力均有明显减小;地震作用下隔震固定墩墩底最大弯矩和最大剪力均随着隔震支座刚度的增加而增加。因此,在进行隔震桥梁设计时,应综合考虑隔震支座的隔震效果和碰撞响应,从而得到既经济又安全的隔震桥梁设计参数。     

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

高速公路PPP项目利率保障及其期权价值分析

高速公路项目因建设成本较高,贷款融资是其必要的融资方式.市场利率超预期的波动将极大地影响项目债务成本,从而影响收益.通过分析利率风险对项目债务成本的影响,根据"风险共担,收益共享"的原则,提出了包含利率补偿和成本节省共享的利率保障方法.在实物期权理论的基础上通过仿真分析了利率保障的期权价值及其影响因素.研究发现,利率保...     

基于核磁共振与无侧限抗压试验对纤维加固红黏土的宏微观特性研究

红黏土因其具有孔隙比大、易压缩等不良工程特性,常在工程建设中引起一列工程问题.为此,采用聚丙烯纤维对红黏土进行加固,并采用核磁共振(NMR)技术和无侧限抗压强度试验对不同含量纤维加固后土体的宏微观特性进行测试,得到以下结论:1)不同含量纤维加固后红黏土的T2谱形态基本保持一致,均在弛豫时间为1 ms附近出现峰值,且纤维...     

富水砂层盾构始发井防涌水检测与加固

基于广州地铁6号线大坦沙站盾构始发井的实践,研究富水砂层中破除盾构井端头门时防涌水的施工监测和工程检测方法,根据检测和监测结果,基于朗金土压力理论进行计算分析,提出相应的加固措施和方法。介绍了具体的防水加固措施和效果。     

利用稳定系数法估计电机的寿命

工程实践认为,电机的寿命主要取决于绕组绝缘的寿命.本文介绍一种利用电机绕组绝缘变化状况预测电机寿命的方法-稳定系数法,为电机的绝缘诊断和维护保养提供重要的依据.     

腹地经济发展对港口吞吐量影响的动态研究

腹地经济规模和经济结构的变化影响着港口的发展方向，但是一般的静态回归模型中解释变量参数是固定的，无法反应腹地各种影响因素变化对港口吞吐量产生的动态影响，而变参数状态空间模型克服了这一缺陷，解释变量的参数可以随时间改变，充分体现了解释变量对因变量影响关系的改变，因此能够更加准确反映考察期内腹地各种因素对港口吞吐量的动态影响。在介绍模型的基础上，就东北经济对大连港集装箱吞吐量影响进行了实证研究，得出了较为详尽的结论，这些结论是港口未来发展的重要决策依据。     

论业主委员会的法律地位

物业管理发展的一个重要核心问题就是关于业主委员会的法律定位问题,本文主要分析了业主委员会的主体地位,认为其不是法人组织,而应当将其纳入非法人组织。在实践中,应由业主委员会进行起诉和应诉,并由全体业主共同承担诉讼结果。明确业主委员会的法律地位,是我国建立业主自治与物业管理专业化相结合的管理体制的基础,也是规范物业管理的前提和必然要求。