地铁调线调坡中双边线形约束方法的研究

分析地铁线路平纵断面设计与地铁调线调坡设计间的关系,将地铁线路设计CAD技术应用到地铁调线调坡设计中,提出"双边线形约束"优化算法理论,系统介绍双边线形约束的基本特性和目标函数及约束条件;并提出地铁调线调坡设计中基于距离法和面积法的优化算法。将该理论和算法应用于地铁调线调坡优化设计软件中,并给出地铁调线调坡优化设计系统的构成模块:数据编辑模块、平面设计模块、纵断面设计模块和图表输出模块等。结合设计实例,说明地铁调线调坡优化设计的具体操纵过程。     

大地电磁约束反演在隧道勘探中的研究

研究目的:首先在OCCAM反演方法基本原理研究基础上,对OCCAM的目标函数进行修改,加入约束反演项,提出电性参数约束反演的概念,并进行电性参数约束反演模块的开发,最终提高大地电磁方法在长大隧道勘探中的分辨能力。研究结论:对比模型的常规反演和电性参数约束结果发现,利用先验信息的约束反演成像效果明显优于常规反演方法;将此方法应用到实际资料处理中,对比渝利线方斗山隧道电性参数约束反演前后结果,约束反演结果对褶皱、断层、岩溶等地质构造的反映更符合实际。     

苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

超高墩大跨连续刚构整幅双主墩计算长度系数的取值研究

计算长度是受压构件承载力计算的一个重要参数。但对于规范采用的简化设计方法,构件是单独进行分析的,脱离了原来整体结构环境的约束,不能满足桥墩计算的实际需要。瓦厂特大桥主桥采用整幅双主墩,通过设置横撑将左、右幅连成一体,整体刚度较大,通过建立空间有限元压杆模型得出构件临界荷载,由欧拉公式反推桥墩计算长度系数,从而得到更接近工程实际情况的数值,对同类桥梁具有一定的指导意义。     

长期荷载作用对FRP约束混凝土轴心受压构件力学性能的影响

进行了12个FRP约束混凝土轴心受压短试件在长期荷载作用下的变形性能以及长期荷载作用后构件承载力的试验研究。基于ACI(1992)方法,提出一种适合于长期荷载作用下FRP约束混凝土轴心受压短构件变形的计算方法,理论结果和试验结果基本吻合。最后,分析了加载龄期和持荷时间、轴压比、含FRP率、FRP和混凝土强度等因素对长期荷载作用下FRP约束混凝土轴压构件变形性能的影响规律。     

一种快速构建道路整体模型方法的研究

依据道路线路设计成果计算出道路模型与地形模型的拼合交线，用设计点(特征线)数据替换拼合交线内的地形点(特征线)数据，形成道路建模所需的原始点集和约束边集。针对原始点集采用逐点插入算法进行Delaunay三角剖分，将约束边嵌入初始三角网中，由此得到外观与内部拓扑关系均为整体的道路三维模型。     

一种快速建立道路整体模型的方法

在系统分析了现有的道路三维模型构建方法的基础上,提出了一种将道路设计面模型与地形表面模型融为一体的整体模型构建方法,该方法基于约束Delaunay三角网内插入点和约束边的理论,利用逐点插入算法原理和Windows文件映射技术,快速实现了道路设计面与地形表面的整体建网.应用道路整体模型可以实现道路景观的三维漫游,评价三维立体线形以及与周围地形的配合情况.     

公路工程独立高等控制网建立的方法

通过对施工中构造物的主要轴线偏移值分析,阐述独立网等级的确定方法.公路工程中主要控制地物需要布设独立高等控制网,这种独立网不同于大坝、枢纽等一般独立控制网,作为线路整体的一部分,需要与路线进行衔接,坐标系统一致,以便在施工过程中保持线路的连续性,通过常吉路实例阐述了独立控制建立的方法.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

一种基于卫星导航的列车初始定位方法研究

在西北环境恶劣地区,线路区间往往较少设置实体应答器,列车在区间重启时需要长距离低速运行.经过实体应答器后才能确定列车位置。针对该问题.本文提出一种基于卫星导航系统和车载电子地图的列车初始定位方法。该方法利用轨道约束算法和概率学方法,设计满足铁路安全标准要求的列车初始定位方法。