論文元數(shù)據(jù)搜索，找到相關(guān)信息共 4 條：
2007, 29(12): 2814-2818.
doi: 10.3724/SP.J.1146.2006.00434
刊出日期：2007-12-19
關(guān)鍵詞:
圖像處理;立體視覺;雙目立體視覺;平面圖像立體化;轉(zhuǎn)換
將平面圖像轉(zhuǎn)換成立體圖像很有意義。Hou等人(2002)提出了一種平面圖像立體化方法，稱為Hou方法。在這個方法中Hou等人使用隨機變量等參數(shù)控制轉(zhuǎn)換過程，但沒有討論這些參數(shù)對立體效果的影響。該文利用Hou方法在標準的計算機監(jiān)視器上對含有心理深度暗示的平面圖像進行了立體化，給出了評價轉(zhuǎn)換后的立體效果的定量指標，并討論了各參數(shù)對立體效果的影響。實驗結(jié)果表明：當(dāng)隨機變量矩陣中的每一個隨機變量都服從同一種均勻分布時，隨機變量的取值對立體效果沒有多大的影響；當(dāng)監(jiān)視器屏幕與觀察者的距離為一個合適的值(例如1m)時，圖像子塊的個數(shù)取不同的值對立體效果沒有多大的影響。
2018, 40(8): 1949-1955.
doi: 10.11999/JEIT170983
刊出日期：2018-08-01
為了降低譯碼時的計算復(fù)雜度以及減少譯碼時間，該文通過對牛頓恒等式進行推導(dǎo)得到了(41, 21, 9) QR碼不需要計算未知校驗子就可求得錯誤位置多項式系數(shù)的代數(shù)譯碼算法，同時也針對改善部分客觀地給出了計算復(fù)雜度的理論分析。此外，為了進一步降低譯碼時間，提出判定接收碼字中出現(xiàn)不同錯誤個數(shù)的更簡化的判斷條件。仿真結(jié)果表明該文提出算法在不降低Lin算法所達到的譯碼性能的前提下，降低了譯碼時間。
2003, 25(10): 1355-1360.
刊出日期：2003-10-19
文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎(chǔ)上提出了一種新的近似多傳感器多目標聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法。近似概率法是以一個目標為中心的近似聚為構(gòu)造互聯(lián)事件的起點，并在計算中將DC和AC結(jié)合得到的一種全鄰的點跡-航跡關(guān)聯(lián)算法。它能有效地提高目標點跡-航跡的關(guān)聯(lián)正確率，在計算時耗上較完全聯(lián)合概率法快得多，能滿足工程中實時性的要求，將其在雜波下目標密集、航跡復(fù)雜的數(shù)據(jù)融合系統(tǒng)中進行實驗，對關(guān)聯(lián)正確率，關(guān)聯(lián)耗時等與最近鄰法進行了比較，效果較好。
2007, 29(4): 901-905.
doi: 10.3724/SP.J.1146.2005.01088
刊出日期：2007-04-19
關(guān)鍵詞:
電子商務(wù)協(xié)議;公平性;安全性;形式化分析;ATL
針對傳統(tǒng)時序邏輯LTL，CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進行分析的缺點，Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務(wù)協(xié)議并對幾個典型的協(xié)議進行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務(wù)協(xié)議形式化分析中的應(yīng)用，進一步擴展了Kremer博士的方法，使之在考慮公平性等特性的同時能夠分析協(xié)議的安全性。最后本文用新方法對Zhou等人(1999)提出的 ZDB協(xié)議進行了嚴格的形式化分析，結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊：保密信息泄露和重放攻擊。
