提出了Strand空間模型中證明安全協議的一個新思路，它從安全密鑰的概念出發，參照基于理想概念的 證明方法，得出證明所需的預備結論，從而對協議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對 Yahalom．BAN協議安全性的證明實例，從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發功能的三 方認證協議的證明，并且它還使得證明過程簡潔而直觀。
資源簡介：提出了Strand空間模型中證明安全協議的一個新思路，它從安全密鑰的概念出發，參照基于理想概念的 證明方法，得出證明所需的預備結論，從而對協議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對 Yahalom．BAN協議安全性的證明實例，從中可以看到該思...
上傳時間： 2015-11-08
上傳用戶：jeffery
資源簡介：這個是隱markov模型中viterbi算法實現的一個具體實例程序 很好
上傳時間： 2015-07-02
上傳用戶：牛津鞋
資源簡介：一種基于蟻群聚類的徑向基神經網絡 提出了一種基于蟻群聚類算法的徑向基神經網絡. 利用蟻群算法的并行尋優特征和揮發系 數方法的自適應更改信息量的能力,并以球面聚類的方式確定了徑向基神經網絡中基函數的位置, 同時通過比較隱層神經元的相似性、合并相似...
上傳時間： 2013-12-26
上傳用戶：wuyuying
資源簡介：經網絡提出了一種基于蟻群聚類算法的徑向基神經網絡. 利用蟻群算法的并行尋優特征和揮發系數方法的自適應更改信息量的能力,并以球面聚類的方式確定了徑向基神經網絡中基函數的位置, 同時通過比較隱層神經元的相似性、合并相似性較為接近的2 個神經元來約簡隱...
上傳時間： 2014-01-16
上傳用戶：saharawalker
資源簡介：提出了歐氏算法和IDFT相結合的RS碼流式解碼方案,并在FPGA芯片上予以實現。計算機仿真和實測表明,該方案在GF(28)的符號速率可達50MHz以上,最大延時為640ns,滿足了高速寬帶無線接入網中抗干擾編譯碼的需求。
上傳時間： 2013-12-08
上傳用戶：yulg
資源簡介：為了降低圖像高層語義與低層視覺特征之間的語義差異,本文以對象描述模型為基礎,提出利用機器轉換模型獲取圖像高層語義的方法。本方法首先利用圖像分割技術對圖像進行分割,然后利用機器學習的方法,得到訓練樣本集中高層語義與分割后低層視覺特征之間的先驗概率...
上傳時間： 2014-01-04
上傳用戶：comua
資源簡介：提出了裝配機器人系統中一種基于視覺引導和超聲測距的運動目標跟蹤和抓取 方法。介紹了運動目標的跟蹤原理，采用圖像雅可比矩陣進行機器人運動控制，跟蹤運動 的目標。利用視覺引導技術，獲取目標在圖像平面中的位置與方位，進行平面跟蹤，然后 引導超聲波...
上傳時間： 2014-01-02
上傳用戶：rocketrevenge
資源簡介：單片機復位電路的可靠性設計,介紹了在單片機應用中需要用到的一些比較安全的復位方式
上傳時間： 2016-10-28
上傳用戶：agent
資源簡介：本文介紹了子空間模型辨識的多種方法，并對其不同的方法進行了綜合的分析，研究，比較。
上傳時間： 2017-05-11
上傳用戶：希醬大魔王
資源簡介：本文檔很好的闡述了軟件開發過程中要注意到的版本控制問題，提出了很好的管理經驗，供大家參考
上傳時間： 2014-01-25
上傳用戶：daoxiang126
資源簡介：計算機系統虛擬實驗（微）匯編系統的開發是在原先網上計算機系統虛擬實驗室的基礎上提出的一個新課題。它是為了滿足讓學生更深一步的理解匯編及微匯編語言在計算機硬件系統中的工作原理的需要，而設計的一種將匯編及微匯編指令翻譯成機器代碼的翻譯器 現在市...
上傳時間： 2017-01-19
上傳用戶：維子哥哥
資源簡介：<<MATLAB遺傳算法工具箱及應用>>介紹了如何在MATLAB中完成遺傳算法的應用。遺傳算法[Genetic Arithmatic，簡稱GA]是以自然選擇和遺傳理論為基礎，將生物進化過程中適者生存規則與群體內部染色體的隨機信息交換機制相結合的高效全局尋優搜索算法。GA摒棄傳統的...
上傳時間： 2017-03-09
上傳用戶：colinal
資源簡介：開放數據庫互連(ODBC)已經成為Client/Server數據庫應用系統中訪問遠程數據庫的一個標準。作為強大的前端開發工具,Visual Basic為開發者提供了多種訪問ODBC數據源的途徑,如JET數據庫引擎、ODBC API函數、RDO接口等。比較而言,直接使用ODBC API函數的編程難度最...
上傳時間： 2014-01-04
上傳用戶：BIBI
資源簡介：提出了一種二維小波變換的編碼方案：無解壓密碼
上傳時間： 2015-04-11
上傳用戶：mikesering
資源簡介：該程序解決了單片機c語言中時序要求嚴格的問題,已經調試通過
上傳時間： 2014-01-04
上傳用戶：zq70996813
資源簡介：Huffman于1952年提出了這種方法,開始主要用于電報報文的編碼,常用的英文字母E,T應該如何編碼,不常用的應該如何編碼,
上傳時間： 2015-07-15
上傳用戶：kernaling
資源簡介：這是java編程中與安全有關的一些小例子，不過是英文的，相信對于英文有一定基礎同時想對java安全編程有所了解的初學者有幫助
上傳時間： 2015-08-14
上傳用戶：aa54
資源簡介：此文檔主要描述了話音呼叫控制中對各狀態的控制
上傳時間： 2015-09-11
上傳用戶：agent
資源簡介：該源碼提供了數據壓縮算法中經常需要使用的內存中的位操作常用算法
上傳時間： 2015-09-30
上傳用戶：zsjinju
資源簡介：收集了在電子設計中能用到的大多數的計算軟件，我相信對大家有很大的好處。
上傳時間： 2013-11-26
上傳用戶：banyou
資源簡介：提出了一種基于 JPEG/JPEG2000相結合的醫學圖像感興趣區域壓縮方法。該方法對在人為選定 醫學圖像的感興趣區域采用無損的 JPEG2000壓縮 ,而對其他圖像區域則采用高壓縮比的 JPEG壓縮,較好地解決了醫學圖像的高壓縮比和高質量之間的矛盾。
上傳時間： 2014-01-01
上傳用戶：fandeshun
資源簡介：簡要講解了一下linux內核中tcpip數據流的走向
上傳時間： 2016-02-15
上傳用戶：shizhanincc
資源簡介：java解惑 經典JAVA書籍 詳細介紹了在JAVA編程中最容易出現的錯誤. 值得一讀.
上傳時間： 2013-12-17
上傳用戶：784533221
資源簡介：這本書講了如何在vc中開發出漂亮的對話框界面。
上傳時間： 2016-03-05
上傳用戶：yxgi5
資源簡介：摘要: 研究了蒙特卡羅仿真原理和仿真結果置信度 結合AWGN(加性白高斯噪聲) 信道特點,甄選出3 個合適的 參量,即誤碼個數、置信概率和仿真結果最大相對誤差 提出了AWGN 信道下仿真數據量選取的一般性結論,即誤 碼個數正比于置信區間上分位點的平方、反比于最...
上傳時間： 2016-03-22
上傳用戶：cylnpy
資源簡介：隱式曲面容易生成幾何形狀, 但是難于繪制。為了解決此缺點, 提出了一種使用 迭代函數系統的點式隱式曲面繪制算法, 它的實現非常簡單, 易于編程。
上傳時間： 2013-12-27
上傳用戶：hjshhyy
資源簡介：包含了很多DSP編程中要用到的常用函數的代碼
上傳時間： 2013-12-15
上傳用戶：xhz1993
資源簡介：本文提出了一種對μClinux 進行實時改造的方案,該方案采用雙內核機制,借助RTLinux 的實現思想,利用內 核模塊的可動態加載技術,對普通μClinux 進行實時性改造。實驗表明,該系統實時任務的調度響應和中斷延時在微秒級 別,能夠滿足硬實時系統對時間的限制。
上傳時間： 2013-12-06
上傳用戶：腳趾頭
資源簡介：文章介紹了在OFDM系統中基于導頻的信道估計方法
上傳時間： 2016-09-17
上傳用戶：362279997
資源簡介：本文介紹了如何在powerbuilder中實現動態報表的思想，希望對有需要的朋友有所啟發
上傳時間： 2014-12-08
上傳用戶：ve3344
