逻辑布尔函数在数字电路的设计与测试、计算机科学、人工智能等领域有广泛的应用.二元判定图是逻辑布尔函数的一种有效表示方法,它......

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对......

布尔函数是数字系统与计算机科学等领域的基础,有广泛的应用.本文对布尔函数的二元判定图表示方法进行了详细讨论,说明了基于布尔......

布尔函数在计算机科学和数字电路与系统的设计中有着广泛的应用,本文研究对布尔函数进行表示和操作的二元判定图方法,对其中的ite......

Test coverage analysis is a structural testing technique, which helps to evaluate the sufficiency of software testing. T......

作为逻辑布尔函数的一种高效简洁的描述方法,BDD规模结构对应着计算机实现算法的空间和时间复杂性。随着应用领域的不同,BDD的节点......

基于模型检验的规划是当今通用的规划研究的热点，其求解效率比较高。详细阐述了基于模型检验的规划的发展与研究现状。介绍了基于模......