PN code acquisition method based on Boolean satisfiability
基于布尔可满足性的伪码捕获方法

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