語義論 的英文怎麼說
中文拼音 [yǔyìlún]
語義論
英文
semantics-
The author of the paper observes that, formally, an indirect conditional sentence is characterized by a protasis and an indirect apodosis with a lack of a direct apodosis ; semantically, there exists no contingency / dependency relationship between the protasis and the indirect apodosis
本文作者提出,間接條件句的形式特徵是只有前設句和間接論斷句而沒有直接論斷句,其語義特徵是在前設句和間接論斷句之間不存在一般條件句所必需的依存關系。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
關于語義學比較法的理論問題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 .在信息提取與識別方面,分析了尺寸標注約束語義,總結出尺寸標注提取的規則;給出了標題欄信息提取和工程圖紙圖框過濾的方法;詳細討論了有關剖視信息的提取、識別和預處理方法。Domain theory provides the mathematical foundation for denotation semantics of computer program languages. it is characterized by the close connection between order and topology, which makes it the common study field of both computer experts and mathematicians. weight, character and density are generally called cardinal functions
一種domain范疇要成為某種語言的語義學模型其基本條件是笛卡爾閉的,因而研究domain范疇的笛卡爾閉性或者說尋找笛卡爾閉的domain范疇就自然成了domain理論中一個十分基本的問題。Tim berners - lee brought forward the concept of semantic web in 1998 and set the goal as to make computer process information automatically by adding metadata to traditional web data to make the latter machine - understandable. the clearer meanings of data and domain theory ( ontology ) are supposed to provide high quality services for web
1998年, timberners - lee提出了語義web的概念,目標是通過向數據中添加機器可理解的語義和啟發式的使用元數據來實現機器自動處理信息,數據的清楚語義加上領域理論(即本體)將使得web提供更高質量的服務。On general semantics and the theoretical foundations
論普通語義學及其理論基礎This installment will look at the general semantics of relax ng, and touch on datatyping
這篇專欄文章將討論relax ng的常規語義,並簡要闡述數據類型。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演算法,使關聯規則包含的語義更加完整,規則本身也更有意義,特別是在有概念層次的情況下。The conceptualist view holds that there is no direct link between a linguistic form and what it refers to ; rather, in the interpretation of meaning they are linked through the mediation of concepts in the mind
意念論認為,語言形式及其所代表的對象之間(即語言與現實世界之間)沒有直接聯系;確切地說,在理解語義時,是通過大腦中存在意念這一中介物來聯系的。Semantic selection of np to dual number measure words
論雙數量詞對名詞性成分的語義選擇Wittgenstein have roughly two steps for anti - private language argument, the first step rely on anti - ostensive definition, and the second step is crux of argument, and rely on distinguishing private language and public language
摘要維特根斯坦的反私人語言論證分兩個步驟來進行,第一步依賴于反直指定義,而關鍵性的第二步則以對私人語言與公共語言的區分為前提。Philosophized " nonlinearity " results in semantic vagueness, and causes pointless philosophical arguments
非線性概念的哲學化,造成了語義混亂,並引起了無謂的哲學爭論。On the role of semanteme and sememe in semantic understandings
論義位和義素分析在語義理解中的作用Second, many proposals originally disputed by generative semanticists have since appeared in the interpretivist literature
其次,由生成語義學家最先提出進行討論的許多提議后來出現在解釋主義文獻之中。Via the investigation on the subjects such as philosophy of moral education, semasiology, logic, anthropology, psychology and so on, the author thinks that the ultimate goal is to cultivate the value character of our students. this character is an " attitude " dynamic system which consists of the subsystems such as " moral cognition ", " moral emotion ", " moral behavior ", etc. it is built on the basis of our traditional culture, which focuses on three dimensions of " learn to be ", " learn together " and " learn to act ". and it embodies the respect - responsibility ( individual to himself, to others, to society, to nature and so on ) value which is the students " core character as well as the goal of education that our moral education should pursue
透過道德教育哲學、語義學、邏輯學、人類學、心理學等多學科的考察,論文認為,學校道德教育的根本目的在於培養受教育者的德性品質(品格) ;受教育者的品格是由「道德認知」 、 「道德情感」 、 「道德行為」等子系統組成的「態度」動力系統;建立在傳統文化基礎上,圍繞「立身」 、 「處世」 、 「行事」三個維度,體現「尊重?責任」關系(生命個體對自己、他人、社會、自然等)價值觀,既是受教育者核心品格,也是學校道德教育應該追求的教育目標。This framework is composed of semantic modeling of certain domain, semantic description of resources, extension search of semantic model, and etc. this paper emphasize on rdf inference mechanism, which is the fundamental of sematic retrieval
該框架主要由特定領域的語義建模、信息資源的語義描述、語義模型擴展查詢等部分組成。 rdf的推理機制是本文研究的重點,也是進行語義檢索的理論基礎。In the framework of the generative grammar, the government and binding theory provides us evidence of the classification of these sentential types semantically and syntactically : the argument structure and epp determine the obligatory elements at the sentential level, morphological rules and the case theory motivate the production of some derived sentence types
生成語法管約論框架內分析了劃分的語義和句法依據,謂詞的題元結構和epp決定了句子層面的必有成分,同時形態規則的作用和滿足格理論還會推導出一些衍生句式。分享友人