state explosion problem的意思|示意
状态爆炸问题
state explosion problem的网络常见释义
状态爆炸问题 ...初始状态开始，枚举协议中的所有可达状态，随着通信协议的复杂性的不断增加，它所面临的状态爆炸问题（State Explosion Problem）也随之变得越来越突出。为了缓解状态空间爆炸问题，现在已提出大量的各种各样的改进技术。
state explosion problem相关短语
1、 known state space explosion problem 状态空间爆炸问题
state explosion problem相关例句
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
To some certain extent, the proposed method improves the computational complexity problem resulting from state explosion and solution to the linear programming problems.
这种优化的算法在一定程度上改善了由状态爆炸引起的求解线性规划次数指数级递增的问题；
In order to solve the problem of state space explosion of Markov chains in the research field of dynamic fault tree, a new method based on isomorphic node is presented.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
By the method GUI software can be modeled from the viewpoint of users and there is no problem of state explosion.
使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题。
State machine (SM) implementation should meet reusability on the level of implementation. This can be a useful complement to the modularity of the UML SM to address the problem of "state explosion".
总结了U ML状态机的设计应该满足实现层次上的复用能力，这可以是U ML状态机的模块化机制解决“状态爆炸”问题的有益补充。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。