工作流的畅通性验证无论在时间上还是空间上代价都是非常高的,状态空间爆炸是验证的主要困难所在。
The verification of throughness of workflow logic is very expensive both in time and space. The state ex- plosion is the main difficulty.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。
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.
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.
当我们发现世界拥有了完善的时间与空间的定义(或者如爱因斯坦所说称之为时空),那么它可能处于宇宙特别的状态,发生了大爆炸。
When we see the world with a well-defined space and time [or spacetime as Einstein put it] this may just be some particular state of the Universe that has emerged out of the Big Bang.
切片方法删除了与待验证性质无关的层次和并发状态,缓解了空间爆炸问题,并且有助于模型的分析和理解。
Slicing can remove the irrelevant hierarchies and concurrent states to the property, reduce the state space, and help analyzing and understanding the models.
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案。
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.
由于这一技术是基于对状念空间的穷尽搜索,“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
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.
由于这一技术是基于对状念空间的穷尽搜索,“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
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.
应用推荐