semantics of logic 中文意思是什麼

semantics of logic 解釋
邏輯的語義
  • semantics : n. 1. 【語言學】語義學。2. 【哲學】語義哲學；語義學派。
  • of : OF ＝Old French 古法語。
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. The semantics and generalized tautology of fuzzy temporal logic

    模糊時序邏輯的語義及其廣義重言式
  2. 7 abadi m, tuttle m r. a semantics for a logic of authentication. in proc. the 10th annual acm symp

    這種語義結構有別于傳統的基於運行軌跡trace的語義，他是基於每個智能體的觀察observation的語義
  3. Owl ' s semantics is limited to description logic, which cannot capture semantics of arbitrary rules. therefore, owlrule + is designed. its syntax extends owl and its semantics is based on carin, a representation language combining description logic and horn rules

    針對語義web層次結構中webontology語言owl在一般規則表達能力方面的不足，在其基礎上設計了一種語義web規則標記語言? ? owlrule + ，作為語義web的邏輯規則層。
  4. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  5. The semantics of this logic are given in terms of a general model of multi - agent system, closely related to the interpreted systems of epistemic logic

    該邏輯的語義是以一般的多agent系統模型給出的，並且與認知邏輯的解釋系統密切相關。
  6. This paper introduces a new methodology that uses - it knowledge structures, a specific form of kripke semantics for epistemic logic, to analyze communication protocols over hostile networks. the paper particularly focuses on automatic verification of authentication protocols. our approach is based on the actual definitions of a protocol, not on some difficult - to - establish justifications

    認知邏輯的kripke語義已經被成功應用到通信協議的推理分析中例如，交替位協議alternating bit protocol的分析，及最近的對tcp的分析.因為信息交換本質上可以看成是個認知過程，用認知邏輯可以很方便地表達
  7. 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 ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  8. In order to maintain thoroughly hsi philosophical standpoint of anti - realism, he rejected two - valued semantics and took intuitionist logic as the basis of his metaphysics

    為了徹底堅持其反實在論的哲學立場，達米特拒斥二值原則，把直覺主義邏輯作為其形而上學的基礎。
  9. We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy

    由於構件可能具有不同的抽象層次和粒度，我們採用了時序邏輯語言xyz e作為構件描述語言，這種語言能夠描述構件的靜態語義和動態執行，並且能在不同抽象層次上對系統進行形式化描述。
  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. This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic. it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development

    本文通過將面向對象的可視化建模語言與基於時序邏輯的形式化方法結合起來描述軟體體系結構，對軟體體系結構描述研究、 uml形式語義研究和形式化方法在軟體開發中的應用等方面都有一定的推動作用。
  12. Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved

    四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。
  13. Secondly, in order to solve the problem, the article introduces semantic analysis technique, which is a kind of language processing technique in mt and provides semantic information for translation to increase the rate of translation. then logic semantics is presented in detail, which is a kind of semantic analysis technique. thirdly, applying logic semantics to witt, this thesis constructs the logic semantic framework of telegraph to obtain the logic semantics of telegraphs

    針對這個問題，採用機器翻譯中合適的語言處理方法?語義分析技術，利用語義信息提高翻譯率，接著介紹了語義分析技術，詳述了邏輯語義，並用它建立了水情電報的邏輯語義模型，用來為報文作語義分析，從而結合語義信息實現了對幾種類型錯報的翻譯。
  14. 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的正確性。
  15. ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )

    作者以時段演算（ durationcalculus ， dc ）為工具對vhdl的子集進行了形式語義分析；通過分析vhdl和veriloghdl部分語句的形式語義，為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。
分享友人
分享到 Line

分享到臉書