論文元數(shù)據(jù)搜索，找到相關信息共 3 條：
2021, 43(8): 2121-2127.
doi: 10.11999/JEIT200769
刊出日期：2021-08-10
該文提出一種通用的時間數(shù)字轉(zhuǎn)換器(TDC)碼密度校準信號產(chǎn)生方法，該方法基于相干采樣理論，通過合理設置TDC主時鐘和校準信號之間的頻率差，結(jié)合輸出信號保持電路，產(chǎn)生校準用的隨機信號，在碼密度校準過程中，隨機信號均勻分布在TDC的延時路徑上，實現(xiàn)對TDC的bin-by-bin校準。基于Xilinx公司的28 nm工藝的Kintex-7 現(xiàn)場可編程門陣列(FPGA)內(nèi)部的進位鏈實現(xiàn)一種plain TDC，利用該方法校準plain TDC的碼寬(抽頭延遲時間)，研究校準了2抽頭方式下的TDC的性能參數(shù)，時間分辨率(對應TDC的最低有效位，Least Significant Bit, LSB)為24.9 ps，微分非線性為(–0.84～3.1)LSB，積分非線性為(–5.0～2.2)LSB。文中所述的校準方法采用時鐘邏輯資源實現(xiàn)，多次測試考核結(jié)果表明，單個延時單元的標準差優(yōu)于0.5 ps。該校準方法采用時鐘邏輯資源代替組合邏輯資源，重復性、穩(wěn)定性較好，實現(xiàn)了對plain TDC的高精度自動校準。該方法同樣適用于其他類型的TDC的碼密度校準。
2003, 25(10): 1355-1360.
刊出日期：2003-10-19
文中在B.Zhou提出的直接概率計算(DC)和近似概率計算(AC)算法基礎上提出了一種新的近似多傳感器多目標聯(lián)合概率數(shù)據(jù)關聯(lián)算法。近似概率法是以一個目標為中心的近似聚為構(gòu)造互聯(lián)事件的起點，并在計算中將DC和AC結(jié)合得到的一種全鄰的點跡-航跡關聯(lián)算法。它能有效地提高目標點跡-航跡的關聯(lián)正確率，在計算時耗上較完全聯(lián)合概率法快得多，能滿足工程中實時性的要求，將其在雜波下目標密集、航跡復雜的數(shù)據(jù)融合系統(tǒng)中進行實驗，對關聯(lián)正確率，關聯(lián)耗時等與最近鄰法進行了比較，效果較好。
2007, 29(4): 901-905.
doi: 10.3724/SP.J.1146.2005.01088
刊出日期：2007-04-19
針對傳統(tǒng)時序邏輯LTL，CTL及CTL*等把協(xié)議看成封閉系統(tǒng)進行分析的缺點，Kremer博士(2003)提出用一種基于博弈的ATL(Alternating-time Temporal Logic)方法分析公平電子商務協(xié)議并對幾個典型的協(xié)議進行了公平性等方面的形式化分析。本文討論了ATL邏輯及其在電子商務協(xié)議形式化分析中的應用，進一步擴展了Kremer博士的方法，使之在考慮公平性等特性的同時能夠分析協(xié)議的安全性。最后本文用新方法對Zhou等人(1999)提出的 ZDB協(xié)議進行了嚴格的形式化分析，結(jié)果發(fā)現(xiàn)該協(xié)議在非保密通道下存在兩個可能的攻擊：保密信息泄露和重放攻擊。
