explosion state

The investigation deals with the concentration explosive limits, explosive morphology, the pressure waveforms and other influential factors.

探索了浓度爆炸极限、爆炸形态与波形及其影响因素。

The explosive limits of concentration, explosive morphology, explosive waveforms and their influence factors were investigated.

探索了浓度爆炸极限、爆炸形态与波形及其影响因素;根据爆炸形态与波形的不同,提出了对加氢裂化循环气爆炸形态科学区划的新理念;在爆炸极限内,可以进一步区划4种爆炸形态(冷焰、爆燃、爆轰、爆燃向爆轰转化),与7个爆炸区域(上、下冷焰区,上、下爆燃区,上、下爆燃向爆轰转化区,爆轰区),并探讨了不同爆炸形态压力波的发展机制。

Traditional techniques, however, are often stymied by the state explosion problem.

组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。

For the state explosion problem .

基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则。

The union decomposition is an effective approach to resolve the problem of Petri net——"station explosion".

并分解技术是解决Petri网"状态爆炸"问题的有效途径,也是近几年Petri网技术研究的主流方向。

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网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。