利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

不同动力电池新能源货运配送车辆节能减排绩效评价研究

为研究新能源货运车辆装配不同动力电池对节能减排的影响,选取某款新能源货运配送车辆为研究对象,利用GaBi软件建立了3种常用动力电池的整车生命周期评价模型,从原材料获取、生产制造、装配、运行使用、报废回收5个阶段进行节能减排差异分析,并对全球变暖潜值 （Global Warming Potential,GWP） 等环境影响类型进行归一化处理和量化计算处理。结果表明,分别装配3种电池整车的化石能源消耗以煤炭为主、环境排放以CO2为主;纯电动汽车的能源消耗、污染物排放集中在运行使用阶段;综合比较,装配了三元锂电池的整车,其全生命周期节能减排效果最佳,装配了锰酸锂电池的整车则表现最差。加大清洁能源的使用力度、减少用于电力生产的化石能源消耗、提高回收率等措施,可以显著减少污染物排放。     

大客车车身骨架有限元建模方法分析

介绍了大客车车身整体骨架的三种有限元计算模型，较全面地分析了这一种模型的特点和适应性，最后给出了一个采用全板壳单元模型计算大客车车身骨架的实例。     

高速公路路线方案优选模型及其应用

利用灰色物元分析法,建立高速公路路线方案的优劣排序模型,对各路线方案进行多因素综合评价,为择优选择路线方案提供一种科学的评价方法。     

平面交叉口细胞自动机交通流模型的研究

文章以细胞自动机(cellular automata，CA)理论为基础，结合我国城市道路情况及交通流特性，把车辆在双车道直线行驶开始到通过平面十字独立信号控制交叉口的整个过程用细胞自动机语言进行了描述，完整地建立起一套新颖的细胞自动机交通流模型。该模型符合实际，可灵活转变为各类城市交叉口模型。     

地下结构与周围介质相互作用的计算分析

提出了用有限元一无界元的方法计算地下结构——土耦合体系的应力和变形。为了模拟实际受力状态，在地下结构与土相接触的界面上设置了一种有厚度的接触面单元，它可以与土体的弹塑性模型相衔接，能合理地反映接触面及其邻近区域剪切破坏带中的变形性状。     

公路隧道三维无限元计算模型

无限元法是目前数值方法中较为简便、实用的模拟无限域的方法.它是在有限元基础上发展起来的一种计算方法,易为人们所熟悉与掌握.介绍了8节点单向无限元、8～12节点单向无限元、8节点双向无限元计算模型的建立.     

考虑反馈条件的元胞自动机交通流的建模与仿真

将NS模型中存在的车辆倒退现象以及刹车过急等与实际交通状况不相适应的地方进行改进,提出了反馈形式的交通流元胞自动机模型,该改进NS模型引入了前车状态的变化量以及一套全新的速度更新规则来模拟交通流的变化。仿真试验证明该模型更加符合实际交通基本特征,同时该模型使车流总体增大,也成为后续模型的基础模型。     

基于物元分析法的公路桥梁损伤等级评定研究

在构建桥梁损伤等级评定指标体系的基础上，采用 AHP确定了各指标的权重，运用物元分析的方法建立了桥梁损伤等级评定的数学模型，并利用模型评定结果，得到了某桥梁的损伤等级。     

互通立交平面线形设计的经验探讨

通过设计工作的实践,探讨互通立交平面线形设计的具体步骤、操作方法和注意事项,并对匝道线元参数的取值、线元参数与运行速度的关系、线形设计的连续性与协调性等方面提出了一些见解。