状态空间搜索的英文

• state space search

• "状态"英文翻译    status; state; condition; st ...
• "空间"英文翻译    space; enclosure; room; blan ...
• "搜索"英文翻译    search for; ferret about; hu ...
• "盲目状态空间搜索" 英文翻译 :    blind state space search
• "状态空间" 英文翻译 :    state ace; state space (controls)
• "状态空间法" 英文翻译 :    state-space method
• "状态空间图" 英文翻译 :    state-space graph
• "自由空间搜索距离" 英文翻译 :    free space range
• "状态空间表示" 英文翻译 :    state-space representation
• "状态空间分析" 英文翻译 :    state space analysis
• "状态空间结构" 英文翻译 :    state space construction
• "状态空间滤波" 英文翻译 :    state space filtering
• "状态空间描述" 英文翻译 :    state space description
• "状态空间模型" 英文翻译 :    state space model
• "紧凑状态空间系统" 英文翻译 :    compact state-space system
• "状态空间动力学" 英文翻译 :    state space kinetics
• "状态空间系统矩阵" 英文翻译 :    state space system matrix
• "态空间" 英文翻译 :    state space
• "线性时间搜索" 英文翻译 :    linear time search
• "中间搜索雷达" 英文翻译 :    intermediate search radar
• "静态空间" 英文翻译 :    html-100
• "生态空间" 英文翻译 :    ecospace
• "组态空间" 英文翻译 :    configuration space
• "近似线性时间搜索" 英文翻译 :    nearly linear time search
• "夜间搜索与攻击" 英文翻译 :    night search and attack

• We put forward a new intelligent planner btff based on the enforced hill - climbing and helpful action ordering
  有用动作排序使规划图和状态空间搜索更好地结合在一起。
• This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into state space search
  本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。
• Firstly the idea of the general searching algorithms is to define one accurate compute model . then the state space searching algorithms a based on the compute model are submitted
  通用搜索算法的思想是首先为状态空间定义一个精确的计算模型，然后提出建立在该计算模型上的状态空间搜索算法a 。
• Most artificial intelligent planning algorithms are based on planning graph or state space search . ff based on both planning graph and heuristic state space search and performed standout in the 2nd and 3rd international planning competition
  Ff规划器将规划图和启发式状态空间搜索原理进行了很好的结合,在两届ipc ( internationalplanningcompetition )中取得了优异的成绩。
• Searching of the state space is always being one of the usual ways for solving the optimal problems . the traditional ways of finding solutions only have backtracking , branch - and - bound and implicit graphs search as their theoretical introduction
  状态空间搜索是解决优化问题的常用方法之一，传统的状态空间搜索求解技术有回溯法和分支限界法以及隐式图搜索这些算法策略作为理论指导。
• The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas , while the system presented as a kripke structure
  它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性。它是一个自动检验有限状态并发系统的技术。