不动点语义,Fixpoint semantics
1)Fixpoint semantics不动点语义
1.The semantics (fixpoint semantics and descriptive semantics) of εLN are given.针对更大的描述逻辑系统研究了循环术语集的语义及推理机制,即在描述逻辑εL的基础上添加数量约束构造算子,提出了描述逻辑εLN,给出了εLN的语义(包括不动点语义和描述语义)。
2.The syntax and semantics(including fixpoint semantics and descriptive semantics)of hybrid knowledge bases in εL are given.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义)。
英文短句/例句

1.Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic εLN描述逻辑εLN循环术语集的不动点语义及推理
2.SEMANTIC ORIENTATION OF BU RELATED TO FOCUS AND SEMANTIC LINKING ITEM;焦点、语义联项与“不”的语义指向
3.Pragmatic Features and Translation of the English Verbal Personification Connotation;英语动词拟人转义的语用特点及翻译
4.An Analysis of Semantic asymmetry of English Active and Passive Voices;英语主、被动语态语义不对称现象简析
5.On Semantic Of "VN Intranstive Verbs + O";动宾式不及物动词“VN”带宾语语义研究
6.The Effect of Semantic Priming of Homograph under Differfent Language Conditions;不同语言条件下汉语异义词语义启动效应
7.An Exploration of the Syntactic and Semantic Features of the “Jin”-Type Directional Verbs in Mandarin;“进”类趋向动词的句法、语义特点探析
8.Semantic Characteristic of the Verbs in the Structure "Нельзя P"Нельзя P结构中动词的语义特点
9.Noun-Verb Shift and Its Semantics and Rhetorical Effects;英语名动转化的语义特征及其修辞特点
10.Sematic Features and Syntaxic Reverse Functions of English Sentimental Verb;英语情感动词的语义特点及句法逆向功能
11.Unbounded Perturbation of Generalized Inverse and Extreme Minimum Fixed Point Theorem无界广义逆的扰动与极小不动点定理
12.The Construction meaning and the semantic role of "Dong bu dong VP"“动不动VP”的格式义及语用功能
13.Algorithms of Fixed Points for Solutions of Some Kinds of Generalized Variational Inequalities几类广义变分不等式解的不动点算法
14.The Grammatical Meaning of the Verbal Repitition Pattern of AABB and the Features of the Verbs in this Pattern;动词AABB复叠式的语法意义及动词的特点
15.Generalized Fan-Browder Fixed Point Theorem and Nash Equilibrium Problems;广义Fan-Browder不动点定理与Nash平衡问题
16.Fixed Point Theorems in Partially Ordered Metric Spaces with τ-Distance偏序集中τ-距离意义下的不动点定理
17.A Study on Sematic Features and Syntaxic Reverse Functions of Sentimental Verb;情感动词语义特点及句法逆向功能初探
18.Dynamic Super-Peer Network Model and Search Algorithm Based on Semantics基于语义的动态超节点网络模型及搜索算法
相关短句/例句

greatest fixpoint (gfp) semantics最大不动点语义
3)generalized fixed points广义不动点
4)semantic characteristic语义特点
1.This article has discussed the English and Chinese proverb s semantic characteristics, discussing the English and Chinese proverbs from the spoken language nature, rich, and national characteristic aspect and so on.但它具有自身的特点,本文探讨英汉谚语的语义特点,从言语性、丰富性、知识性和民族性等方面对英汉谚语做了阐述。
2.The paper analyzes the semantic characteristics of English and Chinese proverbs from the following aspects: national cultures,rich content,implied meanings,educational quality and various relations.文章从民族文化性、内容丰富性、意义潜在性、本质教育性和关系多样性等方面分析了英汉谚语的语义特点。
5)semantic feature语义特点
1.This thesis attempts to approach it from the following aspects: its components, syntax functions, semantic feature and pragmatic feature.现代汉语中的“为A而A”格式是一个常见的格式,但对其进行的研究却不多,本文试图从格式的构成、句法功能、语义特点、语用特征几方面作一个全面的研究。
6)semantic features语义特点
1.It explores the possible contexts in which connotative meanings may occur and,on the basis of case study,further discusses the semantic features the connotative meanings em.以《全唐诗》为语料,以名词“云”为考察对象,分析并描写其隐含义,以此为名词性义位隐含义的语义分析提供范例,考察名词隐含义可能出现的语用环境,在对隐含义作个案考察的基础上,对隐含义的语义特点、隐含意义发展为理性意义的一些问题进行了讨论。
2.Focusing on the semantic features,syntactic multi-functions in a comparative way,this es- say explores the passive markers in some Chinese dialects and languages of minority national- ities.本文采用比较的方法对汉语部分方言中的被动标志做类型学的考察,以探究其语义特点及句法上的多用性,文章指出了汉语被动标志在意义和用法上的一些普遍共性特征。
3.This essay explores the passive markers in some Chinese dialect,focusing on their semantic features, syntactic multi-function in a comparative way,which is the principal approach in typology.本文采用跨语言跨方言比较的方法对汉语部分方言及部分少数民族语言中的被动标志做了类型学考察,重点在探索其语义特点及句法上的多用性,指出了汉语被动标志在意义和用法上的普遍性特征,对被动标志及其相关问题做了初步的探索。
延伸阅读

Borel不动点定理Borel不动点定理Borel fixed - point theorem  B吮l不动点定理{B.限l五xe小州nt价e僻m二匆卿,T侧邓吧,f.01”聊叉B“狱班滋n卜.王j 设F为代数闭域kl二非空完全代数簇,正则地作用于犷上的连通可解代数群G(见变换的代数群扭1罗-braic goup of transformat一ons))在卜中有不动点.由这个定理可以推出代数群的B.耽l子群(Borel sub-grouP)是共扼的(Bore卜MOI洲)叉)B定理(Borel一Moro-zov theorem)),不动点定理是A.Borel([lj)证明的.Borel定理可以推广到任意域k(不一定代数封闭卜设F为在域k上定义的完全簇若连通可解k分裂群(人一sPlit grouP)G正则地作用在F上,则有理人点集V(k)或者为空集,或者它包含G的一个不动点.因此推广的Bore]子群共扼性定理是:若域k是完满的,则一个连通人定义的代数群H的极大连通可解北可裂子群,在H的k点构成的群中元素作用下互相共辘(f21),