窮盡搜索法 的英文怎麼說
中文拼音 [qióngjìnsōusuǒfǎ]
窮盡搜索法
英文
full search method- 窮 : Ⅰ形容詞(貧窮) 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 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 窮盡 : limit; end; exhaustion
- 搜索 : 1 (仔細尋找) search for; ferret about; hunt for; scout around 2 [電子學] hunting; scan; [控] in...
-
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
傳統的碼字搜索演算法? ?窮盡搜索演算法會隨著碼書規模的增大和碼字維數增加,計算量急劇增加。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 ) ,該演算法在圖像畫質達到窮盡搜索演算法的前提下,大大降低了碼字搜索率和硬體實現面積;為了提高編碼效率,在相關性編碼方面,提出了相關繼承編碼演算法,對普通矢量量化后的編碼索引進行無損重編碼。The other is synchronization algorithm implemented by software. two methods are discussed - the all - search method and gliding - search method
其二是軟同步演算法,闡明了兩種軟同步法,窮盡搜索法與滑動搜索法。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
其次,為減少每個矢量的編碼時間,提出一種基於均值排序碼書的快速搜索演算法,測試結果顯示,該演算法編碼速度是窮盡搜索演算法的二十多倍,但是恢復圖像的質量大大地降低了。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
一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質,使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是,這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長,以至於在很多情況下,窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時,還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系,文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示,此演算法在某些情況下比其他一些工具有更好的時間和空間效率Fast test cost calculation for hybrid bist in digital systems. euromicro symp
為了避免窮盡式搜索,一種評估確定型測試開銷的方法被引入。分享友人