以下哪一项表明谓词公式F和其标准子句集为S之间的关系？
A. S不可满足则F不可满足
B. F不可满足则S不可满足
C. S可满足则F可满足
D. F可满足则S可满足
以下有关机器翻译的说法错误的是（ ）
A. 可以通过索引和并行处理提高处理速度
B. 可以采用最佳匹配推理
C. 目前还不能进行专业性的翻译
D. 机器翻译系统的知识可以移植、共享
以下有关机器人视觉关键技术的说法错误的是（ ）
A. 基于区域的分割算法对噪声具有一定的抗干扰能力，区域特性的选取也比较简单
B. 基于局部特征不变量的方法:在描述图像局部区域和处理外来噪音方面有着优良特性
C. 双目立体视觉技术对障碍物的检测主要是基于立体视觉的方法
D. 微波雷达测距技术性能相对稳定但成本高，而且空间的覆盖面积有限,彼此之间有可能会产生一些电磁干扰
以下有关路径搜索常用方法的说法错误的是（ ）
A. 人工势场法能够迅速搜索到无碰撞的路径，灵活性强
B. 使用人工势场法时，目标点的周围任意距离内存在部分障碍物时容易造成路径不可达现象
C. A*算法能够求解出状态空间搜索的最短路径
D. A*算法在搜索时占用内存过大，搜索效率降低，不能保证得到最优
微信支付 
支付宝支付