尽管状态空间爆炸(state space explosion) 是Spin及其它模型校验器存在的问题,而Confluence能生成一个更抽象的模型,状态及输入较少,Hawkins指出。
基于48个网页-相关网页
known state space explosion problem 状态空间爆炸问题
In order to cope with the state space explosion problem of CQN-FC solution, a novel approximate performance bounds analysis (APBA) method is proposed, which ha.
并提出了一种新的计算有限容量闭合排队网络系统边界性能的分析方法APBA法，和其他近似分析方法相比，APBA法的计算时间复杂度更低。
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.
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题，给出了一个基于同构节点的动态故障树分析方法。
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.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
应用推荐