ID 原文 译文
53247 大多数 SAT 解算器是基于 DPLL 算法来构造的，需要电路输入形式是合取范式（CNF）的形式。 Most SAT solvers are based on Davis-Putman-Logemann-Loveland (DPLL) algorithm and require the input formula to be in conjunctive normal formula (CNF).
53248 CNF 形式的构建会使电路表示正交化，但通常会产生更多的额外变量，同时也会破坏电路的原始结构信息，在使用 DPLL 算法搜索整个变量空间的时候需要大量的时间消耗。 The CNF of a formula usually generates extra variables, and also destroys the structure information of the original circuit.
53249 本文提出了一些方法来解决这些问题。 In this paper, we propose several methods to solve this question.
53250 首先使用与/非门（AIG）来简化待验证电路，然后在基于 CNF的两变量观测策略上，结合合取范式 CNF 和析取范式 DNF 的图特性来改善 DPLL 搜索过程，加速布尔约束推导（BCP）的进行。 First, use AND/INVERTER graph transformation (AIG) to simplify the given circuits, and then, combine the graph characteristics of CNF and DNF, which will be used in Boolean Constraint Propagation (BCP) and speed up the BCP process. That is a key task in the DPLL algorithm.
53251 针对 ISCAS85 电路的验证结果验证了本算法的有效性。 The efficiency of the proposed approach is shown through the experimental results on the ISCAS85 benchmark circuits.
53252 部分频带干扰导致宽带短波探测系统接收信噪比严重恶化，传统奇异值分解（Singular Value Decomposition）滤波方法损失了部分有用功率，影响了探测信号的完整性。 SNR of received signal worsens badly in the wideband shortwave probe system because of PBI (partial-band interference). The traditional SVD filter loses the power of probe signal in the band of PBI, which results in disadvantageous influences.
53253 本文首先推导得出干扰频带处功率成分的解析表达式，并依据干扰特性设计出一种鲁棒的干扰子空间维数估计算法以得到有用功率的稳定估计，进而提出了一种低信噪比损失SVD 滤波干扰抑制算法。 This paper obtains analytical expression of power composition in the band of interference, adopts a robust dimension estimation algorithm to estimate dimension of interference subspace, and deduces the stable expression of the useful power composition. Thus the paper presents a low signal-to-noise loss SVD filtering interference suppression algorithm.
53254 仿真与实测数据处理结果表明，该算法在抑制干扰的同时有效减小了信号损伤， The simulation and data processing of our probe system both demonstrate that the new algorithm not only realizes interference rejection, but also effectively reduces power loss of probe signal.
53255 对于短波电离层信道参数的高精度提取具有特殊的重要意义。 Therefore, this algorithm has special important meaning to the high accuracy estimation of the shortwave ionosphere parameter.
53256 本文提出一种抑制 Wigner-Ville 分布（WVD）交叉项的新方法。 In this paper, a new method is proposed to suppress the cross terms in the WVD.