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

来源 :计算机应用研究 | 被引量 : 1次 | 上传用户:rainbow0938
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了提高扩频通信系统中伪码序列的检测概率,同时降低捕获时间,提出了一种基于布尔可满足性(SAT)的伪码捕获算法,首先将扩频通信中的捕获算法通过面向模块级的布尔可满足性合取范式进行建模,然后利用先进的SAT求解技术对模型进行求解,从而达到对伪码序列捕获的目的。理论方法和仿真结果表明,该方法能够有效提高捕获过程的检测概率,并降低捕获时间。
其他文献
针对基于身份的移动自组网认证密钥协商协议中,会话两方属于不同私钥生成中心(PKG)的情况,利用双线性对的性质和椭圆曲线离散对数问题,提出了一种跨域两方认证密钥协商协议,并
为了提高不规则三角网的构建速度,提出了一种高效构建Delaunay三角网算法。首先对平面上的离散点集按一定的阈值进行分块,建立子块索引二叉树,然后利用Graham扫描技术对各子块构建Delaunay三角网,最后自底向上合并具有相同父节点的子块。通过具体实验与其他构网算法比较,该算法在构网速度上具有明显的优越性。
研究一种能更好支持软件开发过程教学中团队构建和知识获取的工具。以协作式理论为基础,从团队协作的需要入手讨论相关的工具支持。该工具的核心是一个采用分布式架构的能够进行软件建模,并能有效支持冲突消解的电子白板系统,主要采用集中控制的方法对电子白板对象进行控制,以避免用户对白板对象操作的冲突;采用双令牌算法对用户语音发言进行控制,使用户的交流更加自然。该系统能够有效地提高学习者的参与积极性和对知识理解的
根据双树复数小波具有近似平移不变性和良好方向选择性的特点,提出了一种基于双树复数小波的目标识别方法,获得了有限平移不变和尺度不变的特征,解决了Serre视觉标准模型中Gabor小波计算复杂的问题。用Caltech101图像库的图像进行测试,获得了良好的识别效果。结合W alther提出的自上而下注意机制,在保证较高识别率的同时大大提高了运算速度。实验结果表明,该方法在识别准确率上可与Serre标准
无论是Fisher判别分析(FDA)还是基于核的FDA(KFDA),在小样本情况下都会面临矩阵的病态问题,正则化技术是解决该问题的有效途径。为了便于研究正则化FDA与支持向量机(SVM)的关系,推导了一种正则化FDA的核化算法。将约束优化问题转换为对偶的优化问题,得到了与SVM相似的形式,分析了该核化算法与SVM的联系。针对Tenessee-Eastman(TE)过程的故障诊断结果表明,正则化KF
为了让游戏NPC能够学习和模拟玩家在游戏中的策略和行为方式,在基于模型的智能决策方法基础上,结合行为决策理论中的有限理性模型提出了一种新的游戏智能方法。该方法分别从有限理性模型的两个核心原则———有限理性和满意准则来改进过去的方法在感知和决策过程中所面对的问题,从而使得游戏NPC行为决策方式更加人性化。最后,通过在Starcraft平台上与其他方法的对抗性实验来进一步验证该方法的优势。
为了提高超宽带接收机性能,提出一种适用于TH-PPM调制方式的超宽带信道估计算法,并对其误码率性能及复杂度进行了分析。算法基于信道频域特性,结合递归最小二乘(RLS)计算,达到信道参数估计的目的。算法可同时对多路信道进行估计,而且对幅度和相位不存在模糊因子。通过计算机仿真和与最大似然法信道估计算法的对比表明,该算法在误码率为10-4时,信噪比增益约为2 dB。通过对该算法性能的理论分析及计算机仿真
分析流浪未成年人在知、情、意、个性心理特征方面的特征,指出心理辅导是解决问题的重要手段,对我国目前的流浪未成年人的心理辅导工作进行分析,明确优势与不足,提出关于流浪
提出了一种新的数字图像被动认证算法,用于检测同幅图像的区域复制窜改问题。算法首先利用离散小波变换提取图像的低频分量,再对低频分量进行分块并提取每一块的离散正交Tchebichef矩特征;然后将特征矢量进行字典排序,比较相邻两组特征矢量的相似性;最后利用阈值判别实现窜改伪造区域的检测和定位。实验结果证明,算法能较好地检测及定位出图像中复制与窜改区域,且具有运算量小、检测效率高、鲁棒性好等特点。
网络层析技术用端到端的测量结果来推测网络中的链路延迟分布。这方面已有的大部分工作都基于最大似然估计式(MLE)和期望最大化(EM)算法,它们在求解过程中需要不断迭代,对于大规模网络需要消耗很长的时间。为了克服这方面的不足,提出了一种快速算法FBA,该算法自底向上估计出每层链路的延迟分布。定性的分析和实验仿真结果表明FBA大大减小了计算的复杂度,而且在发包数目足够多的情况下,它的估计结果的精确度接近