一级黄色片免费播放|中国黄色视频播放片|日本三级a|可以直接考播黄片影视免费一级毛片

文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎(chǔ)上提出了一種新的近似多傳感器多目標(biāo)聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法。近似概率法是以一個目標(biāo)為中心的近似聚為構(gòu)造互聯(lián)事件的起點，并在計算中將DC和AC結(jié)合得到的一種全鄰的點跡-航跡關(guān)聯(lián)算法。它能有效地提高目標(biāo)點跡-航跡的關(guān)聯(lián)正確率，在計算時耗上較完全聯(lián)合概率法快得多，能滿足工程中實時性的要求，將其在雜波下目標(biāo)密集、航跡復(fù)雜的數(shù)據(jù)融合系統(tǒng)中進(jìn)行實驗，對關(guān)聯(lián)正確率，關(guān)聯(lián)耗時等與最近鄰法進(jìn)行了比較，效果較好。

針對傳統(tǒng)時序邏輯LTL，CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進(jìn)行分析的缺點，Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務(wù)協(xié)議并對幾個典型的協(xié)議進(jìn)行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務(wù)協(xié)議形式化分析中的應(yīng)用，進(jìn)一步擴(kuò)展了Kremer博士的方法，使之在考慮公平性等特性的同時能夠分析協(xié)議的安全性。最后本文用新方法對Zhou等人(1999)提出的 ZDB協(xié)議進(jìn)行了嚴(yán)格的形式化分析，結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊：保密信息泄露和重放攻擊。

基于視覺采樣原理，該文提出了一般化的視覺采樣聚類方法VSC。該方法將視覺原理與著名的Weber定律結(jié)合起來，其特點是：對聚類初始條件不敏感；Weber定律提供了新的聚類有效性標(biāo)準(zhǔn)，并且該方法所得到的合理的聚類數(shù)可以依據(jù)Weber定律而得到。大量的實驗結(jié)果表明了算法VSC的有效性。文中討論了算法VSC與由Yang Miin-Shen等人(2004)新近提出的基于相似度量的聚類算法SCA之間的內(nèi)在聯(lián)系，得出了這兩個算法具有一定的同解性質(zhì)，從而揭示了該文所提方法VSC能夠有效地克服算法SCA中參數(shù) 不易確定的困難。

為克服多重代理簽名方案中無法確認(rèn)誰是真正簽名者的弱點，Sun于1999年提出了不可否認(rèn)的代理簽名方案。2000年Hwang等人指出Sun的方案不安全，并對Sun的方案進(jìn)行了改進(jìn)，2004年 Tzeng, Tan, Yang各自對Hwang等人的方案進(jìn)行了安全性分析，指出Hwang方案容易受到內(nèi)部偽造攻擊。該文通過讓原始簽名組與代理簽名組互動來實現(xiàn)秘密共享和密鑰分配的方法，設(shè)計了一種新的安全的多重代理、多重簽名方案，它能夠滿足不可否認(rèn)性和不可偽造性的要求。

Gu-Zhang-Yang(2005)提出了一個不需要可信第三方參與的匿名代理簽名方案，由于該方案的簽名驗證數(shù)據(jù)中沒有回避孤懸因子這一現(xiàn)象，因此并不滿足強(qiáng)不可偽造性，原始簽名人可以偽造一個有效的代理簽名通過驗證，并成功地在代理簽名者身份揭示階段向公眾證明該偽造的代理簽名是由合法的代理簽名者產(chǎn)生的。本文在分析該方案安全性的基礎(chǔ)上提出了改進(jìn)的匿名代理簽名方案，克服了原方案的不足。