论文部分内容阅读
二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。
一种建立二元判断图ROBD（D的算法）
【摘 要】
：
二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后
【机 构】
：
贵州大学计算机软件与理论研究所
【出 处】
：
科技咨询导报
【发表日期】
：
2007年27期
其他文献
短消息业务作为GSM数字蜂窝移动通信网络提供的主要电信业务,已经备受各类用户的青睐,将手机与互联网结合起来,用户可以通过互联网,给手机用户发送短信,这必将又会掀起一阵浪
据国资委统计材料,我国目前有各类企业约1000万家,目前获证企业仅有13万余家,其市场潜力是不言而喻的。显然,质量管理体系认证无论从我国还是从国外情况来看仍然处于成长阶段
我国高层建筑得到很快的发展，采用钢筋混凝土框架结构的建筑越来越多，由于它具有强度高、抗震性能好、施工快、经济合理等优点，这种结构在多层特别是高层建筑结构中得到了更加广