邏輯函數(shù)高階布爾c-偏導數(shù)求解的算法實現(xiàn)
[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 趙鎮(zhèn);模糊邏輯函數(shù)圖形分解法[J];蘭州大學學報;1983年04期
2 劉心平;邏輯函數(shù)中獨立函數(shù)的研究[J];北京航空學院學報;1985年04期
3 喬景富;評介邏輯函數(shù)化簡新方法——“取同棄異法”[J];東北工學院學報;1985年04期
4 祝中一;羅素芳;林兵;;用電子計算機輔助簡化邏輯函數(shù)[J];河北化工學院學報;1986年01期
5 陳利;邏輯函數(shù)的“復合門”實現(xiàn)[J];高等函授學報(自然科學版);1994年06期
6 官德銘;邏輯函數(shù)八卦圖及其應用[J];電子與自動化;1995年02期
7 李樹華,田小媛;邏輯函數(shù)的樹形簡化法探討[J];內(nèi)蒙古大學學報(自然科學版);2000年05期
8 張玲;邏輯函數(shù)形式的代數(shù)轉換[J];甘肅高師學報;2002年05期
9 陳華華,沈繼忠;基于多值邏輯方法的模糊邏輯函數(shù)規(guī)范展開[J];浙江大學學報(理學版);2002年03期
10 袁徑三;;邏輯函數(shù)多維體化簡方法[J];紹興文理學院學報(自然科學版);2003年03期
相關會議論文 前1條
1 滕吉紅;李世取;;一類3值邏輯函數(shù)的性質(zhì)研究[A];開創(chuàng)新世紀的通信技術——第七屆全國青年通信學術會議論文集[C];2001年
相關重要報紙文章 前1條
1 四川 吳華根;邏輯函數(shù)的綜合化簡法[N];電子報;2007年
相關博士學位論文 前3條
1 王倫耀;Reed-Muller函數(shù)混合極性綜合技術及在雙邏輯綜合中應用的研究[D];浙江大學;2012年
2 滕吉紅;密碼學中邏輯函數(shù)有關非線性準則的研究[D];中國人民解放軍信息工程大學;2003年
3 劉任任;部分K值邏輯中Sheffer函數(shù)的判定問題[D];中南大學;2004年
相關碩士學位論文 前6條
1 應定海;多輸出m值邏輯函數(shù)若干性質(zhì)的研究[D];解放軍信息工程大學;2006年
2 羅慶斌;可逆邏輯函數(shù)分類及等價性判定[D];電子科技大學;2013年
3 劉星寶;K(≥2)值邏輯函數(shù)的擴散性[D];湘潭大學;2004年
4 王永娟;特征矩陣在邏輯函數(shù)性質(zhì)與構造研究中的應用[D];中國人民解放軍信息工程大學;2005年
5 李迎東;密碼學中“復合”邏輯函數(shù)的性質(zhì)分析[D];中國人民解放軍信息工程大學;2005年
6 徐俊平;RTL元件自動設計方法研究[D];哈爾濱工程大學;2011年
,本文編號:2275915
本文鏈接:http://sikaile.net/kejilunwen/yysx/2275915.html