check verify 中文意思是什麼
check verify
解釋
核對驗證-
Verify subtle bug fix before check - in
在簽入之前驗證細微的bug修復。 -
Ideally, test cases that check error conditions are written separately from the functional test cases and should have steps to verify the error messages and logs
理想情況下，檢測錯誤條件的測試用例應該與功能測試用粒分開來寫，並且應該有校驗錯誤信息和日誌的步驟。 -
Due to the need to cross - check over 140, 000 cases reported from different sources to avoid double - counting and to verify the accuracy of the data, the compilation of data is very time - consuming
由於該中心須核對超過140 ， 000宗由不同來源呈報的個案，以免重復計算及核實資料的準確性，因此編制資料需時。 -
To check the market price level regularly ( every 3 months ) to verify the competitiveness of the frame agreement
定期（每三個月）了解市場價格水平，以確保框架采購協議具有競爭力。 -
If necessary, the ird may check the records of their bank accounts or verify from the circumstantial evidence the maintenance information provided by the taxpayers
如有需要，稅務局可查閱銀行戶口記錄，或從環境證據核實納稅人陳述的供養資料。 -
This utility is used mostly by financial institutions that wish to verify / calculate the check digit of a routing / transit number on a given document
這個工具主要為財政機構所使用，他們希望在一個給定文檔中的校驗/計算一個路由選擇/運輸線數字的校驗數位。 -
Check digit verification utility - this utility is used mostly by financial institutions that wish to verify / calculate the check digit of a routing / transit number on a given document
這個工具主要為財政機構所使用，他們希望在一個給定文檔中的校驗/計算一個路由選擇/運輸線數字的校驗數位。 -
After typing in a name, click check names to verify the account name, and finally click
鍵入帳戶名之後，單擊「檢查名稱」對帳戶名進行驗證，最後單擊「確定」添加該帳戶。 -
Verify test connections with contact check function
接觸檢查功能，檢驗測試連接性能 -
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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。 -
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
但由於大多數產品在產品建模過程中缺乏正確性驗證或僅進行局部的語法檢驗，造成工作流模型存在死鎖、活鎖等缺陷，這直接引發了工作流動態執行過程中的諸多問題，如任務不能完成、超期完成等。 -
Based on the timing constraints event model of rtl ( real time logic ), the compiling algorithms for timing constraints event transform the problem of how to detect timing constraints event to the problem of how to find negative cycle in weighted directed graph, which is named as constraints graph. by simplifying constraints graph, the efficient detecting algorithms for timing constraints event have been developed, which not only has good time complexity but also can find events that violate timing constraints as early as possible. in order to verify the event detecting methods based on dynamic rules and to check its efficiency in application, experiment schemes are designed and performed on the implemented prototype system in linux environment
帶時間約束事件的編譯演算法以rtl （ realtimelogic ）事件模型為基礎，將帶時間約束事件的檢測轉化為在帶權值的有向圖（此即受限圖）中尋找負圈的問題，它通過化簡受限圖得到最小有效約束集；運行時事件檢測演算法在最小有效約束集上檢查事件的時間約束，不但有較好的執行效率，而且能盡早地發現違反時間約束的事件。 -
Investors, however, should perform independent check to verify the correctness of the price - yield conversion contained in the table before submitting tender bids
然而，投資者在遞交標書前應進行獨立查核，以核實價格與收益率換算表的準確性。 -
For styles with front placket, verify that upper placket fully covers under placket. open and check construction and stitching
有前門筒的款式，門筒面層要蓋住底層。打開並檢查其結構和針步。 -
Validation controls enable you to check for a required field, to test against a specific value or pattern of characters, to verify that a value lies within a range, and so on
控制項）中輸入的內容進行驗證的控制項。驗證控制項可用於對必填欄位進行檢查，對照字元的特定值或模式進行測試，驗證某個值是否在限定范圍之內，等等。 -
2. quick check and verify for address decoding or data transceiver circuits, which designed
2 .可快速驗證cv - 16解碼電路之8bit或16bit資料讀寫值是否正確 -
An significant symbol has been used to determine the technique of 3 - d discontinuities network modeling of rock mass is good or not, which is to check whether the model can reappear the reality situation of rock mass or not, in order to make the 3 - d network model to meet the need of the actual rock engineering, the methods to verify the result of the modeling are required, one of the method to be used is to compare the figures between the section of the numerical model and the sampling window of in - situ model, the second method to be used is verify the data set between the numerical model and field data, only if the verification obtained a good precision, then the model can be considered as a efficiency model, and it can be applied into the actual rock engineering
摘要巖體隨機不連續面三維網路模擬技術成熟與否的一個重要標志就是最終的網路模型是否能夠較真實地再現巖體的實際情況，為了使三維網路模型的結果能夠真正地應用於實際工程，就必須對模擬的結果進行必要的檢驗，檢驗的辦法就是將模擬出的模型剖面圖形與原型測量窗口的圖形進行圖形對比，或者將原型的觀測數據與模型的測試數據進行數據對比，當這種檢驗達到精度時，模擬出的模型為有效模型，可以投入工程實際應用。 -
" check goods " it is to show custom is being accepted declare and after data of testimony of written to concerning sheet and qualification of electronic data examine and verify, undertake checking checking to the goods of actual entrance or exit, the amount of the physical property of certain goods or chemistry and goods, norms whether with declare content to agree
「查驗貨物」是指海關在接受申報並對有關書面單證資料和電子數據審核合格后，對實際進口或出口的貨物進行核對檢查，確定貨物的物理性質或化學性質以及貨物的數量、規格等是否與申報內容一致。 -
Static strength tests of structures are necessary to appraise the static strength of products. the tests can not only check the theoretical calculation results of strength and hardness of structures, but also verify the reasonableness of structures
靜力試驗是產品研製階段必不可少的一個環節，其目的是鑒定產品結構的設計靜強度，並為驗證強度和剛度的計算方法以及結構的合理性提供必要的數據和資料。 -
Read, blank check, verify, compare, erase, program, check sum, memory protect, edit buffer, mass production mode, load file, save file, project file save, change parameter, operation option
讀，查空，校驗，比較，擦除，編程，校驗和，存儲器保護，編輯緩沖，量產模式，裝載文件，保存文件，保存項目文件，改變參數，操作選項。
分享友人