窮盡搜索演算法 的英文怎麼說

中文拼音 [qióngjìnsōusuǒyǎnsuàn]
窮盡搜索演算法 英文
full search algorithm
  • : Ⅰ形容詞(貧窮) poor; poverty stricken Ⅱ名詞1 (窮盡) limit; end 2 (姓氏) a surname Ⅲ副詞1 (...
  • : 盡Ⅰ副詞1 (盡量) to the greatest extent 2 (用在表示方位的詞前面 跟「最」相同) at the furthest ...
  • : 動詞1. (尋找) collect; gather2. (搜查) search; ransack
  • : Ⅰ名詞1 (大繩子; 大鏈子) a large rope 2 (姓氏) a surname Ⅱ動詞1 (搜尋; 尋找) search 2 (要; ...
  • : 動詞1 (演變; 演化) develop; evolve 2 (發揮) deduce; elaborate 3 (依照程式練習或計算) drill;...
  • : Ⅰ動詞1 (計算數目) calculate; reckon; compute; figure 2 (計算進去) include; count 3 (謀劃;計...
  • : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
  • 窮盡 : limit; end; exhaustion
  • 搜索 : 1 (仔細尋找) search for; ferret about; hunt for; scout around 2 [電子學] hunting; scan; [控] in...
  1. The traditional codeword search algorithm ? full algorithm ( fs ) has a serious disadvantage, whose computation quantity will rise sharply with the increase of the codebook size and the codeword dimension

    傳統的碼字? ?窮盡搜索演算法會隨著碼書規模的增大和碼字維數增加,計量急劇增加。
  2. Firstly, based on conventional vq, a fast algorithm named equal - sum block - extending nearest neighbor search ( ebnns ) is presented, which not only can achieve the reconstructed image of full search algorithm but also can greatly reduce both the codeword search ratio and chip area. in order to improve coding efficiency, a new algorithm called correlation - inheritance coding is proposed, which is embedded in conventional vq system to improve compression ratio by re - encoding the indexes

    首先,在普通矢量量化基礎上提出了等和值塊擴展最近鄰快速碼字( ebnns ) ,該在圖像畫質達到窮盡搜索演算法的前提下,大大降低了碼字率和硬體實現面積;為了提高編碼效率,在相關性編碼方面,提出了相關繼承編碼,對普通矢量量化后的編碼引進行無損重編碼。
  3. The other is synchronization algorithm implemented by software. two methods are discussed - the all - search method and gliding - search method

    其二是軟同步,闡明了兩種軟同步與滑動
  4. Then, in order to reduce the coding time of each image vector, a fast algorithm based on mean - order - search is proposed. the simulation results of this algorithm show that its coding speed is twenty times faster than that of full search algorithm ( fs ), but its reconstructed image is badly ruined

    其次,為減少每個矢量的編碼時間,提出一種基於均值排序碼書的快速,測試結果顯示,該編碼速度是窮盡搜索演算法的二十多倍,但是恢復圖像的質量大大地降低了。
  5. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.只需要在這個有限的等價類空間里就可以得到正確答案.但是,這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的.基於這兩個關系,文章提出了一個來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此在某些情況下比其他一些工具有更好的時間和空間效率
分享友人