全文获取类型
收费全文 | 472篇 |
免费 | 15篇 |
国内免费 | 14篇 |
专业分类
电工技术 | 3篇 |
综合类 | 5篇 |
化学工业 | 85篇 |
金属工艺 | 12篇 |
机械仪表 | 10篇 |
建筑科学 | 4篇 |
能源动力 | 53篇 |
轻工业 | 4篇 |
石油天然气 | 3篇 |
武器工业 | 1篇 |
无线电 | 39篇 |
一般工业技术 | 123篇 |
冶金工业 | 2篇 |
原子能技术 | 6篇 |
自动化技术 | 151篇 |
出版年
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 8篇 |
2021年 | 5篇 |
2020年 | 9篇 |
2019年 | 10篇 |
2018年 | 13篇 |
2017年 | 10篇 |
2016年 | 9篇 |
2015年 | 13篇 |
2014年 | 21篇 |
2013年 | 26篇 |
2012年 | 22篇 |
2011年 | 55篇 |
2010年 | 35篇 |
2009年 | 29篇 |
2008年 | 39篇 |
2007年 | 21篇 |
2006年 | 17篇 |
2005年 | 19篇 |
2004年 | 17篇 |
2003年 | 17篇 |
2002年 | 38篇 |
2001年 | 15篇 |
2000年 | 12篇 |
1999年 | 2篇 |
1998年 | 4篇 |
1997年 | 5篇 |
1996年 | 8篇 |
1995年 | 1篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1976年 | 1篇 |
排序方式: 共有501条查询结果,搜索用时 15 毫秒
501.
OBDD是一种表示和操纵布尔函数的有效方法。由于许多布尔运算都可以转换为OBDD图的运算,因此,OBDD在集成电路设计领域,如逻辑综合、验证以及测试生成等,得到了广泛的应用。但是,OBDD的大小则严重依赖于变量序,为了实现OBDD的有效操作,寻找一个好的变量序是非常重要的基。基于此,文章提出了一个新的寻找OBDD变量序的启发式算法,它通过动态计算原始输入变量的可观测性无关项来确定一个好的变量序。实验结果表明,对于大部分电路,应用该算法都可以找到一个好的变量序。 相似文献