您要查找的是不是:
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- Because the state traversal can be done in a reduced space with respect to a selected set of explicitreset registers, the state explosion problem can be much alleviated. 因为在挑选了外部硬体重置的暂存器后,可使得初始化分析所需的记忆体空间降低,因此而减轻了状态转换数剧增的问题。
- In OPN both the modularity and flexibility are better than those of ordinary Petri nets, and the state explosion problem is a little more alleviated. 3. OPN可以提高模型的模块性和柔性,在一定程度上能避免一般Petri网建模时出现的状态爆炸问题。
- Its bottleneck is always the problem of memory explosion,the method adding BDD technology to model checking can effectively alleviate the combination state explosion problem. 它的瓶颈一直是内存爆炸问题,将BDD技术引入到模型检验中的方法能有效地缓和状态组合爆炸问题。
- The analyze method can eliminate some redundant states which exacerbates state explosion problem in some other Time-Petri-Nets-based analyze methods. 在其上的分析方法消除了其它方法中一些 会加剧状态爆炸问题的冗余状态。
- Economically, the country is in a very healthy state. 从经济学的观点来说,国家处于很兴旺的状态之中。
- He went on the stump in his home state. 他到故乡所在的州去发表演说。
- He is reading a report of the state of the roads. 他正在看一篇关于道路状况的报告。
- They ceded territory to a neighboring state. 他们把领土割让给邻国。
- Should industry be controlled by the state? 工业应该由国家控制吗?
- Flags were hung out in honour of the state visit. 到处悬挂旗帜以庆祝这次国事访问。
- State the fact in witness of his guilt. 叙述事实以证明的他的罪状。
- Double agents live in a perpetual state of fear. 两面派永远过着提心吊胆的生活。
- The house has fallen into a state of neglect. 这所房屋已处于荒废的状态。
- The state of the economy is very worrying. 目前的经济状况令人十分担忧。
- They have committed treason against the state. 他们已犯了叛国罪。
- He was in a state of great agitation. 他处于异常焦虑的状态。
- The garden was in a state of total neglect. 那花园完全无人整理。
- There are fluctuations in the state of his health. 他的健康状况时好时坏。
- He omitted to state his reasons. 他未叙述自己的理由。