證明方法 的英文怎麼說
中文拼音 [zhèngmíngfāngfǎ]
證明方法
英文
method of proof- 證 : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
- 明 : Ⅰ形容詞1 (明亮) bright; brilliant; light 2 (明白;清楚) clear; distinct 3 (公開;顯露在外;不隱...
- 方 : Ⅰ名詞1 (方形; 方體) square 2 [數學] (乘方) involution; power 3 (方向) direction 4 (方面) ...
- 法 : Ⅰ名詞1 (由國家制定或認可的行為規則的總稱) law 2 (方法; 方式) way; method; mode; means 3 (標...
- 證明 : 1 (表明 、 斷定真實性) prove; testify; bear out 2 (證明書或信) certificate; identification; t...
- 方法 : method; means; way; technique; process; procedure; plan; device; recipe; fashion; tool; maneuver
-
With those above, an essential explanation to the simplicity of the representation of rijndael s - box is given, and a direct proof to the equivalence between any two coordinate functions of rijndael s - box is provided, with the equivalence described by only one matrix of order eight over gf ( 28 ). 5
利用這三種方法計算出的域元素分量表達式,解釋了rijndael演算法s盒代數表達式復雜度低的本質原因;給出rijndael演算法s盒分量函數間等價關系的一種直接的證明方法,並用一個八階gf ( 2 ~ 8 )矩陣完全刻劃這種等價關系。Finally, some properties of limits set of the solution of the dde with local monotone in the delay term are given. moreover, using the above discrete lyapunov functional, we prove that the poincare - bendixson theorem holds for some solutions of this dde. in chapter 4, detail analysis of the global attractor for three particular classes of delay differential equations in concrete applications are given
最後,給出了最終落在時滯項局部單調范圍內的解的極限集的若干性質,並給出了類似於poincare一bendixson定理的結論及其證明,這些結論的證明盡管與mallet一paret的證明方法相似,但是本文的結論將他有關全局單調的理論推廣到局部單調中去了。Proving methods for some definite integral equality
某些定積分等式證明方法探討Chapter 2 of this paper, by using a new method of proof, we obtain the weak ergodic convergence theorem for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by theorem 2. 1 of chapter 1 we get the weak ergodic convergence theorem of almost orbit for general semigroups of asymptotically nonexpansive type semigroups in reflexive banach space. by this method of proof, we give the weak ergodic convergence theorems for right reversible semigroups. by theorem 2. 1 of chapter l, we generalize the result to almost orbit case. so we can remove a key supposition that almost orbit is almost asymptotically isometric. it includes all commutative semigroups cases. baillon [ 8 ], hirano and takahashi [ 9 ] gave nonlinear retraction theorems for nonexpansive semigroups. recently mizoguchi and takahashi [ 10 ] proved a nonlinear ergodic retraction theorem for lipschitzian semigroups. hirano and kido and takahashi [ 11 ], hirano [ 12 ] gave nonlinear retraction theorems for nonexpansive mappings in uniformly convex banach spaces with frechet differentiable norm. in 1997, li and ma [ 16 ] proved the ergodic retraction theorem for general semitopological semigroups in hilbert space without the conditions that the domain is closed and convex, which greatly extended the fields of applications of ergodic theory. chapter 2 of this paper, we obtain the ergodic retraction theorem for general semigroups and almost orbits of asymptotically nonexpansive type semigroups in reflexive banach spaces. and we give the ergodic retraction theorem for almost orbits of right reversible semitopological semigroups
近年來, bruck [ 5 ] , reich [ 6 ] , oka [ 7 ]等在具frechet可微范數的一致凸banach空間中給出了非擴張及漸近非擴張映射及半群的遍歷收斂定理。 li和ma [ 13 ]在具frechet可微范數的自反banach空間中給出了一般交換漸近非擴張型拓撲半群的遍歷收斂定理,這是一個重大突破。本文第二章用一種新的證明方法在自反banach空間中,研究了揚州大學碩士學位論文2一般半群上的( r )類漸近非擴張型半群的弱遍歷收斂定理,即:定理3 . 1設x是具性質( f )的實自反banach空間, c是x的非空有界閉凸子集, g為含單位元的一般半群, s =仕工, 。Simulation results show the effectiveness of the algorithm. based on the integration of rough set and neural networks, a rough neural network based on predictive model control strategy for alkali recovery boiler control is developed. the framework of alkali recovery dedicated control system is introduced in chapter 5, including system hardware frame and software design and basic functions of system
3 )針對堿回收蒸發工段具有強耦合、大時滯的特性,通過分析傳統解耦演算法的不足,提出了蒸發工段神經網路解耦控制方案,通過模擬證明方法的有效性;同時通過集成粗糙集和神經網路方法,提出了基於粗糙集的神經網路預測模型控制方案,並應用到堿回收爐的控制當中。From the view of truth, lawsuit testimony is relatively real. the principle of absolutivity and relatvity of truth as well as the particularity or limitation of lawsuit testimony in proving its subiect, its time and space, its resources, its object, its ways and purpose determines that it is impossible and unnecessary for lawsuit testimony to reach the absolute reatity
在真理觀上,訴訟證明具有相對真實性,真理的絕對性和相對性原理以及訴訟證明在證明主體、證明時空、證明資源、證明客體、證明方法、證明目的上的特殊性或有限性決定訴訟證明達到絕對真實既是不可能的,也是沒有必要的。9 feng s, sakabe t, inagaki y. confluence property of simple frames in dynamic term rewriting calculus. ieice trans. information and systems, 1997, e80 - d : 625 - 645
它大幅度拓寬了前面證明方法的應用范圍,並可以應用於非終止非合流以及非左線性的項重寫系統。Weakly terminating property in a restricted domain of a term rewriting system, one with structural induction, one with cover - set induction, and the third without induction, and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
基於覆蓋集合歸納法的項重寫系統弱基終止性證明的機械化論文提出一種關於一般化了的項重寫系統弱基終止性,即,在特定領域的項重寫系統弱終止性的形式自動證明方法。The improved system utilizes good properties of elliptic curve cryptography system and adopts zero knowledge proof
改進的系統利用了橢圓曲線良好的密碼特性,並採用零知識證明方法。Inquaity testifies methed many, make use of the infinitesimal calculus knowledge to testify inequality, have made inequality certificate process over - simplication, the main body of a book list 8 kinds method in common use
摘要不等式證明方法很多,利用微積分的知識證明不等式,使不等式的證明過程簡單化,本文列舉了8種常用方法。8 feng s, cao s, liu s. mechanizing weak termination proving of term rewriting systems by induction. in proc
本方法是對基於結構歸納法和項重寫的弱終止性形式自動證明方法的擴展。In this paper, we obtained the hausdorff dimension of image set for n 1. however, the proving method is distinct from [ 1 ]
本文對n 1時,得到了象集的hausdorff維數,但證明方法則有別于文[ 1 ] 。This paper refers to the definition of ideal gas and proves the equation of state from the view of kinetic theory, thermodynamics and statistical physics
摘要給出理想氣體的嚴格定義,並從分子運動論、熱力學和統計物理等方面給出理想氣體狀態方程不同的證明方法。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
串空間方法包括了一個描述因果結構的偏序和一個類遞歸證明方法,提出了與所分析的具體協議無關的攻擊者能力邊界,是一種新型有效的形式化方法。Lastly, on the bases of working above, the good meathods used in the program are xpounded. and related algorithms and simulation experiments are finished. method proved to be feasible and system runs well
最後,在以上工作的基礎上,完成了相關的軟體,並對系統實現過程中的技巧進行闡述,形成了面向訂單生產的計劃管理系統軟體原型,完成了模擬實驗,證明方法可行,運行結果良好。The method to prove the fundamental theorem of algebra
代數基本定理的證明方法Several identification methods of the replace theorem
替換定理的若干證明方法Some new proofs of the lagrange mean value theorem
中值定理證明方法的討論Talking about the methods of proving the inequality
淺談不等式的證明方法The end justifies the means
只有結果能證明方法是正確的。分享友人