• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于貝葉斯網(wǎng)絡(luò)的驗(yàn)證激勵(lì)向量生成研究

    2020-07-26 14:23:53王潤(rùn)蔣劍飛王琴
    軟件導(dǎo)刊 2020年7期
    關(guān)鍵詞:貝葉斯網(wǎng)絡(luò)機(jī)器學(xué)習(xí)覆蓋率

    王潤(rùn) 蔣劍飛 王琴

    摘 要:為了解決傳統(tǒng)數(shù)字芯片驗(yàn)證環(huán)節(jié)中基于仿真的驗(yàn)證(或動(dòng)態(tài)驗(yàn)證)功能覆蓋率收斂速度慢的缺點(diǎn),提出一種新的以功能覆蓋為導(dǎo)向的測(cè)試用例生成方法,該方法基于貝葉斯網(wǎng)絡(luò)和機(jī)器學(xué)習(xí)技術(shù),可實(shí)現(xiàn)從覆蓋模型到測(cè)試用例生成器反饋回路的自動(dòng)關(guān)閉,在DUT的驗(yàn)證過(guò)程中,使用該方法為所測(cè)試的設(shè)計(jì)生成新的激勵(lì)。實(shí)驗(yàn)結(jié)果表明,基于貝葉斯網(wǎng)絡(luò)的CDG技術(shù)測(cè)試用例使用較少,覆蓋率收斂更快,與傳統(tǒng)基于仿真的驗(yàn)證技術(shù)相比,測(cè)試用例數(shù)量減少了43%?;谪惾~斯網(wǎng)絡(luò)的CDG技術(shù)提高了覆蓋率的收斂速度,縮短了驗(yàn)證周期,相比于傳統(tǒng)動(dòng)態(tài)驗(yàn)證技術(shù)而言其芯片功能驗(yàn)證更完善。

    關(guān)鍵詞:功能驗(yàn)證;貝葉斯網(wǎng)絡(luò);機(jī)器學(xué)習(xí);CDG;覆蓋率

    DOI:10. 11907/rjdk. 192567 開(kāi)放科學(xué)(資源服務(wù))標(biāo)識(shí)碼(OSID):

    中圖分類(lèi)號(hào):TP301文獻(xiàn)標(biāo)識(shí)碼:A 文章編號(hào):1672-7800(2020)007-0001-04

    Research on Generation of Verification Incentive Vector Based on Bayesian Network

    WANG Run,JIANG Jian-fei,WANG Qin

    (Microelectronics Institute,Shanghai Jiao Tong University, Shanghai 200240,China)

    Abstract:In order to solve the problem of slow convergence rate of functional coverage of simulation based verification (or dynamic verification) in the traditional verification of digital chips,this paper proposes a new method of test case generation based on function coverage. Based on Bayesian network and machine learning technology, this method provides an effective method to automatically close the feedback loop from coverage model to test case generator. In the verification process of DUT (design under test), this method is used to generate new incentives for the tested design. The experimental results show that the CDG (coverage driven test case generation) technology based on Bayesian network uses fewer test cases, and the coverage convergence is faster. Compared with the traditional simulation based verification technology, the number of test cases is reduced by 43%. CDG technology based on Bayesian network improves the convergence rate of coverage and reduces the verification cycle. Compared with the traditional dynamic verification technology, the chip function verification is more complete.

    Key Words:functional verification; Bayesian network; machine learning; CDG; coverage

    0 引言

    功能驗(yàn)證被廣泛認(rèn)為是硬件設(shè)計(jì)周期中的瓶頸[1]。目前,在完整的芯片開(kāi)發(fā)周期中,70%的設(shè)計(jì)開(kāi)發(fā)時(shí)間和資源被用于功能驗(yàn)證[2]。功能驗(yàn)證已經(jīng)成為芯片和系統(tǒng)設(shè)計(jì)領(lǐng)域的一項(xiàng)主要挑戰(zhàn),當(dāng)工程師需要在日益密集的芯片上設(shè)置越來(lái)越多的功能時(shí),成功驗(yàn)證芯片和系統(tǒng)功能所需要的時(shí)間也越來(lái)越長(zhǎng),這就需要開(kāi)發(fā)新的驗(yàn)證技術(shù),在資源有限的情況下,為驗(yàn)證人員提供快速實(shí)現(xiàn)其目標(biāo)的方法。目前,以覆蓋率為導(dǎo)向的測(cè)試用例生成技術(shù)有兩個(gè)主要缺點(diǎn)[3]:①覆蓋率反饋中包含了人的參與、調(diào)整激勵(lì)的生成和分析所需的大量人為勞動(dòng),因此增加了成本;②整個(gè)驗(yàn)證流程的反饋發(fā)生在仿真之后。首先需要進(jìn)行仿真,然后才發(fā)現(xiàn)激勵(lì)沒(méi)有命中的感興趣的覆蓋點(diǎn),這樣才能調(diào)整激勵(lì)。

    常見(jiàn)的測(cè)試用例有幾個(gè)來(lái)源[4]:①編寫(xiě)定向的直接測(cè)試用例[5],存在的問(wèn)題是仿真效率低下,對(duì)于復(fù)雜設(shè)計(jì),固定場(chǎng)景的定向測(cè)試被認(rèn)為是無(wú)效的[6];②小部分測(cè)試用例通過(guò)手工隨機(jī)約束設(shè)計(jì)[7],包括覆蓋設(shè)計(jì)邊界情況,存在的問(wèn)題是,邊界情況需要對(duì)設(shè)計(jì)有比較充分的理解才能覆蓋到,如果對(duì)設(shè)計(jì)不甚了解,則覆蓋邊界情況需要耗費(fèi)大量時(shí)間;③運(yùn)行現(xiàn)有的測(cè)試用例集(遺留測(cè)試或商業(yè)測(cè)試套件)[8],顯然,當(dāng)所驗(yàn)證的設(shè)計(jì)是比較成熟的模塊,有比較完備的測(cè)試用例,這種方法才起作用。

    以上方法都存在覆蓋率收斂速度慢的缺點(diǎn),鑒于此,本文提出一種面向覆蓋的測(cè)試用例生成方法。本文方法是在一個(gè)統(tǒng)計(jì)推斷的框架中映射CDG(Coverage Driven Testcase Generation)[9],并應(yīng)用機(jī)器學(xué)習(xí)技術(shù)實(shí)現(xiàn)CDG目標(biāo)。具體而言,使用貝葉斯網(wǎng)絡(luò)建模覆蓋率信息和測(cè)試用例之間的關(guān)系,可以提高功能覆蓋率收斂速度。

    1 覆蓋率驅(qū)動(dòng)的測(cè)試用例生成

    一般而言,CDG的目標(biāo)是自動(dòng)向測(cè)試用例生成器提供基于覆蓋率分析的指令。這可以進(jìn)一步分解為兩個(gè)子目標(biāo):①向測(cè)試生成器提供有助于實(shí)現(xiàn)困難情況(即未覆蓋或很少覆蓋的任務(wù))的指令,實(shí)現(xiàn)此子目標(biāo)可以縮短完成測(cè)試計(jì)劃所需時(shí)間,并減少手動(dòng)編寫(xiě)指令的數(shù)量;②盡可能使用一組不同的指令,為任何覆蓋率模型[10]提供更容易到達(dá)的指令,實(shí)現(xiàn)該子目標(biāo)使驗(yàn)證過(guò)程更加健壯,因?yàn)樗黾恿蓑?yàn)證過(guò)程中任務(wù)被覆蓋的次數(shù)。此外,如果通過(guò)不同的方向到達(dá)覆蓋率任務(wù),則會(huì)大大增加發(fā)現(xiàn)與此激勵(lì)相關(guān)的隱藏錯(cuò)誤的機(jī)會(huì)。

    以覆蓋率為驅(qū)動(dòng)的激勵(lì)生成有幾種不同風(fēng)格,可以根據(jù)覆蓋率反饋回路在調(diào)整過(guò)程中的位置對(duì)它們進(jìn)行歸類(lèi)[11],包括動(dòng)態(tài)覆蓋率控制激勵(lì)生成、基于模型的覆蓋率驅(qū)動(dòng)測(cè)試生成、自動(dòng)覆蓋率控制生成等。圖1為驗(yàn)證流程中對(duì)覆蓋率分析的反饋回路,首先編碼激勵(lì)參數(shù)和偏置約束信息,通過(guò)PRNG(偽隨機(jī)數(shù)發(fā)生器)生成滿(mǎn)足特定約束條件的激勵(lì),通過(guò)模擬仿真將生成好的激勵(lì)驅(qū)動(dòng)到DUT(Design Under Test)的端口上,仿真工具會(huì)根據(jù)覆蓋模型自動(dòng)統(tǒng)計(jì)功能覆蓋率,并將不同測(cè)試用例的覆蓋率數(shù)據(jù)整合到一起,得到積累的覆蓋率數(shù)據(jù),然后通過(guò)人為的覆蓋率分析,進(jìn)一步調(diào)整約束偏置,生成修改后的新測(cè)試用例,繼續(xù)仿真,直到達(dá)到覆蓋率收斂為止,這樣即可完成功能驗(yàn)證。有兩種常用的CDG方法:基于反饋的CDG和基于構(gòu)造的CDG?;诜答伒腃DG依賴(lài)于來(lái)自覆蓋率分析的反饋實(shí)現(xiàn)對(duì)測(cè)試生成器指令的自動(dòng)修改。例如,在文獻(xiàn)[12]中,使用遺傳算法選擇和修改測(cè)試用例以增加覆蓋率;在文獻(xiàn)[13]中,覆蓋分析數(shù)據(jù)用于修改表示DUT的馬爾科夫鏈的參數(shù),然后使用馬爾可夫鏈生成設(shè)計(jì)的測(cè)試用例;在文獻(xiàn)[14]中,覆蓋率分析結(jié)果觸發(fā)一組修改測(cè)試指令的生成規(guī)則。相反,在基于構(gòu)造的CDG中,DUT的外部模型用于生成測(cè)試指令,這些指令旨在準(zhǔn)確地命中覆蓋率任務(wù)。例如,在文獻(xiàn)[15]中,一個(gè)流水線(xiàn)設(shè)計(jì)的FSM模型用于生成覆蓋流水線(xiàn)中指令及相關(guān)性測(cè)試。

    2 基于貝葉斯網(wǎng)絡(luò)的面向覆蓋的測(cè)試生成

    貝葉斯網(wǎng)絡(luò)是一組變量聯(lián)合概率分布的圖形表示,這種表達(dá)最初是為了編碼變量間的不確定關(guān)系,最初由遺傳學(xué)家蘇厄爾·賴(lài)特[16]提出。貝葉斯網(wǎng)絡(luò)將CDG映射到一個(gè)統(tǒng)計(jì)推斷的框架中,可以概率方式表示CDG成分之間的復(fù)雜(可能是隨機(jī)的)關(guān)系,是一種有效的建模方案。

    2.1 貝葉斯網(wǎng)絡(luò)

    貝葉斯網(wǎng)絡(luò)由兩部分組成。第一個(gè)是有向無(wú)環(huán)圖,其中每個(gè)頂點(diǎn)對(duì)應(yīng)一個(gè)隨機(jī)變量。該圖反映所表示分布的一組條件獨(dú)立屬性:在給定其父級(jí)狀態(tài)的圖中,每個(gè)變量可能與其非子級(jí)無(wú)關(guān)。該圖可表示概率分布的定性結(jié)構(gòu),并用于有效的推理和決策[17]。第二部分是局部交互模型的集合,描述每個(gè)變量[Xi]的條件概率[p(Xi|Pai)]。這兩個(gè)分量共同代表一組變量[X][18]上唯一的聯(lián)合概率分布。聯(lián)合概率分布如式(1)所示。

    可以看出,該式實(shí)際上隱含了上文圖形結(jié)構(gòu)的條件獨(dú)立性。公式表明,貝葉斯網(wǎng)絡(luò)指定的聯(lián)合分布可以用單個(gè)局部交互模型的乘積表示。因此,雖然貝葉斯網(wǎng)絡(luò)可以表示任意的概率分布,但它們?yōu)槟切┛梢杂煤?jiǎn)單結(jié)構(gòu)表示的分布提供了計(jì)算優(yōu)勢(shì)。

    貝葉斯網(wǎng)絡(luò)可以有效解決通過(guò)貝葉斯規(guī)則產(chǎn)生一個(gè)節(jié)點(diǎn)(或一組節(jié)點(diǎn))的值[X]的后驗(yàn)概率,如式(2)所示。

    因此,可以通過(guò)選擇最大后驗(yàn)概率[max p(X|E)]的形式進(jìn)行統(tǒng)計(jì)推斷[19]。

    2.2 基于貝葉斯網(wǎng)絡(luò)的CDG

    CDG過(guò)程從構(gòu)建貝葉斯網(wǎng)絡(luò)模型開(kāi)始,該模型描述測(cè)試指令與覆蓋空間之間的關(guān)系。圖2展示了一個(gè)簡(jiǎn)單但典型的貝葉斯網(wǎng)絡(luò),它對(duì)CDG的一小部分進(jìn)行了建模。貝葉斯網(wǎng)絡(luò)描述了影響生成的命令類(lèi)型(cmd_type)的指令與CPU內(nèi)活動(dòng)內(nèi)核(core_enable)之間的關(guān)系,以及生成的命令(cmd)、其響應(yīng)(resp)和生成命令的內(nèi)核(core)的覆蓋屬性。網(wǎng)絡(luò)由輸入節(jié)點(diǎn)(左邊的白色圓圈)和定義覆蓋空間的覆蓋節(jié)點(diǎn)(右邊的白色方塊)組成,除上述可以物理觀測(cè)到的節(jié)點(diǎn)之外,網(wǎng)絡(luò)還可能包含隱藏的節(jié)點(diǎn),即沒(méi)有任何物理證據(jù)(觀測(cè))證明它相互作用的變量,這些變量在圖中表示為陰影橢圓。在貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)中加入隱藏節(jié)點(diǎn)主要是為了反映關(guān)于隱藏節(jié)點(diǎn)的專(zhuān)家領(lǐng)域的知識(shí)[20]。

    2.3 基于貝葉斯網(wǎng)絡(luò)的CGRA驗(yàn)證

    可重構(gòu)計(jì)算架構(gòu)CGRA(Coarse-Grained Reconfigurable? Architecture)是指能根據(jù)變換的數(shù)據(jù)流或控制流,對(duì)硬件結(jié)構(gòu)進(jìn)行動(dòng)態(tài)配置的一種體系結(jié)構(gòu)[21]。CGRA最大的優(yōu)勢(shì)是能通過(guò)硬件結(jié)構(gòu)組織不同粒度和不同功能的計(jì)算資源,通過(guò)運(yùn)行過(guò)程中的硬件配置,調(diào)整硬件功能,根據(jù)數(shù)據(jù)流的特點(diǎn),讓功能配置好的硬件資源互連形成相對(duì)固定的計(jì)算通路,從而以接近“專(zhuān)用電路”的方式進(jìn)行數(shù)據(jù)驅(qū)動(dòng)下的計(jì)算[22]。當(dāng)算法和應(yīng)用變換時(shí),再次通過(guò)配置,使硬件重構(gòu)為不同的計(jì)算通路去執(zhí)行,是一種高效而靈活的計(jì)算架構(gòu),因而能在算力和能耗上取得很好平衡,達(dá)到更高的能效比[23]。

    對(duì)于CGRA的運(yùn)算單元PE(Process Element),本文使用基于貝葉斯網(wǎng)絡(luò)的CDG驗(yàn)證其功能覆蓋率。使用的PE單元主要由3個(gè)子模塊組成,如圖3所示:輸入Buffer單元,ALU和輸出Buffer單元。輸入端有時(shí)鐘和復(fù)位信號(hào)、數(shù)據(jù)信息、配置信息和來(lái)自下層PE的反壓信號(hào)。為了簡(jiǎn)化分析,對(duì)單個(gè)PE進(jìn)行驗(yàn)證,每條指令由4個(gè)輸入變量組成,第1個(gè)變量表示指令的第1個(gè)數(shù)據(jù)(1 bit valid + 2 bit tag + 32 bit data),第2個(gè)變量表示指令的第2個(gè)數(shù)據(jù)(1 bit valid + 2 bit tag + 32 bit data),第3個(gè)變量表示數(shù)據(jù)輸出是否有效(1bit valid + 2bit tag + 1bit bool),valid位代表數(shù)據(jù)輸入是否有效,每筆數(shù)據(jù)包含一個(gè)tag位,表示數(shù)據(jù)是否處于亂序執(zhí)行模式。為了簡(jiǎn)化分析,對(duì)數(shù)據(jù)位和tag位分別進(jìn)行處理,單條輸入指令包括6筆數(shù)據(jù)信息。由于tag位是2bit位寬,PE有4個(gè)不同的tag以區(qū)分每筆數(shù)據(jù),因此,將每4筆數(shù)據(jù)劃分為一個(gè)transfer,使用tag表示每個(gè)transfer中的不同數(shù)據(jù),如果上一個(gè)transfer的一筆數(shù)據(jù)在inbuffer里沒(méi)有處理完,在下一個(gè)transfer輸入形同tag的數(shù)據(jù)時(shí)會(huì)引起tag沖突。第4個(gè)變量表示PE的配置。

    本實(shí)驗(yàn)對(duì)輸入變量進(jìn)行組合限制,使用100個(gè)直接測(cè)試用例,如圖4所示。每組測(cè)試用例由6個(gè)輸入變量,5個(gè)功能點(diǎn)組成,共11個(gè)變量,使用直接測(cè)試用例對(duì)網(wǎng)絡(luò)模型進(jìn)行訓(xùn)練。

    使用一個(gè)覆蓋模型檢查PE狀態(tài)及其指令屬性,覆蓋模型由7個(gè)屬性組成:數(shù)據(jù)一的輸入屬性(dp1+tag)、數(shù)據(jù)二的輸入屬性(dp2+tag)、數(shù)據(jù)三的輸入屬性(dp3)、PE的配置狀態(tài)(op)、PE的輸出屬性(state),目的是生成覆蓋上述覆蓋模型的指令流。在指定貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)后,使用數(shù)據(jù)樣本和相應(yīng)的覆蓋任務(wù)對(duì)其進(jìn)行訓(xùn)練。為此,根據(jù)使用的指令和生成的覆蓋任務(wù)構(gòu)建一個(gè)訓(xùn)練集,然后使用許多已知學(xué)習(xí)算法中的一種估計(jì)貝葉斯網(wǎng)絡(luò)參數(shù)(條件概率分布集)。訓(xùn)練完成的貝葉斯網(wǎng)絡(luò)模型如圖5所示,可以看出功能點(diǎn)State與4個(gè)輸入變量相關(guān)聯(lián),分別為:Data1、H1、H2、Data2。

    在評(píng)估階段,訓(xùn)練好的貝葉斯網(wǎng)絡(luò)可以通過(guò)后驗(yàn)概率確定期望覆蓋任務(wù)的指令。例如,在該模型中,指令是測(cè)試生成器中內(nèi)部繪制的可能結(jié)果的權(quán)重,可以為覆蓋節(jié)點(diǎn)(例如state)的某個(gè)bin計(jì)算指令節(jié)點(diǎn)(例如data1、data2、H1、H2)的后驗(yàn)概率分布,后者直接轉(zhuǎn)換為要寫(xiě)入測(cè)試生成器參數(shù)文件中的權(quán)重集,調(diào)整前后的激勵(lì)變量權(quán)重分布對(duì)比如圖6所示。

    實(shí)驗(yàn)結(jié)果表明,使用CDG技術(shù)能夠?qū)崿F(xiàn)34個(gè)測(cè)試用例之后覆蓋100%的功能點(diǎn),而用戶(hù)自定義的測(cè)試用例在60個(gè)測(cè)試用例之后才能實(shí)現(xiàn)功能點(diǎn)的全覆蓋[14-15]。使用CDG技術(shù)的測(cè)試用例數(shù)量與使用隨機(jī)測(cè)試用例技術(shù)的測(cè)試用例數(shù)量對(duì)比如圖7所示。該建模技術(shù)能夠有效實(shí)現(xiàn)覆蓋率的目標(biāo),對(duì)難以覆蓋的情況更容易達(dá)到,覆蓋率可以實(shí)現(xiàn)更快收斂,節(jié)省了時(shí)間。

    3 結(jié)語(yǔ)

    本文提出了一種面向覆蓋的測(cè)試用例生成方法,實(shí)驗(yàn)結(jié)果表明,該建模技術(shù)利用節(jié)點(diǎn)的先驗(yàn)概率與后驗(yàn)概率,可以在毫不了解設(shè)計(jì)的情況下有目的地修正覆蓋率漏洞,達(dá)到覆蓋率快速收斂的效果。該建模技術(shù)能夠有效實(shí)現(xiàn)CDG的目標(biāo),即邊界情況更容易覆蓋到,覆蓋率更容易收斂。本文研究為芯片的功能驗(yàn)證提供了切實(shí)可行的新思路,未來(lái)還可以繼續(xù)深入研究動(dòng)態(tài)貝葉斯網(wǎng)絡(luò),即將時(shí)間對(duì)貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)的影響考慮進(jìn)來(lái),從而對(duì)隨機(jī)過(guò)程中的時(shí)間依賴(lài)性進(jìn)行建模。此外,可進(jìn)一步集成專(zhuān)家領(lǐng)域知識(shí),確定貝葉斯網(wǎng)絡(luò)中的隱藏節(jié)點(diǎn),精細(xì)化貝葉斯網(wǎng)絡(luò)結(jié)構(gòu),從而實(shí)現(xiàn)覆蓋模型的不同路徑覆蓋,提高芯片隱藏漏洞發(fā)現(xiàn)幾率。

    參考文獻(xiàn):

    [1] BERGERON J. Writing testbenches: functional verification? of HDL models[M]. Dordrecht: Kluwer Academic Publishers,2000.

    [2] ANDREW P. Functional verification[M].Functional Verification Coverage Measurement and Analysis. 2004.

    [3] CIEPLUCHA M. Metric-driven verification methodology with regression management[J]. Journal of Electronic Testing,2019,35(1):101-110.

    [4] GLENN S,MEIL G,RODRIGUEZ E,et al. Functional design verification for the PowerPC 601 microprocessor[C].Proceedings of 12th IEEE on VLSI Test Symposium,1994.

    [5] KANTROWITZ M,NOACK L M. I'm done simulating; now what? verification coverage analysis and correctness checking of the DECchip 21164 Alpha microprocessor[C].Proceedings of 33rd IEEE,Design Automation Conference,1996:325-330.

    [6] MEYER,ANDREAS.Principles of functional verification[M]. Oxford: Newnes,2003.

    [7] CHEN W,WANG L C,BHADRA J,et al. Simulation knowledge extraction and reuse in constrained random processor verification[C]. 2013 50th ACM/ EDAC/IEEEDesign Automation Conference,2013:1-6.

    [8] GANAPATHY G,NARAYAN R,JORDEN G,et al. Hardware emulation for functional verification of K5[C].33rd Design Automation Conference,1996:315-318.

    [9] STAATS M,GAY G,WHALEN M,et al. On the danger of coverage directed test case generation[J]. Macromolecules,2012,31(15):409-424.

    [10] GRINWALD R,HAREL E,ORGAD M,et al. User defined coverage——a tool supported methodology for design verification[C].California:Proceedings of the 35th Design Automation Conference,1998:158-165.

    [11] WILE B, GOSS J C, ROESNER W.全面的功能驗(yàn)證[M].北京:機(jī)械工業(yè)出版社,2017.

    [12] BOSE,MRINAL. Automatic bias generation for biased random instruction generation[C].Seoul: CEC2001: Congress on Evolutionary Computing,2001.

    [13] TASIRAN S,F(xiàn)ALLAH F,CHINNERY D G,et al. A functional validation technique: biased-random simulation guided by observability-based coverage[C].19th International Conference on Computer Design, 2001:82-88.

    [14] NATIV G,MITTENNAIER S,UR S,et al.Cost evaluation of coverage directed test generation for the IBM mainframe[C].Proceedings of International Test Conference,2001:793-802.

    [15] UR S,YADIN Y.Micro-architecture coverage directed generation of test programs[C].Proceedings of the 36th Design Automation Conference,1999:175-180.

    [16] MUSTAIN,BRIAN C.Correlation and Causation[J]. Science News,2013,121(24):387.

    [17] 周忠寶,董豆豆,周經(jīng)倫. 貝葉斯網(wǎng)絡(luò)在可靠性分析中的應(yīng)用[J].系統(tǒng)工程理論與實(shí)踐,2006,26(6):95-100.

    [18] PEARL J.Probabilistic reasoning in intelligent systems:network of plausible inference[M].San Francisco:Morgan Kaufmann Publishers,1988.

    [19] RUPPERT,DAVID.Probabilistic networks and expert systems[J].Journal of the American Statistical Association,2001,96(456):1524-1524.

    [20] 譚國(guó)蘋(píng).含有隱藏變量的貝葉斯網(wǎng)絡(luò)的學(xué)習(xí)與應(yīng)用[D].北京:中央民族大學(xué),2015.

    [21] ZION K, STEVEN J E,WILTON S J E. Register file architecture optimization in a coarse-grained reconfigurable architecture[C].Proceedings of the 13th Annual IEEE Symposium on Field-Programmable Custom Computing Machines,2005:1-10.

    [22] YANG C,LIU L B,WANG Y S,et al. Configuration approaches to enhance computing efficiency of coarse-grained reconfigurable array[J]. Journal of Circuits,Systems and Computers,2015,24(3):1550043.

    [23] GANGHEE L,SEOKHYUN L,KIYOUNG C,et al. Routing-aware application mapping considering steiner points for coarse-grained reconfigurable architecture[C].6th International Workshop on Applied Reconfigurable Computing,2010: 231-243.

    (責(zé)任編輯:孫 娟)

    猜你喜歡
    貝葉斯網(wǎng)絡(luò)機(jī)器學(xué)習(xí)覆蓋率
    民政部等16部門(mén):到2025年村級(jí)綜合服務(wù)設(shè)施覆蓋率超80%
    我國(guó)全面實(shí)施種業(yè)振興行動(dòng) 農(nóng)作物良種覆蓋率超過(guò)96%
    無(wú)人機(jī)數(shù)據(jù)鏈測(cè)試與評(píng)估研究
    科技資訊(2016年25期)2016-12-27 16:22:32
    基于貝葉斯網(wǎng)絡(luò)的流域內(nèi)水文事件豐枯遭遇研究
    基于機(jī)器學(xué)習(xí)的圖像特征提取技術(shù)在圖像版權(quán)保護(hù)中的應(yīng)用
    基于網(wǎng)絡(luò)搜索數(shù)據(jù)的平遙旅游客流量預(yù)測(cè)分析
    前綴字母為特征在維吾爾語(yǔ)文本情感分類(lèi)中的研究
    基于興趣預(yù)測(cè)和熱點(diǎn)分析的聯(lián)合推薦算法研究 
    基于支持向量機(jī)的金融數(shù)據(jù)分析研究
    基于噴丸隨機(jī)模型的表面覆蓋率計(jì)算方法
    国产极品天堂在线| 欧美一级a爱片免费观看看| 亚洲精品456在线播放app| 99热这里只有精品一区| 欧美3d第一页| 国产精品久久久久久久久免| 国产精品国产三级国产专区5o| 99热6这里只有精品| 我要看黄色一级片免费的| 久久国产亚洲av麻豆专区| 最近中文字幕高清免费大全6| 国产成人免费观看mmmm| 国产亚洲5aaaaa淫片| 亚洲性久久影院| 欧美丝袜亚洲另类| 午夜激情福利司机影院| 日韩一区二区三区影片| 99热全是精品| 日本黄色片子视频| 亚洲国产成人一精品久久久| 老熟女久久久| 青春草视频在线免费观看| 亚洲精品色激情综合| 2018国产大陆天天弄谢| 菩萨蛮人人尽说江南好唐韦庄| 三级国产精品片| 成年人午夜在线观看视频| 国产视频内射| 国产精品国产三级国产专区5o| 麻豆精品久久久久久蜜桃| 国产精品一二三区在线看| 成年免费大片在线观看| 如何舔出高潮| 久久久久网色| 久久久久国产精品人妻一区二区| 久久99热6这里只有精品| 午夜精品国产一区二区电影| 国产av一区二区精品久久 | 欧美激情国产日韩精品一区| .国产精品久久| 两个人的视频大全免费| 国产精品无大码| 26uuu在线亚洲综合色| 成人国产av品久久久| 国产国拍精品亚洲av在线观看| 啦啦啦视频在线资源免费观看| 国产无遮挡羞羞视频在线观看| 80岁老熟妇乱子伦牲交| 日韩人妻高清精品专区| 国产精品欧美亚洲77777| 亚洲欧美中文字幕日韩二区| a级一级毛片免费在线观看| 午夜福利网站1000一区二区三区| 黑人猛操日本美女一级片| 国产精品久久久久久精品电影小说 | 亚洲性久久影院| 日产精品乱码卡一卡2卡三| 麻豆国产97在线/欧美| 在线 av 中文字幕| 免费看不卡的av| 婷婷色麻豆天堂久久| 国产精品欧美亚洲77777| 最近2019中文字幕mv第一页| 欧美变态另类bdsm刘玥| 国产乱人视频| 国产高清国产精品国产三级 | 99热国产这里只有精品6| 亚洲aⅴ乱码一区二区在线播放| 男人狂女人下面高潮的视频| 三级经典国产精品| 一本色道久久久久久精品综合| 性色avwww在线观看| 亚洲国产精品国产精品| 制服丝袜香蕉在线| 成人18禁高潮啪啪吃奶动态图 | 久久毛片免费看一区二区三区| 国产色婷婷99| 成人免费观看视频高清| 午夜福利在线在线| 免费人妻精品一区二区三区视频| 精品国产乱码久久久久久小说| 久久久成人免费电影| 黑人高潮一二区| 亚洲国产精品一区三区| 一区二区三区乱码不卡18| 色视频www国产| 99久久人妻综合| 国产伦理片在线播放av一区| 亚洲经典国产精华液单| 22中文网久久字幕| 3wmmmm亚洲av在线观看| 一本色道久久久久久精品综合| 日本爱情动作片www.在线观看| 国产精品久久久久成人av| 免费黄网站久久成人精品| 成人亚洲精品一区在线观看 | 亚洲精品成人av观看孕妇| 亚洲精华国产精华液的使用体验| 少妇人妻一区二区三区视频| 国产成人免费无遮挡视频| 亚洲av不卡在线观看| 狠狠精品人妻久久久久久综合| 免费人成在线观看视频色| 国产成人精品福利久久| 亚洲成人av在线免费| 在线观看免费日韩欧美大片 | 日韩不卡一区二区三区视频在线| 亚洲va在线va天堂va国产| 黄色欧美视频在线观看| 这个男人来自地球电影免费观看 | 夫妻性生交免费视频一级片| 最黄视频免费看| 女人十人毛片免费观看3o分钟| 欧美高清性xxxxhd video| av福利片在线观看| 欧美另类一区| 午夜精品国产一区二区电影| 欧美区成人在线视频| 亚洲av.av天堂| 免费观看的影片在线观看| 日韩视频在线欧美| 国产午夜精品久久久久久一区二区三区| 视频中文字幕在线观看| 亚洲精品一区蜜桃| 免费观看av网站的网址| 超碰av人人做人人爽久久| 国产在线视频一区二区| 各种免费的搞黄视频| 日本一二三区视频观看| 日韩欧美一区视频在线观看 | 久久久久人妻精品一区果冻| 亚洲不卡免费看| 国产熟女欧美一区二区| 精品久久久久久久久av| 久久精品国产亚洲网站| 少妇高潮的动态图| 日日撸夜夜添| 欧美3d第一页| 国产男女超爽视频在线观看| 夫妻午夜视频| 国产精品99久久99久久久不卡 | 久久久欧美国产精品| 国产又色又爽无遮挡免| 欧美xxⅹ黑人| 国产精品成人在线| 国产成人91sexporn| 欧美少妇被猛烈插入视频| 国产精品久久久久久av不卡| 欧美xxxx性猛交bbbb| 97在线人人人人妻| 一个人看视频在线观看www免费| 大话2 男鬼变身卡| 亚洲国产av新网站| av在线播放精品| 久久久久国产精品人妻一区二区| 黄色欧美视频在线观看| 一级毛片黄色毛片免费观看视频| 男女下面进入的视频免费午夜| 精品少妇久久久久久888优播| 亚洲人成网站在线播| 插逼视频在线观看| 激情 狠狠 欧美| 女的被弄到高潮叫床怎么办| 亚洲av欧美aⅴ国产| 搡老乐熟女国产| 欧美日韩亚洲高清精品| 寂寞人妻少妇视频99o| 成人18禁高潮啪啪吃奶动态图 | 最近最新中文字幕免费大全7| 一级毛片电影观看| 啦啦啦中文免费视频观看日本| 国产片特级美女逼逼视频| 免费在线观看成人毛片| 国产 一区 欧美 日韩| www.av在线官网国产| 日本av免费视频播放| 麻豆国产97在线/欧美| 大香蕉97超碰在线| 亚洲av在线观看美女高潮| 伊人久久精品亚洲午夜| 国产极品天堂在线| av一本久久久久| 国产老妇伦熟女老妇高清| 日日啪夜夜爽| 老司机影院毛片| 日韩制服骚丝袜av| 亚洲av免费高清在线观看| 午夜免费男女啪啪视频观看| 色吧在线观看| 国产精品久久久久久久久免| 日韩人妻高清精品专区| 大片免费播放器 马上看| 人妻 亚洲 视频| 精华霜和精华液先用哪个| 亚洲va在线va天堂va国产| 国产又色又爽无遮挡免| av又黄又爽大尺度在线免费看| 久久人人爽人人片av| 一个人看的www免费观看视频| 国产精品三级大全| 晚上一个人看的免费电影| 肉色欧美久久久久久久蜜桃| 啦啦啦中文免费视频观看日本| 国产日韩欧美在线精品| 最新中文字幕久久久久| 久久精品国产亚洲网站| 在线看a的网站| 青青草视频在线视频观看| 国产日韩欧美亚洲二区| 午夜日本视频在线| 一区二区三区乱码不卡18| 中文资源天堂在线| 国产一区亚洲一区在线观看| 一级av片app| 男女免费视频国产| 欧美zozozo另类| 免费人成在线观看视频色| 3wmmmm亚洲av在线观看| 亚洲精品成人av观看孕妇| 色网站视频免费| 成人18禁高潮啪啪吃奶动态图 | 欧美xxxx黑人xx丫x性爽| h视频一区二区三区| 精品国产三级普通话版| 国产乱来视频区| av福利片在线观看| 国产高清有码在线观看视频| 91精品一卡2卡3卡4卡| 亚洲av.av天堂| 欧美丝袜亚洲另类| 纵有疾风起免费观看全集完整版| 久久午夜福利片| 久久亚洲国产成人精品v| 亚洲av男天堂| 女的被弄到高潮叫床怎么办| 日日啪夜夜撸| 国产老妇伦熟女老妇高清| 伦理电影大哥的女人| 欧美另类一区| 日韩电影二区| 国产一区亚洲一区在线观看| av黄色大香蕉| 国产一区二区在线观看日韩| 久久精品国产亚洲网站| 国产女主播在线喷水免费视频网站| 91久久精品国产一区二区成人| 成人一区二区视频在线观看| 97超视频在线观看视频| 久久久久久久国产电影| 日本av免费视频播放| 国产片特级美女逼逼视频| 亚洲色图av天堂| 亚洲av电影在线观看一区二区三区| 在线观看人妻少妇| 男女下面进入的视频免费午夜| 亚洲精品第二区| 国产av码专区亚洲av| 少妇裸体淫交视频免费看高清| 日本欧美视频一区| 日本vs欧美在线观看视频 | 久久久久久久久久成人| 97在线视频观看| 精品亚洲乱码少妇综合久久| 最新中文字幕久久久久| 国产91av在线免费观看| 国产精品成人在线| 日韩 亚洲 欧美在线| 国产有黄有色有爽视频| 美女福利国产在线 | 国产欧美另类精品又又久久亚洲欧美| 少妇人妻精品综合一区二区| 在线看a的网站| 男男h啪啪无遮挡| 亚洲人成网站在线观看播放| 亚洲欧洲日产国产| 一个人免费看片子| 亚洲国产精品专区欧美| 欧美成人精品欧美一级黄| 在线观看av片永久免费下载| 美女cb高潮喷水在线观看| 亚洲最大成人中文| 久久综合国产亚洲精品| av视频免费观看在线观看| 久久久久久久久大av| 天堂俺去俺来也www色官网| 国产免费福利视频在线观看| 亚洲aⅴ乱码一区二区在线播放| 亚洲精品一二三| 九色成人免费人妻av| 精品亚洲成国产av| 亚洲怡红院男人天堂| 国产精品伦人一区二区| 国产免费一级a男人的天堂| 日韩成人av中文字幕在线观看| 免费在线观看成人毛片| 欧美成人一区二区免费高清观看| 特大巨黑吊av在线直播| 亚洲国产精品999| 日韩精品有码人妻一区| 99久国产av精品国产电影| 99久久精品一区二区三区| av网站免费在线观看视频| 九色成人免费人妻av| 99热全是精品| 欧美区成人在线视频| 久久国产亚洲av麻豆专区| 国产成人一区二区在线| 久久ye,这里只有精品| 久久久久久久亚洲中文字幕| 亚洲av男天堂| 中文在线观看免费www的网站| 美女主播在线视频| 成人二区视频| 一区在线观看完整版| 人妻系列 视频| 1000部很黄的大片| av女优亚洲男人天堂| 99视频精品全部免费 在线| 卡戴珊不雅视频在线播放| 亚洲性久久影院| 国产视频首页在线观看| 在线播放无遮挡| 精品久久国产蜜桃| 久热这里只有精品99| 午夜激情久久久久久久| 欧美一级a爱片免费观看看| 我的女老师完整版在线观看| 国产在线一区二区三区精| 99热国产这里只有精品6| 一级av片app| 亚洲欧美精品专区久久| 性色av一级| 国产极品天堂在线| 国产亚洲一区二区精品| 亚洲av国产av综合av卡| 少妇 在线观看| 边亲边吃奶的免费视频| 国产美女午夜福利| 久久热精品热| 国产中年淑女户外野战色| 1000部很黄的大片| 熟女人妻精品中文字幕| 三级国产精品欧美在线观看| 国产亚洲最大av| 国产v大片淫在线免费观看| 边亲边吃奶的免费视频| 中文乱码字字幕精品一区二区三区| 99精国产麻豆久久婷婷| 美女cb高潮喷水在线观看| 人体艺术视频欧美日本| 国产精品久久久久成人av| 国产熟女欧美一区二区| 热99国产精品久久久久久7| 人人妻人人澡人人爽人人夜夜| 亚洲aⅴ乱码一区二区在线播放| 久久鲁丝午夜福利片| 国产黄片视频在线免费观看| 日本黄色日本黄色录像| 国产成人免费无遮挡视频| 欧美激情极品国产一区二区三区 | 人妻 亚洲 视频| 精品久久国产蜜桃| 午夜免费男女啪啪视频观看| 欧美性感艳星| 国产精品99久久久久久久久| 亚洲欧美日韩卡通动漫| 精品酒店卫生间| 久久97久久精品| 大香蕉久久网| 欧美成人a在线观看| 人人妻人人澡人人爽人人夜夜| 嫩草影院入口| 亚洲国产高清在线一区二区三| 成人无遮挡网站| av天堂中文字幕网| 大香蕉97超碰在线| 国内少妇人妻偷人精品xxx网站| 国产精品一区www在线观看| 国产免费一级a男人的天堂| 国产片特级美女逼逼视频| 91久久精品电影网| 亚洲欧美中文字幕日韩二区| 午夜福利在线在线| 美女视频免费永久观看网站| 国产一区二区在线观看日韩| 高清在线视频一区二区三区| 精品一区二区免费观看| 国产色爽女视频免费观看| 国产一区亚洲一区在线观看| 午夜免费观看性视频| 色哟哟·www| h视频一区二区三区| 欧美另类一区| 久久久久久久久久成人| 视频中文字幕在线观看| 在线观看免费视频网站a站| 国产午夜精品久久久久久一区二区三区| 久久人妻熟女aⅴ| 久久久精品94久久精品| 又爽又黄a免费视频| 亚洲精品自拍成人| 午夜福利视频精品| 小蜜桃在线观看免费完整版高清| 日韩制服骚丝袜av| 欧美丝袜亚洲另类| 亚洲欧美一区二区三区黑人 | 亚洲av国产av综合av卡| 日韩免费高清中文字幕av| 国产探花极品一区二区| 一边亲一边摸免费视频| 国产久久久一区二区三区| 亚洲精品,欧美精品| 亚洲欧美中文字幕日韩二区| 人体艺术视频欧美日本| 卡戴珊不雅视频在线播放| 大香蕉久久网| 久久人人爽av亚洲精品天堂 | 久久精品久久精品一区二区三区| 欧美最新免费一区二区三区| 高清欧美精品videossex| 亚洲第一区二区三区不卡| 老司机影院成人| 91久久精品电影网| 欧美3d第一页| 菩萨蛮人人尽说江南好唐韦庄| 久久久a久久爽久久v久久| 国产欧美另类精品又又久久亚洲欧美| 国产在线男女| 免费观看性生交大片5| 国产成人精品福利久久| 美女cb高潮喷水在线观看| 日韩欧美 国产精品| 狂野欧美激情性bbbbbb| 亚洲熟女精品中文字幕| 国产日韩欧美亚洲二区| 亚洲国产欧美人成| 久久精品国产亚洲av涩爱| 毛片一级片免费看久久久久| av.在线天堂| 熟女人妻精品中文字幕| 欧美日韩视频精品一区| 毛片女人毛片| 国产高潮美女av| 国产乱来视频区| 最黄视频免费看| 乱码一卡2卡4卡精品| 高清av免费在线| 欧美老熟妇乱子伦牲交| 久久青草综合色| 久久精品国产亚洲av涩爱| 亚洲av日韩在线播放| 国模一区二区三区四区视频| 成人毛片a级毛片在线播放| 三级国产精品片| 最黄视频免费看| 国产大屁股一区二区在线视频| 国产男女内射视频| 尾随美女入室| 王馨瑶露胸无遮挡在线观看| 欧美精品人与动牲交sv欧美| 国产一级毛片在线| 国产成人91sexporn| 联通29元200g的流量卡| 欧美性感艳星| 成人亚洲欧美一区二区av| 大香蕉97超碰在线| 只有这里有精品99| 国产爽快片一区二区三区| 久久久久视频综合| 欧美日本视频| 91精品伊人久久大香线蕉| 免费观看在线日韩| a级毛色黄片| 欧美bdsm另类| 亚洲人成网站高清观看| 亚洲国产精品一区三区| 国产高清不卡午夜福利| 亚洲国产色片| 婷婷色综合大香蕉| 国产成人a区在线观看| 亚洲国产欧美人成| 欧美激情极品国产一区二区三区 | 国产免费一级a男人的天堂| 我要看黄色一级片免费的| 日韩一区二区三区影片| 成人免费观看视频高清| 日本爱情动作片www.在线观看| 亚洲欧美成人精品一区二区| 丰满乱子伦码专区| 又爽又黄a免费视频| 26uuu在线亚洲综合色| 国产精品久久久久久久久免| 国产亚洲5aaaaa淫片| 99久久综合免费| 乱系列少妇在线播放| 99视频精品全部免费 在线| 伦理电影免费视频| 国产免费又黄又爽又色| 一本—道久久a久久精品蜜桃钙片| 蜜桃亚洲精品一区二区三区| 91久久精品电影网| 春色校园在线视频观看| 老司机影院毛片| 91精品国产国语对白视频| 日本黄色日本黄色录像| 最近中文字幕高清免费大全6| 国产探花极品一区二区| 精品少妇久久久久久888优播| 一个人看视频在线观看www免费| 人人妻人人添人人爽欧美一区卜 | 欧美区成人在线视频| 亚洲国产最新在线播放| 大陆偷拍与自拍| 一区二区三区乱码不卡18| 全区人妻精品视频| 免费观看的影片在线观看| 成年美女黄网站色视频大全免费 | 晚上一个人看的免费电影| 国产在视频线精品| 99久久中文字幕三级久久日本| av又黄又爽大尺度在线免费看| 久久久久视频综合| 亚洲欧美一区二区三区国产| 国产熟女欧美一区二区| 欧美性感艳星| 亚洲第一av免费看| 亚洲精品,欧美精品| 97精品久久久久久久久久精品| av天堂中文字幕网| 色视频在线一区二区三区| 人妻 亚洲 视频| 亚洲美女视频黄频| 国产精品久久久久久久久免| 免费观看av网站的网址| 久久青草综合色| 欧美97在线视频| 少妇人妻一区二区三区视频| 97精品久久久久久久久久精品| 天天躁夜夜躁狠狠久久av| 嫩草影院入口| 国产高清不卡午夜福利| 大片免费播放器 马上看| 99国产精品免费福利视频| 成人18禁高潮啪啪吃奶动态图 | 美女高潮的动态| 人妻一区二区av| 日韩av不卡免费在线播放| 久久午夜福利片| 少妇精品久久久久久久| 国产精品久久久久久久电影| 国内揄拍国产精品人妻在线| 在线观看美女被高潮喷水网站| 国产亚洲av片在线观看秒播厂| 亚洲av男天堂| 在线观看人妻少妇| 99久久精品热视频| 狠狠精品人妻久久久久久综合| 五月伊人婷婷丁香| 美女视频免费永久观看网站| 身体一侧抽搐| 女人十人毛片免费观看3o分钟| 精品少妇黑人巨大在线播放| 我要看日韩黄色一级片| 久久久精品免费免费高清| 亚洲内射少妇av| 成人综合一区亚洲| 中文精品一卡2卡3卡4更新| 亚洲图色成人| 日本午夜av视频| 91精品国产九色| 日本色播在线视频| 国产精品久久久久久精品电影小说 | 久久这里有精品视频免费| 菩萨蛮人人尽说江南好唐韦庄| 久久久久久久国产电影| 1000部很黄的大片| 少妇裸体淫交视频免费看高清| 97超碰精品成人国产| 观看av在线不卡| 97精品久久久久久久久久精品| 两个人的视频大全免费| 日本猛色少妇xxxxx猛交久久| 男人狂女人下面高潮的视频| 不卡视频在线观看欧美| 国产一区二区在线观看日韩| 国模一区二区三区四区视频| 久久久久久久亚洲中文字幕| 亚洲怡红院男人天堂| 久久精品国产亚洲av天美| 精华霜和精华液先用哪个| 蜜桃亚洲精品一区二区三区| 哪个播放器可以免费观看大片| 亚洲精品成人av观看孕妇| 男女啪啪激烈高潮av片| 51国产日韩欧美| 22中文网久久字幕| 国产黄色视频一区二区在线观看| 永久网站在线| 能在线免费看毛片的网站| 一个人看视频在线观看www免费| 亚洲av福利一区| 精品人妻一区二区三区麻豆| 久久国产乱子免费精品| 韩国高清视频一区二区三区| 少妇人妻一区二区三区视频| 中文字幕亚洲精品专区| 欧美xxⅹ黑人| 王馨瑶露胸无遮挡在线观看| 99精国产麻豆久久婷婷| 久久午夜福利片| 美女中出高潮动态图| 国产黄频视频在线观看| 91久久精品国产一区二区成人| 国产免费又黄又爽又色| 久久久久精品久久久久真实原创|