对称规则相关论文
本文对短波发射机脉阶调制器数字控制系统进行了理论分析、实现方案设计、算法设计及仿真验证。目前,国内的无线电台大多采用PSM(P......
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法-RSMLS.新的算法带有一条对称规则(文字改名规则)和三条简化规则......
