论文部分内容阅读
二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后较为详细地介绍建立一种ROBDD的算法,减少了存储空间的使用并提高了运算速度。
一种建立二元判断图ROBD（D的算法）
【摘 要】
：
二元判断图BDD（Binary Decision Diagram）是逻辑布尔函数的一种高效表示方法,在计算机科学以及数字电路系统等领域中有广泛的应用。本文首先介绍了BDD的原理及其相关结论,之后
【机 构】
：
贵州大学计算机软件与理论研究所
【出 处】
：
科技咨询导报
【发表日期】
：
2007年27期
其他文献
短消息业务作为GSM数字蜂窝移动通信网络提供的主要电信业务,已经备受各类用户的青睐,将手机与互联网结合起来,用户可以通过互联网,给手机用户发送短信,这必将又会掀起一阵浪
本研究通过基因工程技术生产了受滋病毒的Ｐ２４抗原，并且运用于马传贫病毒的血清学检查，与传统方法所制备的马传贫抗原对照检测军马２５２４匹以及本实验室保留的各种马传贫阳性血清２２４份。结果
据国资委统计材料,我国目前有各类企业约1000万家,目前获证企业仅有13万余家,其市场潜力是不言而喻的。显然,质量管理体系认证无论从我国还是从国外情况来看仍然处于成长阶段
７号布奶杂一代山羊和１号布尔山羊，阴道放置海绵栓同时注射雌二醇２ｍｇ预处理７ｄ，随机分为２组，开始超排处理。第１组每日上午肌注用生理盐水溶解的ＦＳＨ，连续４ｄ，剂量分别为１５０，１００，５０，５０ＩＵ。第２组一次肌注用３００ｇ／ＬＰＶＰ溶解的ＦＳＨ２５０￣３００ＩＵ。两组
我国高层建筑得到很快的发展，采用钢筋混凝土框架结构的建筑越来越多，由于它具有强度高、抗震性能好、施工快、经济合理等优点，这种结构在多层特别是高层建筑结构中得到了更加广
胎儿三毛滴虫和猪三毛滴分离物在Ｄｉａｍｏｎｄ′ｓ培养 培养基加入不同浓度的秋水仙素，置３７℃下孵育６－８ｈ，运用低渗溶胀技术处理，用光学显微镜观察这两种三毛滴虫的染休要现，胎儿三毛滴虫和猪三毛滴虫
选用黄芪，蒲公英，当归及益母草等中草药组成方１，选用黄芪，当归，蒲公英及玉不留行等中草药组成方２，经水煎过滤及浓缩，制成灌服液，分高量组（１ｍＬ／只．ｄ）及低量组（０．５ｍＬ／只．ｄ）胃管灌服小鼠，另设相应对照组，测定小
英国南方自来水公司在承接了更多的管网管理工作后，使用了WINCAN公司最新开发的WINCANWeb管理系统，与之前开发的WinCanVX检测报告软件结合使用能够加快管线数据的传输和管理。
选用当归、川芎、芍药、黄芪、蒲公英、丹参、益母草等中草药 ,配制成饲料添加剂 ,研究了其对奶牛淋巴细胞刺激指数 (SI)和中性粒细胞吞噬力的影响 ,并用北京隐性乳房炎检验