【摘 要】
：
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减少的目标。通过对节点引用域的重新定义来实
论文部分内容阅读
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减少的目标。通过对节点引用域的重新定义来实现节点路径的记录,分析变量交换过程中本地节点重定向来获取局部路径的改变量,引入动态链表完成节点路径增量的记录和传递,最终在终节点得到了BDD的路径数量。该算法用C语言完成,整合到CUDD软件包,经多个函数的实验测试,证实了这种路径优化算法的正确、有效。
其他文献
台积电加快速度扩产能、赶制程，视三星为最大的对手，意图抢下苹果的大订单。而苹果与三星的不断交恶是否意味着台积电的机会就一定越来越大
云计算技术迅猛发展,云计算辅助教学平台应运而生,具有网络化的海量教学数据资源存储与计算功能和瘦客户端等显著优点,云辅助教学平台数据量和用户量巨大的特点决定了其作业
经过近一年的价格厮杀和疯狂的规模扩展，中国电商行业的格局已‘定，但在这个相对稳定的格局下面，未来移动电商方向却暗流涌动。时间回到11月12日凌晨零点，阿里巴巴旗下天猫和淘宝
文章研究水面舰艇减摇问题，采用PID神经元网络控制方法。舰艇在大风浪条件下产生剧烈横摇，减摇鳍是目前应用最为广泛的减摇装置之一。鳍角与升力矩的水动力特性主要依靠静态实
携程豪掷5亿美元，希冀重构10年前的市场秩序，这是一场孤注一掷的豪赌，携程拿出全部身家赌明天。但这一次，恐怕携程要失望了
当影像中的边缘点较为密集或者噪声点较多时,直接应用Hough变换提取边缘线将会面临两个困难:一是虚假的峰值很多;二是边缘提取不准确。这两个问题往往会导致边缘提取的失败。针对这种情形,提出一种改进的Hough变换新方法,首先对分块影像类的边缘点进行Radon变换以获取局部直线特征;根据局部直线段的斜率、截距对其进行分类,同时计算出后续的Hough变换时所需要的ρ、θ取值范围,在此基础上进行经典的Ho
服务请求者身份的不可知性及其行为的动态不确定性,给Web Services的安全带来了严峻的挑战.在研究和分析现有信任模型不足的基础上,提出一种基于信任的Web Services动态访问