移动授权的形式化建模与验证

基于通信的列车运行控制系统(Communications-Based Train Control System,CBTC)相较于传统的基于轨道的列车运行控制系统,无论是从功能方面还是性能方面都有了很大的改进。在系统的研发过程中,对其进行建模和验证,能够发现系统设计的缺陷,进而保证系统的安全性和功能性。移动授权(Movement Authority,MA)是CBTC系统的核心功能,用来保证列车的安全运行间隔。通过对移动授权生成原理的研究,采用时间自动机和其自动验证工具UPPAAL对其进行建模以及验证,验证结果表明,搭建的移动授权模型能够达到规定的安全要求和功能要求。因此UPPAAL能够对复杂的实时系统进行仿真验证。     

基于实时动态迟滞的LTE-R切换算法优化研究

现行的的LTE-R切换算法在进行切换时采用固定的切换迟滞,或者对列车速度进行分级,进而调节动态迟滞,只做到了"局部动态",这意味着确定更准确的切换触发点是一个关键问题。首先,为了切换方案的顺利提出,根据实际信道模型对LTE-R网络重叠覆盖区的过渡区段、切换区段的距离作了理论的推导;然后,为了提高高速环境下的切换成功率,优化系统性能,提出基于实时动态迟滞的越区切换优化算法,先利用乒乓切换率和链路失效率等指标得到不同速度下的切换迟滞值,之后利用最小二乘法得到列车速度与切换迟滞的最佳函数匹配。仿真结果表明,相比于现行的切换算法,改进算法具有更高的切换成功率,佐证了所提出的方案比现行方案能更有效地触发切换。     

模糊预测控制在ATO系统中的应用

首先介绍了列车自动运行系统(ATO)的基本结构和功能,然后介绍了模糊逻辑和预测控制的基本原理,最后对模糊预测控制在列车自动运行系统中的应用深入研究,并进行仿真验证。通过对比PID控制器,表明在列车控制系统中,采用模糊预测控制器对于改善列车安全性能有明显的帮助。     

京津高速铁路综合视频监控系统

<正>1系统方案1.1监控节点范围京津高速铁路综合视频监控系统设置在沿线通信信号机房内外、箱变机房室外、牵引变电所(TSS)、自动变电所(ATS)、开闭所(SSP)、电力分配所室内、车站咽喉区、公跨铁立交桥、铁路线路、高架桥路段的维修梯     

监理的人为因素控制分析

详细分析了监理人为因素对工程的影响,并提出了控制认为错误的具体措施。     

工程建设项目中的信息管理

从工程建设项目管理的角度阐述了项目中信息流的组成、项目信息的交换过程和项目信息管理的特征，并提出了项目信息管理的任务。     

EDA的发展及组成

EDA技术是电子设计领域的一场革命，目前正处于高速发展阶段。利用EDA工具可以代替设计者完成电子系统设计中的大部分工作。对EDA的研究是信息时代电子技术发展的迫切需要。通过对EDA的发展、EDA系统工具的组成较为详细的描述，并将EDA技术与传统手工设计方法进行了对比，从而得出EDA方法相比传统手工方法，具有花费低、效率高和制造周期短等优点的结论。     

基于模糊推理的跟驰安全距离控制算法及实现

车辆跟驰是普遍存在的交通现象之一。由于驾驶员在控制车辆过程中具有模糊的、不确定性的行为特征，难以对驾驶员的行为进行精确的数学描述，此外，为保证车辆行驶的安全，有必要对车辆跟驰时如何保持安全距离进行研究。基于此，提出基于模糊推理的车辆跟驰间距控制算法，并对其进行了仿真运算。仿真结果表明，用模糊推理模拟驾驶员的行为是可行的，并且通过模糊推理控制后车的速度，后车能够以安全距离跟随前车安全行驶。     

柴油车尾气排放分析与控制

随着柴油车的应用越来越普遍，其排放的尾气危害也就日益严重，已成为我国城乡大气污染的重要源头之一。本文首先对尾气排放的成因及危害性进行了分析，然后再分别从柴油机机内外、提高燃油品质及采用代用燃料的角度详细地探讨了其尾气排放的控制措施。     

燃情阿根廷 第32届达喀尔拉力赛

<正>"我可带你一起去敲击冒险之门,但打开这扇向命运挑战之门的是你自己。"这句话出自达喀尔拉力赛的创始人泽利·萨宾。从1979年达喀尔拉力赛创办以来,这项赛事已经举办了32届,它的艰巨程度超过了地球上其它任何比赛,堪称人类挑战大自然、挑战自身的最高典范。对于喜欢它的人而言,它也永远有着一股令人心驰神往的神秘吸引力,在远离文明、广阔而荒无人烟的沙漠中,你永远不知道后面会发生什么。正像本届达喀尔拉力赛汽车组冠军塞恩斯所说:"达喀尔拉力赛最吸引人的就是每天都是新的挑战,一切都是未知数。"