是由公共Lisp的程序語(yǔ)言、一套可擴(kuò)展的一階邏輯理論和一個(gè)機(jī)械化的定理證明工具所組成的軟件系統(tǒng)。...[繼續(xù)閱讀]
海量資源,盡在掌握
是由公共Lisp的程序語(yǔ)言、一套可擴(kuò)展的一階邏輯理論和一個(gè)機(jī)械化的定理證明工具所組成的軟件系統(tǒng)。...[繼續(xù)閱讀]
指無須經(jīng)驗(yàn)或先于經(jīng)驗(yàn)獲得的知識(shí)。通常與后驗(yàn)知識(shí)相比較,后驗(yàn)為需要經(jīng)驗(yàn)才能獲得的知識(shí)。從原因到結(jié)果的論證稱為“先驗(yàn)的”,而從結(jié)果到原因的論證稱為“后驗(yàn)的”。...[繼續(xù)閱讀]
一種在多個(gè)節(jié)點(diǎn)的路徑圖形平面上,求出最低通過成本的算法。該算法屬于人工智能中的啟發(fā)式搜索算法,常用于游戲中的非玩家控制角色(NPC)的移動(dòng)計(jì)算,或線上游戲機(jī)器人(BOT)的移動(dòng)計(jì)算。...[繼續(xù)閱讀]
同“A星算法”。...[繼續(xù)閱讀]
在狀態(tài)空間采用A星算法進(jìn)行搜索,對(duì)每一個(gè)搜索的位置進(jìn)行評(píng)估,得到最好的位置,再?gòu)倪@個(gè)位置進(jìn)行搜索直到目標(biāo)。啟發(fā)式搜索對(duì)位置的評(píng)估是十分重要的,采用不同的評(píng)估可以有不同的效果,從而省略大量無謂的搜索路徑,提高了效率...[繼續(xù)閱讀]
指為求解最短路徑最有效的直接搜索方法而構(gòu)建的樹形結(jié)構(gòu),來保證找到最短路徑(最優(yōu)解的)條件。...[繼續(xù)閱讀]
一種通過科學(xué)的實(shí)驗(yàn)設(shè)計(jì)、采樣樣本、流量分割與小流量測(cè)試等方式來獲得具有代表性的實(shí)驗(yàn)結(jié)論,并確信該結(jié)論在推廣到全部流量可信。為同一個(gè)目標(biāo)制定兩個(gè)方案,讓一部分用戶使用A方案,另一部分用戶使用B方案,記錄用戶的使用...[繼續(xù)閱讀]
指將標(biāo)準(zhǔn)量(或參考量)為基準(zhǔn)的模擬量轉(zhuǎn)化成二進(jìn)制數(shù)字量形式的離散信號(hào)的轉(zhuǎn)換器。...[繼續(xù)閱讀]
用來檢測(cè)數(shù)字信號(hào)與模擬信號(hào)的傳感器。...[繼續(xù)閱讀]
指最基本的電子會(huì)議系統(tǒng),A/V為audio(音頻)與video(視頻)的縮寫,該系統(tǒng)由麥克風(fēng)、功放、音響、桌面顯示設(shè)備(例如桌面智能終端、液晶顯示器)組成,起到了傳聲、顯示、擴(kuò)聲的作用。廣泛應(yīng)用于監(jiān)控、指揮、調(diào)度、公安、消防、軍事、...[繼續(xù)閱讀]