您要查找的是不是:
- 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. 在其上的分析方法消除了其它方法中一些 会加剧状态爆炸问题的冗余状态。
- state explosion problem 状态爆炸问题
- Parallelization of state space generation is an important technical method to deal with the state space explosion problem. 摘要 状态空间生成的并行化是针对状态空间爆炸问题而提出的一种重要手段。
- Aiming at the state space explosion problem in the actual application, a new method which combines the Fault Petri net and GSPN is put forward to analyze system dynamic reliability based on the modularization concept. 针对广义随机Petri网在实际应用中存在的状态空间爆炸问题,基于模块化思想,本文提出一种集故障Petri网和广义随机Petri网优点于一体的系统动态可靠性建模新方法,结合具体实例说明了该方法的应用步骤。
- With SSM someone has developed an automatic verification tool, ATHENA, which is able to prove the correctness of some authentic and secret protocols, suffered from seriously state space explosion problem and do an imperfect work on secret protocols. 基于此模型开发的自动验证工具ATHENA已经实现了对协议的认证性特性验证,但未能克服模型检测方法所造成的状态空间严重爆炸的问题,对秘密性协议的证明也是不完善的。
- In contrast to BDD-based algorithm, not only there is no memory explosion problem, but also it improves the iteration efficiency of the engine. 并且本文在算法的构造和改进中提高了引擎在迭代使用时候的效率;
- The combination explosion problem is common in solving 0-1 integer programming with enumeration and implicit enumeration ways. 用穷举法和隐枚举法解0-1型整数规划问题时,常常遇到组合爆炸问题。
- The researchers have introduced BDD and SAT engine for manipulating Boolean function to alleviate the explosion problem. 学术界先后提出采用二叉判定图(BDD)和可满足性问题(SAT)作为布尔操作的引擎来缓解爆炸问题。
- Moreover, the approach offers an efficient attack path reconstruction algorithm, which successfully circumvents the combinatorial explosion problem incurred by other techniques. 同时,较之传统的基于边采样的攻击路径重建策略,基于顶点采样算法的攻击路径重建策略具有更低的计算复杂度。
- After implementation, the occurrence of explosion problem in coal pulverizing system while burning high volatile coal has been effectively controlled ,enhancing safety and stability in the coal pulverizing ,obtaining obvious good results. 该措施实施后,有效地控制了燃用高挥发煤时制粉系统爆炸的发生,提高了制粉系统运行的安全性。
- It is verified that this method enables scheme solving to be implemented with a better operability, which offers a promising way to solve combinatorial explosion problem in conceptual design. 研究表明,该方法是合理可行的,它可以使方案求解的人工寻优过程实现算法化,并具有较好的可操作性,从而为解决方案优化的组合爆炸问题提供了一种新的思路。
- The algorithm combines the advantages of both BDD and SAT, BDD’s size is limited to avoid memory explosion problem and structural reduction is applied to reduce the search space of SAT. 该算法综合了BDD和SAT的优点,限制BDD构建大小避免了内存爆炸,推理简化减小了SAT搜索空间。
- 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. 他们把领土割让给邻国。