北海道大学
|
图书馆
|HUSCAP公司
高级搜索
言語
日本語
英语
主页
关于HUSCAP
开放访问策略
按作者浏览
浏览
社区
&收藏品
学术期刊
论文
博士论文
按研究生院列出
会议程序。
事件
HUSCAP高级
（日语）
社会
下载次数（国家/地区）
针对大学员工
如何发布您的
提交给HUSCAP的文件
论文的出版
关于的帮助热线
论文发表
符合开放档案
你可以搜索
我们的收藏
另请访问：
谷歌
谷歌学者
CiNii公司
IRDB公司
OAI服务器
NDLTD公司
北海道大学学术论文集
>
信息科学技术研究生院/信息科学技术学院
>
同行评议的期刊文章等
>
零抑制BDD及其应用
此项目中的文件：
IJSTTT3-2.pdf
340.22千字节
PDF格式
查看/打开
请使用此标识符引用或链接此项目：
网址：http://hdl.handle.net/115/16895
标题：
零抑制BDD及其应用
作者：
新池敏人
浏览此作者
→
KAKEN DB公司
关键词：
BDD公司
ZBDD公司
布尔函数
超大规模集成电路CAD
组合问题
发布日期：
2001年5月
发布者：
施普林格柏林/海德堡
期刊标题：
国际技术转让软件工具杂志
体积：
三
问题：
2
起始页：
156
结束页：
170
摘要：
在许多现实生活中的问题中，我们经常会遇到操纵组合集的问题。
在本文中，我们研究了一种特殊类型的有序二元决策图（OBDD），称为零抑制BDD（ZBDD）。
与使用原始OBDD相比，此数据结构表示组合集的效率更高。
与原始OBDD相比，我们讨论了用于操作ZBDD的基本数据结构和算法。
我们还介绍了ZBDD的一些实际应用，如用无状态立方体集代数解决组合问题、逻辑综合方法、Petri网处理等。我们表明，ZBDD是OBDD技术中的一个有用选项，适合于部分实际应用。
权利：
原始出版物可在www.springerlink.com上获得
关系：
http://www.springerlink.com网站
类型：
文章（作者版本）
URI（URI）：
http://hdl.handle.net/2115/16895
出现在集合中：
情報科学院・情報科学研究院
（信息科学技术研究生院/信息科学技术学院）
>
雑誌発表論文等
（同行评审期刊文章等）
提交人：
湊 真一
导出元数据：
RefMan RIS参考手册
BibTeX公司
OAI-PMH公司
(
青少年2
,
jpcoar_1.0格式
)
MathJax现已关闭：
反馈
-
北海道大学
