1) state explosion problem
状态爆炸问题
1.
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题。
2) state-explosion problem
状态空间爆炸问题
4) state explosion
状态爆炸
1.
Traditional techniques, however, are often stymied by the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
2.
For the state explosion problem .
基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则。
5) 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网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。
6) State problem
状态问题
补充资料：核爆炸地震波探测(见核爆炸探测)
核爆炸地震波探测(见核爆炸探测)
nuclear explosion seismic detection
hebaozho dizhenbo tanee核爆炸地震波探测(nuclear explos，onseismie detecuon)见核爆炸探汉，l。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条