... state-space models 状态空间模型 State-space strategies 状态空间策略 Roesser state-space 罗塞尔状态空间 ...
基于8个网页-相关网页
在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。
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.
该划分策略将处理器等待时间作为目标函数，通过极小化所有处理器的等待时间来划分和分配状态空间。
The heuristic strategy use the waiting time to be a target function, and partition the state space by minimizing the waiting time for all the processors.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
应用推荐