利用几何约束快速求解整周模糊度

以GPS载波相位测量来确定载体姿态为背景 ,针对其中的关键技术问题———载波相位整周模糊度的快速解算 ,提出了一种充分利用卫星与基线之间几何约束来压缩搜索空间 ,快速得到正确的双差模糊度组合的方法 ,并通过对ADUⅡ接收机采集的原始数据进行处理 ,其结果证明这是一种行之有效的模糊度搜索方法。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。