合一算法：求非空有限具有相同谓词名的原子公式集的（）。
参考答案：最一般合一
下面（）可以判断出一个有向图中是否有环（回路）。
A.广度优先遍历
B.拓扑排序
C.求最短路径
D.求关键路径
THDS-A型红外线轴温探测设备大修标准中无需更换的是（）
A.卡轨器
B.探头
C.磁钢
D.轴箱扫描器
