SDR平臺上基于CSP‖B的DQPSK實現(xiàn).pdf

1、SDR(Software Defined Radio)自90年代提出以來，它便在無線通信領域受到了廣泛的關注。SDR是要將在硬件上實現(xiàn)的功能盡可能的搬移到軟件上來實現(xiàn)，使一個硬件系統(tǒng)可以完成多種應用。然而，一方面受到物理設備的限制，一方面由于系統(tǒng)設計的復雜性，SDR成功的例子并不是很多，或者說該技術仍處于開發(fā)階段。本文正是從系統(tǒng)設計的角度出發(fā)，建立系統(tǒng)的CSP||B模型以降低系統(tǒng)設計的復雜性。CSP||B是進程代數(shù)CSP(Communi

2、cating Sequential Processes)和正則化方法B的聯(lián)合，綜合兩者的優(yōu)點于一體。CSP基于動態(tài)的觀點來描述系統(tǒng)，描述的主要元素是進程和事件；而B方法則是基于靜態(tài)的觀點來描述系統(tǒng)，描述的主要元素是狀態(tài)和操作。融合了這兩種觀點的CSP||B，可以很清晰的描述一個復雜系統(tǒng)，同時還有專門的軟件可以幫設計者分析和驗證該系統(tǒng)。
　　 DQPSK(Differential Quadrature Phase Shift Ke

3、ying)作為數(shù)字調(diào)制方式中的一種在無線通信系統(tǒng)中得到廣泛應用，因而本文選取它作為研究對象。本文首先對DQPSK調(diào)制解調(diào)原理進行了分析，然后在此基礎上建立了它的CSP||B模型，并分析和驗證該模型是否存在死鎖或者活鎖。接下來對SDR系統(tǒng)進行了描述并選取了一個接收頻率范圍為360MHz到960MHz，發(fā)射頻率范圍為262MHz到438MHz或者523MHz到876MHz，中頻頻率為30MHz，帶寬為5MHz或者20MHz的SDR平臺。根據(jù)