In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
In this paper, a multicarrier DS-CDMA system which employs Z-Complementary Se- quences (ZCS) as spreading code is investigated. The new system can not only eliminate multipath interference and Multiple Access Interfer...In this paper, a multicarrier DS-CDMA system which employs Z-Complementary Se- quences (ZCS) as spreading code is investigated. The new system can not only eliminate multipath interference and Multiple Access Interference (MAI), but also support flexible number of users com- pared with system using Orthogonal Complementary (OC) codes. Multicarrier DS-CDMA using OC codes can be regarded as a special case of our proposed system. Zero Correlation Zone (ZCZ) of ZCS can be flexibly adjusted to meet the requirements on the user number and maximum multipath and in- ter-user delay, in this way, more users can be supported without losing interference-free property. The effectiveness of the proposed system is validated through theoretical analysis and simulation results.展开更多
不同于传统相控阵,频控阵(Frequency Diverse Array,FDA)在所有阵元间引入频率偏差,可以生成具有精准指向特性的点状辐射方向图,有效克服传统相控阵方位角相关性导致的接收方向射频信号安全性下降的问题。作为与传统相控阵的本质区别,FD...不同于传统相控阵,频控阵(Frequency Diverse Array,FDA)在所有阵元间引入频率偏差,可以生成具有精准指向特性的点状辐射方向图,有效克服传统相控阵方位角相关性导致的接收方向射频信号安全性下降的问题。作为与传统相控阵的本质区别,FDA阵元频偏设置直接影响FDA辐射方向图的形状。为了生成理想的点状方向图,提出了一种Zadoff-Chu FDA(ZC-FDA)稳健波束成形方案,利用Zadoff-Chu序列调整阵元频偏,消除FDA辐射方向图周期性,抑制距离-方位角耦合性。与现有FDA系统相比,ZC-FDA方案在理想点状辐射方向图生成和波束旁瓣水平抑制方面具有明显优势。展开更多
为实现正交频分复用(Orthogonal Frequency Division Multiplexing,OFDM)系统的时域同步,本文利用ZC(Zadoff-Chu)序列提出了类奈曼-皮尔逊检验加权的l_p(p=1或2)相关(Neyman-Pearson-like test Weighted l_p-Correlation,l_p-NPWC)同步...为实现正交频分复用(Orthogonal Frequency Division Multiplexing,OFDM)系统的时域同步,本文利用ZC(Zadoff-Chu)序列提出了类奈曼-皮尔逊检验加权的l_p(p=1或2)相关(Neyman-Pearson-like test Weighted l_p-Correlation,l_p-NPWC)同步算法.分析表明:该算法利用类奈曼-皮尔逊检验能有效抑制多径效应对l_p相关同步的影响,特别地,当取p=1时,它对重尾分布噪声及循环前缀导致的伪峰具有极强的鲁棒性.实验及仿真结果均证明了理论分析的正确性和有效性,并表明本文算法相较于现有算法在各种干扰环境中均具有更高的同步精度和性能.展开更多
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
基金Supported by the National Natural Science Foundation of China (No.60772087, No.90604035)111 Project (No.111- 2-14)
文摘In this paper, a multicarrier DS-CDMA system which employs Z-Complementary Se- quences (ZCS) as spreading code is investigated. The new system can not only eliminate multipath interference and Multiple Access Interference (MAI), but also support flexible number of users com- pared with system using Orthogonal Complementary (OC) codes. Multicarrier DS-CDMA using OC codes can be regarded as a special case of our proposed system. Zero Correlation Zone (ZCZ) of ZCS can be flexibly adjusted to meet the requirements on the user number and maximum multipath and in- ter-user delay, in this way, more users can be supported without losing interference-free property. The effectiveness of the proposed system is validated through theoretical analysis and simulation results.
文摘不同于传统相控阵,频控阵(Frequency Diverse Array,FDA)在所有阵元间引入频率偏差,可以生成具有精准指向特性的点状辐射方向图,有效克服传统相控阵方位角相关性导致的接收方向射频信号安全性下降的问题。作为与传统相控阵的本质区别,FDA阵元频偏设置直接影响FDA辐射方向图的形状。为了生成理想的点状方向图,提出了一种Zadoff-Chu FDA(ZC-FDA)稳健波束成形方案,利用Zadoff-Chu序列调整阵元频偏,消除FDA辐射方向图周期性,抑制距离-方位角耦合性。与现有FDA系统相比,ZC-FDA方案在理想点状辐射方向图生成和波束旁瓣水平抑制方面具有明显优势。
文摘为实现正交频分复用(Orthogonal Frequency Division Multiplexing,OFDM)系统的时域同步,本文利用ZC(Zadoff-Chu)序列提出了类奈曼-皮尔逊检验加权的l_p(p=1或2)相关(Neyman-Pearson-like test Weighted l_p-Correlation,l_p-NPWC)同步算法.分析表明:该算法利用类奈曼-皮尔逊检验能有效抑制多径效应对l_p相关同步的影响,特别地,当取p=1时,它对重尾分布噪声及循环前缀导致的伪峰具有极强的鲁棒性.实验及仿真结果均证明了理论分析的正确性和有效性,并表明本文算法相较于现有算法在各种干扰环境中均具有更高的同步精度和性能.