操作語義 的英文怎麼說

中文拼音 [cāozuòyǔyì]
操作語義 英文
operational semantics
  • 操 : Ⅰ動詞1 （抓在手裡; 拿; 掌握） hold; grasp 2 （做; 從事） act; do; operate 3 （用某種語言、方言說...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 操作 : 1 （按照一定的程序和技術要求進行活動） operate; manipulate; handle 2 （所進行的若干連續生產活動的...
  • 語義 : semanteme; semantics
  1. However, data manipulation language and data definition language statements execute atomically

    但是，數據操作語言（ dml ）和數據定義語言（ ddl ）語句會自動執行。
  2. Equivalence proving of operational and denotational semantics about repeat - until statement

    語句的操作語義與指稱語義的等價性證明
  3. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  4. Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems

    動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  5. This section covers data definition language statements, data manipulation language statements, and functions

    本節涵蓋數據定義語言（ ddl ）語句、數據操作語言（ dml ）語句和函數。
  6. Operational semantic of workflow engine

    工作流機的操作語義
  7. The type information provides more precise operational semantics to the values

    類型信息為值提供更精確的操作語義。
  8. The inductive learning of operation semantics of words structure based on referring

    基於參照的對詞結構操作語義的歸納學習
  9. This reliable message delivery mechanism guaranteed by the internal state can build business oriented transactions

    在這個基礎上，我們可以構建廣泛的更高級別的每操作語義，比如事務。
  10. After running the tool, the serer - side developer must implement the appropriate business logic to fulfill the semantics of the operations in the service definition

    在運行工具后，服務器端的開發人員必須實現正確的業務邏輯以執行該服務定義中的操作語義。
  11. From the work above, this thesis has defined a dfl programming language in a fire - new view which had the superiority in solving dynamic fuzzy problems

    在描述、解決具有動態模糊性的問題時，本文所給出的dfl程序設計語言的操作語義模型與常見的高級程序設計語言相比表現出了很好的優越性。
  12. This is the operating semantic that all remote procedure call mechanism implement since this is the standard function - call semantic in procedural and object - oriented programming languages

    這是所有的遠程過程調用（ rpc ）機制實現的操作語義，因為它是在過程性編程語言和面向對象的編程語言中的標準函數調用語義。
  13. Transactions are specified as mobile transactional programs that are propagated and executed in the server, thus allowing the validation of transactions based on application - specific semantics

    在客戶端，事務被定義為移動事務「程序」並被用來同步，可以定義詳細的操作語義以及替代操作，還可以定義沖突解決方案。
  14. Firstly, uml statecharts is structurally expressed by extended hierarchical automaton ( eha ), and its operational semantics is expatiated. the correctness of semantics can be ensured through finding the maximal non - conflict transition set

    首先針對uml的特點對擴展層次自動機（ extendedhierarchicalautomata ， eha ）進行改進，以便能結構化地表示umlstatecharts ，並給出相應的操作語義。
  15. Returns a drillthrough statement as an expression, which the client executes to return a rowset

    將鉆取語句返回到客戶端應用程序。這種操作是由行集操作定義的。
  16. Using the language constructs defined for both declarative and imperative security actions

    允許使用為聲明和強制安全性操作定義的語言結構來檢查活動用戶（請參見
  17. Web services define the type of messages they accept using operations, as defined by web services description language wsdl

    Web服務使用操作定義所接受的消息類型，如web服務描述語言（ wsdl ）所定義。
  18. When an instead of trigger is defined on update actions against a table, the trigger is running instead of the update statement

    當對表的update操作定義instead of觸發器時，將運行觸發器而不運行update語句。
  19. The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language

    本文的特色體現在: （ 1 ）提出了可以描述動態模糊性問題的演算的變形方法; （ 2 ）提出了可以解決動態模糊性問題的dfl程序設計語言的操作語義模型，並對該模型的正確性和可靠性進行了證明; （ 3 ）提出了dfl程序設計語言的基本框架結構。
  20. After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method

    在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
分享友人
分享到 Line

分享到臉書