驗證正確性 的英文怎麼說

中文拼音 [yànzhèngzhēngquèxìng]
驗證正確性 英文
proving correctness
  • : 動詞1. (察看; 查考) examine; check; test 2. (產生預期的效果) prove effective; produce the expected result
  • : Ⅰ動詞(證明) prove; verify; demonstrate Ⅱ名詞1 (證據) evidence; proof; testimony; witness 2 (...
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : 形容詞1. (符合事實; 真實) true; reliable; authentic 2. (堅固; 堅定) firm
  • : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  • 正確性 : accuracy
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  1. The correctness of theory analysis and reliability and affiance of software are verified by comparing practical calculation with traditional design

    通過實例計算與傳統設計方法的結果的比較,了理論分析的和軟體的有效、可靠
  2. The main evidence for the validity of nucleation theory rests on its ability to predict closely the critical supersaturation for most liquids in cloud chamber experiments.

    成核理論的主要據在於它能在雲室實中精密地預測多數液體的臨界過飽和度。
  3. The results show that the measurement result is in concordance with the result of calculation by theory on powder - pulse - booster impulse

    研究結果表明:單擺試測量火藥脈沖助推器沖量結果與理論計算結果基本一致,明了此實方法的
  4. To eliminate the errors, the parallel double - sensor scheme which can eliminate the influence of the tooth space error of the measurement tooth - wheel and the contraposition double - sensor scheme which can reduce the influence of the installing eccentric error of the measurement tooth - wheel are demonstrated in detail and realized in this paper

    為消除這些誤差,詳細論並實現了用並聯式雙傳感器方案消除測量齒盤分齒誤差的影響和用對置式雙傳感器方案消減測量齒盤安裝偏心誤差的影響。構建了試臺,了誤差研究和雙傳感器方案的
  5. Analyse the klingelnberg amk855 gear milling machine. through analyse the transmission chain of the gear milling machine, analyse the transmitting principle and manufacture principle, introduce the two - - part cutter head, the process of formation of extended epicycloide and inaginary crown gear cutting principle ; overall introduce the formation of tooth face, deduce the calculation formulas of the main setting parameter of gear milling machine, and proving the correctness of the setting calculation formulas by the program of ‘ calculating of klingelnberg cyclo - palloid spiral bevel gear milling setting parameter ’

    通過剖析該機床的傳動鏈,分析了其運動原理和加工原理;介紹了雙層萬能刀盤、延伸外擺線的形成過程和假想平面產形輪切齒理論;全面介紹了齒面的形成方法,推導了銑齒機主要的調整參數的計算公式,並用「 klingelnberg擺線齒錐齒輪銑齒調整參數計算」的程序了推導的公式的
  6. After s - cdma processing, the demodulated information and the original information of the same users are equally

    通過每個用戶在模擬處理后均能夠恢復原始信息,明了方案的和可行
  7. Then following reality constituent of engine and connecting component interface, a nonlinear signal cylinder engine model has been created, though fire interval and fire order, a control - oriented four cylinders engine is build. following dynamometer is seen as load, performance of engine is simulated and researched under the condition of constant torque and speed, validation of the math and simulation model have been confirmed by comparison result between simulation with test result of engine performance simulation software dyno

    按照發動機的實際組成,根據各部件的介面類型連接模型庫中的部件,建立了單缸發動機非線模型,在此基礎上,依據發動機實際發火間隔和順序,建立了面向控制的四缸汽油機模型,並以測功器為負載,通過恆轉矩和恆轉速方式進行了發動機能模擬和研究,模擬結果和發動機動力能模擬軟體dyno測試結果的對比了數學模型和模擬模型的
  8. In appendixes, the validity of applying hyades simulation to our experiments is analyzed

    在附錄里簡要介紹了一維流體力學程序hyades的使用方法並了模擬結果的
  9. Moreover, we mensurate the reactances of the experimental motor by the way of direct joad method, and verify the vaiidity of " electromotive force method "

    文章還運用直接負載法測定出樣機在不同負載下的電抗參數,了「電勢法」的
  10. In order to verify these numerical results, we analytically obtained the end positions of the phase - locked steps those have the transfer number 1 / n and found a good agreement with the numerical results

    為了這一數值結果的,我們解析求解了穿越數為1 / n的鎖相臺階的參數位置,發現和數值結果符合得很好。
  11. Disigning coolant channel on the firebox of liquid rocket engine to loxodrome ( equal - angle helix ) groove can improve firebox coolant capability greatly. because the width dimension of loxodrome groove is narrow and the depth is deep, some machining methods are incapable, such as end - milling or electrochemistry. according to the peculiarities, a cnc disk - cutter - milling method which is composed of five motion axes with four simultaneously interpolated ones is researched. because most firebox generatrix is composed of complex curves, it is very difficult to get cnc cutting program with manual means. in order to deal with the problem, the loxodrome mathematics model is studied, and an auto - programming software system is developed. the software system can generate cnc cutting program of loxodrome on many kinds of turned surface. the constriction - distension segment of firebox is the most representative workpiece. the sharp changing of its generatrix slope makes loxodrome milling difficult. with the theory analyzing and practice cutting experiment, some applied techniques, which include milling mode and direction, choosing cutter diameter and cutting start point setting, are developed. adopting the technology above, tens regular workpiece have been manufacturing. the two - year manufacture practice has confirmed the validity and feasibility of developed loxodrome coolant channel milling method. the developed technology is also worth to be referenced to other similar workpiece

    將液體火箭發動機燃燒室的冷卻通道設計為斜航線(等傾角螺旋線)槽形,可以大幅度改善燃燒室的冷卻能.斜航線冷卻槽的槽寬尺寸較小而槽深尺寸較大,所以無法使用棒銑刀銑削、電化學等加工方式.針對這些特點,提出了五軸控制、四軸聯動的數控片銑刀銑削加工方法.由於燃燒室外表面的母線輪廓復雜,手工編制數控加工程序難度大.為了解決數控加工程序的編制問題,研究了斜航線的數學模型,開發了自動編程軟體系統.使用該系統,可以生成多種母線輪廓回轉體外表面上的斜航線數控加工程序.燃燒室收斂-擴張段的母線斜率變化大,加工難度大,是斜航線冷卻通道加工的最典型工件.經過理論分析和實際切削實,研究了針對該類型工件的片銑刀直徑選擇、銑削方式和方向、刀具調整和起刀點的設置等多項實際的加工方案.採用上述的一系列技術,已經成功地加工了數十個合格工件.經過兩年多的實際生產過程應用,了所開發的斜航線冷卻通道加工方法的和可行.這些加工技術的研製成功,對其他相似類型零件的加工亦具有參考意義
  12. In order to insure the correctness of analysis of miler theorem, i use simulation to verify and simulative result shows the analysis is correct

    為了保用密勒定理分析電路的,還用模擬來,模擬結果表明了分析的
  13. In light of the elastic thin plate theory, the author induced equilibrium differential equation of bi - direction cellular slab, which was proved correct through analysis and comparison to result of ansys to with theoretical calculation. through the deflection and bending moment coefficient calculation of bi - direction cellular slab under various boundary conditions, the author brought forward the theory that the deflection of mid - span and bending moment coefficient calculation of mid - span and support of bi - direction cellular slab could be in accordance with solid plates ", which could satisfy the precision of engineering

    本文根據彈薄板理論,導出了雙向空腹板的平衡微分方程,並通過理論計算和通用有限元程序ansys結果對比,了其;通過對各類邊界條件下雙向空腹板撓度和彎矩系數的計算比較,本文提出:雙向空腹板跨中撓度及跨中、支座彎矩可使用本文空腹板剛度公式查找現有的實心板撓度彎矩系數表進行計算,完全能滿足工程精度要求。
  14. To verify the analysis results, a simulation tool for network reliablity - nrs is designed and implemented. the simulator can be used to model reliability of several network topologies referred above and the reliability of layer network

    解析結果的,設計並實現了針對網路可靠的模擬器nrs ( networkreliabilitysimulator ) ,它可以對上述多種網路的可靠進行模擬,而且可以對以典型網路拓撲結構為骨幹網的層次網路進行模擬。
  15. In order to verify the accuracy, credence and effectiveness of the unstructured overset grid algorithm, steady and unsteady flow field of naca0012 airfoil are simulated. the unsteady flow field is caused by the oscillation of the airfoil. the two computational results are both compatible well with the experimental data

    為了非結構重疊網格方法的、可靠和有效,本文對基於非結構重疊網格的naca0012翼型的定常流場以及簡諧振蕩的非定常流場進行了數值模擬,均取得了與實數據符合良好的結果。
  16. To attain the high - power, well - proportioned and steady high - energy particle beam is the base of analyzing beam loss. the factors that influence the emission performance of the filament are analyzed, and the parameters are calculated. the experiment results proved the correctness of analyses

    獲得大功率、均勻、穩定的高能粒子束是進行束流損失分析的基礎,本文分析了影響燈絲發射特因素,對燈絲各參數進行了設計計算,實明了分析的
  17. The correctness and practicability of this method was proved by an example

    算例了該法的和實用
  18. Software based on stl file is developed to segment the part. it is proved to be resultful

    開發了基於stl文件的實體分段演算法和軟體,通過實際應用了該軟體的
  19. Designed a program which can use the mean pressure coefficient of jin ’ ao mansion to calculate mean wind load of the whole buildings and local floor. the integral result can apply into the practical design of construction, also can compare with the results of wind tunnel balance test to validate the veracity of this test

    通過自編的程序對金奧大廈表面時均風壓系數進行積分計算獲得其整體和局部樓層的平均風荷載,積分計算的結果一方面可以方便地運用於實際的建築結構設計中,另一方面可以與風洞天平測力結果進行比較動態測壓試
  20. This can help in proving correctness, simplifying an algorithm, or even finding ways of optimizing it

    這有助於驗證正確性、簡化演算法,甚至有助於找出優化它的方法。
分享友人