逻辑函数高阶布尔c-偏导数求解的算法实现

来源 :计算机辅助设计与图形学学报 | 被引量 : 9次 | 上传用户：wuyan123

【摘要】

：

针对已有方法在求解布尔c-偏导数时只能解决小规模电路的问题,提出一种基于变量操作运算的大函数高阶布尔c-偏导数求解算法.首先将高阶布尔c-偏导数求解运算转化为逻辑函数的展开运算;然后根据乘积项是否包含需要展开的变量将函数分解成需要展开和不需要展开的二部分,进一步提高算法的速度.文中算法用C语言编程实现,并用MCNC测试电路进行了测试,结果表明,该算法能快速实现大函数高阶c-偏导数的求解;其效率与函

【作者】

：

瞿婷王伦耀夏银水储著飞

【机构】

：

宁波大学信息科学与工程学院

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2017年08期

【关键词】

：

布尔c-导数布尔c-偏导数高阶位运算 Boolean c-derivative Boolean c-partial derivative high-ord

【基金项目】

：

国家自然科学基金(61471211,61501268),国家自然科学基金重点项目(61131001).

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

“微创”2006

21世纪的5个年头过去了，在这“热闹非凡”的5年中，我们怀着欢喜又不免有些忧虑地看到“微创外科”（实际上是腹腔镜外科）在中国大地迅猛地发展。

期刊

微创外科腹腔镜外科21世纪

加工流线和自由形面的双主轴加工中心

LIECHTI公司(LIECHTI ENGINEERING CO.,)的高动态性能加工中心(BAZ)的Twin(双主轴)型可使生产率提高近一倍.

期刊

加工中心双主轴形面自由流线高动态性能TI公司TWIN生产率

宁波的汽车工业未来在哪?

6月底,2012民营企业对话世界500强活动在宁波举行。一年一度的民营企业对话世界500强活动,是世界500强企业与中国民营企业开展对话交流、推进合作的盛会。今年是该活动第七次

期刊

新能源汽车德尔福汽车工业汽配企业汽车零部件产业汽车制造业

表驱动的细分曲面GPU绘制

为了充分利用GPU的并行计算能力高效地绘制递归定义的细分曲面,提出一种基于GPU的面分裂细分曲面的实时绘制算法.该算法通过离线预计算生成可以复用的细分查找表,它由细分矩阵组成,其大小仅与奇异点度数和最大细分深度线性相关,与输入网格无关;对于细分曲面控制网格的每个曲面片,如果包含2个或2个以上奇异点,则进行一次局部预细分;之后对于不规则曲面片,利用细分查找表由初始控制网格直接计算得到各细分层次上的控

期刊

表驱动不规则区域自适应GPU实时绘制细分曲面table-driven irregularity-adaptiveGPU realtime renderi

基于边界信息的结构光编解码方法

针对传统结构光编解码算法在处理有遮挡、阴影的光栅条纹时会导致错误的解码,且得到的不同编码值条纹会出现重叠现象的问题,通过采用改进的Canny算子提取黑白条纹之间的边界,提出一种基于边界信息的结构光精确编解码算法.根据结构光条纹图像的特点对Canny算子进行改进,使其适用于条纹边界精确提取.在结构光编解码方法中,首先建立描述结构光图像序列条纹边界的编解码二叉树,然后设计边界定位和解码算法来求解未知边

期刊

结构光条纹边界编码CANNY算子编解码二叉树structured light stripes boundary code Canny operator

逻辑函数高阶布尔c-偏导数求解的算法实现

其他学术论文