%0 Journal Article
%T PN code acquisition method based on Boolean satisfiability<br>基于布尔可满足性的伪码捕获方法
%A WANG Jing
%A YI Bo
%A <br>王景
%A 易波
%J 计算机应用研究
%D 2011
%I 
%X 为了提高扩频通信系统中伪码序列的检测概率，同时降低捕获时间，提出了一种基于布尔可满足性(SAT)的伪码捕获算法，首先将扩频通信中的捕获算法通过面向模块级的布尔可满足性合取范式进行建模，然后利用先进的SAT求解技术对模型进行求解，从而达到对伪码序列捕获的目的。理论方法和仿真结果表明，该方法能够有效提高捕获过程的检测概率，并降低捕获时间。
%K PN code acquisition
%K PN code phase synchronization
%K reduced ordered binary decision diagram
%K Boolean satisfiability<br>伪码捕获
%K 伪码相位同步
%K 有序二叉判决图
%K 布尔可满足性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=F32C7DEF351C88CC8A8DFEF21C38C925&yid=9377ED8094509821&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=75EEAD721C8D9905&eid=3F767A77E9E1F6A5&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10