遞歸證明 的英文怎麼說

中文拼音 [dìguīzhèngmíng]
遞歸證明 英文
proof by recursion
  • 遞 : Ⅰ動詞（傳送;傳遞） hand over; pass; give Ⅱ副詞（順著次序） in the proper order; successively
  • 歸 : Ⅰ動詞1 （返回） return; go back to 2 （還給; 歸還） return sth to; give back to 3 （趨向或集中於...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Two block time - recursive algorithms are developed for the efficient and fast computation of the 1 - d rdgt coefficients and for the fast reconstruction of the original signal from the coefficients in both the critical sampling case and the oversampling case. the two algorithms are implemented respectively by a unified parallel lattice structure. and the computational complexity analysis and comparison show that the proposed algorithms provide a more efficient and faster method for the computation of the discrete gabor transforms

    首先論證了一維rdgt系數求解演算法和由變換系數重建原信號演算法，不論是在臨界抽樣條件下還是在過抽樣條件下，都同樣具有塊時間遞歸特性，並提出了相應的塊時間遞歸演算法及其并行格型結構實現方法，計算機模擬驗證了并行格型結構實現的可行性，計算復雜性分析與比較也說明了rdgt塊時間遞歸演算法的并行格型結構在計算時間方面所具有的高速和高效性能。
  2. Secondly, we introduce the recurrence definition of the non - uniform algebraic - hyperbolic b - spline basis using divided differences and the de boor - fix recurrence definition on polynomial functions, and based on the new forms, algebraic - hyperbolic b - spline curves are obtained. they share most of the properties as those of the b - spline curves in the polynomial space. we focus on deducing the calculating and knot inserting formulae for this new kind of curves and then prove that they have the variation diminishing properties

    二、利用廣義差商，基於多項式b樣條的deboor - fix遞推定義，給出了任意階非均勻代數雙曲b樣條的遞推定義，由此構造麯線，證明它的幾何不變性、仿射不變性、凸包性、 v . d .性等，重點給出了非均勻代數雙曲b樣條曲線的遞歸求值和節點插入演算法，演算法簡單且穩定，便於在計算機上實現
  3. This thesis studys several distribution network reconfiguration algorithms detailedly, mostly concluding branch - exchange method, optimal flow pattern method, recursive fictitious flow method and hybrid flow pattern method. it analyzes theoretical basis of all algorithms, modified process and basic steps at length. besides it simptylniroduce other distribution reconfiguration algorithms and its development, compares the characters of all algorithms and puts forward a simplied recursive fictitious flow method, then according to a example proves the effect of some algorithms

    本論文詳細研究了多種配電網路重構演算法，主要包括支路交換法、最優流模式法、遞歸虛擬流法和混合流模式法，詳細分析了各種演算法的理論依據、改進過程和基本步驟，簡述了其它相關重構演算法的思路及其發展，比較了各種演算法的各類特性，提出了一種簡化遞歸虛擬流演算法，並通過實例證明了幾種重構演算法的有效性。
  4. A new recurrent neural network structure, self - feedback diagonal recurrent neural networks ( sdrnn ), is also designed in this chapter. the learning algorithm of sdrnn is given and the convergence of this algorithm is proved. the simulation results show the validation of the structure and the learning algorithm

    在局部遞歸神經網路結構方面，提出了一種遞歸神經網路結構? ?自環對角遞歸神經網路結構（ sdrnn ） ，給出了相應的學習演算法，證明了演算法的收斂性，並進行了模擬實驗。
  5. Strand space including a partial order describing causal structure and a analog recursion method, brought forward the boundary of the attacker ’ s capacity which does not depend on idiographic protocols

    串空間方法包括了一個描述因果結構的偏序和一個類遞歸證明方法，提出了與所分析的具體協議無關的攻擊者能力邊界，是一種新型有效的形式化方法。
  6. Several results of dempster - shafer ( d - s ) method applied to target fusion identification of two sensors and conclusions drawn from them were given and proved. the recurrence formula of multi - sensor ( > 2 ) d - s fusion identification were derived and their properties were shown clearly

    並針對多傳感器的目標識別問題，文中給出並證明了兩個傳感器dempster - shafer （ d - s ）融合識別同一目標時的若干結論及其歸納的結論，同時推出了多（ 2 ）傳感器dempster - shafer融合識別同一目標時的遞推式，並分析了它們的性質。
分享友人
分享到 Line

分享到臉書