演示證明 的英文怎麼說

中文拼音 [yǎnshìzhèngmíng]
演示證明 英文
demonstrate
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 示 : Ⅰ動詞（擺出或指出使人知道; 表明） show; indicate; signify; instruct; notify Ⅱ名詞1 [書面語] （給...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 演示 : demonstrate; show-how; reproduction
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. Ask students to demonstrate a proof of the theorem stating that the sum of the interior angles of a triangle is equal to 180 ?

    讓學生演示歐幾里得41號命題的證明：如果一個平行四邊形與一個三角形有相等的底邊長，又同時夾于兩平行線之間，那麼這個平行四邊形是這個三角形的兩倍。
  2. In recent years, plentiful and substantial fruits achieved by the lb method in simulations of hydraulics, multiphase flows, flows in porous media and heat transfer as well as magnetohydrodynamics, have revealed a broad perspective of application of this method, it will become a powerful competitor to the conventional approaches. in order to absorb the recent achievement in theory and application of the lb method, explore new ways in hydraulic computation to promote the development of practice, some work is car ried out in this thesis, as following : advances in the theory research and application, deductive process of the d2q9 model and some other commonly used models of the lb method are summarized. based on the hydrodynamic and general boundary conditions, a new joint boundary condition is presented, it integrates advantage of the two conditions above and obtains very good results in dealing with all kinds of boundaries of flow fields

    為了消化和吸收近年來lb方法在理論和應用方面的新成果，探索在水力計算方面的新途徑以促進lb方法實用化的發展，本文進行了下列研究工作：綜述了lb方法在理論研究和實際應用方面的新進展，以及d2q9模型的推導過程和其他一些常用的模型；在水動力邊界條件和通用邊界條件的基礎上提出了一種新的聯合邊界條件方法，它綜合了上述兩種邊界條件的優點，在流場的各種邊界處理中取得了非常好的效果，經過模塊化的處理以後這種邊界條件具有更好的實用性；針對均勻網格的lb方法計算效率較低的不足，提出了雙重網格的latticeboltzmann方法，通過二維poiseulle流動、后臺階流動和渠道方槽流動三個算例的模擬，證明這種方法能夠明顯地提高流場模擬的計算效率；此外，根據復雜區域流場的特徵提出了latticeboltzmann方法的分塊-耦合演算法，利用lb方法的計算特性實現塊與塊之間的數據交換，充分利用計算資源提高計算效率，通過對「 t 」型、 「十」型和「 x 」型分岔管道流場的模擬，展示了這種演算法的特徵和優點，以及它所具有的應用前景。
  3. Ask students to demonstrate a proof of the pythagorean theorem

    讓學生演示畢德哥拉斯定理的一種證明。
  4. This article takes you through a specific example of how the author set up high availability as part of a proof - of - concept demonstration of db2 udb with high availability cluster multi - processing hacmp on ibm aix

    作為db2 udb概念驗證演示的組成部分，本文將介紹一個特定示例，說明作者如何利用ibm aix上的高可用性集群多處理（ high availability cluster multi - processing ， hacmp ）來設置高可用性。
  5. The example evaluating the ability of the unit in charge of construction proved that the method is scientific and feasible

    通過對施工單位能力評價的實例演示，證明了該方法的科學性和可行性。
  6. Good agreements have been obtained between the results from these simulation methods and experimental measurements to show the validity and efficiency of these methods. from these examples, some problems of dealing with fdtd simulation of some microwave active circuits are solved

    通過實例的驗證，演示了各種處理微波器件的方法的具體實現，表明了各種方法的有效性，解決了處理微波有源電路的fdtd模擬時遇到的問題。
  7. The demonstration showed that such a communications technology can be put into production and application on a large scale

    演示證明這一通信技術可以大規模投入生產和應用。
  8. The demonstration proved that td - scdma 3g mobile communications technology was qualified for large - scale production and application

    演示證明td scdma第三代移動通信技術可以大規模投入生產和應用
  9. It also proves the performance of decision algorithm is good and the decision - making subsystem can be applied

    通過該soccer系統模擬平臺的實踐演示證明，本文設計的決策系統是可執行的並且效果良好。
  10. In the second chapter, the concept of value multiple is introduced in details and a new valuation model is given at the end of this chapter. an important conclusion is drown through data analysis in american capital market in the chapter three : there is a strong relativity between the value multiple and the stock price. in the next chapter, we analyze those factors that they can weaken the effect of value multiple when we use it to judge the intrinsic value of securities in our country and countermeasures ^ against those factors

    本文第一章主要就證券價值分析的一般原理、常用方法以及存在的問題進行了探討；第二章主要就價值倍數法的理論基礎、計算公式進行闡述和推導，並最終構建了基於價值倍數概念上的估值模型；第三章主要通過美國資本市場的數據對價值倍數與股票價格之間的關系進行了探討，最後得出二者之間為正相關的結論；第四章主要就我國證券市場上影響價值倍數運用的主要因素以及對策進行探討，並通過實例演示證明價值倍數模型在我國證券市場運用的有效性；第五章對整個研究過程進行了總結，並就其中存在的問題提出了改進的思路以及進一步研究的方向。
  11. We derive and prove some system reliability indexes such as reliability, instantaneous availability, steady - state availability, mut, mdt and so on for these three new models. some numerical examples are given to illustrate the results in the thesis

    本文對所建立的三個新模型的一些可靠性指標，其中包括瞬時可用度、穩態可用度、平均停工時間、平均開工時間、忙時等，進行了推導與證明，並對結果進行了分析與數值演示。
  12. Solutions should be explained and supported ( e. g. by plots, discussions, and / or derivations, depending on the problem ). remember to properly label all plots as discussed in the previous section

    要充分解釋並且提出輔助資料證明作業的答案，譬如可以運用圖表、討論及或者方程式推演的方法，會根據問題的內容不同而有差異。記得要把所有的圖表確實的照前面所講過的方式標示好。
  13. In the dissertation, a " fast shamir algorithm represented by five - element joint sparse form " is presented. and it is demonstrated that comparing with other similar algorithms, the total numbers of the computation of our algorithm can be saved about 10 %, in the case of 192bit key. ( 5 ) in the implementation of elliptic curve cryptosystem, one of the key steps is to design and implement the base - point choice algorithm of elliptic curve finite group

    已經證明，用本文提出的「五元聯合稀疏形式表示的shamir演算法」計算標量乘法對，在192bit的密碼體制中，其計算量比同類演算法平均減少了10兒（ 5 ）實現橢圓曲線密碼體制還有一個關鍵的步驟，就是橢圓曲線有限群基點選取演算法的設計與實現。
  14. The duality between the coning and sculling corrections, raised in the recent literature, is fundamentally explained. the superiority of the new algorithm in accuracy is analytically derived. a variety of simulations are carried out to support the analytic conclusions, including those with ideal inertial sensors and those with non - ideal inertial sensors

    2 .從多個側面對對偶四元數演算法和傳統演算法進行了理論分析和比較，揭示了傳統演算法中圓錐演算法和劃船演算法之間存在對偶性/等價性的根本原因，導出了對偶四元數演算法和傳統演算法誤差的解析表達式，從理論上證明了在高精度和高動態環境中，對偶四元數演算法的精度將優于傳統演算法。
  15. The incumbent must be able to demonstrate objective analytical power, and be numerically literate

    該職位必須證明有目標分析能力和數字演示能力。
  16. Moreover, video control program to implement internal function of fpga is designed including video capture time sequence control, ping - pang frame buffer read and write time sequence control and lcd display time sequence control, and program ' s simulation and analysis is also provided. at last, this paper presents a portable iv ' s video processing system, and proposes three buffer strategy to control capture buffer. and a moving object detection algorithm of combing an adaptive background subtraction technique with a three - frame differencing is adopted

    設計了基於fpga系統結構的車載視頻顯示電路板；利用單片機io口模擬i2c時序，實現了視頻解碼晶元控制；利用fpga實現視頻控制，研究了採集通道時序控制、雙幀存ram讀寫時序控制及lcd顯示時序控制的方法，並進行了軟體模擬和分析；設計了車載視頻檢測系統方案，給出了管理採集緩沖區的三幀緩沖策略，採用綜合三幀差分和自適應背景相減的演算法實現運動檢測，連通體檢測去除虛目標，模擬實驗證明其有效性，同時分析了該演算法在dsp視頻檢測系統中的簡單實現方法。
  17. We also analyzed java virtual machine model and class file format and presented a formal model of java byte code obfuscation. we demonstrated some interesting properties of obfuscating transformation and proved that for java byte code it is possible to create a single - pass algorithm of obfuscation

    論文還對java虛擬機模型與類文件格式進行了分析，建立了一個對java位元組碼進行代碼混淆的形式化模型，揭示了混淆變換具有的一些特性，並證明對java位元組碼可以創建單輪的混淆演算法。
  18. The system is a demo program, and distinguishes all kinds of functions very obviously. it implements each phase function step by step, in order to explain the particular process of digital signature and integrality validation

    整個系統以演示為目的，將各種功能明顯地加以區分，分步實現各階段的功能，旨在說明數字簽名與數據完整性驗證的詳細過程。
  19. The author focuses discussion on maxwell equations in two dimensions involving respectively the two conditions that the current density is zero and the current density exists. the symplectic integrator method is implicit except that the hamiltonian is separable. but when the current density exists, the hamiltonian is not separable

    主要分析了二維情形下電流密度為零和電流密度存在時的兩種情況，由於第二種情況下maxwell方程不是可分的hamilton系統，因此理論上文中提出的顯式辛演算法不可行，但是證明了辛prk方法仍然可以運用，且格式依然保持顯示。
  20. Climatic mean map, it is further confirmed that it s a good approach to retrieve the equatorial zonal circulation by using the ir indicate ascending branch and wv indicate descending branch channels. the definition of the index of zonal circulation with the olr and fwv are presented and the 17 years mean annual and seasonal equatorial circulation are drawn. the climatic characteristics of the equatorial zonal circulation are analyzed in detail. consequently the fore results of the other observation are corrected

    通過波耳茲曼公式換算得到的6 . 7m水汽輻射通量密度，以便於與olr比較與ncep再分析的500hpa的年氣候平均圖進行比較，分析其異同，進一步證明了用衛星觀測的紅外，水汽雙通道olr表示上升運動， fwv表示下沉運動去反演緯向垂直環流是一個極好的途徑。
分享友人
分享到 Line

分享到臉書