此算法能在多項式時間里判定任一給定的2CNF公式是否可滿足。是算法中的一個重要問題。
資源簡介:此算法能在多項式時間里判定任一給定的2CNF公式是否可滿足。是算法中的一個重要問題。
上傳時間: 2015-11-07
上傳用戶:cccole0605
資源簡介:用動態規劃法實現查找兩字符串的公共子序列。是算法中的一個重要問題。
上傳時間: 2015-11-07
上傳用戶:sxdtlqqjl
資源簡介:數論相關的一個算法:如何在多項式時間判斷素數
上傳時間: 2014-07-04
上傳用戶:ANRAN
資源簡介:在有些軟件里當鼠標移到某單詞上,其注釋就會顯示單詞的中文解釋.這樣的軟件是如何制作的呢?下面我就介紹以下獲取鼠標所在單詞的方法,至于中文結實要關系到數據庫及字庫問題在此我不做解釋. 首先建立新工程,在FORM上添加一個TEXT文本框. 聲明SendMessage函數.
上傳時間: 2013-12-10
上傳用戶:AbuGe
資源簡介:能在短時間21天內了解vc的大體框架和流程,迅速掌握編程的一些技巧,是vc初學者的一個選擇。
上傳時間: 2015-11-21
上傳用戶:erkuizhang
資源簡介:此程序能在MATLAB上實現低通濾波器,功能很強大
上傳時間: 2014-01-06
上傳用戶:gdgzhym
資源簡介:基于uclinux采用udp通訊協議實現圖象等網絡規范文件的傳輸.采用c/s模式,服務器端實現并發而響應多個客戶的請求.經過測試,代碼能在linux主機之間,arm與arm之間以及pc與arm之間進行通訊(文件中的readme(此為linux下編寫)對代碼有個總體說明)
上傳時間: 2013-12-28
上傳用戶:清風冷雨
資源簡介:為實現通信的終極目標五個W:任何人(whoever)在任何時間(whenever)任何地點(wherever)與任何他人(whomever)進行任何類型(whatever)的信息交換,則至少通信網的最后一段必須是移動通信系統。由此可見移動通信在現在及未來通信中的重要地位。
上傳時間: 2014-01-16
上傳用戶:維子哥哥
資源簡介:哲學家進餐問題是荷蘭學者Dijkstra 提出的經典問題之一,它是一個信號量機制問題的應用,在操作系統文化史上具有非常重要的地位。對該問題的剖析有助于學生深刻地理解計算機系統中的資源共享、進程同步、死鎖等問題,并能熟練地應用信號量來解決生活中的控制流程...
上傳時間: 2013-12-10
上傳用戶:zhangzhenyu
資源簡介:哲學家進餐問題是荷蘭學者Dijkstra 提出的經典問題之一,它是一個信號量機制問題的應用,在操作系統文化史上具有非常重要的地位。對該問題的剖析有助于學生深刻地理解計算機系統中的資源共享、進程同步、死鎖等問題,并能熟練地應用信號量來解決生活中的控制流程...
上傳時間: 2014-01-23
上傳用戶:teddysha
資源簡介:本程序為ad的dsp21990控制芯片程序,其功能是通過傳統的PI控制算法來實現對電源的控制,控制程序可以采用.asm也可以采用.C。程序的具體算法和介紹在軟件壓縮
上傳時間: 2015-12-16
上傳用戶:youth25
資源簡介:傳教士和野人問題是人工智能中的經典問題。本程序采用遞歸算法求解。定義一個函數,該函數返回一個解路徑,路徑可以用規則序列表示,也可以用狀態序列表示。比如,用規則序列表示,可以表示為:(1 1)(1 0)。。。 表示:過去1個傳教士,一個野人,回來一個...
上傳時間: 2013-12-23
上傳用戶:我們的船長
資源簡介:功能: 在目錄樹中增加一個文件夾。 首先獲得鼠標點擊處結點的信息,將此結點作為將要插入結點的父親結點,然后在此結點下插入 “新建文件夾”結點。在右鍵增加消息映射。
上傳時間: 2015-12-01
上傳用戶:myworkpost
資源簡介:盧開澄,《計算機密碼學-計算機網絡中的數據保密與安全》第三版中的DES程序。在網上搜索過,沒有發現網上出現過此源碼。經測試加密/解密比較快,加密/解密一次大概2ms左右。
上傳時間: 2013-12-24
上傳用戶:lhw888
資源簡介:DEELX 正則表達式引擎(v1.2) DEELX 是一個在 C++ 環境下的與 Perl 兼容的正則表達式引擎。是 RegExLab 開展的一個研究開發項目。 基本特點: 支持與 Perl 兼容的正則表達式語法。 支持 IGNORECASE, SINGLELINE, MULTILINE 等常見匹配模式。 兼容性...
上傳時間: 2017-02-21
上傳用戶:zhenyushaw
資源簡介:NCO 在信號處理方面有著廣泛的應用。而函數發生器是NCO 中的關鍵部分,本文基 于FPGA 用狀態機和流水線方法實現了CORDIC 算法,并取代了傳統的ROM 查找表法。 最后通過Quartus II 軟件給出仿真結果,驗證了理論的正確性。
上傳時間: 2017-04-04
上傳用戶:iswlkje
資源簡介:曲線數據壓縮是計算機圖形學、計算機自動制圖和地理信息系統( GIS) 等學科理論與方法研究的一個重要問題,其實質是一個信息壓縮問題.RDP 算法是應用最為廣泛的一種,由于容易編程實現且壓縮結果較好, GIS 界許多著名商業軟件公司(如Intergrap h ,ESRI ,LaserSca...
上傳時間: 2017-05-06
上傳用戶:huannan88
資源簡介:這里有加減乘和轉置 用C語言編的 注意輸入 算法用于稀疏矩陣 首先輸入行,列,元素數目 再輸入標志位 即每一列的第一個元素是矩陣中的第幾個元素 再輸入矩陣的元素 再選擇符號
上傳時間: 2015-02-12
上傳用戶:diets
資源簡介:列主元消去法。計算方法中的一種課程算法
上傳時間: 2015-02-21
上傳用戶:wl9454
資源簡介:本程序中的搜索引擎為王小春的《PC游戲編程(人機博弈)》書中的搜索引擎,估值函數和開局庫皆為自己設計.內含大量開局庫資料和開局庫格式轉換程序.本版棋力比1.0版棋力增強不少。發布此程序代碼之用意在于提高我國共享象棋軟件的棋力,讓我們大家一起來開發開源...
上傳時間: 2015-03-15
上傳用戶:x4587
資源簡介:這是操作系統中的寫者優先算法的實現絕對正確
上傳時間: 2014-07-05
上傳用戶:wpt
資源簡介:這是一個用JAVA編寫的小程序沒有解壓碼是關于jz_chat的希望會對你有所幫助也能對我有所幫助我要下源代碼就一個
上傳時間: 2015-03-22
上傳用戶:ouyangtongze
資源簡介:這是一個分別用Bezier曲線和B樣條曲線進行曲線擬合的例子 程序用VB6.0中文版編寫 例子中需要一個窗體和一個按鈕(使用默認的名字) 在本例中,黑色的線條是對坐標系上各點的直接連線 黃色的線僅對點間連線進行近似擬合,并不通過每一個點,使用的是B...
上傳時間: 2014-11-06
上傳用戶:manking0408
資源簡介:開發平臺為Symbian,掛在VC6.0上調試運行。為智能手機短信發送的一個例子。是我做的一個大作業。供大家參考把。
上傳時間: 2015-04-07
上傳用戶:l254587896
資源簡介:一個簡單的詞法分析程序。是編譯原理的部分課程設計。因為時間有限。未能完成全部。如果有朋友改了代碼或添加了功能使代碼更加完善。請與我聯系:ningmeng_studio@163.com謝謝. 做的不是很好,請多諒解。
上傳時間: 2014-01-12
上傳用戶:zhuoying119
資源簡介:用c++寫一個售貨員問題。這是高級算法中除了紅黑樹中最難的一個了。是研究生課程中的的程序實現
上傳時間: 2014-09-11
上傳用戶:epson850
資源簡介:C均值的一般算法。 是C編的,比較簡單的程序。
上傳時間: 2014-09-11
上傳用戶:dancnc
資源簡介:Embedded Internet(ICES).ppt 內容是有關于嵌入式Internet(Embedded Internet Market)在市場上的應用。是篇不錯的文章。
上傳時間: 2014-01-07
上傳用戶:jennyzai
資源簡介:針對某些嵌入式系統中處理數據量大和速度要求高的特點, 在剖析了uCOS - Ⅱ內核工作原理的基礎上, 提出一種應用于uCOS - Ⅱ中的大容量內存文件系統的實現方案1 該方案通過在內存中建立文件系統, 將臨時數據有效組織于內存中, 既提高訪問速度又節省外存空間
上傳時間: 2013-12-20
上傳用戶:咔樂塢
資源簡介:著名的JAVA編程書籍 講解了一系列JAVA編程中的注意事項 這些東西也許會花費程序員大量的時間來解決
上傳時間: 2014-10-12
上傳用戶:13188549192