語義法 的英文怎麼說
中文拼音 [yǔyìfǎ]
語義法
英文
semantic approach-
This part contains accidence analyzing, phrasing analyzing, semantic analyzing and creating aim code
這一部分包括詞法分析,語法分析,語義分析和生成目標代碼四個部分。Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic
2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上,同時證明了演算法的正確性。Analysis of syntax and semantics of relative degree adverb
相對程度副詞句法語義分析2 ) nine analysis and optimization technologies, based on the syntax and semantics of process models, and integrated with bpi theory
2 )基於過程模型的語法和語義,結合過程改進理論,提出了九種過程模型的分析優化方法。Some theoretical problems on the comparative method of semantics
關于語義學比較法的理論問題The causative and conative usage of adjectives in classic chinese are both found in the svo structures, while the difference between the two lies in their alternative patterns of different semantic meanings
摘要古代漢語中形容詞的使動用法和意動用法一般都採用「主謂賓」結構式,兩者的區別在於句式的變換不同,動賓結構所表示的語義關系不同。In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement
我們的方法就是用cpal ( cryptographicprotocolanalysislanguage )語言來表示協議,將hoare和dijkstra在形式語義方面的理論應用到該語言,分析該語言的形式語義,定義每種語句的最弱前置條件。2. on information extraction and recognition, some rules of dimension mark extraction are summarized by analyzing the dimension restriction semantics, then effective methods of extracting text information from heading - table and filtering drawing ’ s peripheral frame are presented, in addition, this paper also discusses cutaway view ’ s recognition and pre - processing. 3
2 .在信息提取與識別方面,分析了尺寸標注約束語義,總結出尺寸標注提取的規則;給出了標題欄信息提取和工程圖紙圖框過濾的方法;詳細討論了有關剖視信息的提取、識別和預處理方法。Finding the meaning out of the context is one of the textual exegesis to explain the accurate meaning according to the context
摘要據境索義是利用語境解釋言語中詞語準確語義的一種訓話方法,上下文語境是我們據境索義所利用的主要對象。We shall often find correlation between grammatical and semantic categories.
我們往往會發現語法范疇和語義范疇之間的相互聯系。This text discussesthe application of the numeral idiom in the special position in the language and the handiness, dividing a few of its structure, enumerating the function and the language righteousness characteristic of its sentence construction
本文論述了數詞習語在語言中的特殊地位和巧妙應用,劃分了它的幾種結構,列舉了其句法的功能以及語義特徵。The concept of interestingness is redefined within the scope of probability, which is the base of the introduction of the negative items. with the bound of the negative items, an algorithm iar, which can generate the rules with negative items, is proposed. these works complete the semantics of the rules, as well as make the rules more meaningful, especially in the case of concept hierarchy consideration
通過在統一的概率論的范疇內重新定義興趣度的概念,使得負項的引入有了理論依據,並通過對負項的進一步限定,提出產生包含負項的關聯規則iar演算法,使關聯規則包含的語義更加完整,規則本身也更有意義,特別是在有概念層次的情況下。Semcor is semantically tagged with wordnet senses. however, the semantics information of the examples is required to be hownet concept according to the interlingua used in this system. therefore, before the extraction, the corpus is transformed with an algorithm th at maps wordnet senses to hownet concepts
演算法中用以比較的實例從經語義標注的語料庫里抽取而得,為解決語料庫的語義標注形式與實際實例中詞義應有的語義表現形式不一致的問題,本文在介紹實例抽取的過程時提出並詳細介紹了從wordnet到知網的詞義映射演算法。Chapter two puts forward the general idea about the lexical selection model and then gives a brief introduce to the interlingua and hownet, which will be used in succedent discussions. chapter three introduces the construction of example base and semantics pattern base, which are the main data resources of the lection selection model
第二章是系統結構和基礎知識,提出了選詞模型的總體思路,簡要介紹其系統結構;並對中間語言表示方法及基於知網的語義計算模型等有關基礎知識進行了介紹。19 jaeger m c, rojec - goldmann g, liebetruth c et al. ranked matching for service descriptions using owl - s. in proc
由於服務匹配中的輸出部分比輸入部分更加重要,在本文提出的語義服務匹配方法中還對輸出進行加權計算。The thriving studies on grammaticalization ( full word ' s grammaticalization ), syntactical functions extension, rationale for compound words, grammaticalization ( lexicalization ), iconicity, etymology, lexicography, etc. in modern linguistics are directing researchers ' attention to the diachronic and historic perspective in the synchronic research of the lexical semantics of modem chinese
摘要現代語言學研究中的語法化(實詞虛化) 、詞性引申研究,復合詞理據義研究,語法化(詞匯化)研究,象似性、詞源研究,詞典編纂研究等的興盛,帶動了現代漢語詞匯語義的共時研究對歷時、歷史視角的關注。This article analyses four double fundamental legal conceptions separately, which are hohfeld ’ fundamental legal conceptions ? ? the lowest common denominators, by means of semantic analysis and psychology, and are simplified to three double fundamentally legal conceptions, and make the conceptions of “ rights ” clear, and reveal various relations of concepts, and points out working process of rights, and puts forward a new right structure model, and applies the right structure model to analyses differentiation of real rights and creditor ' s rights, and raises a new differentiation of rights of property
本文用語義分析的方法並借鑒了心理學的知識對霍菲爾德的權利基本概念? ? 「法律最小公分母」 ,四對八個基本法律概念做了逐一分析,將其精簡到三對六個基本法律概念,釐清權利概念的含義,並揭示各概念之間的關系,指出權利的發生過程,提出新的權利結構模型。並應用該權利結構模型對物權和債權的劃分做了分析,提出財產權的新的劃分。Updates to the site are made every five minutes and the so - called " norad tracks santa " program has german, spanish, french, italian, japanese and english links
網站每5分鐘更新一次,這個所謂的「北美太空防禦司令部追蹤聖誕老人」節目具有德語、西班牙語、法語、義大利語、日語以及英語6種版本的鏈接。The present paper deals with the logical omniscience problem in epistemic logic and the methods to resolve it and presents a kind of epistemic logic called el, which can avoid the logical omniscience, and gives its semantic rules and its axioms
摘要分析認知邏輯中的邏輯全知問題及其解決方法,提出一種可以避免邏輯全知的認知邏輯el ,並給出其語義和公理系統。The contextual analysis can help to determine the specific meaning of the polysemy in a sentence and rule out the ambiguities
利用上下文語境可以確定多義詞在語句中的具體語義、排除歧義,可以確定語句中詞語的語法意義。分享友人