語義邏輯結構 的英文怎麼說

中文拼音 [yǔyìluójiēgòu]
語義邏輯結構 英文
semantic logic structure
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 結 : 結動詞（長出果實或種子） bear （fruit）; form （seed）
  • 構 : Ⅰ動詞1 （構造; 組合） construct; form; compose 2 （結成） fabricate; make up 3 （建造; 架屋） bui...
  • 語義 : semanteme; semantics
  • 邏輯 : logic
  • 結構 : 1 （各組成部分的搭配形式） structure; composition; construction; formation; constitution; fabric;...
  1. Finished the definition of cwml ( courseware markup language ) which is based on the technology of xml : the definition of cwml build the c wml courseware structure in xml style, cwml represent the whole process when a courseware is presented on line, and also cwml has the advantage of easy for extension, self - descript, which are bring from xml, so the cwml courseware are easy to dissever and rebuild

    參與了以xml技術為基礎的多媒體課件標記語言cwml的定義： cwml的定義將課件邏輯結構中包含的元素以xml的形式表現出來，它既代表了網上課件演播的過程，有擁有xml可擴展、自描述等性質，易於再抽取，重新組合。
  2. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  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. 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 ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  6. Firstly, related research work on agent, multi - agent system ( mas ), robot, multi - robot system ( mrs ) and auv are described. then, based on the famous bdi theory, extended bdi model ( xbdi model ) is presented. in xbdi model, every robot or agent has own mental states, such as beliefs, desires, goals, intentions and behavioral property, such as roles, capabilities, plans, know - hows

    本文在簡要介紹agent及mas 、機器人及多機器人，尤其是水下機器人技術的研究現狀及發展趨勢之後，在目前廣為使用的bdi模型基礎之上，提出了適用於水下機器人的擴展bdi模型（ exendedbdimodel ，以下簡稱為xbdi模型） ，描述了xbdi - agent的結構和功能、定義了xbdi邏輯語言l _ x 、給出了xbdi - agent的心智狀態的表示及處理方法、並給出了xbdi系統的運行演算法。
  7. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  8. Because of the powerful drive of the technological culture, logistic power forming the absolute power of language, chinese education gets into imitating and pursing science language, namely, chinese education is deeply governed by rationalistism. that is the essential sticking point of chinese education in theory and practice, this article distructures and animadverts it

    本文是圍繞對長期以來制約語文教育理論與實踐的一個根本癥結? ?由於科技文化的強勢推動，邏輯的權利構成了語言的絕對權利，因此語文教學就陷入了對科學語言範式的追求和模仿之中，也即深受理性主義的絕對支配的解構與批判而展開論述的。
  9. The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic

    定義了擴展模糊描述邏輯的語法結構、語義解釋、知識庫形式以及基於可滿足性的推理問題。
  10. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  11. In many ways they are rather code - oriented : following a route that says that the key part of documentation is source code. the agile java program development method is one of agile methods. in this paper, the agile java program development method begins with the analysis of system requirements, draws use case modelings, abstracts class diagrams, transforms alsd, and generates the java code at last

    本文提出的方法從系統需求入手，使用uml （ unifiedmodelinglanguage ，統一建模語言）用例圖捕獲系統的需求，建立用例模型；從用例圖出發抽象出類圖；然後使用alsd （ abstractlogicalstructurediagrams ，抽象邏輯結構圖）對類方法的行為過程進行可視化定義，最後可根據類圖和alsd自動生成java源代碼。
  12. Carnap ' s inductive logical system of the theory of probability confirmation is introduced in the second part of paper. firstly, some basical and important concepts are explained such as confirmation and degree of confirmation, probability1 and probability2. in carnap ' s opinion, the difference between verifiability and confirmation is that verifiability means the hypothesis is finally proved to be true, but confirmation means it be true nowerdays. then carnap analyzed the distinction and relationship between probabilityi and probability2

    他認為，證實是決定性地最後為真，而確證只是現階段得到確定，並不保證以後也確定為真；繼而分析了概率1與概率2兩者之間的區別與聯系；然後構建了一階語言系統，並在其中定義了狀態描述、結構描述、量程等重要概念與定理，以便使在考察歸納邏輯前提與結論時，能在該系統中根據確切的規則進行準確的分析。
  13. Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation

    本文針對等值演算理論，通過數據結構和c + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。
  14. The goal of this article is : work over the language which is matched the common teaching process based on xml, do research on the logical structure of the courseware, analysis the time, layout element of it and the relationship between these elements. based on these research work, design and implement the authoring system which is based on xml, and then we can quickly generate and usher the xml courseware file

    本文的研究目標是：研究符合教學過程的xml形式的課件語言，對課件的邏輯結構形式進行研究，同時分析課件包含元素的時間、空間、以及元素關系等因素，定義符合以上內容的xml文檔結構形式；在以上基礎之上，設計並實現基於xml的課件創作系統，能夠實現基於xml的課件文檔的快速生成和展示。
  15. At the same time, we give the xml language of the requirement property and logic operation with the requirement description

    我們還給出了系統需求的語義描述的結構和規則，及與之配套的邏輯操作描述。
  16. 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形式語義研究和形式化方法在軟體開發中的應用等方面都有一定的推動作用。
  17. It including several knowledge repositories as well as three modules of web pages preprocessor, rule learning and information extraction, describing the web pages by four sides : semantic content display, logic structure, rule generation and extraction results

    系統包括幾個知識庫以及網頁預處理、規則學習和信息抽取三個子模塊，分別從語義內容表示、邏輯結構、規則生成以及抽取結果四個層面對web頁面進行描述。
  18. The primary contributions of this thesis include : with respect to the requirements of domain knowledge modeling on the web, the author puts forwards a new method for domain ontology modeling, named domain knowledge ontology for web ( dkow ). based on the foundational theory of ontology, dkow integrates the methods of semantic network, object - oriented modeling and semantic data modeling

    Dkow方法直接建立在本體論的基本理論之上，具有樸素的知識建模思想，是一種將語義網路的知識表示與面向對象邏輯建模、面向數據的語義建模有機地結合的方法，能夠有效地對領域結構、領域中的概念、概念的性質、概念間的關系等靜態知識進行建模和推理。
  19. This article tries to tell the difference in meaning and distinguish between right and wrong in sentences of the same structure by analysing their deep structure, grammar and also by inference

    摘要通過深層結構的剖析，邏輯推理和語法分析，揭示某些結構相同的句子的正誤或意義差別。
  20. Based on these, this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2. 0 and xyz / adl. in this paper, the disadvantage of several main methods of software architectural description is analysed, the advantage of uml 2. 0 compared with uml 1. x in the software architecture description is analysed, the corresponding relationship between uml 2. 0 and xyz / adl in the architectural description is given and uml 2. 0 model elements which used to describe the according architectural conception are determined, then a new way to describe software architecture which combine uml 2. 0 and xyz / adl through defining the semantics of xyz / e for uml 2. 0 is composed. in order to realize this method, the formal semantics of uml 2. 0 sequence diagram and state diagram based on xyz / e are defined. in final, the arcitectural description of a simple dask manager system which uses our method is given

    本文分析和比較了當前國內外常用的軟體體系結構描述方法，指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟體體系結構描述方面的優勢，確定了用uml2 . 0描述軟體體系結構概念元素所使用的相關模型元素，給出了uml2 . 0與xyz / adl在體系結構描述中的元素對應關系;提出了一種通過定義uml2 . 0相關視圖的xyz / e語義，把uml2 . 0與xyz / adl結合起來描述軟體體系結構的新方法，並分別定義了uml2 . 0的順序圖和狀態圖的xyz / e時序邏輯語義;最後通過對一個簡單的任務管理系統的體系結構進行描述，把本文提出的結合思想運用到實例系統的描述當中。
分享友人
分享到 Line

分享到臉書