选择题：对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。

依据估价函数f(x)=g(x)+h(x)(其中g(x)为初始节点到节点x已实际付出的代价，h(x)是节点x到目标节点的最优路径的估计代价）对OPEN表中的节点进行排序，并且要求启发函数满足（），则称这种状态空间图的搜索算法为A*算法。这是一

在本征半导体中，本征激发产生的载流子是（）这是一个关于空穴 模拟电子技术 自由电子的相关问题，下面我们来看

桥式整流电路属于半波整流。这是一个关于电路 模拟电子技术的相关问题，下面我们来看

在N型半导体中，多数载流子是空穴，少数载流子是自由电子。这是一个关于空穴 载流子 模拟电子技术的相关问题，下面我们来看

为了使高内阻信号源与低电阻负载能很好的配合，可以在信号源与低电阻负载间接入（）组态的放大电路这是一个关于集电极 信号源 模拟电子技术的相关问题，下面我们来看