摘要：在LTE-A(long term evolution advanced)标准中,基于固定码本的双码本传输模式已经开始使用。为了进一步降低信道的量化误差,在保证反馈开销的前提下提高多入多出(multiple-input multiple-output,MIMO)系统的整体性能,提出一种基于格来斯曼码本的差分设计方法,该方法利用信道的时间相关性和空间相关性,定时旋转和缩放两级双码本以更好地追踪信道特性。

摘要：高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验证已经变得越来越困难.另一方面,由于图形化建模和仿真表现方式直观且易于理解,在工程实践中已经得到了广泛的应用.因此,为了更好地保证铁路系统的安全,对系统进行仿真,排除部分安全隐患显得尤为重要.本文通过使用Simulink/Stateflow建模工具对高速铁路列控系统的行车许可,等级升级及部分模式转换场景进行了建模.该模型具有普适性,通过修改参数信息,可以对不同的等级转换和模式转换的组合情况进行仿真.本文使用该模型对10种组合情况进行了仿真,发现在某些情况下可能会出现不正常停车或者等级转换失败的现象.类似于测试,仿真仅仅能够发现错误,如未发现错误,也不能证明系统是正确的.因为仿真的这种不完备性,对仿真辅助形式验证在安全攸关系统设计中非常必要.为此,取其中一个不正常停车的场景进行了形式验证,验证结果证明在任何情况下都不能正常停车.

摘要：根据城际铁路列控系统中离散逻辑跳转和连续时间行为交织的特征,采用Matlab软件中的Simulink和Stateflow结合的方式实现车载控制子系统混成行为的建模与仿真,分析不同速度下列车超过紧急制动触发速度后产生的紧急制动距离以及列车实际运行曲线。结果表明:建立的紧急制动触发模型所产生的制动距离满足动车组厂家给出的要求,并且具有一定的安全余量;该建模方法直观高效,易于理解,模型能够很好的描述系统特性。仿真结果也可为车载控制子系统的设计和实现提供一定的支持。