state explosion状态爆炸
1.Traditional techniques, however, are often stymied by the state explosion problem.组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
2.For the state explosion problem .基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则。
3)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网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。
4)explosion state爆炸态
5)static state explosion静态爆炸
6)explosive waveforms爆炸波形
延伸阅读
核爆炸地震波探测(见核爆炸探测)核爆炸地震波探测(见核爆炸探测)nuclear explosion seismic detection hebaozho dizhenbo tanee核爆炸地震波探测(nuclear explos，onseismie detecuon)见核爆炸探汉，l。
