大型浮船坞海上对接工艺浅析

2l世纪我国将逐渐成为世界修造船中心。钢质浮船坞，由于建造时间短、不占用码头岸线和厂区、移动方便、易于环保等优点，特别是我国修造船中心加快向岛屿转移，浮船坞越来越受到船舶工业的青睐。为缩短浮船坞在船台或坞内建造时间，尽快投入运营，分段建造、水面对接成为降低建造成本的首选，旧坞改造更是如此。     

UML在3500m深海潜水器远程监控系统中的应用和实现

本文分析了统一建模语言（UML）方法在信息建模中的优点，并将其应用于3500m深海潜水器远程监控系统的开发；根据文中给出的方法，成功设计出一套远程监控系统软件并最终在潜水器的试验过程中得到了很好的运用。     

局部地区运量增加引起的运输组织调整

对于局部地区由于运量的增加而造成运输能力的紧张，可以根据实际情况调整运输组织，进一步挖掘潜能，使既有设备的利用达到新的平衡，以适应增长的运量。北京铁路局根据晋中南和天津新港地区运量增长和变化的实际情况，适时采取针对性运输组织措施，缓和了上述地区运能的紧张状况。     

城市轨道交通网络「一票通」换乘的票款分配比例模型

应用图论中关于无向连通图的算法，用“最短时间法”确定大部分乘客愿意选择的路径；根据乘客选择路径的概率，计算路径分配比例；根据线路提供的服务，计算线路的分配比例。作者建立了一个实用的软件模型，定义了一套系统参数，能够根据轨道交通的运营和发展情况，灵活、合理地给出车站对之间票款的分配比例。     

基于闭塞时间模型的列车追踪间隔时间研究

概述了传统追踪间隔时间的计算方式,并指出其在复杂的铁路系统中并不能保证轨道交通运营能力,更不能保证运营稳定性的缺陷。探究UIC406的能力分析方法,研究其能力分析模型,并通过其能力分析模型建立固定闭塞与移动闭塞下的追踪间隔时间模型,推出理论计算方法,最后通过railsys软件验证追踪间隔时间模型算法的合理性。     

基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。     

京唐城际铁路速度目标值选择

速度目标值是城际铁路最主要技术标准,不同的速度目标值决定了基础设施、设备及各项配套设施的选择。从京唐城际铁路功能定位出发,通过对客流特点、功能定位、时间目标值需求、经济技术比选等多方面因素的分析,综合得出京唐城际铁路速度目标值推荐采用350 km/h的方案。     

在Delphi中调用Windows API函数--记录并回放键盘及鼠标动作

Delphi中提供了大量的控件，但这些控件并不能完全满足在编写程序中的所有需求。有时程序员可以利用Windows中的API函数解决此类问题。本文通过Delphi编写的程序模块实现纪录、回放键盘及鼠标动作的功能，介绍如何调用Windows API函数。     

辙叉压力校直理论研究

本文运用弹塑性力学的基础理论,分析了辙叉压点式反弯校直的基本原理。给出了实用的确定辙叉校直压下量参数的方法,从而为辙叉的实际校直工作提供了理论指导。文章最后运用该方法对某辙叉校直实例进行了计算。这些理论和方法既为辙叉校直工作提供了理论指导和计算依据,也对研究其它复杂金属工件的校直提供了参考。     

基于速度动态函的LTE-R越区切换优化算法

传统的LTE-R越区切换算法,采用固定切换迟滞门限和延迟触发时间的切换算法。但是当列车高速运行时,切换成功率明显下降,无法满足高速铁路无线通信系统对Qo S大于99.5%的要求。通过对切换流程、测量参数、控制参数的分析,提出一种基于速度动态函数的越区切换优化算法。该算法在低速、中速、高速3种列车运行状况下,更适宜高速铁路情景切换时机的选择。仿真结果表明:基于椭圆函数的LTE-R越区切换优化算法,既保证了列车在中高速运行时,越区切换成功率有着明显提升,又避免了列车在中低速运行时,乒乓切换事件频率过高。