基于機(jī)器學(xué)習(xí)的自動(dòng)邏輯推理機(jī)。本程序用歸結(jié)反演策略實(shí)現(xiàn)了命題邏輯系統(tǒng)的自動(dòng)推理。把要解決的問(wèn)題作為一個(gè)要證明的命題，其目標(biāo)公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應(yīng)用于聯(lián)合集，并推導(dǎo)出一個(gè)空子句(NIL)，產(chǎn)生一個(gè)矛盾。
標(biāo)簽： 自動(dòng) 機(jī)器學(xué)習(xí) 推理機(jī) 程序
上傳時(shí)間： 2013-11-30
上傳用戶：GavinNeko
此程序在matlab環(huán)境下運(yùn)行，適于求解線性規(guī)劃一類問(wèn)題。（單純形法）
標(biāo)簽： matlab 程序 環(huán)境 運(yùn)行
上傳時(shí)間： 2015-03-12
上傳用戶：netwolf
TLC1543 AD采樣子程序，提供了PORT作為采樣通道號(hào)的形參。
上傳時(shí)間： 2014-01-23
上傳用戶：410805624
這個(gè)程序是在windows平臺(tái)下運(yùn)行g(shù)ame of life最好的平臺(tái)。它不僅對(duì)細(xì)胞空間沒(méi)有限制、運(yùn)行速度非常快、界面很友好，而且能夠?yàn)槟闾峁┐罅康某跏技?xì)胞分布圖案，你還可以任意組合這些圖案達(dá)到你象要的構(gòu)形，然后讓這些構(gòu)形動(dòng)起來(lái)組合出更加神奇的生命游戲的世界。
標(biāo)簽： windows game life of
上傳時(shí)間： 2014-01-07
上傳用戶：xiaoxiang
本程序?yàn)閙alab的卡爾曼濾波器，用于雷達(dá)信號(hào)處理中航跡形
上傳時(shí)間： 2013-12-01
上傳用戶：qq1604324866
此為編譯原理實(shí)驗(yàn)報(bào)告 學(xué)習(xí)消除文法左遞規(guī)算法，了解消除文法左遞規(guī)在語(yǔ)法分析中的作用 內(nèi)含 設(shè)計(jì)算法 目的 源碼 等等.... 算法:消除左遞歸算法為: （1）把文法G的所有非終結(jié)符按任一種順序排列成P1,P2,…Pn 按此順序執(zhí)行 （2）FOR i:=1 TO n DO BEGIN FOR j:=1 DO 把形如Pi→Pjγ的規(guī)則改寫成 Pi→δ1γ δ2γ … δkγ。其中Pj→δ1 δ2 … δk是關(guān)于Pj的所有規(guī)則； 消除關(guān)于Pi規(guī)則的直接左遞歸性 END （3）化簡(jiǎn)由（2）所得的文法。即去除那些從開始符號(hào)出發(fā)永遠(yuǎn)無(wú)法到達(dá)的非終結(jié)符的 產(chǎn)生規(guī)則。
標(biāo)簽： 編譯原理 實(shí)驗(yàn)報(bào)告 算法
上傳時(shí)間： 2015-03-29
上傳用戶：極客
本軟件是集成式的輸入平臺(tái)，是一個(gè)輸入法整合軟件，除了本有的拼音輸入外，可以掛接 各種形碼輸入方案，如五筆98、86、鄭 ... 由于使用只有50多K的單線矢量字庫(kù)，從體積而 言是目前最小的漢字系統(tǒng)，當(dāng)然顯示效果會(huì)打個(gè)折扣,直接鍵入xzl.com進(jìn)行加載即可。
上傳時(shí)間： 2015-04-02
上傳用戶：zmy123
用Burg算法估計(jì)AR模型參數(shù)，進(jìn)而實(shí)現(xiàn)功率譜估計(jì). 形參說(shuō)明： x——雙精度實(shí)型一維數(shù)組，長(zhǎng)度為n，存放隨機(jī)序列。 n--整型變量,隨機(jī)序列的長(zhǎng)度。 p--整型變量,AR模型的階數(shù)。 a--雙精度實(shí)型一維數(shù)組，長(zhǎng)度為(p十1)。存放AR模型的系數(shù)a(0),a(1),...,a(p)。 v--雙精度實(shí)型指針,它指向預(yù)測(cè)誤差功率，即AR模型激勵(lì)白噪聲的方差。
標(biāo)簽： Burg AR模型 算法 參數(shù)
上傳時(shí)間： 2013-12-21
上傳用戶：330402686
計(jì)算ARMA(p，q)模型的功率譜密度。 形參說(shuō)明： b——雙精度實(shí)型一維數(shù)組，長(zhǎng)度為(q+1),存放ARMA(p，q)模型的滑動(dòng)平均系數(shù)。 a——雙精度實(shí)型一維數(shù)組，長(zhǎng)度為(p+1),存放ARMA(p,q)模型的自回歸系數(shù)。 q——整型變量,ARMA(p,q)模型的滑動(dòng)平均階數(shù)。 p——整型變量,ARMA(p,q)模型的自回歸階數(shù)。 sigma2——雙精度實(shí)型變量,ARMA(p,q)模型白噪聲激勵(lì)的方差。 fs——雙精度實(shí)型變量,采樣頻率(Hz)。 x——雙精度實(shí)型一維數(shù)組,長(zhǎng)度為len。當(dāng)sign＝0時(shí)，存放功率譜密度；當(dāng)sign＝ 1時(shí)，存放用分貝表示的功率譜密度。 freq——雙精度實(shí)型一維數(shù)組，長(zhǎng)度為len。存放功率譜密度所對(duì)應(yīng)的頻率。 len——整型變量，功率譜密度的數(shù)據(jù)點(diǎn)數(shù)。 sign——整型變量,當(dāng)sign＝0時(shí)，計(jì)算功率譜密度；當(dāng)sign＝1時(shí)，計(jì)算用分貝表 示的功率譜密度。
上傳時(shí)間： 2015-04-09
上傳用戶：qiao8960
用matlab編的koch曲線，此程序畫出了類似雪花的分形曲線
上傳時(shí)間： 2015-04-17
上傳用戶：朗朗乾坤
蟲蟲下載站版權(quán)所有 京ICP備2021023401號(hào)-1
