【摘要】：針對已有方法在求解布爾c-偏導(dǎo)數(shù)時只能解決小規(guī)模電路的問題,提出一種基于變量操作運(yùn)算的大函數(shù)高階布爾c-偏導(dǎo)數(shù)求解算法.首先將高階布爾c-偏導(dǎo)數(shù)求解運(yùn)算轉(zhuǎn)化為邏輯函數(shù)的展開運(yùn)算;然后根據(jù)乘積項(xiàng)是否包含需要展開的變量將函數(shù)分解成需要展開和不需要展開的二部分,進(jìn)一步提高算法的速度.文中算法用C語言編程實(shí)現(xiàn),并用MCNC測試電路進(jìn)行了測試,結(jié)果表明,該算法能快速實(shí)現(xiàn)大函數(shù)高階c-偏導(dǎo)數(shù)的求解;其效率與函數(shù)拆分的結(jié)果有關(guān),但對輸入變量的數(shù)量不敏感.
[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.
【作者單位】： 寧波大學(xué)信息科學(xué)與工程學(xué)院;
【基金】：國家自然科學(xué)基金(61471211,61501268);國家自然科學(xué)基金重點(diǎn)項(xiàng)目(61131001)
【分類號】：O172.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 趙鎮(zhèn);模糊邏輯函數(shù)圖形分解法[J];蘭州大學(xué)學(xué)報;1983年04期

2 劉心平;邏輯函數(shù)中獨(dú)立函數(shù)的研究[J];北京航空學(xué)院學(xué)報;1985年04期

3 喬景富;評介邏輯函數(shù)化簡新方法——“取同棄異法”[J];東北工學(xué)院學(xué)報;1985年04期

4 祝中一;羅素芳;林兵;;用電子計算機(jī)輔助簡化邏輯函數(shù)[J];河北化工學(xué)院學(xué)報;1986年01期

5 陳利;邏輯函數(shù)的“復(fù)合門”實(shí)現(xiàn)[J];高等函授學(xué)報(自然科學(xué)版);1994年06期

6 官德銘;邏輯函數(shù)八卦圖及其應(yīng)用[J];電子與自動化;1995年02期

7 李樹華,田小媛;邏輯函數(shù)的樹形簡化法探討[J];內(nèi)蒙古大學(xué)學(xué)報(自然科學(xué)版);2000年05期

8 張玲;邏輯函數(shù)形式的代數(shù)轉(zhuǎn)換[J];甘肅高師學(xué)報;2002年05期

9 陳華華,沈繼忠;基于多值邏輯方法的模糊邏輯函數(shù)規(guī)范展開[J];浙江大學(xué)學(xué)報(理學(xué)版);2002年03期

10 袁徑三;;邏輯函數(shù)多維體化簡方法[J];紹興文理學(xué)院學(xué)報(自然科學(xué)版);2003年03期

相關(guān)會議論文 前1條

1 滕吉紅;李世取;;一類3值邏輯函數(shù)的性質(zhì)研究[A];開創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國青年通信學(xué)術(shù)會議論文集[C];2001年

相關(guān)重要報紙文章 前1條

1 四川 吳華根;邏輯函數(shù)的綜合化簡法[N];電子報;2007年

相關(guān)博士學(xué)位論文 前3條

1 王倫耀;Reed-Muller函數(shù)混合極性綜合技術(shù)及在雙邏輯綜合中應(yīng)用的研究[D];浙江大學(xué);2012年

2 滕吉紅;密碼學(xué)中邏輯函數(shù)有關(guān)非線性準(zhǔn)則的研究[D];中國人民解放軍信息工程大學(xué);2003年

3 劉任任;部分K值邏輯中Sheffer函數(shù)的判定問題[D];中南大學(xué);2004年

相關(guān)碩士學(xué)位論文 前6條

1 應(yīng)定海;多輸出m值邏輯函數(shù)若干性質(zhì)的研究[D];解放軍信息工程大學(xué);2006年

2 羅慶斌;可逆邏輯函數(shù)分類及等價性判定[D];電子科技大學(xué);2013年

3 劉星寶;K（≥2）值邏輯函數(shù)的擴(kuò)散性[D];湘潭大學(xué);2004年

4 王永娟;特征矩陣在邏輯函數(shù)性質(zhì)與構(gòu)造研究中的應(yīng)用[D];中國人民解放軍信息工程大學(xué);2005年

5 李迎東;密碼學(xué)中“復(fù)合”邏輯函數(shù)的性質(zhì)分析[D];中國人民解放軍信息工程大學(xué);2005年

6 徐俊平;RTL元件自動設(shè)計方法研究[D];哈爾濱工程大學(xué);2011年

，

本文編號：2275915