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

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

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

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

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

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

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

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

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

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

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

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

多变量时序分析及其在CIWS中的应用

本文讨论了最大风险最小化（记为ｍｉｎｉｍａｘ）最优辅助变量（ＩＶ－Ｉｎｓｔｒｕｍｅｎｔａｌ Ｖａｒｉａｂｌｅ）法的多变量时序系统的识别。多变量系统参数的ＩＶ估计服从渐近高斯分布，其协方差阵有下界。我们依据ｍｉｎｉｍａｘ原则，得到ｍｉｎｉｍａｘ最优ＩＶ估计。该方法使参数估计具有鲁棒性。本文探讨了其在近程武器系统（ＣＩＷＳ－Ｃｌｏｓｅ－ｉｎ Ｗｅａｐｏｎ Ｓｙｓｔｅｍ）中的应用。     

坞式舰船压载系统研究

对坞式舰船压载系统设计中需考虑的稳性、作业时间、注排水方式等问题进行了分析研究,可供有关设计人员参考.     

远洋铁矿石船舶投资决策方案

对航运企业投资远洋铁矿石船舶进行研究．建立船舶投资决策优化模型，并求出最优投资方案，为航运企业投资决策提供参考。     

预应力管桩在处理软土路段结构物基础中的应用

为防止出现过大的工后沉降和缩短软基处理后结构物施工的间歇时间,对结构物基础施打预应力混凝土管桩处理,并利用砂井桩的排水固结和土工格栅的纵横向联系而形成复合地基,以达到软基加固和缩短预压时间的目的。