<bdo id="yq6c8"></bdo>
基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現(xiàn)了命題邏輯系統(tǒng)的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應用于聯(lián)合集，并推導出一個空子句(NIL)，產(chǎn)生一個矛盾。
標簽： 自動 機器學習 推理機 程序
上傳時間： 2013-11-30
上傳用戶：GavinNeko
一個用java編寫的HTTP鏡像的程序
標簽： java HTTP 編寫 程序
上傳時間： 2013-12-12
上傳用戶：luopoguixiong
相信有很多朋友遇到這樣的問題,本來能在線下載lpc932,可下載自己的程序后,發(fā)現(xiàn)再也不能下載了,這是因為系統(tǒng)無法進入在線編程了,只能用CP932重新燒寫,那時很麻煩的,把本段程序放在你程序里就可以解決問題了.
標簽： 932 程序 lpc
上傳時間： 2015-03-09
上傳用戶：chfanjiang
你可曾經(jīng)為硬件看門狗的復位時間太短,而苦惱過,這個方法幫你解決問題. 用定時器喂狗,如果超過一定時間(程序跑飛,或整個中斷都關閉,都會導致定時器不喂狗,導致看門狗的復位,從而延長了看門狗的復位時間)不喂就復位. 程序中我以lcpRD2為例.
標簽： 看門狗 復位 定時器 硬件
上傳時間： 2014-01-05
上傳用戶：xiaohuanhuan
學習ARM時在買來的ARM開發(fā)板上用ADS開發(fā)的小程序
標簽： ARM ADS 開發(fā)板 程序
上傳用戶：cxl274287265
用MODEM撥號程序
標簽： MODEM 程序
上傳時間： 2013-12-04
上傳用戶：yyq123456789
192X64液晶屏用AVR驅動的匯編語言 192X64液晶屏的MCS51匯編語言 192 64液晶片驅動程序 12232點陣信利液晶驅動
標簽： 192X64 12232 192 AVR
上傳時間： 2013-12-21
上傳用戶：FreeSky
用java編寫的硬盤格式化小程序
標簽： java 編寫 硬盤格式化 程序
上傳時間： 2015-03-11
上傳用戶：songrui
用J2ME實現(xiàn)簡單電子郵件發(fā)送功能。 可以通過手機運行該程序，實現(xiàn)遠程查信等功能。
標簽： J2ME 電子郵件 發(fā)送 手機
上傳用戶：agent
本程序是一個用prim算法尋找最小生成樹的小程序。
標簽： prim 程序 生成樹 算法
上傳時間： 2013-12-19
上傳用戶：dapangxie
蟲蟲下載站版權所有 京ICP備2021023401號-1
