1) generalized fixed points
广义不动点
3) 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的混合循环知识库的语法和语义(包括不动点语义和描述语义)。
4) greatest fixpoint (gfp) semantics
最大不动点语义
5) generalized node
广义节点
1.
A new type of meshfree method is developed by incorporating the generalized node which originated from manifold method with the conventional meshfree method.
借鉴流形方法思想,引入广义节点的概念,对传统的无网格法进行了改进,建立了可具有任意高阶多项式插值函数的广义节点无网格方法,在阐述这种方法基本原理的同时,针对线弹性力学问题给出了其计算列式。
2.
This paper explains the basic principle of composite element method and introduces the concept of virtual node and generalized node used in the hierarchical finite element method.
阐述了节理岩体复合单元法基本原理,引入了阶谱有限单元法中的虚节点和广义节点概念,提出了覆盖虚棱(面)和广义棱(面)的概念,并进一步将虚节点和广义节点分类。
3.
Based on the composition of displacement function on manifold element,a new method of constraints treatment of fixed boundary is proposed;and it changes the constraints treatment of fixed boundary into the constraints treatment of generalized node;and the constraints condition will be met strictly by using special cover.
基于流形单元上位移函数的组成提出固定约束处理的新方法,将固定边界的约束处理转化为对广义节点的约束处理,改变广义节点上的覆盖函数使固定边界的约束条件得到严格满足,并推导相应的流形单元刚度矩阵。
6) Generalized saddle point
广义鞍点
1.
Super efficient point in vector optimization problems with set-valued maps characterized by generalized saddle point;
集值向量优化问题超有效点的广义鞍点刻画
2.
By using the properties of generalized saddle points and a separation theorem,a property of generalized saddle points is proved with set separation.
本文研究集值优化问题严有效解的广义鞍点刻画问题。
补充资料：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)，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条