是由公共Lisp的程序語言、一套可擴(kuò)展的一階邏輯理論和一個機(jī)械化的定理證明工具所組成的軟件系統(tǒng)。...[繼續(xù)閱讀]

    指無須經(jīng)驗(yàn)或先于經(jīng)驗(yàn)獲得的知識。通常與后驗(yàn)知識相比較,后驗(yàn)為需要經(jīng)驗(yàn)才能獲得的知識。從原因到結(jié)果的論證稱為“先驗(yàn)的”,而從結(jié)果到原因的論證稱為“后驗(yàn)的”。...[繼續(xù)閱讀]

    一種在多個節(jié)點(diǎn)的路徑圖形平面上,求出最低通過成本的算法。該算法屬于人工智能中的啟發(fā)式搜索算法,常用于游戲中的非玩家控制角色(NPC)的移動計(jì)算,或線上游戲機(jī)器人(BOT)的移動計(jì)算。...[繼續(xù)閱讀]

    同“A星算法”。...[繼續(xù)閱讀]

    在狀態(tài)空間采用A星算法進(jìn)行搜索,對每一個搜索的位置進(jìn)行評估,得到最好的位置,再從這個位置進(jìn)行搜索直到目標(biāo)。啟發(fā)式搜索對位置的評估是十分重要的,采用不同的評估可以有不同的效果,從而省略大量無謂的搜索路徑,提高了效率...[繼續(xù)閱讀]

    指為求解最短路徑最有效的直接搜索方法而構(gòu)建的樹形結(jié)構(gòu),來保證找到最短路徑(最優(yōu)解的)條件。...[繼續(xù)閱讀]

    一種通過科學(xué)的實(shí)驗(yàn)設(shè)計(jì)、采樣樣本、流量分割與小流量測試等方式來獲得具有代表性的實(shí)驗(yàn)結(jié)論,并確信該結(jié)論在推廣到全部流量可信。為同一個目標(biāo)制定兩個方案,讓一部分用戶使用A方案,另一部分用戶使用B方案,記錄用戶的使用...[繼續(xù)閱讀]

    指將標(biāo)準(zhǔn)量(或參考量)為基準(zhǔn)的模擬量轉(zhuǎn)化成二進(jìn)制數(shù)字量形式的離散信號的轉(zhuǎn)換器。...[繼續(xù)閱讀]

    用來檢測數(shù)字信號與模擬信號的傳感器。...[繼續(xù)閱讀]

    指最基本的電子會議系統(tǒng),A/V為audio(音頻)與video(視頻)的縮寫,該系統(tǒng)由麥克風(fēng)、功放、音響、桌面顯示設(shè)備(例如桌面智能終端、液晶顯示器)組成,起到了傳聲、顯示、擴(kuò)聲的作用。廣泛應(yīng)用于監(jiān)控、指揮、調(diào)度、公安、消防、軍事、...[繼續(xù)閱讀]