正確性驗證 的英文怎麼說

中文拼音 [zhēngquèxìngyànzhèng]
正確性驗證 英文
verification of correctness
  • 正 : 正名詞（正月） 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 ...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 正確性 : accuracy
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  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. After the system is finished, tests should be done to verify the system and results should be analyzed

    系統完成後，採用驗證性實驗進行系統正確性驗證和性能分析。
  14. We describe the process of designing and implementing the compositive budget management system in detail. via verifying the validity, it is indicated that using j2ee and mvc model can make the system applicable and reusable

    然後詳細闡述了綜合預算管理系統的設計及實現過程，通過正確性驗證，表明所採用的j2ee技術以及mvc設計模式使得系統具有良好的可重用性以及可適應性。
  15. Uml - based software developing process and modeling environments have been widely accepted in the industrial community, which includes the safety areas such as spaceflight, national defense, and automobile, etc. verifying if uml models satisfy the requirements has become a key issue

    基於uml的軟體開發過程和建模環境已被工業界廣泛接受，其中包括航天、國防、汽車等許多安全攸關領域。對uml模型進行正確性驗證以判斷設計規范是否滿足目標需求成為一個關鍵問題。
  16. With the wide adoption of distributed real - time system in many areas, such as electronics, aerospace, military, automobile electronics, industry production, much attention has been focused on system schedulability analysis algorithm, which is an important verification method for system schedulability. many researchers have done a lot of research in schedulability analysis algorithm and have achieved many results

    隨著分散式實時系統逐漸得到廣泛的應用，分散式實時系統的可調度性分析演算法作為一種重要的實時系統時間正確性驗證手段，也逐漸得到了人們的重視，很多學者對此進行了廣泛的研究。
  17. Applying model checking in software design and verification has been proved very difficult. software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems. in this paper a direct model checking method based on kripke structure and matrix algorithm is provided

    將model checking應用到軟體正確性驗證方面被證明是很困難的事情，軟體體系結構sa software architecture通過對復雜軟體系統提供高層與抽象描述，為基於構件化技術的大型軟體系統關鍵性質的驗證提供了有效的途徑。
  18. But majority of the productions lack for verification of correction or only check the local expressions during the modeling process, so causing the existence of the deadlock, livelock and other bugs in the model. it causes many problems directly during the dynamic execution of the workflow. so it is important that model and verify the workflow before running

    但由於大多數產品在產品建模過程中缺乏正確性驗證或僅進行局部的語法檢驗，造成工作流模型存在死鎖、活鎖等缺陷，這直接引發了工作流動態執行過程中的諸多問題，如任務不能完成、超期完成等。
  19. In chapter 4, the paper introduces the intensity electric test of bulk - cement delivery semi - trailer. analyzes and compares the result of experimental test and finite element calculate and educes the conclusion of which the two results are identical under the permission range of engineering error

    本文在第四章介紹了cxq9160gsn型散裝水泥半掛車的強度電測試驗，分析和比較了電測結果與有限元計算結果，得出在工程誤差控制范圍內兩者的結果是基本一致的結論，從而驗證了有限元計算結果的正確性，保證了將計算結果用於指導生產的可靠性； 4
  20. Finally, do a lot of experiments to make a great improvement on the system and examine the validity of the amending arithmetic. the experiments show that the potentiometer no - linearity error decrease obviously and meet the demand of potentiometer production

    實驗表明，修刻后電位計的非線性誤差有明顯減小，證明所提出的修刻演算法的正確性，驗證了修刻方案和裝置的可行性。
分享友人
分享到 Line

分享到臉書