在对弈的研究中，验证对弈双方是否存在必胜策略的问题一直没能很好地解决，因为这涉及到超大规模的状态空间搜索。
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.
并应用基于状态空间模型的模型预测控制算法，推导了间歇精馏塔多个浓度反馈时的模型预测控制策略。
Furthermore, using a state space model based predictive control algorithm, a multi-composition feedback model predictive control strategy is developed.
利用扩大状态空间的方法，建立了此模型的最优方程，并给出了最优方程有解及其最优策略存在的条件，从最优方程出发，用概率的方法证明了最优策略的存在性。
Using the method of entending state space, we build the optimal equations (OE) and supply some conditions under which the solution of OE and optimal policies existe.
分别为三率值创建目标函数，并利用状态空间搜索策略解决多目标优化问题。
Goal functions are created for three modulus values separately, and multi-objective optimization problem is solved with the strategy of state-space search.
分别为三率值创建目标函数，并利用状态空间搜索策略解决多目标优化问题。
Goal functions are created for three modulus values separately, and multi-objective optimization problem is solved with the strategy of state-space search.
应用推荐