Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明,条件化可以有效缩减程序状态空间,并且满足软件模型检测对状态缩减的安全性要求。
For a given energy or cost function, a chaotic evolution system in which chaos provides a scheme for searching the minima of the energy function in the state space can be constructed easily.
对任给的能量函数,混沌为在状态空间搜索最小值而提供的混沌演化系统能很容易的建立。
应用推荐