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