路中高架车站的景观设计

论述高架车站景观设计的研究背景;从行人对外部空间的感受入手,对路中高架车站景观设计中首先应当考虑的核心要素(城市、行人、车站功能等)进行分析;通过建立计算机模型、分析建成车站实例、引入D/H理论(D为视点到视觉对象的距离,H为视觉对象的高度)等方法,对这些核心要素进行研究.     

基于J2EE和JOGL的道路网络三维可视化研究

针对道路网络三维可视化中的难点问题,提出了一种实现方法:利用J2EE平台作为整体框架,基于边折叠算法和分段策略分别建立数字地面网络模型和道路网络模型,并运用数据压缩、多线程、客户端缓冲区等策略对模型数据的存储、传输、缓冲等过程进行了优化.运用该方法实现了道路网络三维可视化,并将其成功运用于高速公路的设计及方案发布过程和高速公路远程建设可视化管理中,结果表明:采用J2EE,JOGL和上述优化策略能够很好地解决道路网络三维可视化中的数据调度、数据压缩、客户端实时渲染等问题;该方法对数字公路的建设和推广有重要价值.     

郑西客专CTCS-3与CTCS-2临时限速设置一致性分析

郑西客运专线采用兼容CTCS-2的CTCS-3级列控系统,由于系统本身的差异,造成了CTCS-3与CTCS-2临时限速方案的不同。本文从对CTCS-2与CTCS-3系统差异的分析入手,剖析两种列控系统临时限速方案的原理,最终得出CTCS-2与CTCS-3临时限速一致性的解决方案。     

CTCS-3级列控车载设备CTCS-3及CTCS-2信息融合研究

针对CTCS-3级列控车载设备CTCS-3及CTCS-2信息融合技术进行研究,提出CTCS-3和CTCS-2信息融合的4个应用场景,结合CTCS3-300T车载设备给出具体实施的技术方案,并进行总结。     

盾构区间下穿既有铁路箱桥三维数值分析及控制措施

文章对盾构隧道下穿既有铁路箱桥进行了三维数值分析,对三维模型的相关参数进行了研究,并提出了较为符合实际的相关假定。根据三维分析结果,在确保安全的前提下,对盾构下穿铁路箱桥采用盾构洞内注浆加固为主的控制措施,改变了传统的盾构下穿铁路时对地面铁路进行架空或地面注浆加固的加固方式,较大地减少了加固费用和加固实施难度,可为类似工程提供参考。     

基于SPN的CTCS-3级列控系统RBC实时性能分析

RBC(无线闭塞中心)实时性能指标是影响CTCS-3级列控系统运行的关键要素。本文将随机Petri网和马尔可夫随机过程理论结合起来,提出一种新的系统性能分析方法,剖析CTCS-3级列控系统的运行机制,建立RBC子系统周期处理和非周期处理的随机Petri网模型,并利用ERTMS/ETCS的参考数据,分析GSM-R通信环境下RBC的实时性能,在不同系统周期和列车交互数量下得出RBC子系统平均延时曲线。本文对我国CTCS-3级列控系统的规范制定和系统开发具有一定的借鉴意义。     

基于高斯混合模型的铁路入侵物体目标识别方法

基于铁路的特殊视频场景,研究铁路入侵物体目标识别技术,提出并应用1种改进的高斯混合模型,拟定合适的颜色变化阈值和背景更新速率,对图像的不同部分分别进行背景更新,实现铁路视频的背景建模,并由此得到稳定的背景图像;通过背景像素与前景像素的贝叶斯分类实现对铁路入侵物体的准确检测。对典型的铁路入侵行为视频进行实验分析,结果表明:应用改进的高斯混合模型可以更好地适应场景的变化,并能够更加快速、准确地实现在铁路环境下对入侵物体的目标识别。     

三取二平台的时钟同步算法

在三取二平台中需要对3个系进行相应的时钟同步。提出一套最优的时钟同步算法,对该算法进行相关的数学证明,并提出相应的实现方案,包括正常工作状态、初始化状态、升级状态等操作,并对该方案进行分析和解释。     

电气化铁道牵引馈线负荷概率模型

基于实测数据对牵引馈线有功功率和无功功率进行统计分析,研究行车密度、单台机车功率的概率分布规律,据此提出描述牵引馈线有功功率和无功功率分布的概率模型。给出利用模拟退火算法进行参数辨识的方法和步骤,并结合实例进行求解和验证。研究结果证明,该牵引馈线负荷概率模型可准确描述牵引馈线有功功率和无功功率的统计特性。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。