syntax notation 中文意思是什麼

syntax notation 解釋
語法表示法, 語法記號
  • syntax : n. 【語法】1. 句法；句子結構學。2. 措辭法，字句排列法。
  • notation : n. 1. 記號，用號，符號，標志（法），表示法。2. 【數學】記數法。3. 【音樂】樂譜，記譜法。4. 〈罕用語〉記錄；注釋。adj. -al
  1. Notation for syntax of ind

    不確定性時空查詢的一種符號表示法
  2. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  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. Compliance to the concrete syntax that is, the uml notation

    混合句法規范標準（也就是uml符號）
  5. Asn abstract syntax notation

    抽象語法符號
  6. To ensure that this data can be exchanged between the systems involved, the representation layer transmits it in a standardized form ( e. g., by using abstract syntax notation ( asn. 1 ) or basic encoding rules ( ber ) )

    為了確保數據能在不同系統間進行交換，表示層以標準的格式傳遞它（通過使用抽象語法符號（ asn . 1 ）或基本編碼規則（ ber ） ） 。
  7. Asn. 1. information technology. abstract syntax notation one. constraint specification

    信息技術.抽象語法表示法1
  8. Asn. 1. 3 : information technology - abstract syntax notation one part 3 : constraint specification

    信息技術.抽象語法表示法一
  9. Asn. 1. asn. 1 information technology. abstract syntax notation one. parameterization of asn. 1 specifications

    信息技術.抽象語法表示法1
  10. Asn. 1 : information technology - abstract syntax notation one : constraint specification

    信息技術.抽象語法記法1
  11. Asn. 1 : information technology - abstract syntax notation one : specification of basic notation

    信息技術.抽象語法記法1
  12. Asn. 1 open systems interconnection - specification of abstract syntax notation one

    開放系統互連.抽象語法標注1
  13. Abstract syntax notation one asn

    抽象語法編碼
  14. Asn. 1 : information technology - abstract syntax notation one : information object specification

    信息技術.抽象語法記法1
  15. Asn. 1. information technology. abstract syntax notation one : information object specification

    信息技術.抽象句法標注1
  16. Asn. 1. 2 : information technology - abstract syntax notation one part 2 : information object specification

    信息技術.抽象語法標注法1
  17. Asn. 1 information processing system - open systems interconnection - specification of basic encoding rules for abstract syntax notation one

    信息處理系統開放系統互連抽象語法記法-
  18. Asn. 1 information processing systems - open systems interconnection - specification of basic encoding rules for abstract syntax notation one

    信息處理系統.開放系統互連.抽象語法標注1
  19. Asn. 1 : information technology. abstract syntax notation one : constraint specification

    信息技術.抽象句法標注1
  20. Asn. 1. information technology. abstract syntax notation one : specification of basic notation

    信息技術.抽象句法標注1
分享友人
分享到 Line

分享到臉書