无人机-智能车队协同路径实时规划研究

在智能交通系统下的路径实时决策方法中，由于智能车队因路旁检测器未设置、故障或者通信信号中断等情况而导致接收不到道路信息的问题，引入无人机，使智能车队和无人机协同工作，称之为机测工作模式。该模式是根据车道上不同信号显示下的行驶时间以及在交叉口的延误时间，动态计算行驶时间并得到一条用时最少的路径。通过4种场景，利用Matlab仿真得到的结果和理论分析一致，验证了算法的有效性。     

应用ETDFA生成CBTC联锁软件形式化模型的方法

CBTC系统的联锁软件为SIL4级的高安全、高可靠软件,目前广泛使用的软件测试和仿真验证的结果严重依赖选取的测试向量,要保证高覆盖率的测试十分困难;EN50128中强烈推荐SIL4等级的软件使用形式化方法完成软件需求规格说明书和软件设计,因此,采用形式化的方法设计软件,是构造高可靠、高安全软件的一个重要途径;总结了现有的CBTC系统中联锁子系统集成方式及优缺点,并使用事件确定有限自动机ETDFA(event deterministic finite automata)模型对适用性更优的升级型集成方式的联锁软件的联锁逻辑完成形式化定义,保证联锁逻辑的正确性,减少软件的不确定性描述;以办理进路为例生成联锁对象的ETDFA模型,验证该方法的有效性和可行性;该方法不仅为CBTC联锁软件的设计与开发提供新思路,而且有助于安全苛求软件的形式化验证与分析,提高联锁软件的安全性和正确性。     

列车间超短波直接通信信道衰落特性分析

列车间超短波直接通信信道是伴有视距分量的移动终端到移动终端的莱斯衰落信道。分析了多普勒频移和功率谱,得出该信道中呈现多普勒特性,但无明显的多普勒扩展。利用信道模型,讨论了信道参数特别是莱斯因子和列车运行速度对信道特性的影响。通过计算电平通过率及平均衰落持续时间,得出该信道衰落频度较大,很有必要采取抗衰落技术,以减小信号的衰落。     

基于超短波的列车间直接通信技术研究

铁路区间内列车间的通信通过轨道电路和基站间接实现,较多的通信环节易影响系统的可靠性,引发铁路交通安全问题。为此,针对铁路新避撞系统,提出基于超短波的列车间直接通信方案。通过理论分析证明方案的可行性,并给出超短波工作频段、列车间最大通信距离及收／发信机结构。分析列车间直接通信的通信链路,给出车站及区间列车运行场景中通信链路路径损耗的预算模型,同时结合接收功率的相关数值计算及仿真,验证该方案的可实现性。根据列车运行环境的特点,对通信链路中的衰落进行讨论,结果表明,多径传播和多普勒效应会造成信号严重衰落。