類型驗證 的英文怎麼說

中文拼音 [lèixíngyànzhèng]
類型驗證 英文
typological evidence
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. You can select the type of authentication to use in iis administrative services

    可以在iis管理服務中選擇要使用的身份驗證類型。
  2. Measurement of noise airworthiness verification to the light propeller airplane

    小型螺旋槳類飛機的適航噪聲驗證測量方法
  3. It was suggested that eric - pcr could substitute for rapd in research related to the genetic identification and genetic diversity in auricularia and other edible and medicinal fungi : 2 to a certain extent, genetic differences among auricularia strains tested in this study did not have necessary relativity with their geographical origins respectively ; 3 in this study, genetic diversity in a. polytricha was higher than that in a. auricula : 4 in this study, a. fuscosuccinea had a higher homology to a. auricula than to a. polytricha ; 5 morphological characteristics validated the results from eric - pcr and provided a potential explanation for the higher similarity coefficient between a. auricular and a. fuscosuccinea ; 6 southern hybridization was employed by choosing a strain from a. auricula as a probe which hybridized with a. auricula and a. fuscosuccinea except a. polytricha, further confirming the veracity of the results from eric - pcr ; 7 in this study, isozyme analysis could not cluster the 7 strains from three auricularia species to different groups efficiently ; 8 2 strains from two auricularia species revealed high conservative degree and the restriction fragment patterns by 4 kinds of restricted enzymes showed no diversity

    本研究中，木耳屬2個種的2個菌株在its區域表現出較高的保守性， 4種限制型內切酶的酶切圖譜沒有顯示出多態性；增加內切酶種類及供試菌株數量，有可能獲得具有多態性的限制性內切酶酶切圖譜； 9本實驗中， its區域的真菌特異性引物與真核生物通用引物對于擴增效果無較大差異，擴增片段長度均為650bp左右； 10根據形態學實驗、 eric - pcr實驗以及southern雜交實驗的結果分析，紫木木耳屬種質資源的遺傳鑒定和遺傳多樣性評價耳極有可能是毛木耳種的一個變種; n .本研究中所用的gutc法是一種適用於木耳屬菌株基因組洲a快速提取的方法; 12 .傳統的形態學分類法和現代的分子生物學分類法，兩者的關系是相輔相成，互為驗證
  4. 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測試結果的對比驗證了數學模型和模擬模型的正確性。
  5. 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

    將液體火箭發動機燃燒室的冷卻通道設計為斜航線（等傾角螺旋線）槽形，可以大幅度改善燃燒室的冷卻性能.斜航線冷卻槽的槽寬尺寸較小而槽深尺寸較大，所以無法使用棒銑刀銑削、電化學等加工方式.針對這些特點，提出了五軸控制、四軸聯動的數控片銑刀銑削加工方法.由於燃燒室外表面的母線輪廓復雜，手工編制數控加工程序難度大.為了解決數控加工程序的編制問題，研究了斜航線的數學模型，開發了自動編程軟體系統.使用該系統，可以生成多種母線輪廓回轉體外表面上的斜航線數控加工程序.燃燒室收斂-擴張段的母線斜率變化大，加工難度大，是斜航線冷卻通道加工的最典型工件.經過理論分析和實際切削實驗，研究了針對該類型工件的片銑刀直徑選擇、銑削方式和方向、刀具調整和起刀點的設置等多項實際的加工方案.採用上述的一系列技術，已經成功地加工了數十個合格工件.經過兩年多的實際生產過程應用，驗證了所開發的斜航線冷卻通道加工方法的正確性和可行性.這些加工技術的研製成功，對其他相似類型零件的加工亦具有參考意義
  6. A new type signature of knowledge - - a signature of knowledge of the discrete logarithm of a blinded representation, which provides the verifier trusts the prover has the knowledge of the discrete logarithm when the knowledge is unknown, is proposed. the new signature of knowledge is necessary for the solution of the problem of member deletion in group signature ; 2

    提出了一種新類型的知識簽名? ?盲化表述的離散對數根的知識簽名，使得驗證者對含有知識（離散對數根）的表述未知的情況下，有理由相信證明者具有離散對數根的知識，給出了一種更間接的證明知識的方法。
  7. To validate the formulated transition element for the calculation of the hot - spot stress and stress concentration factor in the welded components by experimental results, the stress concentration factor of the experimental welded specimens carried out in the research group is calculated by using the developed plane - transition element. the calculated stress concentration factor in the two types of tested welding components agrees well with that obtained from the experimental result. and the calculated result on the tendency of hot - spot stresses agrees well with that from the measured result

    為了驗證文中構造的過渡單元模型用於分析焊接節點附近的應力集中問題的正確性和有效性，進一步又對過渡單元模型進行實驗結果驗證，採用平面過渡單元模型計算了本課題組進行的兩類焊接構件的應力集中系數，並與根據實測方法得到的應力集中系數進行了比較，計算結果與實驗測試得到的應力集中系數和相應的熱點應力變化趨勢比較吻合，為本文建立的過渡單元的實際應用提供了初步的基礎。
  8. Doing this requires a type - unsafe operation, particularly with structures, which could result in unverifiable code

    這樣做會導致非類型安全的操作（對于結構尤其如此） ，因而會產生無法驗證的代碼。
  9. To training the sample the article put forward a monitor type fuzz - c cluster arithmetic and using it to establish a standard pattern database. based on human cognize character, the article put forward a weightiness amend coefficient ( wac ) to denote the important extent of different character

    經過實驗驗證，本文提出了一組描述火焰圖像燃燒狀況的特徵參數，並採用一種改進的聚類演算法- -導師型模糊- c均值聚類演算法對標準模式做了訓練，建立了標準模式庫。
  10. Gets the current validated xml element or attribute as a boxed object of the most appropriate microsoft. net framework type according to its schema type

    根據架構類型，以最適合的microsoft . net framework類型的已裝箱對象的形式獲取當前經驗證的xml元素或屬性。
  11. To use when performing type validation

    獲取或設置在執行類型驗證時使用的
  12. It will also validate the contents based on the declared type

    還將根據聲明的類型驗證內容。
  13. For more information about the type validation process, see the

    有關類型驗證過程的更多信息，請參見
  14. How to : validate against a data type for asp. net server controls

    如何：對照數據類型驗證asp . net服務器控制項
  15. Property. for more information about the type validation process, see the

    有關類型驗證過程的更多信息，請參見
  16. Always validate form input against a set of expected values and string formatting type validation

    始終對一組預期值執行窗體輸入驗證以及字元串格式設置/類型驗證。
  17. In addition, strongly typed collections automatically perform type validation of each element added to the collection

    此外，強類型集合自動執行添加到該集合的每一元素的類型驗證。
  18. Control losing focus. type validation is the ability to convert the formatted input string to the type represented by the

    「類型驗證」是一種轉換功能，可將格式化的輸入字元串轉換為
  19. The type validation process attempts to convert the formatted input string, not including prompt characters, to the type specified by the

    類型驗證過程嘗試將格式化輸入字元串（不包括提示字元）轉換為
  20. The runtime also enforces code robustness by implementing a strict type - and - code - verification infrastructure called the common type system

    運行庫還通過實現稱為通用類型系統（ cts ）的嚴格類型驗證和代碼驗證基礎結構來加強代碼可靠性。
分享友人
分享到 Line

分享到臉書