version checking 中文意思是什麼

version checking 解釋
版本檢查
  • version : n 1 翻譯；譯本，譯文。2 （個人對某事的）說法，不同看法[意見]。3 版本；形式，型；變形，變體。4 改...
  • checking : 產生裂縫
  1. The manual introduced the total design and compute the process detailedly about the general design and the running gear design, which divided into altogether three chapter : chapter 1 for total design part of this crane, the main contents is each organization of crane and the metals structure patterns to really settle, and carry on the design to a structure of jib arm and counterbalance system by graphing method, including seeking the point, checking to calculate and school pit ; the second part is a design calculation that circulates the organization, including to circulate the organization to choose the type, the round presses calculation, the stability checking of the whole machine ; the third part is to choose the driving motion version of the hoisting mechanism

    說明書詳細的介紹了該型號起重機的總體設計及行走機構設計和計算過程，總共分為三章：第一章為起重機總體設計部分，主要內容是起重機各機構和金屬結構型式的確定，並用作圖法對臂架結構和平衡系統進行設計，包括了機構找點，驗算及校核；第二部分是運行機構的設計計算，包括了運行機構的選型，輪壓計算，整機穩定性校核；第三部分為起升機構的傳動方案選型和設計計算。
  2. If you always synchronize and build before checking in, you can avoid integration build breaks that occur when you and another user check in non - conflicting but mutually incompatible changes which in combination prevent your application from compiling. to synchronize your workspace to the latest server version and build

    如果始終在簽入前進行同步和生成，就可以避免集成生成中斷（當您和另一個用戶簽入非沖突但是互不兼容的更改，並且這些更改結合起來阻止應用程序編譯時，就會產生集成生成中斷） 。
  3. 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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  4. We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    本文研究了驗證安全協議的各種形式化方法，詳細研究了符號化模型檢驗工具smv的工作機制；確定了使用smv作為工具對安全協議進行模型檢驗，驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。
  5. Version checking of redistributable files

    對可重新發布的文件的版本檢查
  6. Version checking only occurs with strong - named assemblies

    版本檢查僅在具有強名稱的程序集中進行。
  7. The url that the periodic check displays is responsible for actually doing the version checking

    實際由定期檢查顯示的url來負責版本檢查。
  8. This assembly cannot be referenced by other assemblies outside the application directory and does not undergo version checking

    此程序集無法由應用程序目錄以外的其他程序集引用，並且不接受版本檢查。
  9. You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the

    查看temporal rover試用版（在運行時檢查時態邏輯斷言的工具） 。
  10. Any code that is worth checking into your version control system is worth inspecting

    任何值得提交到你的版本控制系統的代碼都是值得復查的。
  11. Checking code in and out, making code changes, and getting online help are just a point and click away, with version history and project structure visible at a glance

    檢查出入的代碼、變更代碼及獲得在線幫助只需指向並點擊，即可看見版本歷史和項目結構。
  12. 2. change the prompt mode for checking the latest version

    2 .修改了檢測最新版本的提示方式。
  13. During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv, we get more comprehension on the theory of symbolic model checking and small system model, and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr

    通過使用smv對needham - schroeder公鑰協議進行建模和驗證，理解了符號化模型檢驗和小系統模型的原理，並發現了一個協議漏洞，該漏洞與gavinlowe用fdr所發現的相一致。
  14. The runtime distinguishes between regular and strong - named assemblies for the purposes of versioning. version checking only occurs with strong - named assemblies

    為進行版本控制，運行庫會區分常規程序集和具有強名稱的程序集。
  15. There is no version checking for assemblies without strong names, nor does the runtime check in the global assembly cache for assemblies without strong names

    不對沒有強名稱的程序集進行版本檢查，並且運行庫也不在全局程序集緩存中檢查沒有強名稱的程序集。
  16. Deploy a metadata - only assembly on the client with the same name and type information as the server assembly, and disable version checking or leave versions blank

    在客戶端部署一個僅包含元數據的程序集（此程序集與服務器程序集具有相同的名稱和類型信息） ，並禁用版本檢查或者將版本留為空白。
  17. Name your remote type server library with the same name as the client assembly, disable version checking in the formatter or leave both assemblies without version information, and compile a stubbed - out class with identical metadata into your client

    將遠程類型服務器庫命名為與客戶端程序集相同的名稱，禁用格式化程序中的版本檢查（或使兩個程序集都不帶版本信息） ，並且將具有相同元數據的無存根（ stubbed - out ）類編譯到客戶端中。
  18. You can also include in your cab file a custom, native, dll to perform any custom install steps such as checking for version number for windows ce or the. net compact framework, determining whether other components are present, and so on

    還可以在cab文件中包含一個自定義本機dll ，用於執行任何自定義安裝步驟，例如檢查windows ce或. net compact framework的版本號，確定是否存在其他組件等等。
分享友人
分享到 Line

分享到臉書