語義解釋 的英文怎麼說

中文拼音 [yǔyìjiěshì]
語義解釋 英文
semantic interpretation
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 解 : 解動詞（解送） send under guard
  • 釋 : Ⅰ動詞1 （解釋） explain; elucidate 2 （消除） clear up; dispel 3 （放開; 放下） let go; be reliev...
  • 語義 : semanteme; semantics
  • 解釋 : explain; expound; interpret; explicate; elucidate; tale
  1. But domestic at the moment still not analyses the carding theory fruit to advertising semiotics theory research completely, hence, the research is reviewed by stages and classification to the advertising semiotics is contributed ; be aimed at now available text research defect, proposes a new angle to analyze advertising : the languages angle and the audient psychology angle, thus the meaning of advertisement can be understood more clearly designing the actual operation means of advertising semiotics and forecast advertising semiotics development tendency piece is also the original innovation. first section is the introduction, the profile was expounded against researches the aim, research target, research means together with research process

    而目前國內還沒有對廣告符號學理論研究進行全面分析梳理的理論成果，因此，將廣告符號學分為導入期、發展期、繁榮期三個歷史時期，對每一時期進行回顧總結、文獻梳理，並歸納其特點與不足是本文的理論貢獻之一；針對現有研究方法的不足，力圖尋求一個研究方法的新視角，提出將索緒爾符號學研究方法更弦易幟：從最基本的語言出發來分析廣告、品牌，從受眾符號心理角度解釋文本意義的多樣化解讀並進行問卷的實證調查是本文的創新之二。
  2. Through analyzing the construction and translation of calques and yang hsien - yi ' s and hawkes ' translated versions, this paper discusses the explanatory and instructive power of relevance theory over linguistic and cultural phenomena such as calques and provides a comparatively suitable framework for translation of such phenomena

    摘要以《紅樓夢》仿詞及楊憲益和霍克斯譯文為例，考察了關聯理論對這一語言文化現象的解釋力和指導意義，並總結出一個比較適合於考察和指導仿詞及類似語言文化現象翻譯的框架。
  3. This article mainly has two parts : first is the critique part, i will criticize in this part and it will be pointed out that when the reductional research plan will face the dualism ' s difficult situation of the explanation viewpoint and the language game, it tries only to avoid to pay the price of epiphenomenon

    摘要本文主要有個兩部分：首先是批判性的部分，在此部分我將批判地指出，化約主義的研究計畫在面對解釋觀點與語言游戲的二元論困境時，僅能規避付出伴隨現象學的代價。
  4. Finding the meaning out of the context is one of the textual exegesis to explain the accurate meaning according to the context

    摘要據境索義是利用語境解釋言語中詞語準確語義的一種訓話方法，上下文語境是我們據境索義所利用的主要對象。
  5. Meanwhile, it supports the international open specification. owl - s it based owl is the primary production for the describing model of semantic web - service in international, it is a mark model for describing web service, it provide a mark symbols set that is explicable and precise to describe the attributes and functions of web service for computer. owl - s uses serviceprofile 、 servicemodel and servicegrounding to describe “ what the service does ? ” 、 “ how it works ? ” 、 “ how to access it ? ” this paper provides an introduction to the basic concepts and architecture of soa ( service - oriented architecture ), the features of web service technology, anddiscusses the relationship between soa and web services

    而owl框架下的owl - s是國際上語義web服務描述模型方面的主要研究成果，它是一種描述web服務的標記模型，為機器提供了可解釋的、精確的、關于web服務屬性和能力描述的一系列標記符。它是基於owl語言為描述web服務而定義的一個本體，主要通過服務proile （ serviceprofile ） ，服務模型（ servicemodel ）和服務綁定（ servicegrounding ）三個類來描述服務做什麼、服務如何做、服務如何訪問等三方面的語義，從而允許服務的自動發現、執行、組合和運行的監視。
  6. Hermeneutical significance of contemporary philosophy in zhuang zi ' s thoughts on language

    莊子語言思想中的現代哲學解釋學意義
  7. 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一歸結原理進行了初步探討
  8. Harold bloom, a monumental and legendary figure of literary criticism at yale university, a name that cannot be avoided in poetry criticism, is one of the strongest and definitely the most prolific critics of his generation or of several past generations. professor xu jing, correspondent of foreign literature studies, interviewed professor bloom in may 2006. this interview focuses on his theory of poetry that was explosively brought forth in the 1970s by his famous tetralogy : the anxiety of influence, a map of misreading, kabbalah and criticism, and poetry and repression. bloom regards his theory of " the anxiety of influence " as his most important contribution to literary criticism, and uses " dancing " to explain his famous yet baffling six rations of " misprision. " always preoccupied with his own theory, bloom here again traces the precursors of emily dickinson and makes a brief comparison between walt whitman and wallace stevens. looking back to his past, bloom gives a summation of his life ' s trajectory as a critic : a revivalist of romantic poetry, a theoretician of poetry, and a critic for the general public. bloom began his career as a critic of british romantic literature in the afterglow of the new criticism. in the 1970s, bloom brought forth his explosive " theory of poetry " in the tetralogy publised in very quick succession in the 1970s. since the 1980s, bloom has become less technical and hopes to reach a wider readership. his literary criticism and what he calls his " criticism of religion " for the general public have made harold bloom a household name in america as well as in the world. at present, the 76 - year - old harold bloom is intensely engaged in the writing of what he hopes to be his masterpiece, the anatomy of influence, which is to be published in 2008 by princeton university press

    哈羅德?布魯姆教授是耶魯大學具有里程碑意義和傳奇色彩的文學批評家，一個詩歌批評界的一個不可迴避的名字，是他那一代人或幾代人中最猛烈的、也無疑是最多產的批評家之一.本刊特約記者徐靜於2006年5月對布魯姆教授進行了采訪.本次訪談的重點是布魯姆在20世紀70年代以《影響的焦慮》 、 《誤讀的地圖》 、 《卡巴拉與批評》 、 《詩歌與壓抑》四部曲的形式相繼提出的、具有爆炸性的"詩歌理論" .布魯姆認為"影響的焦慮"是他對文學批評最重要的貢獻，並用舞蹈這一形象的比喻來解釋了他那著名的卻常常令人困惑的關于"誤讀"的"六個定量" .在訪談中，布魯姆還追溯了幾位對愛米莉?狄金森頗有影響的前輩詩人，並簡單比較了惠特曼和史蒂文斯.布魯姆將他的批評生涯概括為三個階段:浪漫主義詩歌的復興者，詩歌理論家以及面向大眾的批評者.在新批評的余輝中，布魯姆以對英國浪漫主義詩歌的批評開始了其批評生涯. 20世紀70年代布魯姆提出了他那爆炸性的、以四部曲的形式相繼問世的"詩歌理論" .進入80年代后，布魯姆的批評不再艱深難懂，他希望能擁有更廣大的讀者群.他為普通大眾所寫的文學批評及"宗教批評" （布魯姆語）使得哈羅德?布魯姆成為了美國以及全世界的一個家喻戶曉的名字.目前， 76歲的布魯姆正全力寫作《影響的解剖》一書，將於2008年由普林斯頓大學出版社出版
  9. A comparison on the semantic interpretation and formalization of generic sentences

    概稱句的語義解釋及形式化比較研究
  10. 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 ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  11. Interpreting the implicit meaning of

    隱現的語義解釋
  12. Focus - sensitive constructions and the interpretation of focus

    對焦點敏感的結構及焦點的語義解釋上
  13. Naturally, we expect the semantic interpretation and operation to be constant across such providers

    我們自然期望在這樣的提供者之間語義解釋和操作都能保持一致。
  14. The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic

    定義了擴展模糊描述邏輯的語法結構、語義解釋、知識庫形式以及基於可滿足性的推理問題。
  15. By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification

    通過這一形式化提出了一種對圖形化的uml狀態機視圖模型的形式化和rsl規范進行集成的框架，這一工作是對uml類圖在rsl中形式化的繼續，使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋，同時也提高了rsl規范的抽象層次，增強了其可讀性簡明性。
  16. In this paper, through the research of the mental model of agent and the analyses of a few kinds of " belief - desire - intention " ( bdi ) model of agent from the logical view, we explain the agent theoretically. on the base of analyzing the organ structure of agent, we put forward the kernel agent concept. the kernel concept abstracted from common properties of agent, contribute to construct agent and multi - agent system. we have also studied the kqml ( knowledge query and manipulation language ) and communication mechanism of agent, and bring forth the ontology researching will become the emphasis in construction of abstract knowledge exchanging between the agents. at last, we construct a multi - agent system, which exchange kqml message by a mobile agent, by the development tools of agelt and jkqml

    當前，對agent和多agent系統的研究正在掀起熱潮，是當今計算機科學技術領域、信息工程領域和網路與通信領域十分活躍的前沿研究方向之一。本文通過對agent心智模型的研究，從邏輯學的角度分析並總結了幾種agent 「信念?願望?意圖」 （ bdi ）模型，在理論上對agent進行了解釋。總結了現有邏輯模型存在的問題，提出去掉規則n形成的一種非正規模態邏輯的語義上的新的解釋，解決了「邏輯全知」問題和由此帶來的問題，避免了一般非正規模態邏輯系統語義解釋對agent的bdi描述的弱點。
  17. 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 ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  18. The primary contributions of this thesis include : having studied the rough set theory carefully, the thesis finds the relationship between rough set and such abstract theories as modal logic, fuzzy set, algebra system and interval - set algebra, i. e., rough set provides a well defined semantical interpretation to these abstract theories, which enables us to better understand them. secondly, rough set builds an inter - relationship among these dependent theories and connects them together

    完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。
  19. Introduce searching engine technology of " event inspection " and define the modular description language in respect of its intrusion patterns, as well develop the corresponding rules parser

    採用了「事件檢測」引擎技術，並定義了一套入侵特徵模式描述語言及相應的規則語法解釋器。
  20. Topics provide the reason behind the tasks by defining terms and explaining concepts

    主題通過定義術語和解釋概念提供了任務背後的原因。
分享友人
分享到 Line

分享到臉書