程序驗證 的英文怎麼說

中文拼音 [chéngxùyànzhèng]
程序驗證 英文
program validation
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Then an assembly program was composed to test and verify the function of the scm

    並根據此單片機的指令系統編寫匯編程序，驗證了單片機各條指令的功能。
  2. 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擺線齒錐齒輪銑齒調整參數計算」的程序驗證了推導的公式的正確性。
  3. Get information about c application verifier

    獲取有關c + +應用程序驗證工具的信息。
  4. Application verifier stops application verifier stops

    >應用程序驗證程序停止
  5. Note : most of the application verifier stops are not continuable

    注意：大多數應用程序驗證程序停止是不可繼續的。
  6. Thus the numerical analysis testifies that the service stages of the pre - stressed and hollow concrete slabs with mid - strength spiral - ribs steel wires can also be separated to the elastic stage, cracking stage and failure stage

    數值分析程序驗證了中強螺旋肋鋼絲預應力混凝土空心板的工作階段也可分為彈性工作階段、帶裂縫工作階段和破壞階段。
  7. I then test the object creation works and verify the contents of the database using dbunit s query facilities

    然後測試對象創建工作，並用dbunit的查詢程序驗證數據庫的內容。
  8. In the positive - issue research of bird impact, the thesis carefully explores the basic theories, finite element numerical method and key techniques of the solution process in ls - dyna3d software system for contact - impact issue of viscoelastic bodies at large deformation. the well - chosen cases examine the accuracy of solutions in ls - dyna3d for large deformation impact issues. under the proof work, the incremental constitutive equation of bilinear and nonlinear viscoelastic materials are derived, coded and verified in ls - dyna3d

    在鳥撞正問題的研究中，本文詳細推導了大變形粘彈性接觸-碰撞有限元分析的基本理論、數值計算方法、求解過程、關鍵技術以及上述內容在ls - dyna3d中的具體應用，算例考察了ls - dyna3d在求解碰撞以及大變形問題上的計算精度，同時推導了線彈性材料、雙線性彈塑性材料以及非線性粘彈性材料增量法迭代方程，編制了相應的用戶自定義材料子程序，並進行了子程序驗證。
  9. The rationality of cycloid gear actual operating space is verified by optimizer, finally the conclusion of the isometric plus travel distance alter shape curve much more approach corner alter shape is obtained

    通過編制的優化程序驗證了擺線輪齒形工作部分范圍的合理性，得出了等距加移距修形曲線更逼近轉角修形曲線的結論。
  10. Verification and validation of scientific and engineering computer programs for the nuclear industry, guidelines for

    核工業科研和工程用計算機程序驗證和確認導則
  11. The result shows that this kind of adaptive control method has robust performance to a great extent because of the special dynamic compensation for external disturbance in these two systems. lastly, this dissertation introduces the main development techniques used for exploring distributed 3d flight platform which can validate advanced flight control laws in theory and method. based on windows 2000 / xp os ( operation system ), it synthetically applies real - time simulation arithmetic of control system, oop ( object oriented program ) development technique, tcp / ip protocol - based net - communication technique and api development technique of 3d virtual reality opengl to exploring the distributed simulation platform with friendly a

    本文對于驗證先進飛行控制理論的分散式三維飛行模擬平臺主要開發技術進行了原理和方法上的介紹，文中在基於windows2000 xp操作系統下，綜合運用了控制系統實時模擬演算法、面向對象的軟體oop開發技術、基於tcp ip協議的網路通訊技術及三維虛擬現實opengl的api開發技術，在vc + +應用程序框架的范圍內，開發了具有友好互動式三維界面的分散式模擬平臺，該平臺除了用於先進飛行控制理論的實南京航空航天大學博士學位論文時程序驗證之外，也可以用於航空院校的飛行控制系統教學實踐和飛行訓練的課程，由於開發這一平臺並不需要大量的資金投入，因此具有非常廣泛的應用前景。
  12. Finally the method using supervision statistics is represented in excavation construction, which predict the critical axial force of bracing in enclosure structure

    用非線性流變有限元程序驗證了結論的正確性。最後提出施工時運用監測數據預估圍護支撐的方法。
  13. Unlike traditional differential geometrical method, the robust adaptive neural net - based control emphasizes on the theory and application of intelligence control in nonlinear system that is weighed by robust performance index. the problem of robust reliability and stability in a kind of weak nonlinear system is first proposed in the dissertation, and then it deeply analyses and discusses the problem of how to design track controller in strong nonlinear system with uncertainties and external disturbance on the premise of guaranteeing the whole system ' s robust performance index. the distributed 3d flight simulation platform is mainly used to validate real - time program and evaluate the efficiency of advanced flight control laws, therefore, some theories and techniques related to the platform are also introduced

    基於神經網路的魯棒自適應控制研究和分散式三維飛行模擬平臺的構建是本論文研究的兩個主要內容，與傳統微分幾何方法不同的是，基於神經網路的魯棒自適應控制側重於智能控制方法在以魯棒性為性能指標的非線性系統中的理論和應用研究，論文以一類弱非線性系統的魯棒可靠鎮定問題為引線，逐步深入地分析和探討了在保證整個被控系統魯棒性能指標的前提下，對于幾類具有不確定性和外部擾動的強非線性系統跟蹤控制器的設計問題；分散式三維飛行模擬平臺主要用於先進飛行控制律的實時程序驗證和效能評估之用，因此關于平臺的一些開發原理和技術方法也在文中給出了介紹。
  14. Application verifier is a runtime verification tool for unmanaged code

    應用程序驗證程序是用於非託管代碼的運行時驗證工具。
  15. Two codes developed independently are introduced with their calculation model, validation and so on. one is spool used to analyze sodium pool fire and another is sspray used to analyze sodium spray fire

    文中分別介紹了獨立開發的池式鈉火分析程序spool和噴霧鈉火分析程序sspray ，包括程序計算模型和程序驗證等內容。
  16. The tests included in the application verifier are to help software developers avoid common mistakes by using verification layers to validate the usage of the following api families

    應用程序驗證程序中包括的測試通過使用驗證層來驗證以下api系列的使用情況，可以幫助軟體開發人員避免犯下一些常見錯誤：
  17. 5 methods used for package process validation, which include the machine process, the effects of the sterilization process, distribution, handling, and shipping events, are beyond the scope of this guide

    包裝程序驗證方法，包括機器製造過程，滅菌過程，銷售，處理和運輸，都在此指南范圍內。
  18. Occurs before the user name is validated by the membership provider

    在成員資格提供程序驗證用戶名之前發生。
  19. The application validates postal codes entered into an entry field

    這個應用程序驗證輸入到輸入域中的郵政編碼。
  20. When application verifier stops occurs

    在發生應用程序驗證程序停止時
分享友人
分享到 Line

分享到臉書