quenching of explosive condition
同义词释义
- 1)quenching of explosive condition,爆炸状态的骤熄2)state explosion,状态爆炸3)station explosion,状态爆炸4)State space explosion,状态空间爆炸5)state explosion problem,状态爆炸问题6)state-explosion problem,状态空间爆炸问题
用法例句
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网技术发展的瓶颈问题,尤其对于目前很多大而复杂的系统,其分析非常复杂。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题。
相关英语词汇
- quantasome是什么意思
- Quiet respiration是什么意思
- quality assurance planning是什么意思
- quasiorthogonal code是什么意思
- Quality index是什么意思
- quality hose是什么意思
- quasirigid rotor是什么意思
- quadruplicate是什么意思
- quasi periodic set是什么意思
- quasi coherent是什么意思
- quantum cutoff是什么意思
- quick hitch是什么意思
- QDI Quick Dry Inks是什么意思
- quotient space是什么意思
- quick line是什么意思
- quaternary number system是什么意思
- quarterturn belt是什么意思
- quality as per buyer's(seller's) sample是什么意思
- Quality Inspection Procedures是什么意思
- quadratic optimization是什么意思
- quantities uplifted是什么意思
- quick clay是什么意思
- quick loading (QL)是什么意思
- qualification documents是什么意思
- quasiracemate是什么意思
- quality specification是什么意思
- quasi ergodic hypothesis是什么意思
- quiescence是什么意思
- quartimax rotation是什么意思
- quick action fertilizer是什么意思