machine checkable 中文意思是什麼

machine checkable 解釋
機器可檢測
  • machine : n 1 機（器），機械；機關，機構。2 印刷機器；縫紉機；打字機；汽車；自行車；三輪車；飛機；〈美俚〉...
  1. Thus, the complexity of the logical framework is hidden but the benefits of using type theory and its related tools are retained, such as precision and machine - checkable proofs

    由此，邏輯框架的復雜性就被隱藏起來了，同時我們還保留了精確性和機器驗證等使用類型理論系統及其相關工具的優點。
  2. A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. in proc. 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols, indianapolis, indiana, june 21 - 24, 1998, http : citeseer. ist. psu. edu clarke98machine. html

    為了驗證更多的性質，我們的公理集中加入了一些新的特性，如動態性，使我們可以推導協議的每個執行步所得到的知識還有秘密性，我們在公理中加入那些處理智能體間共享秘密的公理
分享友人
分享到 Line

分享到臉書