论文部分内容阅读
布尔函数全微分及其计算
【机 构】
:
西安交通大学
【出 处】
:
第二届全国逻辑设计自动化学术会
【发表日期】
:
1990年期
其他文献
科学技术的发展迅速带动了电力行业的发展.随着社会的不断进步与发展,群众基础设施不断完善.对于多种能量供能需求越来越高,其中,电力的社会需求逐年增长.电力要想达到更好的
在众多建筑内,配电系统长期以来在其中占有不可或缺的地位,是建筑配套设施最为关键的构成内容之一.而低压配电系统作为建筑电气设计的核心内容之一,其还是整个建筑电气系统内
在该文中,作者用SPICE模拟验证了布尔过程理论。在模拟中使用的是一种0.35μm,3.3V IC工艺的BSIM3MOSFET模型。如果门延迟是1个单位时间,则布尔过程的特征值在0.5到1.5之间。
2011年中央1号文件明确指出:“在风险可控的前提下,支持农业发展银行积极开展水利建设中长期政策性贷款业务”。水利建设具有典型的公益性、基础性、战略性特征,是“三农”领
随着我国经济建设的快速壮大,人们的生活水平得到了相当大的提升,而桥梁作为人们日常出行必然用到的交通道路,自然也会对其提出更多的要求.我国当下的桥梁建设已经进入良好、
二叉判决图BDD是一种能有效表示布尔函数的方法,这种方法在EDA领域中有着广泛的应用,该文介绍以BDD为基础演变出的各种判决图并分析它们之间的关系,最后给出这些判决图在组合电路形式验证
该文采用朦胧集这样一个数学工具,提出了布尔检索的一种简单而实用的改进,使得其检索结果可以排序输出,并能够控制输出量的大小,而且有可能以较为简单的技术加以实现。
城镇道路的高回填土路段,其原地势低,易积水、浸泡,基底软弱,再加上回填料易夹杂钢筋、混凝土块等建筑垃圾.因此高回填土段路基设计和施工质量控制,成为影响城镇道路工程质量