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

发布时间：2018-10-17 07:05

【摘要】：针对已有方法在求解布尔c-偏导数时只能解决小规模电路的问题,提出一种基于变量操作运算的大函数高阶布尔c-偏导数求解算法.首先将高阶布尔c-偏导数求解运算转化为逻辑函数的展开运算;然后根据乘积项是否包含需要展开的变量将函数分解成需要展开和不需要展开的二部分,进一步提高算法的速度.文中算法用C语言编程实现,并用MCNC测试电路进行了测试,结果表明,该算法能快速实现大函数高阶c-偏导数的求解;其效率与函数拆分的结果有关,但对输入变量的数量不敏感.
[Abstract]:In view of the problem that the existing methods can only solve the problem of small scale circuits when solving Boolean c- partial derivatives, a new algorithm for solving high order Boolean c- partial derivatives of large functions based on variable operation is proposed. First, the solution of higher order Boolean c- partial derivative is transformed into the expansion of logical function, and then the function is decomposed into two parts, which need to be expanded or not, according to whether the product term contains variables that need to be expanded. Further improve the speed of the algorithm. The algorithm is programmed in C language and tested by MCNC test circuit. The results show that the algorithm can quickly solve the high order c- partial derivative of large function, and its efficiency is related to the result of function splitting. But it is insensitive to the number of input variables.
【作者单位】： 宁波大学信息科学与工程学院;
【基金】：国家自然科学基金(61471211,61501268);国家自然科学基金重点项目(61131001)
【分类号】：O172.1

【相似文献】

相关期刊论文 前10条

1 赵镇;模糊逻辑函数图形分解法[J];兰州大学学报;1983年04期

2 刘心平;逻辑函数中独立函数的研究[J];北京航空学院学报;1985年04期

3 乔景富;评介逻辑函数化简新方法——“取同弃异法”[J];东北工学院学报;1985年04期

4 祝中一;罗素芳;林兵;;用电子计算机辅助简化逻辑函数[J];河北化工学院学报;1986年01期

5 陈利;逻辑函数的“复合门”实现[J];高等函授学报(自然科学版);1994年06期

6 官德铭;逻辑函数八卦图及其应用[J];电子与自动化;1995年02期

7 李树华,田小媛;逻辑函数的树形简化法探讨[J];内蒙古大学学报(自然科学版);2000年05期

8 张玲;逻辑函数形式的代数转换[J];甘肃高师学报;2002年05期

9 陈华华,沈继忠;基于多值逻辑方法的模糊逻辑函数规范展开[J];浙江大学学报(理学版);2002年03期

10 袁径三;;逻辑函数多维体化简方法[J];绍兴文理学院学报(自然科学版);2003年03期

相关会议论文 前1条

1 滕吉红;李世取;;一类3值逻辑函数的性质研究[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年

相关重要报纸文章 前1条

1 四川 吴华根;逻辑函数的综合化简法[N];电子报;2007年

相关博士学位论文 前3条

1 王伦耀;Reed-Muller函数混合极性综合技术及在双逻辑综合中应用的研究[D];浙江大学;2012年

2 滕吉红;密码学中逻辑函数有关非线性准则的研究[D];中国人民解放军信息工程大学;2003年

3 刘任任;部分K值逻辑中Sheffer函数的判定问题[D];中南大学;2004年

相关硕士学位论文 前6条

1 应定海;多输出m值逻辑函数若干性质的研究[D];解放军信息工程大学;2006年

2 罗庆斌;可逆逻辑函数分类及等价性判定[D];电子科技大学;2013年

3 刘星宝;K（≥2）值逻辑函数的扩散性[D];湘潭大学;2004年

4 王永娟;特征矩阵在逻辑函数性质与构造研究中的应用[D];中国人民解放军信息工程大学;2005年

5 李迎东;密码学中“复合”逻辑函数的性质分析[D];中国人民解放军信息工程大学;2005年

6 徐俊平;RTL元件自动设计方法研究[D];哈尔滨工程大学;2011年

，

本文编号：2275915