常见例句双语例句Therefore, an improved logic implication algorithm has been proposed, which was inspired by the by the single pass deductive fault simulation algorithm.因此，我们引进了一种新的寻找逻辑蕴涵的方法，该方法的灵感来自于单通道演绎故障的模拟算法。 返回 deductive simulation