驗證方法 的英文怎麼說

中文拼音 [yànzhèngfāngfǎ]
驗證方法 英文
method of verification
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 方 : Ⅰ名詞1 （方形; 方體） square 2 [數學] （乘方） involution; power 3 （方向） direction 4 （方面） ...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  • 方法 : method; means; way; technique; process; procedure; plan; device; recipe; fashion; tool; maneuver
  1. Research on the method validation of chromatogram fingerprint for qingkailing injection

    清開靈指紋圖譜驗證方法學研究
  2. The maximum range is the most important specification for a laser altimeter and 200km is the required level for the spaceborne laser altimeter in the lunar resources survey. in the paper, one kind of method and setting characterizing the laser altimeter ' s performance aiming at the specification of maximum range - noncooperative regulable attenuation was put forward and founded

    中科院知識創新重大方向?月球資源探測衛星激光高度計，要求實現200km的對月測距能力，本文以地面驗證激光高度計最大測程指標為目標，提出並建立一種激光高度計性能驗證方法?非合作目標可調衰減法和裝置。
  3. Proving methods and procedures for gas flowmeters

    氣體流量計的驗證方法和程序
  4. In other words, if you ve supplied a value of " foobar " to the

    所示）生成的驗證方法。換句話說，如果您為
  5. Furthermore, three expanded gny logic rules are given during above analysis based on gny, and at the end of this paper, security protocol formal verification based on attack logics is discussed and presented, a development framework of integrating such verification model into automated analysis tools such as spearii is shown finally

    另外，本文在使用gny邏輯的分析過程中，提出三條實用的gny擴展規則，而在文章最後，對基於攻擊邏輯的安全協議驗證方法作了初步研究，提出了將該協議攻擊驗證技術融入協議自動分析工具的設計框架。
  6. On the other side, based on research on noncircular surface grinding features, this deissertation designs the data structure of simulation driver, then, applies interpolation theory to design the grinding motion simulation module and researches all sorts of cases on constructing the solid swept of grinding wheels in the process of noncircular surfaces grinding, finally, designs nc codes verification simulation module by using design model - based verification technique

    在實體模擬技術方面，詳細研究了非圓曲面磨削加工的特徵並設計了對應的模擬驅動數據結構;應用插補原理設計了體現加工速度的運動過程模擬模塊;詳細研究了非圓曲面磨削加工中砂輪的相對和絕對運動掃掠實體的構造，並採用基於精確實體設計模型的驗證方法構建了數控代碼的模擬驗證模塊。
  7. Approach to verify model of tcpn workflow net based on graph reduction

    工作流網模型的驗證方法
  8. ( 2 ) a new minutiae verification method based on the fuzzy geometry features and texture features is proposed

    （ 2 ）提出了一種新的基於模糊幾何特徵和紋理特徵的細節點驗證方法。
  9. Lighting columns - method for verification of structural design by calculation

    路燈桿規范.第7部分:結構設計計算驗證方法
  10. Design and verification methods for sequential controllers

    一種順序控制器的設計和驗證方法
  11. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  12. Hydraulic fluid power - on - line automatic particle - counting systems for liquids - methods of calibration and validation

    液壓流體動力.液體的在線自動粒子計數系統.校正和驗證方法
  13. A new type of viscoelastic stochastic finite element method is established using first - order perturbation theory based on local averaging method of random field and karhunen - loeve expansion theory of random process. the amount of computations is greatly reduced by transforming correlated random variables to a set of uncorrelated random variables. the relations of different random response variables are analyzed and monte carlo simulations for viscoelastic stochastic structures are investigated

    基於隨機場的局部平均法以及隨機過程的karhunen - loeve分解理論，通過一階隨機攝動方法建立了考慮材料近似不可壓縮的粘彈性隨機有限元公式，由相關結構分解減少計算量，分析了各結構隨機響應量之間的關系，給出了數字特徵的計算方法，研究了粘彈性隨機結構的montecarlo模擬驗證方法。
  14. Application of semantic verification method based on component - level reduction in e - commerce processes

    基於組件級化簡的語義驗證方法在電子商務過程中的應用
  15. Finally, in the answer processing module, we design and develop an algorithm which named " syntax constrained semantics verification ". this approach of verification combines syntax and semantics features to verify the relevance between answer and question

    在答案驗證模塊，提出並實現了一種受限語法的語義驗證方法，它把語法信息和語義信息結合起來，使得答案的驗證更加可靠正確，在問題回答系統中得到了很好的應用。
  16. When the authentication method is unspecified, it defaults to

    未指定身份驗證方法時，默認為
  17. Change the authentication method that is used by the web site

    更改網站使用的身份驗證方法。
  18. The authentication method is not supported

    不支持此身份驗證方法。
  19. After you select the authentication method and enter user information, click

    在選擇身份驗證方法並輸入用戶信息后，單擊
  20. This is necessary for the authentication approach used in this article

    對于本文中所使用的身份驗證方法來說，這是必需的。
分享友人
分享到 Line

分享到臉書