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

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

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

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