基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。
上傳時間： 2013-11-30
上傳用戶：GavinNeko
ADT BinaryTree 的實現及驗證程序采用的主要數據結構：二叉樹、棧、隊算法思想：1、 先序建樹、輸出樹、后序遍歷用遞歸方法。性能分析：O( n )2、 先序遍歷、中序遍歷：性能分析：O( n )(1) 若遇到新節點非空則先入棧，然后訪問其左子樹。(2) 若為空則將棧頂結點出棧，訪問其右子樹。(3) 循環1、2直到棧為空且無節點可入棧。先序與中序的區別是：先序在入棧時訪問節點，中序在出棧時訪問節點。3、 層遍歷：性能分析：O( n )(1) 根節點入隊(2) 節點出隊并訪問(3) 若節點有左孩子，則左孩子入隊；有右孩子，則右孩子入隊。(4) 重復2、3直到隊列為空。4、 線索樹：算法與先序遍歷、中序遍歷一樣，只是將訪問節點的Visit函數改為連接前驅與后繼的操作。性能分析：O(
標簽： BinaryTree ADT 性能分析 樹
上傳時間： 2014-12-20
上傳用戶：SimonQQ
這是非常有挑戰性的題目。對于用戶輸入的任意一個平面函數f(x)，繪制出其函數曲線。這里最關鍵的技術難點就是如何實現計算表達式的值。在《編譯原理》和《數據結構》的書中，都有對表達式運算方法的論述。說實在的，在編譯型計算機語言中實現對用戶輸入表達式的運算是非常困難的。需要對表達式進行掃描，去括號，按照運算符的優先級生成2叉樹，然后遍歷該樹生成逆波蘭表達式，再然后通過棧的方法進行運算。如果在表達式中再包含有函數的話......描述起來都麻煩，更不要說用程序實現了:-(
上傳時間： 2014-08-07
上傳用戶：1159797854
用單片機的C語言編的鍵盤遞增遞減的C程序的源代碼（按一下鍵，對應的鍵值增或減一），在很多領域用到此思想，如空調調溫等，可供單片機開發工程師參考。
上傳時間： 2014-01-22
上傳用戶：xuanjie
用vb寫的遺傳算法程序。是一些通用代碼，與具體問題對應的代碼空出來，用的時候填進去。
上傳時間： 2015-04-16
上傳用戶：guanliya
用loop51實現的可調式脈沖發生及檢測器，可以手動輸入所發生脈沖的頻率和占空比，實時檢測及動態顯示
上傳時間： 2015-04-20
上傳用戶：13215175592
用Matlab/simulink所實現的bpsk性能仿真系統，信道為AWGN信道。運行后，可以看到經過bpsk以后信噪比的增益。
上傳時間： 2014-01-18
上傳用戶：xfbs821
用匯編語言編寫的一個簡單的學生成績管理系統，用戶有6種選擇： （1） 按’m’，則顯示功能菜單。 （2） 按’L’，則顯示學生姓名和各學科成績（數學，英語，語文）。每次顯示10條記錄并暫停，按’g’繼續顯示余下記錄。 （3） 按’I’，則可按格式插入記錄到規定文件中。 （4） 按’M’，則可按格式修改記錄。 （5） 按’D’，輸入行數，清空該行指定的記錄。 （6） 按’Q’，按格式輸入學生姓名進行查詢，列出該生的成績記錄。 （7） 按’E’，則退出程序。
上傳時間： 2013-12-24
上傳用戶：gououo
設計說明：1。數據結構和表示：程序用1、2、3、4分別表示將右、上、左、下的數字塊移動到空格之中。采用典型的樹+鏈表結構，每種局面產生一個BoardState類。出于避免走法順序列表被過多復制的考慮，在樹結構中保存局面的繼承關系。每種新的局面產生后，引用估值函數產生f的值，再根據大小將其插入鏈表之中，以便實現“優先展開f值小的節點”。Solve()函數在成功解決問題之后保存一個走法序列供輸出并返回零，而失敗則返回失敗處的節點層數。(具體的判斷方法見后文)
上傳時間： 2015-05-02
上傳用戶：xieguodong1234
本程序用資源分配網(Resource_Allocation Network,簡稱RAN)實現了Hermit多項式在線學習問題。訓練樣本產生方式如下，樣本數400，每個樣本輸入Xi在區間[-4,4]內隨機產生（均勻分布），相關樣本輸出為F(Xi) = 1.1(1-Xi + Xi2)exp(-Xi2/2),測試樣本輸入在[-4，+4]內以0.04為間隔等距產生，共201個樣本。訓練結束后的隱節點為：11個，訓練結束后的平均誤差可達：0.03
標簽： Resource_Allocation Network Hermit RAN
上傳時間： 2014-01-14
上傳用戶：pompey
