PN code acquisition method based on Boolean satisfiability
Jing Wang, Bo Yi · Jisuanji yingyong yanjiu · 2011
For the purpose of improving the detection probability of a pseudo noise(PN) code in spread spectrum technology and reducing the acquisition time,this paper provided a pseudo noise code acquisition algorithm on the basis of Boolean satisfiability(SAT).First,the acquisition algorithm in spread spectrum technology was built a model through conjunctive normal form(CNF),then it was sought for exploration about the model by means of advanced SAT techniques,which contributed to the aim of acquiring pseudo noise.Both the theoretical methods and the simulation result indicate that this approach succeeds in effectively improving the detection probability and reducing acquisition time.