基于布尔可满足性的伪码捕获方法

PN code acquisition method based on Boolean satisfiability

为了提高扩频通信系统中伪码序列的检测概率,同时降低捕获时间,提出了一种基于布尔可满足性(SAT)的伪码捕获算法,首先将扩频通信中的捕获算法通过面向模块级的布尔可满足性合取范式进行建模,然后利用先进的SAT求解技术对模型进行求解,从而达到对伪码序列捕获的目的。理论方法和仿真结果表明,该方法能够有效提高捕获过程的检测概率,并降低捕获时间。

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.