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

高級(jí)搜索

留言板

尊敬的讀者、作者、審稿人, 關(guān)于本刊的投稿、審稿、編輯和出版的任何問(wèn)題, 您可以本頁(yè)添加留言。我們將盡快給您答復(fù)。謝謝您的支持!

姓名
郵箱
手機(jī)號(hào)碼
標(biāo)題
留言?xún)?nèi)容
驗(yàn)證碼

論文元數(shù)據(jù)搜索,找到相關(guān)信息共 2 條:

排序:
相關(guān)度
發(fā)表時(shí)間
每頁(yè)顯示:
10
20
30
50
適于復(fù)雜信息融合系統(tǒng)的近似聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法
劉城霞
2003, 25(10): 1355-1360.  刊出日期:2003-10-19
關(guān)鍵詞: 近似聯(lián)合概率數(shù)據(jù)關(guān)聯(lián); 最近鄰法; 數(shù)據(jù)融合
文中在B.Zhou提出的直接概率計(jì)算(DC)和近似概率計(jì)算(AC)算法基礎(chǔ)上提出了一種新的近似多傳感器多目標(biāo)聯(lián)合概率數(shù)據(jù)關(guān)聯(lián)算法。近似概率法是以一個(gè)目標(biāo)為中心的近似聚為構(gòu)造互聯(lián)事件的起點(diǎn),并在計(jì)算中將DC和AC結(jié)合得到的一種全鄰的點(diǎn)跡-航跡關(guān)聯(lián)算法。它能有效地提高目標(biāo)點(diǎn)跡-航跡的關(guān)聯(lián)正確率,在計(jì)算時(shí)耗上較完全聯(lián)合概率法快得多,能滿足工程中實(shí)時(shí)性的要求,將其在雜波下目標(biāo)密集、航跡復(fù)雜的數(shù)據(jù)融合系統(tǒng)中進(jìn)行實(shí)驗(yàn),對(duì)關(guān)聯(lián)正確率,關(guān)聯(lián)耗時(shí)等與最近鄰法進(jìn)行了比較,效果較好。
基于ATL的公平電子商務(wù)協(xié)議形式化分析
文靜華, 李祥, 張煥國(guó), 梁敏, 張梅
2007, 29(4): 901-905. doi: 10.3724/SP.J.1146.2005.01088  刊出日期:2007-04-19
關(guān)鍵詞: 電子商務(wù)協(xié)議;公平性;安全性;形式化分析;ATL
針對(duì)傳統(tǒng)時(shí)序邏輯LTL,CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進(jìn)行分析的缺點(diǎn),Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務(wù)協(xié)議并對(duì)幾個(gè)典型的協(xié)議進(jìn)行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務(wù)協(xié)議形式化分析中的應(yīng)用,進(jìn)一步擴(kuò)展了Kremer博士的方法,使之在考慮公平性等特性的同時(shí)能夠分析協(xié)議的安全性。最后本文用新方法對(duì)Zhou等人(1999)提出的 ZDB協(xié)議進(jìn)行了嚴(yán)格的形式化分析,結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個(gè)可能的攻擊:保密信息泄露和重放攻擊。