SLD模型中具有形（0，qk）的状态珗S＝（Φ，B）为 k次致胜状态

摘要

给出了具有时滞 d＝2的容错 e＝1搜索模型（SL D模型）中具有形（0，qk ）状态S＝（Φ，B）为 k次致胜状态，并给出了相应的提问策略。%S= (Φ,B)statewith(0,qk)formisk-timeswinningstateinsearchmodel(SLDmodel)whichhasd=2de-lay and e=1 fault-tolerant .And the corresponding questioning policy was given .