This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into state space search.
本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
The idea behind property checking is to search the entire state space for points that fail the property.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
In the research of two-player zero-sum games, verifying whether there exists winning strategy has not been solved properly, since it refers to the search of the grand scale state space.
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。
Goal functions are created for three modulus values separately, and multi-objective optimization problem is solved with the strategy of state-space search.
分别为三率值创建目标函数，并利用状态空间搜索策略解决多目标优化问题。
Pre-planning method based on state-space search for attitude maneuver un-der complex constraints was studied.
研究了基于状态空间搜索的复杂约束姿态机动预先规划方法。
Pre-planning method based on state-space search for attitude maneuver un-der complex constraints was studied.
研究了基于状态空间搜索的复杂约束姿态机动预先规划方法。
应用推荐