語義原語 的英文怎麼說
中文拼音 [yǔyìyuányǔ]
語義原語
英文
semantic primitive-
He already knew italian, and had also picked up a little of the romaic dialect during voyages to the east ; and by the aid of these two languages he easily comprehended the construction of all the others, so that at the end of six mouths he began to speak spanish, english, and german
他原先就懂得義大利語,希臘語是他在到地中海東部航行時零零碎碎的學會了一點,憑借這兩種語言的幫助,了解其他各種語言的結構就容易多了。所以六個月以後,他已經能講西班牙語,英語和德語了。In proc. 1st int. semantic web conf.,
框架借鑒社會網路原理來構建語義重疊網路。Many reasons are addressed and the most important one is distribution and opening of the platform accordin to the network protocol of tcp / ip and the varieties of the content according to html. furthermore, html could ' t provide enough support for machines to understand the sematic cue of the web pages
導致這一結果的原因是是多方面的,其中最重要的原因是tcp ip協議帶來的平臺的分佈性、開放性以及html語言造成的內容的多樣性,同時html語言也無法為計算機提供足夠的語義支持。Thi s paper proposes a new automatic natura1 1anguage text categorization modu1e based on concept. thi s modu1e takes howwenet as the main source of knowledge, the concepts of words as the bas ; is of text categorization. the concepts of words are reduced to sememes and the tc is performed in the classfiab1e sememe vector space ( csvs )
本文提出了一個基於概念的自然語言文本自動分類模型,該模型以《知網》為主要的概念知識源,以詞所表示的概念為分類基礎,把概念繼續分解至義原,並在可分義原組成的向量空間進行文本分類。This thesis studies the principle of ais, the types of its system structure and the key factors which affect its evolution, explains the necessity and feasibility of ais based on event approach, emphasizes how to use the entity - relation approach and the real ( r is for " resource ", e for " event ", a for " agent ", l for " location " ) semantic model to design the integrate event - driven database and expects intelligent decision support system ( idss ), the application of data warehousing and olap technology in decision support system ( dss )
文章的研究思路是:從會計信息系統體系結構的角度,研究系統體系結構的類型及其演變的主要影響因素。論述了基於事項會計的會計信息系統的現實必要性和技術可行性;重點研究了現代信息技術環境下,基於事項會計的會計信息系統體系結構、如何運用e - r概念模型與real業務過程語義模型分析和設計集成業務數據庫、基於事項會計的會計信息系統原理和結構;並展望了數據倉庫和olap聯機分析處理技術在決策支持系統dss中的應用,即基於企業數據倉庫的智能決策支持系統( idss )前沿研究。Even if it were possible to decompile strongly obfuscated msil, it would have significant semantic disparities when compared to the original source code
即使可能將經過高度模糊處理的msil進行反編譯,和原始的源代碼相比,它在語義上也將有重大不同。In design flow modeling, a new design flow model definition method based on object oriented colorful petri net is put forward. in sub _ task dispatching, the task database, the task dispatch algorithm, the task dispatching time and its amending algorithm, the task dispatching execution plan etc. are designed. in version management, the version model of design object is built and the relationship between the linkers in dfms model and the version model about design objects is studied
在相關的關鍵技術研究中,提出了一套包括通信模型的建立、通信原語的設計、通信服務器的設計等內容在內的被動式協同設計通信方案;設計了一種基於面向對象有色petri網技術的設計流程模型定義方法;提出了一種基於調度時間和資源狀況的子任務調度方案,並完成了任務數據庫的設計、子任務調度演算法的設計、子任務調度時間及其修正演算法的設計和子任務調度實施方案的設計等工作;建立了設計對象的版本模型,研究了設計流程模型的各種連接器與設計對象各種版本間的對應關系。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三人文獻中的一個引理的證明,原有的證明是不完善的。What needed by founding scientific systems of theories on administrative act and practicing of rule of law of administration and even practicing of rule of law is to make a deeper study of definition of administrative act and define its intension and extension according to principles and the needs of practice of rule of law, and in consideration of customs of chinese language and chinese legal culture and judicial system of organization, and also in application of logic analysis, historic analysis, prescriptive method, descriptive method, semantic analysis, case research and comparative research. through profound and scientific demonstration, the thesis defines administrative act as the act of administration organ, authorized organization and person by law, which have executive power factors, including rechtsgeschaft of administration, geschaftsahnliche handlung of administration, relakt of administration
本論文從法治原理出發,根據法治實踐的需要,在充分尊重漢語語言的表達習慣及考慮我國的法律文化及司法體制等因素的基礎上,採用歷史考察、語義分析、邏輯分析、比較分析、規范分析與實證分析等方法,經過深入的分析和科學的論證,將行政行為界定為行政機關或法律、法規授權的組織和個人具有行政職權因素的行為,包括行政法律行為、準行政法律行為和行政事實行為。Multi - agent is employed in enterprise information space to perform information index search and information entity access task with the help of mapping mechanism between atomic index and information entity
為企業信息索引建立了結點間語義關系,通過原子索引與信息實體的映射機制,由multi叭gent進行索引檢索及信息實體獲取任務。Translating consists in reproducing in the receptor language the closest natural equivalent of the source - language message, first in terms of meaning and secondly in terms of style
(所謂翻譯,是指在譯語中用最切近而又自然的對等語再現原語的信息,首先在語義上,其次在文體上。Nida hoids that " translating consists in reproducing in the receptor language the closest natural equivaient of the source - language message, first in terms of meaning and secondiy in terms of styie.
奈達認為: 「翻譯就是在譯語中再造出首先在意義上,其次在風格上與原語信息最切近而又自然的對等信息。 」American eugene nida : translation consists in reproducing in the receptor language the closest natural equivalent of the source language message, first in terms of meaning, and secondly in terms of style
美國翻譯理論家尤金?奈達:翻譯就是在譯語中用最為貼切自然的對等語再現原語的信息? ?首先是就意義而言,其次是就風格而言。American eugene nida : translation consists in reproducing in the receptor language the closest natural equialent of the source language message, first in terms of meaning, and secondly in terms of style
美國翻譯理論家尤金?奈達:翻譯就是在譯語中用最為貼切自然的對等語再現原語的信息- - - - -首先是就意義而言,其次是就風格而言。Case grammar shows clear semantic relevance of notions such as agency, causation, location, advantage to someone, etc
格語法清晰地標明了那些與語義相關聯的概念,譬如施事、原因、地點、利益等等。Based on the principle of resolution refutation in fl, the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根據形式邏輯的歸結反演原理,本文給出了一階謂詞邏輯的petri網推理的方法,實現了語義網路的petri網推理。The experiment result show that the first sememes in hownet can express the main meaning of the question focus words, it can be as an important feature
實驗結果表明,在知網中選取的首義原能很好的表達問題焦點詞的語義信息,可作為問題分類的一個主要特徵。Xml, as the seed technology within the progress of the web, is the universal applicable declarative syntax in the future web, and rdf providing a data model for resource description and a set of primitives at semantic level is the technical foundation of semantic web
Web已經到了向語義化發展的一個轉折點: xml提供了通用的表示語法,是web向語義化方向發展的種子技術; rdf提供了語義上描述知識的數據模型和一組基本的描述原語,是語義化web在語義上的技術基礎。The author has made extensions on logical and relational primitives based on some influential techniques, like rdfs ( resource description framework schema ) and oil ( ontology inference / interchange layer ), so as to enable knowledge, rules and axioms to be syntactically seriliazed with ordinary xml
本文基於rdfs 、 oil等有影響的技術對這些邏輯原語和關系原語進行了擴展定義,這樣,從語法上採用通用的xml 、從語義上採用這些定義的原語,就可以描述知識、規則和公理。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 )的-歸結原理,給出了計算-直接歸結式和-自歸結式的規則,並總結出具體的歸結方法。分享友人