基于布爾可滿足性的偽碼捕獲方法

摘要：為了提高擴頻通信系統中偽碼序列的檢測概率，同時降低捕獲時間，提出了一種基于布爾可滿足性(SAT)的偽碼捕獲算法，首先將擴頻通信中的捕獲算法通過面向模塊級的布爾可滿足性合取范式進行建模，然后利用先進的SAT求解技術對模型進行求解，從而達到對偽碼序列捕獲的目的。理論方法和仿真結果表明，該方法能夠有效提高捕獲過程的檢測概率，并降低捕獲時間。