变量交换相关论文
随着计算机软硬件系统日益复杂,保证系统的正确性和可靠性日显重要,为此提出的许多理论和方法中,模型检测以其简洁明了和自动化程......
数学建模是针对某一实际问题,通过数学化手段如抽象并明确变量和参数,根据某种定律或规律,提炼并建立变量与参数间明确的数学关系(......
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减......