1) state-explosion problem
状态空间爆炸问题
2) state explosion problem
状态爆炸问题
1.
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题。
3) State space explosion
状态空间爆炸
5) state explosion
状态爆炸
1.
Traditional techniques, however, are often stymied by the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
2.
For the state explosion problem .
基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则。
6) station explosion
状态爆炸
1.
The union decomposition is an effective approach to resolve the problem of Petri net——"station explosion".
并分解技术是解决Petri网"状态爆炸"问题的有效途径,也是近几年Petri网技术研究的主流方向。
2.
But there is a problem which bars Petri net development:too much nodes lead to "station explosion",specially when analysing a large and complicated system.
但"节点过多,状态爆炸"是阻碍Petri网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。
补充资料：离散时间状态空间模型
分子式：
CAS号：
性质：状态空间模型的一种，是时间变量为离散的状态空间模型。
CAS号：
性质：状态空间模型的一种，是时间变量为离散的状态空间模型。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条