利用时间自动机理论探讨客专RBC控车流程

基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证。最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义。     

天线分集的MIMO系统的容量分析

结合空间分集和极化分集，对MIMO—OFDM系统中的容量进行研究。在IEEE 802．16d室内多径环境下，对使用2根发射天线和2根接收天线的MIMO—OFDM系统进行了深入研究。在发射端和接收端，空间分集和极化分集技术同时应用在MIMO—OFDM系统中。为了比较，对仅使用空间分集的通信系统容量也进行了讨论。