邏輯公式 的英文怎麼說

中文拼音 [luógōngshì]
邏輯公式 英文
logic formula
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 公 : Ⅰ形容詞1 （屬于國家或集體的） state owned; collective; public 2 （共同的;大家承認的） common; gen...
  • 式 : 名詞1 （樣式） type; style 2 （格式） pattern; form 3 （儀式; 典禮） ceremony; ritual 4 （自然科...
  • 邏輯 : logic
  1. It can be extended to fuzzy logic systems and some lattice - valued logic systems. 3. the study on automated reasoning a new automated reasoning method based on path searching was proposed

    2 、提出一種利用神經邏輯單元動態地構造神經網路的演算法來對一些邏輯系統中的邏輯公式的真值進行計算。
  2. Drs and the formula of first - order predicate logic

    與一階謂詞邏輯公式
  3. Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas

    模糊謂詞邏輯公式的有限和可數解釋真度理論
  4. Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application

    一階模糊謂詞邏輯公式的有限解釋真度和可數解釋真度的理論及其應用
  5. About theorem, the paper introduces the syntax of ideal, also the first time uses concept of honest ideal to define secrecy goal of protocol and utilizes honest ideal logic to specify secrecy property. at the same time, this paper corrects one not so perfect lemma proving in a literature written by f " abrega, herzog and guttman

    在理論上，本文引入了理想的語義，並首次使用了理想的概念對安全協議的秘密性進行嚴格的定義，同時使用理想的命題邏輯公式表示安全協議的秘密性；另外，本文修正了f ' abrega 、 herzog和guttman三人文獻中的一個引理的證明，原有的證明是不完善的。
  6. Truth degree of intuitionistic fuzzy propositional logic formula

    直覺模糊命題邏輯公式的真度
  7. The systems are usually described by the timed automata and the properties are specified by the temporal logic

    這類系統通常用時間自動機來表示，而它們的性質則用時序邏輯公式表示。
  8. However, existing ontology languages are either unsuitable for web with markup languages, or short of of generic support to representation of knowledge, logical formula, axioms and rules

    在現有的ontology語言中，有的不是面向web這種標記語言環境的，有的缺乏知識、邏輯公式、公理以及規則表示的通性支持。
  9. 14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems

    本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用，進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
  10. Generating sat instances from first - order formulas

    由一階邏輯公式得到命題邏輯可滿足性問題實例
  11. Probability truth degree of intuitionistic fuzzy propositional logic system

    直覺模糊命題邏輯公式的概率真度
  12. A reasoning theory based on the finite interpretation of formulas ' truth degree in first - order fuzzy logic

    基於一階模糊邏輯公式的有限解釋真度的推理理論
  13. Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted

    之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統，再對公理的合理性進行充分的解釋。
  14. Regular similarity relation on f in propositional logic

    命題邏輯公式集上的正則相似關系
  15. It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly

    這種方法可以對邏輯公式的原始形態直接進行計算，無需化簡。
  16. The characteristics and forms of describing properties of uml models with linear temporal logic are also studied

    研究了線性時態邏輯公式表達uml模型性質的特點和形式。
  17. The method of model checking is a formal verification technique using the method of state - space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure

    它通常採用狀態空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態並發系統的技術。
  18. National pcdt - icdl certificate in spreadsheet using ms excel would equip the trainees with the ability to create formulas or apply functions to create a well formatted spreadsheet document

    學員應該學會與其相關的編寫處理格式和完成日常的小型文件。課程教導如何使用標準的數學和邏輯公式和功能製造格式化的圖表。
  19. 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的正確性。
  20. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web. the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment. in order to represent knowledge, logical formula, relational axioms and rules, there is a need for primitives specifying prepositional formula, predictive formula and horn clause, and relations between properties and relational axiomx

    本文對web語義化過程中部分關鍵問題和基於語義化web的kms進行了研究，主要的創新性工作包括：定義了邏輯公式及關系公理描述原語的ontology語義： web環境中用標記語言描述對象和資源，為了在語義化web上表示知識、邏輯公式、關系公理和規則，需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關系的關系原語。
分享友人
分享到 Line

分享到臉書