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

    基于啟發(fā)式搜索的浮點(diǎn)表達(dá)式設(shè)計空間探索方法

    2020-09-29 06:56:42董霄霄黃程程任崇廣
    計算機(jī)應(yīng)用 2020年9期
    關(guān)鍵詞:浮點(diǎn)計算精度等價

    李 釗,董霄霄,黃程程,任崇廣

    (山東理工大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院,山東淄博 255000)

    0 引言

    隨著信號處理和圖像處理等在現(xiàn)場可編程門陣列(Field Programmable Gate Array,F(xiàn)PGA)上的廣泛應(yīng)用,浮點(diǎn)計算在FPGA 上的應(yīng)用變得越來越流行[1-4]。浮點(diǎn)數(shù)可以增加數(shù)據(jù)的表示范圍,但是浮點(diǎn)計算的誤差也會導(dǎo)致最終結(jié)果不準(zhǔn)確。根據(jù)IEEE 754 標(biāo)準(zhǔn),通過加、減或乘兩個浮點(diǎn)數(shù)產(chǎn)生的計算結(jié)果都應(yīng)四舍五入為IEEE 754 浮點(diǎn)數(shù)格式,這種舍入是浮點(diǎn)計算不準(zhǔn)確的原因。當(dāng)浮點(diǎn)數(shù)格式固定的前提下,浮點(diǎn)計算的誤差主要取決于浮點(diǎn)表達(dá)式的形式。例如:表達(dá)式(x+y)2可表示為(x+y)×(x+y)和x×(x+y)+y×(x+y)等不同的形式,當(dāng)x的取值范圍為[0,0.000 02],y的取值范圍為[20,21]時,兩個表達(dá)式的表示范圍分別為[-5.53×10-5,5.53×10-5]和[-5.05×10-5,5.05×10-5],從而產(chǎn)生不同的誤差[5]。

    浮點(diǎn)計算在FPGA 平臺上實(shí)現(xiàn)時,若浮點(diǎn)數(shù)格式固定,資源消耗主要取決于浮點(diǎn)表達(dá)式的形式。例如:表達(dá)式(x+y)×(x+y)需要一個乘法器和兩個加法器,而表達(dá)式x(x+y)+y(x+y)需要兩個乘法器和三個加法器,表達(dá)式(x+y)×(x+y)消耗更少的資源。因此通過優(yōu)化浮點(diǎn)表達(dá)式的結(jié)構(gòu),可實(shí)現(xiàn)資源消耗的優(yōu)化。

    浮點(diǎn)計算還需考慮計算時間,計算時間主要依賴于浮點(diǎn)運(yùn)算器的流水線深度以及浮點(diǎn)表達(dá)式的形式。當(dāng)浮點(diǎn)運(yùn)算器確定的前提下,可以通過改變浮點(diǎn)表達(dá)式的形式來改變計算時間。例如:若采用相同的浮點(diǎn)運(yùn)算器,表達(dá)式(x+y)×(x+y)可設(shè)計兩級流水線結(jié)構(gòu)完成計算,而表達(dá)式x(x+y)+y(x+y)需要設(shè)計三級流水線結(jié)構(gòu)完成計算,表達(dá)式(x+y)×(x+y)具有更短的計算時間。

    一個浮點(diǎn)表達(dá)式經(jīng)過因式分解和提取公因數(shù)等方法進(jìn)行變形后可生成大量等價的浮點(diǎn)表達(dá)式,例如:x2+xz+z(x+y+z)+y(2x+y+z)可產(chǎn)生698 個等價表達(dá)式,每個表達(dá)式具有不同的計算精度,而且資源消耗和計算時間也不同??刹捎酶↑c(diǎn)運(yùn)算器的結(jié)構(gòu)優(yōu)化、指數(shù)和尾數(shù)位寬調(diào)節(jié)和等價表達(dá)式的設(shè)計空間探索等方法,實(shí)現(xiàn)浮點(diǎn)計算在FPGA 上的優(yōu)化。

    文獻(xiàn)[6]中采用半單元偏置格式設(shè)計浮點(diǎn)加法器和乘法器,以降低浮點(diǎn)運(yùn)算器的資源消耗并提高計算速度。文獻(xiàn)[7]中提出了一種新的位對重編碼算法,該算法可有效減少浮點(diǎn)乘法運(yùn)算中部分積行數(shù),并減少與多路復(fù)用器、移位器和加法器相關(guān)聯(lián)的部分積的數(shù)量,與全精度乘法器相比可節(jié)省49%的面積和44.2%的功耗。文獻(xiàn)[8]中采用Newton-Raphson 迭代方法設(shè)計了一種32 位流水線浮點(diǎn)除法器,該除法器支持IEEE 754 標(biāo)準(zhǔn)中指定的所有類型的數(shù)據(jù),該方案與現(xiàn)有方法相比需要多消耗30%的功耗,但所提出的流水線方法顯著降低了計算時間。文獻(xiàn)[5]中提出OptiFEX 優(yōu)化框架,可根據(jù)數(shù)據(jù)輸入范圍和最大允許誤差等參數(shù),調(diào)節(jié)浮點(diǎn)運(yùn)算器指數(shù)和尾數(shù)的位寬,從而減少資源消耗,提高計算效率。

    對浮點(diǎn)運(yùn)算器進(jìn)行優(yōu)化,可減少運(yùn)算器的資源消耗,并有效提高計算效率,但是浮點(diǎn)計算多為多個浮點(diǎn)數(shù)的混合運(yùn)算,浮點(diǎn)表達(dá)式的結(jié)構(gòu)也是制約浮點(diǎn)計算優(yōu)化的關(guān)鍵。

    文獻(xiàn)[9]中設(shè)置一組關(guān)于資源消耗、計算時間和精度的約束條件,并從等價表達(dá)式集合中選擇滿足約束的等價表達(dá)式,從而完成設(shè)計空間的探索。利用該方法選擇的表達(dá)式雖然滿足約束條件,但仍可能是可支配的,因此選擇的表達(dá)式不一定是最優(yōu)表達(dá)式。文獻(xiàn)[10]中通過迭代分解的方法對初始浮點(diǎn)表達(dá)式進(jìn)行變形,在迭代過程中采用Pareto 算法刪除非最優(yōu)的表達(dá)式,從而減少等價表達(dá)式的數(shù)量,然后從剩余表達(dá)式中選擇資源消耗和計算時間最優(yōu)的浮點(diǎn)表達(dá)式。該方法在探索過程中對可支配等價表達(dá)式及其后繼表達(dá)式進(jìn)行了刪減,其探索過程不能覆蓋整個搜索空間,因此其選擇的非支配表達(dá)式的資源消耗、計算時間和精度等性能可能不是最優(yōu)的。

    針對上述問題,本文提出一種新的浮點(diǎn)表達(dá)式設(shè)計空間探索的方法,該方法不僅對非支配表達(dá)式的鄰域進(jìn)行空間探索,同時對可支配列表中的表達(dá)式進(jìn)行再次評估,選擇該列表中非支配表達(dá)式,并對其鄰域進(jìn)行探索,最后再次對非支配列表中的等價表達(dá)式進(jìn)行探索,得到最優(yōu)的浮點(diǎn)表達(dá)式。該方法可對給定的浮點(diǎn)表達(dá)式及其等價表達(dá)式進(jìn)行探索,探索過程基本覆蓋整個搜索空間,根據(jù)優(yōu)化目標(biāo)和約束條件選擇最優(yōu)的等價表達(dá)式,因此不會引入浮點(diǎn)數(shù)處理的錯誤;同時該方法有效提高了非支配列表中非支配表達(dá)式的多樣性和隨機(jī)性,提高了最優(yōu)表達(dá)式的性能指標(biāo)。

    1 產(chǎn)生等價表達(dá)式的方法

    浮點(diǎn)表達(dá)式在等價變換過程中,以不同的等價表達(dá)式為起點(diǎn),可能會重復(fù)出現(xiàn)同一個表達(dá)式,如圖1 中,表達(dá)式x(x+y)+y(x+y)重復(fù)出現(xiàn)兩次。若多次對同一個表達(dá)式進(jìn)行性能評估會影響空間探索的效率。

    圖1 浮點(diǎn)表達(dá)式變換示例Fig.1 Example for floating-point expression transformation

    本文參考文獻(xiàn)[5]中的方法實(shí)現(xiàn)了等價表達(dá)式的變換。首先對初始表達(dá)式進(jìn)行因式分解,直到表達(dá)式不能進(jìn)一步分解,然后對分解后的表達(dá)式進(jìn)行迭代提取公因式,直到?jīng)]有新的等價表達(dá)式產(chǎn)生。例如對(x+y)2的變換過程如圖2 所示,采用該方法可有效避免在等價變換過程中重復(fù)出現(xiàn)同一表達(dá)式。

    圖2 (x+y)2的等價變換過程Fig.2 Equivalent transformation process of(x+y)2

    2 設(shè)計空間探索方法

    設(shè)計空間探索是一個多目標(biāo)優(yōu)化過程,可實(shí)現(xiàn)多目標(biāo)的折中[11-13]。為了提高設(shè)計空間探索的效率,需要根據(jù)優(yōu)化目標(biāo),設(shè)計目標(biāo)函數(shù)以及相關(guān)約束,并在設(shè)計空間探索過程中對每個設(shè)計個體的性能進(jìn)行評估,判斷是否滿足目標(biāo)函數(shù)。另外需要設(shè)計搜索算法,利用該算法選擇下一步要評估的個體,將設(shè)計空間引導(dǎo)到符合優(yōu)化目標(biāo)的區(qū)域。

    2.1 優(yōu)化目標(biāo)函數(shù)

    浮點(diǎn)表達(dá)式在設(shè)計空間探索過程中,會產(chǎn)生多個等價的表達(dá)式,表達(dá)式的精度、計算時間以及資源消耗等都會有所不同。設(shè)計空間探索的目的是依據(jù)優(yōu)化目標(biāo),將設(shè)計空間引導(dǎo)到符合優(yōu)化目標(biāo)的區(qū)域。浮點(diǎn)表達(dá)式設(shè)計空間探索的優(yōu)化目標(biāo)函數(shù)如式(1):

    其中:P為浮點(diǎn)表達(dá)式的計算精度,可由式(2)計算得到,為表達(dá)式以更高指數(shù)和尾數(shù)長度表示的計算結(jié)果Fr(xr1,xr2,…,xrn)與當(dāng)前參與空間探索的表達(dá)式的計算結(jié)果Ff(xf1,xf2,…,xfn)之差的絕對值,其值越小表示計算精度越高,例如當(dāng)前參與計算的為IEEE754 標(biāo)準(zhǔn)的32 位浮點(diǎn)數(shù),則采用IEEE754標(biāo)準(zhǔn)的64位浮點(diǎn)數(shù)作為參考數(shù)據(jù)。D為浮點(diǎn)表達(dá)式在FPGA 上實(shí)現(xiàn)后從輸入浮點(diǎn)數(shù)據(jù)到輸出計算結(jié)果的時間,由關(guān)鍵路徑上各處理單元的計算時間之和計算得到,如式(3)所示,m為關(guān)鍵路徑上處理單元的數(shù)量。R為FPGA 上實(shí)現(xiàn)浮點(diǎn)計算的資源消耗,由各個處理單元的資源消耗之和計算得到,如式(4)所示,t為浮點(diǎn)運(yùn)算所需處理單元的數(shù)量。為了更好地實(shí)現(xiàn)多目標(biāo)優(yōu)化,對優(yōu)化目標(biāo)函數(shù)設(shè)置了多個約束條件,參考表達(dá)式的參數(shù)xri和參與計算表達(dá)式的參數(shù)xfi的取值必須在其允許的取值范圍內(nèi),關(guān)鍵路徑的計算時間Dkp應(yīng)該大于等于任意處理單元的完成時間Dend(k),任意處理單元的完成時間Dend(k)可由該處理單元的計算時間與該處理單元的前任處理單元的計算時間之和得到,如式(5)所示,其中d為前任處理單元的數(shù)量。最后浮點(diǎn)運(yùn)算的資源消耗應(yīng)小于等于FPGA平臺總的資源Rtotal。

    2.2 啟發(fā)式搜索方法

    浮點(diǎn)表達(dá)式在設(shè)計空間探索中會產(chǎn)生多個等價表達(dá)式,等價表達(dá)式之間的計算精度、資源消耗和計算時間等都有所不同[14-15]。每次迭代過程中采用啟發(fā)式搜索方法對產(chǎn)生的浮點(diǎn)表達(dá)式進(jìn)行評估,提取非支配的浮點(diǎn)表達(dá)式作為局部最優(yōu)的表達(dá)式,并以非支配表達(dá)式為起點(diǎn)進(jìn)行新一輪的迭代。

    2.2.1 非支配浮點(diǎn)表達(dá)式的定義

    若e為一個浮點(diǎn)表達(dá)式,N為浮點(diǎn)表達(dá)式的集合,且e∈N,若e滿足式(6),則浮點(diǎn)表達(dá)式e為集合N中的非支配浮點(diǎn)表達(dá)式。

    其中:?x∈N;Precision、Delay和Resource分別為表達(dá)式的計算精度、計算時間和資源消耗。

    2.2.2 非支配浮點(diǎn)表達(dá)式的選擇

    現(xiàn)有的方法在進(jìn)行空間探索時,為了提高探索效率,直接刪除可支配表達(dá)式的后繼等價表達(dá)式,不對其進(jìn)行評估,而后繼表達(dá)式中可能存在非支配解。為此,本文提出一種新的非支配浮點(diǎn)表達(dá)式的選擇方法,可覆蓋整個探索空間,算法流程如圖3所示。

    1)首先將給定的需要探索的表達(dá)式進(jìn)行因式分解,將分解后的表達(dá)式作為初始表達(dá)式。

    2)然后對該表達(dá)式提取公因式進(jìn)行等價變形,即得到初始表達(dá)式的鄰域,并計算鄰域中等價表達(dá)式的計算精度、計算時間和資源消耗等性能指標(biāo),得到非支配的等價表達(dá)式和可支配的等價表達(dá)式,并將可支配的表達(dá)式添加到可支配列表中,同時保存非支配表達(dá)式到非支配列表中。

    3)以新的非支配表達(dá)式為起點(diǎn),通過提取公因式得到相應(yīng)的鄰域,并探索鄰域,最終得到該起點(diǎn)鄰域中的非支配的等價表達(dá)式和可支配的等價表達(dá)式,并分別添加到可支配列表和非支配列表中。

    4)再次以新的非支配表達(dá)式為起點(diǎn),按照步驟3)進(jìn)行探索,直到達(dá)到規(guī)定的迭代次數(shù)或者無新的等價表達(dá)式產(chǎn)生。

    5)上述過程未對可支配表達(dá)式的鄰域進(jìn)行探索,該步驟首先對可支配列表中的表達(dá)式進(jìn)行探索,提取該集合中的非支配表達(dá)式,并對其鄰域進(jìn)行探索,將鄰域中的非支配表達(dá)式保存到非支配列表中,可提高非支配列表中多項(xiàng)式的隨機(jī)性和多樣性。

    6)由于非支配列表中的表達(dá)式是在相應(yīng)的鄰域內(nèi)是非支配的,因此需要再次對非支配列表中的等價表達(dá)式進(jìn)行探索,若該列表中存在可支配的表達(dá)式,則將其刪除,保留的等價表達(dá)式即為最終的最優(yōu)浮點(diǎn)表達(dá)式。

    圖3 浮點(diǎn)表達(dá)式空間探索算法流程Fig.3 Flowchart of floating-point expression space exploration

    3 實(shí)驗(yàn)驗(yàn)證

    為了驗(yàn)證本文提出的基于啟發(fā)搜索的浮點(diǎn)表達(dá)式設(shè)計空間探索方法的有效性,將提出的空間探索方法與現(xiàn)有的針對浮點(diǎn)表達(dá)式空間探索的方法從計算精度、計算時間和資源消耗等方面進(jìn)行對比分析。為了便于比較,選擇表達(dá)式結(jié)構(gòu)由簡單到復(fù)雜的多個浮點(diǎn)表達(dá)式作為測試表達(dá)式,表達(dá)式中各參數(shù)的精度設(shè)定為:x∈[0.01,0.15],y∈[0.32,0.43],z∈[1.11,1.35],指數(shù)的寬度設(shè)為5,尾數(shù)的寬度設(shè)為10,采用就近舍入方法。

    為了更好地對計算精度進(jìn)行評估,分別在設(shè)定的精度范圍內(nèi),均勻地取10 個浮點(diǎn)數(shù)據(jù),首先分別按照IEEE754 標(biāo)準(zhǔn)格式對表達(dá)式進(jìn)行計算,將該計算結(jié)果的均值作為參考的準(zhǔn)確結(jié)果,然后按照實(shí)驗(yàn)要求格式,對表達(dá)式進(jìn)行計算,并計算實(shí)際結(jié)果的平均值,兩個平均值之差的絕對值即為計算精度。在設(shè)計空間探索過程中,利用FloPoCo[16]來提取加法器和乘法器的資源消耗和計算時間。FloPoCo 是一個用于生成算術(shù)數(shù)據(jù)通路的開源C++框架,其輸出是一個可綜合的VHDL代碼。

    為了對各種設(shè)計空間探索方法的計算時間和資源消耗進(jìn)行定性和直觀比較,分別從各種方法產(chǎn)生的非支配表達(dá)式集合中隨機(jī)選擇5個表達(dá)式在FPGA 平臺上進(jìn)行仿真實(shí)驗(yàn)驗(yàn)證。FPGA 平臺選用Kintex7 系列的XC7K325T,綜合工具為Vivado2017.4,參考時鐘頻率為120 MHz。

    實(shí)驗(yàn)選擇3 個主流的浮點(diǎn)表達(dá)式設(shè)計空間探索方法進(jìn)行對比分析,包括快速選擇空間探索(Fast Selection Design Space Exploration,F(xiàn)SDSE)方法[10]、基于迭代分解的空間探索(Design Space Exploration using Iterative Factorization,DSEIF)方法[9]和調(diào)節(jié)浮點(diǎn)運(yùn)算器指數(shù)和尾數(shù)位寬自動調(diào)節(jié)的設(shè)計空間探索(Exploring Area-efficient with Optimized Exponent/mantissa Widths,EAOEW)方法[5]。

    3.1 計算精度對比分析

    表1 為不同的設(shè)計空間探索方法對不同表達(dá)式進(jìn)行探索后,選擇的非支配表達(dá)式計算產(chǎn)生的計算精度對比。由表1可知,本文提出的浮點(diǎn)表達(dá)式設(shè)計空間探索方法的計算精度與DSEIF 方法相當(dāng),但是要優(yōu)于FSDSE 和EAOEW 方法。例如針對浮點(diǎn)表達(dá)式(x+y+z)2,本文提出的方法的計算精度等于DSEIF 方法的計算精度,與EAOEW 方法相比本文提出方法的計算精度提高了9%,與FSDSE 方法相比提高了4%。主要原因在于DSEIF 方法是對整個搜索空間進(jìn)行探索,分別對每個等價多項(xiàng)式進(jìn)行計算精度等性能進(jìn)行評估,并從中選擇非支配表達(dá)式,其缺點(diǎn)是空間探索效率低。FSDSE 為快速選擇空間探索方法,在探索過程中對可支配等價表達(dá)式及其后繼表達(dá)式進(jìn)行了刪減,其探索過程不能覆蓋整個搜索空間,而可支配表達(dá)式的后繼節(jié)點(diǎn)中可能存在計算精度更高的表達(dá)式,因此其選擇的非支配表達(dá)式的計算精度會降低。EAOEW方法在空間探索過程中,只對資源消耗進(jìn)行評估,所以其計算精度最低。本文提出的方法采用啟發(fā)式搜索,在避免對可支配表達(dá)式進(jìn)行探索的同時,盡可能地覆蓋整個搜索空間,提高了最終選擇非支配表達(dá)式的多樣性和隨機(jī)性,從而保證了計算精度的準(zhǔn)確性。

    表1 四種方法的計算精度對比Tab.1 Calculation accuracy comparison of four methods

    3.2 計算時間對比分析

    圖4 為針對每個測試表達(dá)式隨機(jī)選擇的5 個最優(yōu)等價表達(dá)式計算時間的平均值。計算時間為將經(jīng)過設(shè)計空間探索后得到的最優(yōu)表達(dá)式在FPGA 平臺上運(yùn)行所需要的時間。從圖4 中可知,本文提出的空間探索方法得到的非支配表達(dá)式的計算時間與DSEIF 方法相當(dāng),要優(yōu)于FSDSE 和EAOEW 方法,例如針對表達(dá)式x(x+2z)+y(y+2x)+z(z+2y),與FSDSE方法相比本文提出方法的計算時間減少了5%,與EAOEW 方法相比減少了12%,本文方法可選擇計算時間更優(yōu)的等價表達(dá)式。主要原因在于本文方法不僅對非支配表達(dá)式的鄰域進(jìn)行探索,同時選擇可支配列表中的非支配表達(dá)式,并對其鄰域進(jìn)行探索;還對最終產(chǎn)生的非支配列表再次進(jìn)行探索,最終得到最優(yōu)的等價表達(dá)式,從而提高了選擇計算時間最優(yōu)的表達(dá)式的概率。

    圖4 四種方法的計算時間對比Fig.4 Calculation time comparison of four methods

    3.3 資源消耗對比分析

    圖5 為針對每個測試表達(dá)式隨機(jī)選擇的5 個等價表達(dá)式資源消耗的平均值。從圖5 中可知,與計算時間不同,EAOEW 方法具有最優(yōu)的資源消耗,本文提出的空間探索方法得到的非支配表達(dá)式的資源消耗與DSEIF 方法相當(dāng),要優(yōu)于FSDSE 方法,例如針對表達(dá)式y(tǒng)(x+y)2,與FSDSE 方法相比,本文提出方法的資源消耗減少了5%。主要原因是:在設(shè)計空間探索過程中,EAOEW 只針對資源消耗一個性能進(jìn)行評估,選擇的等價表達(dá)式是資源消耗最優(yōu)的;而本文方法是針對計算精度、計算時間與資源消耗三個性能進(jìn)行綜合評估的,為三個性能的折中優(yōu)化。

    圖5 四種方法的資源消耗對比Fig.5 Resource consumption comparison of four methods

    3.4 設(shè)計空間探索時間對比分析

    因?yàn)楸疚姆椒ㄅcDSEIF 方法在計算精度、計算時間與資源消耗等方面性能相當(dāng),為進(jìn)一步對比兩種設(shè)計空間探索方法,用設(shè)計空間探索的時間對二者進(jìn)行對比分析。設(shè)計空間探索時間是指在PC平臺上,利用浮點(diǎn)表達(dá)式設(shè)計空間探索方法對等價的浮點(diǎn)表達(dá)式及其鄰域進(jìn)行探索,直到得到最優(yōu)表達(dá)式所需要的時間,可體現(xiàn)設(shè)計空間探索方法的效率。

    圖6 為兩種設(shè)計空間探索方法對不同表達(dá)式進(jìn)行探索的時間對比。本文提出方法的設(shè)計空間探索時間要優(yōu)于DSEIF方法,尤其當(dāng)浮點(diǎn)表達(dá)式結(jié)構(gòu)復(fù)雜時,其時間優(yōu)勢越明顯,例如對表達(dá)式x(x+2z)+y(y+2x)+z(z+2y),本文提出方法的空間探索時間比DSEIF 方法縮短了89 s。主要原因是:DSEIF 方法需要對整個設(shè)計空間進(jìn)行探索,探索效率低;而本文方法在保證對非支配表達(dá)式的鄰域進(jìn)行探索的前提下,對可支配列表中的表達(dá)式進(jìn)行選擇性的探索,在保證覆蓋整個搜索空間的同時,有效提高了設(shè)計空間探索的效率。

    圖6 設(shè)計空間探索時間對比Fig.6 Design space exploration time comparison

    4 結(jié)語

    本文對浮點(diǎn)表達(dá)式設(shè)計空間探索的問題進(jìn)行研究,針對已有的方法空間探索效率低下和計算性能差等問題,提出一種基于啟發(fā)搜索的浮點(diǎn)表達(dá)式設(shè)計空間探索方法,并與現(xiàn)有的具有代表性的浮點(diǎn)表達(dá)式設(shè)計空間探索方法對典型的浮點(diǎn)表達(dá)式進(jìn)行實(shí)驗(yàn)對比,實(shí)驗(yàn)結(jié)果表明本文提出的浮點(diǎn)表達(dá)式設(shè)計空間探索方法,在有效提高空間探索效率的前提下,得到的等價表達(dá)式具有更高的計算精度、更低的計算時間和資源消耗。

    猜你喜歡
    浮點(diǎn)計算精度等價
    LEO星座增強(qiáng)GNSS PPP模糊度浮點(diǎn)解與固定解性能評估
    基于浮點(diǎn)DSP的鐵路FSK信號檢測
    基于SHIPFLOW軟件的某集裝箱船的阻力計算分析
    廣東造船(2018年1期)2018-03-19 15:50:50
    n次自然數(shù)冪和的一個等價無窮大
    中文信息(2017年12期)2018-01-27 08:22:58
    收斂的非線性迭代數(shù)列xn+1=g(xn)的等價數(shù)列
    基于FPGA的浮點(diǎn)FIR濾波器設(shè)計
    單元類型和尺寸對拱壩壩體應(yīng)力和計算精度的影響
    價值工程(2015年9期)2015-03-26 06:40:38
    改進(jìn)的Goldschmidt雙精度浮點(diǎn)除法器
    鋼箱計算失效應(yīng)變的沖擊試驗(yàn)
    環(huán)Fpm+uFpm+…+uk-1Fpm上常循環(huán)碼的等價性
    两人在一起打扑克的视频| 国产日韩一区二区三区精品不卡| 欧美另类一区| 欧美国产精品一级二级三级| 国产日韩一区二区三区精品不卡| 日日爽夜夜爽网站| 一区二区三区四区激情视频| 亚洲精品久久午夜乱码| 亚洲自偷自拍图片 自拍| www日本在线高清视频| 最近手机中文字幕大全| 亚洲成人免费电影在线观看 | 亚洲精品一二三| 欧美变态另类bdsm刘玥| 亚洲精品美女久久久久99蜜臀 | 久久热在线av| 一级毛片女人18水好多 | 久久国产精品大桥未久av| 黄色视频不卡| 日韩熟女老妇一区二区性免费视频| 国产男女超爽视频在线观看| 亚洲七黄色美女视频| 国产精品 国内视频| 香蕉国产在线看| 99久久精品国产亚洲精品| 国产精品 欧美亚洲| 人人澡人人妻人| 91九色精品人成在线观看| 国产精品一区二区精品视频观看| 晚上一个人看的免费电影| 精品亚洲成国产av| 性色av乱码一区二区三区2| 亚洲国产av新网站| 午夜91福利影院| 亚洲专区中文字幕在线| 国产精品一区二区在线观看99| 日本色播在线视频| 久久精品久久精品一区二区三区| 18禁观看日本| 精品国产一区二区三区久久久樱花| 高清黄色对白视频在线免费看| 香蕉丝袜av| 国产精品 国内视频| 嫁个100分男人电影在线观看 | 丰满饥渴人妻一区二区三| 国产爽快片一区二区三区| 亚洲专区中文字幕在线| 美女午夜性视频免费| 欧美黑人精品巨大| 深夜精品福利| 欧美日韩综合久久久久久| 国产精品 国内视频| 久久这里只有精品19| 亚洲国产中文字幕在线视频| 欧美久久黑人一区二区| 丝袜美足系列| 国产精品久久久久久精品电影小说| 少妇粗大呻吟视频| 国产又色又爽无遮挡免| 亚洲色图 男人天堂 中文字幕| 国产日韩一区二区三区精品不卡| 亚洲熟女毛片儿| 免费看不卡的av| 亚洲一区二区三区欧美精品| 亚洲国产精品一区三区| 999久久久国产精品视频| www.av在线官网国产| 免费观看a级毛片全部| 精品少妇久久久久久888优播| 韩国高清视频一区二区三区| 美女高潮到喷水免费观看| 99精品久久久久人妻精品| 久久精品久久精品一区二区三区| 国产日韩欧美亚洲二区| 老司机影院毛片| 日韩一卡2卡3卡4卡2021年| 99九九在线精品视频| 黄色 视频免费看| 97在线人人人人妻| 欧美老熟妇乱子伦牲交| 九草在线视频观看| 久久精品国产亚洲av高清一级| 中文欧美无线码| 亚洲免费av在线视频| 精品一区在线观看国产| 欧美精品亚洲一区二区| 亚洲男人天堂网一区| 如日韩欧美国产精品一区二区三区| 色视频在线一区二区三区| 亚洲精品中文字幕在线视频| 国产欧美日韩精品亚洲av| 日韩人妻精品一区2区三区| 美女主播在线视频| www.精华液| 国产成人免费无遮挡视频| 无限看片的www在线观看| 亚洲精品在线美女| av在线老鸭窝| 性高湖久久久久久久久免费观看| 免费高清在线观看日韩| 亚洲综合色网址| 亚洲午夜精品一区,二区,三区| 久久亚洲精品不卡| 麻豆国产av国片精品| 在线观看免费高清a一片| 99久久人妻综合| 人体艺术视频欧美日本| 在线观看免费午夜福利视频| 午夜老司机福利片| 亚洲成人免费av在线播放| 男女无遮挡免费网站观看| 99国产综合亚洲精品| 国产麻豆69| 天堂8中文在线网| 亚洲精品成人av观看孕妇| 亚洲精品久久成人aⅴ小说| videosex国产| 在线观看免费午夜福利视频| xxxhd国产人妻xxx| 亚洲熟女毛片儿| 国产免费又黄又爽又色| 大陆偷拍与自拍| 最黄视频免费看| 激情五月婷婷亚洲| 丝袜美足系列| 丝袜在线中文字幕| 两个人免费观看高清视频| 国产男女超爽视频在线观看| 中文欧美无线码| 国产精品一区二区在线不卡| 不卡av一区二区三区| 亚洲图色成人| 国产精品二区激情视频| 欧美日韩视频精品一区| 人人澡人人妻人| 精品国产超薄肉色丝袜足j| 亚洲,欧美精品.| 日本a在线网址| 777米奇影视久久| 国产老妇伦熟女老妇高清| 久久久欧美国产精品| 久久性视频一级片| 久久精品亚洲熟妇少妇任你| 亚洲国产精品999| av福利片在线| 人妻人人澡人人爽人人| 免费看不卡的av| 99香蕉大伊视频| 9191精品国产免费久久| 美女午夜性视频免费| 亚洲精品久久久久久婷婷小说| 精品少妇久久久久久888优播| 好男人电影高清在线观看| 国产伦理片在线播放av一区| 亚洲中文字幕日韩| 亚洲伊人色综图| 欧美日韩综合久久久久久| 少妇人妻久久综合中文| 亚洲色图综合在线观看| 国产无遮挡羞羞视频在线观看| 久久亚洲精品不卡| 国产精品二区激情视频| 国产精品人妻久久久影院| 久久人人爽人人片av| www.av在线官网国产| 可以免费在线观看a视频的电影网站| 亚洲欧美精品综合一区二区三区| 午夜福利免费观看在线| 搡老乐熟女国产| 999久久久国产精品视频| 亚洲国产精品一区二区三区在线| 啦啦啦在线免费观看视频4| 男女午夜视频在线观看| 国产精品偷伦视频观看了| 91精品国产国语对白视频| 在线观看一区二区三区激情| 免费在线观看黄色视频的| 亚洲精品国产av成人精品| 国产欧美日韩一区二区三 | 欧美在线一区亚洲| 亚洲国产欧美网| avwww免费| 国产精品一国产av| 女人爽到高潮嗷嗷叫在线视频| av欧美777| 波多野结衣一区麻豆| 一级毛片我不卡| 国产不卡av网站在线观看| 国产欧美日韩综合在线一区二区| 国产老妇伦熟女老妇高清| 国产精品二区激情视频| √禁漫天堂资源中文www| 丝袜在线中文字幕| 亚洲精品自拍成人| 无限看片的www在线观看| 亚洲第一青青草原| xxx大片免费视频| 激情视频va一区二区三区| 大陆偷拍与自拍| 国产人伦9x9x在线观看| 欧美av亚洲av综合av国产av| 女警被强在线播放| 丰满饥渴人妻一区二区三| 欧美日韩亚洲综合一区二区三区_| 久久久精品94久久精品| 丝瓜视频免费看黄片| 欧美在线一区亚洲| 高清不卡的av网站| 蜜桃在线观看..| 国产一区二区在线观看av| 一级a爱视频在线免费观看| 国产一区二区激情短视频 | 欧美日韩精品网址| 你懂的网址亚洲精品在线观看| 两个人看的免费小视频| 国产主播在线观看一区二区 | 国产真人三级小视频在线观看| 成年人黄色毛片网站| 我要看黄色一级片免费的| 欧美黄色片欧美黄色片| 一边亲一边摸免费视频| 男人舔女人的私密视频| 只有这里有精品99| 中文字幕精品免费在线观看视频| 看十八女毛片水多多多| 夫妻午夜视频| 巨乳人妻的诱惑在线观看| 如日韩欧美国产精品一区二区三区| 2021少妇久久久久久久久久久| 在线精品无人区一区二区三| 婷婷丁香在线五月| 精品亚洲成国产av| 亚洲国产av新网站| 在线亚洲精品国产二区图片欧美| 久久99精品国语久久久| 国产精品久久久久久精品电影小说| 国产一区二区激情短视频 | 日韩中文字幕欧美一区二区 | 亚洲精品在线美女| 国产爽快片一区二区三区| 满18在线观看网站| 午夜福利影视在线免费观看| 人人妻人人澡人人爽人人夜夜| 亚洲欧洲精品一区二区精品久久久| 女人高潮潮喷娇喘18禁视频| 超色免费av| 国产精品久久久久成人av| 亚洲成av片中文字幕在线观看| 日韩大码丰满熟妇| 久久精品久久精品一区二区三区| 欧美变态另类bdsm刘玥| 99香蕉大伊视频| 亚洲欧美清纯卡通| 成人亚洲精品一区在线观看| 色视频在线一区二区三区| 精品一区二区三卡| 中文字幕色久视频| 99久久人妻综合| 中文欧美无线码| 一边摸一边抽搐一进一出视频| 亚洲中文av在线| 国产高清videossex| 国产亚洲精品第一综合不卡| 一区二区av电影网| 每晚都被弄得嗷嗷叫到高潮| 最新的欧美精品一区二区| 热99国产精品久久久久久7| 国产精品九九99| 国产人伦9x9x在线观看| 一区二区日韩欧美中文字幕| 两性夫妻黄色片| 午夜福利视频精品| av在线app专区| 欧美精品一区二区大全| 可以免费在线观看a视频的电影网站| 国产精品一区二区精品视频观看| 亚洲av美国av| 亚洲人成电影免费在线| 不卡av一区二区三区| 国产一区二区三区综合在线观看| 十分钟在线观看高清视频www| 欧美成人午夜精品| 国产欧美亚洲国产| 自拍欧美九色日韩亚洲蝌蚪91| 99国产精品一区二区三区| 亚洲精品久久成人aⅴ小说| 香蕉国产在线看| 国产成人a∨麻豆精品| av在线老鸭窝| 日韩av在线免费看完整版不卡| 欧美精品av麻豆av| 伊人久久大香线蕉亚洲五| 久久精品亚洲av国产电影网| 亚洲三区欧美一区| 最新的欧美精品一区二区| 国产老妇伦熟女老妇高清| 最近中文字幕2019免费版| 久久青草综合色| 国产精品久久久人人做人人爽| 成人国产av品久久久| 大片免费播放器 马上看| 99国产精品免费福利视频| av一本久久久久| 欧美在线黄色| 久久久久视频综合| av在线老鸭窝| 各种免费的搞黄视频| 午夜精品国产一区二区电影| 观看av在线不卡| 一区二区三区激情视频| 亚洲人成电影观看| 韩国高清视频一区二区三区| 视频在线观看一区二区三区| 九色亚洲精品在线播放| 国产精品 国内视频| 欧美国产精品va在线观看不卡| 大陆偷拍与自拍| 在线观看免费高清a一片| 精品少妇黑人巨大在线播放| 精品少妇久久久久久888优播| 宅男免费午夜| 国产精品一区二区在线不卡| 久久亚洲国产成人精品v| svipshipincom国产片| 美女午夜性视频免费| 国产精品亚洲av一区麻豆| 老司机靠b影院| av网站免费在线观看视频| 色婷婷久久久亚洲欧美| cao死你这个sao货| 亚洲一区中文字幕在线| 永久免费av网站大全| 婷婷色综合www| 最近中文字幕2019免费版| 精品高清国产在线一区| 免费高清在线观看日韩| 咕卡用的链子| 人体艺术视频欧美日本| 欧美人与性动交α欧美软件| 51午夜福利影视在线观看| 最近手机中文字幕大全| 精品国产乱码久久久久久男人| 精品国产国语对白av| 大香蕉久久网| 99国产精品99久久久久| 久久女婷五月综合色啪小说| 久久 成人 亚洲| 19禁男女啪啪无遮挡网站| 国产精品一区二区免费欧美 | 欧美成狂野欧美在线观看| 亚洲精品第二区| 老鸭窝网址在线观看| 老司机亚洲免费影院| 欧美xxⅹ黑人| a 毛片基地| 欧美精品人与动牲交sv欧美| 午夜免费成人在线视频| 如日韩欧美国产精品一区二区三区| 亚洲三区欧美一区| 日本色播在线视频| 成年av动漫网址| 中文字幕人妻熟女乱码| 久久99精品国语久久久| 亚洲精品国产区一区二| 日本午夜av视频| 国产一级毛片在线| 最黄视频免费看| 午夜视频精品福利| 亚洲国产av影院在线观看| 黄片小视频在线播放| 青春草亚洲视频在线观看| 一区福利在线观看| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲第一av免费看| 国产激情久久老熟女| 亚洲国产看品久久| 欧美国产精品一级二级三级| 尾随美女入室| 啦啦啦在线免费观看视频4| 大香蕉久久网| 丰满少妇做爰视频| 大话2 男鬼变身卡| 黄色视频在线播放观看不卡| 国产成人影院久久av| 国产视频一区二区在线看| 嫁个100分男人电影在线观看 | 日韩制服骚丝袜av| 天天躁狠狠躁夜夜躁狠狠躁| 大片电影免费在线观看免费| 午夜免费男女啪啪视频观看| 久久热在线av| 国产在线视频一区二区| 热re99久久国产66热| 成人亚洲欧美一区二区av| 国产免费一区二区三区四区乱码| 狠狠婷婷综合久久久久久88av| 2021少妇久久久久久久久久久| 国产伦人伦偷精品视频| 美女国产高潮福利片在线看| 亚洲精品自拍成人| 丝袜在线中文字幕| 极品人妻少妇av视频| 在线观看人妻少妇| 国产精品三级大全| 亚洲,欧美,日韩| 啦啦啦中文免费视频观看日本| 女性生殖器流出的白浆| 丰满少妇做爰视频| 精品福利永久在线观看| 97人妻天天添夜夜摸| 人人妻,人人澡人人爽秒播 | 午夜91福利影院| 亚洲视频免费观看视频| 亚洲国产欧美在线一区| 久久精品国产a三级三级三级| 欧美精品一区二区免费开放| 精品福利观看| 90打野战视频偷拍视频| 我的亚洲天堂| 精品一品国产午夜福利视频| 亚洲国产av新网站| 悠悠久久av| 中国美女看黄片| 女人爽到高潮嗷嗷叫在线视频| 久久精品国产亚洲av涩爱| 午夜久久久在线观看| 涩涩av久久男人的天堂| 日本色播在线视频| 欧美成人午夜精品| 亚洲黑人精品在线| 咕卡用的链子| 国产亚洲欧美在线一区二区| 久久人人爽av亚洲精品天堂| 成年动漫av网址| 久久久久国产一级毛片高清牌| 成年动漫av网址| 制服人妻中文乱码| 九草在线视频观看| 国产精品久久久久成人av| 男的添女的下面高潮视频| 亚洲精品第二区| 久9热在线精品视频| 嫩草影视91久久| 久久久久视频综合| 宅男免费午夜| 国产成人a∨麻豆精品| 中文字幕人妻丝袜制服| 狂野欧美激情性bbbbbb| 国产精品一国产av| videos熟女内射| 色综合欧美亚洲国产小说| 国产精品国产av在线观看| 国产精品一区二区免费欧美 | bbb黄色大片| 黄色怎么调成土黄色| 亚洲av美国av| 真人做人爱边吃奶动态| 国产成人精品久久久久久| 777久久人妻少妇嫩草av网站| 久久性视频一级片| 日本五十路高清| 成人三级做爰电影| 午夜福利,免费看| 亚洲中文日韩欧美视频| 亚洲七黄色美女视频| 久久久久国产精品人妻一区二区| 欧美日韩视频精品一区| 丝袜喷水一区| 国产精品一区二区在线不卡| 色94色欧美一区二区| 老司机影院成人| 亚洲av日韩在线播放| 亚洲自偷自拍图片 自拍| 久久免费观看电影| 午夜精品国产一区二区电影| 大码成人一级视频| 亚洲成人国产一区在线观看 | 亚洲欧美一区二区三区黑人| 一区二区三区激情视频| 99热网站在线观看| 国产午夜精品一二区理论片| 国产1区2区3区精品| 狠狠婷婷综合久久久久久88av| 久久国产精品影院| 视频区图区小说| 国产xxxxx性猛交| 久久国产精品人妻蜜桃| 亚洲人成77777在线视频| 中文乱码字字幕精品一区二区三区| 大香蕉久久成人网| 国产亚洲精品第一综合不卡| 中文字幕最新亚洲高清| 午夜福利在线免费观看网站| 欧美日韩av久久| 日本午夜av视频| 国产精品麻豆人妻色哟哟久久| 国产高清国产精品国产三级| 99国产精品免费福利视频| 一本久久精品| 亚洲五月婷婷丁香| 999久久久国产精品视频| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲国产精品999| 久久精品国产综合久久久| 日韩人妻精品一区2区三区| 女人被躁到高潮嗷嗷叫费观| 自拍欧美九色日韩亚洲蝌蚪91| 人妻一区二区av| 午夜91福利影院| 1024视频免费在线观看| 91字幕亚洲| 午夜激情久久久久久久| 久久精品国产亚洲av涩爱| 又黄又粗又硬又大视频| 亚洲人成电影观看| 亚洲少妇的诱惑av| 久久午夜综合久久蜜桃| 最近中文字幕2019免费版| 精品少妇一区二区三区视频日本电影| 久久久精品国产亚洲av高清涩受| 精品一品国产午夜福利视频| 国产1区2区3区精品| 天天操日日干夜夜撸| 欧美日韩亚洲高清精品| 大码成人一级视频| 日本黄色日本黄色录像| 成年人午夜在线观看视频| 亚洲天堂av无毛| 亚洲国产毛片av蜜桃av| 亚洲情色 制服丝袜| 国产av精品麻豆| 久久人人爽人人片av| 国产麻豆69| 久久久欧美国产精品| 好男人视频免费观看在线| 亚洲一区二区三区欧美精品| 亚洲国产精品国产精品| 久久午夜综合久久蜜桃| 精品国产乱码久久久久久男人| 韩国高清视频一区二区三区| 一本色道久久久久久精品综合| 人人妻人人爽人人添夜夜欢视频| 免费在线观看视频国产中文字幕亚洲 | 色网站视频免费| 一边摸一边做爽爽视频免费| 最新在线观看一区二区三区 | 国产成人欧美在线观看 | av不卡在线播放| 波多野结衣一区麻豆| 美女午夜性视频免费| 一区二区三区四区激情视频| av网站免费在线观看视频| 亚洲 国产 在线| 国产成人啪精品午夜网站| 久久久国产精品麻豆| 日韩 亚洲 欧美在线| 亚洲国产av新网站| 欧美老熟妇乱子伦牲交| 老司机深夜福利视频在线观看 | 日日夜夜操网爽| 欧美精品人与动牲交sv欧美| 黑人巨大精品欧美一区二区蜜桃| 亚洲欧洲精品一区二区精品久久久| 大陆偷拍与自拍| 激情视频va一区二区三区| 精品欧美一区二区三区在线| 国产在线免费精品| 一级黄色大片毛片| 久久久久久亚洲精品国产蜜桃av| 亚洲,欧美精品.| 日本欧美国产在线视频| 免费在线观看黄色视频的| 少妇被粗大的猛进出69影院| 人妻人人澡人人爽人人| 男人操女人黄网站| 免费少妇av软件| 日日爽夜夜爽网站| 免费看十八禁软件| 丝袜喷水一区| 一区二区三区四区激情视频| 久久天躁狠狠躁夜夜2o2o | 久久久精品94久久精品| 国产91精品成人一区二区三区 | 精品亚洲乱码少妇综合久久| 免费高清在线观看日韩| 欧美日韩精品网址| 99香蕉大伊视频| av天堂在线播放| 首页视频小说图片口味搜索 | 久久久久久亚洲精品国产蜜桃av| 亚洲第一av免费看| 成人影院久久| 视频区欧美日本亚洲| a级毛片黄视频| 如日韩欧美国产精品一区二区三区| 悠悠久久av| 操美女的视频在线观看| 午夜福利乱码中文字幕| 日日夜夜操网爽| 色网站视频免费| 一级黄片播放器| 久久精品久久久久久噜噜老黄| 精品亚洲成国产av| 国产亚洲午夜精品一区二区久久| 老汉色av国产亚洲站长工具| 美国免费a级毛片| 欧美日韩成人在线一区二区| 亚洲av成人不卡在线观看播放网 | 久久久精品免费免费高清| 搡老乐熟女国产| 日韩熟女老妇一区二区性免费视频| 99国产精品一区二区三区| 超色免费av| 亚洲国产精品国产精品| 一级毛片电影观看|