有限自動機的確定化及化簡 1、更正了 DFA_simplify2 中的錯誤 2、增加新舊狀態對照表 ds_temp --NFA轉DFA -- 輸入字符 -- 要求 id 必須從 1 開始連續遞增
標簽： DFA_simplify ds_temp DFA NFA
上傳時間： 2013-12-22
上傳用戶：skfreeman
本書講解Websphere的新版本6的管理和開發,對Websphere的配置講解很多,有很多的細節問題,包括集群的配置等
標簽： Websphere 版本
上傳時間： 2014-12-02
上傳用戶：hustfanenze
新的串口通信類,用C++開發,可直接加入項目中,好用.
標簽： 串口通信 項目
上傳時間： 2013-12-17
上傳用戶：zhangliming420
升壓型功率因數修正器操作在不連續電流模式下的大信號分析,新一代單片PFC+PWM控制器,一種新穎的功率因數校正控制技術研究
標簽： PFC PWM 升壓型 功率因數
上傳時間： 2013-12-23
上傳用戶：myworkpost
論解讀DICOM醫學圖像文件及其顯示的VC++實施方法 是一份比較新的討論dicon的vc實現方法的文章
標簽： DICOM dicon VC 醫學圖像
上傳時間： 2015-11-07
上傳用戶：sunjet
This file can be directly edited in Microsoft Visual C++.新的俄羅師方塊游戲
標簽： Microsoft directly Visual edited
上傳時間： 2014-11-21
上傳用戶：ruan2570406
提出了Strand空間模型中證明安全協議的一個新思路，它從安全密鑰的概念出發，參照基于理想概念的 證明方法，得出證明所需的預備結論，從而對協議的秘密屬性與認證屬性進行證明。此外，還給出了一個針對 Yahalom．BAN協議安全性的證明實例，從中可以看到該思路非常適于采用對稱加密體制且具有密鑰分發功能的三 方認證協議的證明，并且它還使得證明過程簡潔而直觀。
標簽： Strand 空間模型 安全協議 新思
上傳時間： 2015-11-08
上傳用戶：jeffery
p2p仿真器。開發者可以工作在覆蓋層中進行創造和測試邏輯算法或者創建和測試新的服務。PlanetSim還可以將仿真代碼平穩轉換為在Internet上的實驗代碼，模擬器上的分布式服務對結構化的覆蓋層協議使用相同API，在模擬器和底層網絡上的服務并且對用戶是透明的。
標簽： PlanetSim Internet p2p 代碼
上傳時間： 2015-11-09
上傳用戶：eclipse
攝像機標定新算法,用一個子函數計算出兩組運動組的參數本程序用于調試攝像機標定新算法這個程序在原來的基礎上改變了部分返回值，將標準離差改為均方值的計算加入標定整體誤差計算，運動復原和三維復原整體誤差計算應先用計算出的平移矢量進行三維復原，從得出的點對統計其z方向為正的個數，多者為正確的平移矢量
標簽： 攝像機標定 新算法 程序 函數
上傳時間： 2014-01-18
上傳用戶：tianjinfan
可愛的小新在屏幕上來回跑動。在跑動過程中，小新有豐富的肢體動作和面部表情哦。
標簽： 屏幕 過程
上傳時間： 2013-11-25
上傳用戶：nanshan
蟲蟲下載站版權所有 京ICP備2021023401號-1
