1) Kleen-orthogonal Complement
Kleene正交补
2) orthogonal complement faces(OC-faces)
正交补脸
1.
A method called orthogonal complement faces(OC-faces) was presented based on the orthogonal decomposition theorem to free face recognition from feature extraction.
为了实现人脸识别免于特征提取,提出了一种基于正交补脸(OC-faces)的人脸识别方法。
3) orthocomplement
正交补
1.
Kinetic equations of multibody systems with scleronomic constraints are projected along the feasible and unfeasible directons of the constiaints respectively,and generalized accelerations of the systems are decomposed along the two directons using the bases of constraint matrix and its orthocomplement.
通过约束矩阵及其正交补的两组基，将定常约束多体系统的动力学方程沿与约束相容和不相容的两个方向上投影，并将系统的广义加速度沿这两个方向进行分解，得到描述系统运动的纯微分方程和求约束力的公式，同时提出了违约修正的一种方法。
5) weak orthogonal complement
弱正交补
1.
By introducing first the concept of weak inner and weak orthogonal complement,we have testified the uniqueness of weak orthogonal complement and finally give the solving process for the homogeneous linear equations with the same solution space.
在一般的线性空间中引入弱内积,使之成为弱内积空间,再引入弱正交、弱正交补概念,证明了任何数域上的线性空间都是弱内积空间、任何弱内积空间的子空间都有唯一的弱正交补,揭示了齐次线性方程组的解空间与系数矩阵的行空间的对称性。
2.
By introducing first the concept of weak inner and weak orthogonal complement,we have testified the uniqueness of weak orthogonal complement and finally give the necessary and sufficient condition for the same solution of the homogeneous linear equations.
在一般的线性空间中引入弱内积,使之成为弱内积空间,再引入弱正交、弱正交补概念,证明了任何数域上的线性空间都是弱内积空间、任何弱内积空间的子空间都有唯一的弱正交补,并给出了齐次线性方程组同解的一个充分必要条件。
补充资料：Kleene-Mostowski分类
Kleene-Mostowski分类
Kleene - Mostowski dassification
幻份.一M说勿银幻分类【刃日改比一M加to服匆选坦沥口住叨;心.一Mocosc劝ro期accll中似绷。] 由5 .C .Kleene(【l」)和A.M“to招ki([2」)各自独立提出的数论谓词的一种分类.所有递归谓词的类同时用n。和艺。表示.对每一个k>0，类及定义为由一切能表示为日夕R(y，xt，…，x。)形状的谓词构成的类，其中日是存在最词(qUant政r)，并且R(y，x，，二几x。)是类n卜:中的一个谓词;而n*定义为由一切能表示为丫夕R(y，x，，…，x。)形状的谓词构成的类，其中丫是全称量词，并且谓词R(y，x，，…，x。)属于类艺k一1.用这个方法得到类的两个序列:艺，艺:沉。”’“‘ 工。=n。 n 1 flZ n3‘’‘’‘” 如果一个谓词属于工*或nk，那么对任意j>k，它也属于n，和艺j，即对任意z>k，z*三z，自nz，并且fl*三艺，自n，.如果k>O，那么x*中存在不属于n、的谓词，并且n、中也存在不属于Z*的谓词，即z*\n*笋必，并且n*\工*笋必.一个谓词属于类z*或类n*之一当且仅当它可以用形式算术(颐让田℃tic，fonT以1)的语言表示.如果一个谓词Q(x:，…，x。)属于x*(或n*)，那么二Q(xt，·…x。)属于n*(艺k)，其中，是否定符号.一个谓词Q(x，，…，x，)是递归的(见递归谓词(~i祀p阁卜cate))，当且仅当Q(x，，…，x。)和.，Q(x，，…，x。)都属于艺:，即z:自fl;=x。=fl。.如果k>0，那么(名*+:自flk+，)\(艺*Ufl*)笋必. 定义于形式算术的语言中的集合的分类(d创铝ifiul-石曲of sets)依据谓词的分类进行:一个集合M属于n。(或x*)，如果谓词“x‘M”属于这个类.【补注】nj自乙通常用△j表示.幻优。e一MOSto仍石ki分类一般也叫做算术谱系(ari让田货ti口1场郎助山y).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条