期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
环的代数封闭性 被引量:4
1
作者 郭时光 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2002年第4期639-646,共8页
证明了任一环有代数封闭的扩张环,且实封闭域上的四元数体是代数封闭的,给出了代数封闭环的若干性质.
关键词 零点 分裂环 代数封闭 未定元 特征值
下载PDF
关于代数封化域的唯一性
2
作者 苏翃 《重庆工业管理学院学报》 1996年第1期10-11,共2页
推广了[1]中在等价意义下任意域F恰有一个代数封化域的结论,得到了两个同构的域的代数封化域也同构的结果。
关键词 代数封代域 同构 分裂域 唯一性 代数封闭
下载PDF
模型论力迫法在代数中的一个应用
3
作者 张龙 陈国龙 万展翔 《长江大学学报(自科版)(上旬)》 CAS 2013年第9期18-19,4,共2页
力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进行了推广,而后给出了代数封闭除环的概念,并通过给出的概念用模型论力迫法证明了每个可数除环A都可扩张为一个可数的代数封闭除环。
关键词 模型论 力迫法 可数除环 代数封闭除环
下载PDF
基于标识变化的时空推理
4
作者 王生生 刘大有 +2 位作者 谷方明 吕倩楠 温长吉 《计算机学报》 EI CSCD 北大核心 2012年第2期210-217,共8页
空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型... 空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型.针对基本关系约束满足问题,提出了构造性求解算法,并证明了代数封闭算法可解;针对全关系约束满足问题,提出了一致场景算法.理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题,对此类问题其它同类模型尚不能很好解决. 展开更多
关键词 时空推理 标识变化 约束满足问题 代数封闭算法 弱复合
下载PDF
中学数学的体系
5
作者 梅向明 《课程.教材.教法》 CSSCI 北大核心 1991年第2期16-21,共6页
一、问题的提出 一门学科的体系就是这门学科自身发展的规律,这个规律反映了人类对这门学科的认识过程。人们今天学习这门学科,他们的认识过程不一定完全遵循这门学科的发展规律,也就是说,不一定重复历史上对这门学科的认识过程,但是也... 一、问题的提出 一门学科的体系就是这门学科自身发展的规律,这个规律反映了人类对这门学科的认识过程。人们今天学习这门学科,他们的认识过程不一定完全遵循这门学科的发展规律,也就是说,不一定重复历史上对这门学科的认识过程,但是也不会相差很远。学科中有的内容,历史上认识它经过了漫长的岁月。 展开更多
关键词 中学数学 有理数域 区间套 有理运算 小学数学 代数封闭 数的概念 复数域 初等数学 运算律
下载PDF
指数P的群的表示 被引量:1
6
作者 张荣华 《大理学院学报(综合版)》 CAS 1994年第1期26-29,共4页
本文讨论带有指数P的正规子群的群与此子群之间表示关系和P=3的情形,且是在表示空间的域的特征为O的代数封闭域上讨论。设S是一群,A是其子群,(S:A)=P是素数,若存在a∈S—A,且a<sup>p</sup>=1,则S/A=(?)是P阶子群((?)... 本文讨论带有指数P的正规子群的群与此子群之间表示关系和P=3的情形,且是在表示空间的域的特征为O的代数封闭域上讨论。设S是一群,A是其子群,(S:A)=P是素数,若存在a∈S—A,且a<sup>p</sup>=1,则S/A=(?)是P阶子群((?)=aA),其特征标表为:其中W是P次本原根,可得出S的p-1个表示:D<sub>i</sub><sup>+</sup>(s)=1,D<sub>i</sub><sup>+</sup>(a<sup>i</sup>s)=D<sub>i</sub>((?)<sup>j</sup>)=W<sup>ij</sup>(S∈A),i=1,2,’……,p-1,j=1,2,……,p-1。同样任取S的一表示,可得到S的另一表示D<sub>i</sub><sup>-</sup>:D<sub>j</sub><sup>-</sup>(S)=D(S)×D<sub>i</sub><sup>+</sup>(S)、i=1、2……,P—1、即:D<sub>i</sub><sup>-</sup>(S)=D(S),D<sub>j</sub><sup>-</sup>(a<sup>i</sup>s)=W<sup>ij</sup>D(a<sup>j</sup>s),i=1,2,……,p—1,j=1,2,……,p—1。将D<sub>i</sub><sup>-</sup>称为D的伴随表示,简单推理知,D与D<sub>i</sub><sup>-</sup>同是可约或不可约。 展开更多
关键词 不可约表示 群的表示 自伴随 伴随表示 特征标表 自共轭 不等价 共轭表示 充分必要条件 代数封闭
下载PDF
Algebraic test of relative form closure grasps with its implementation
7
作者 XIONG YouLun XIONG Tao WANG YuHui 《Science China(Technological Sciences)》 SCIE EI CAS 2014年第7期1401-1410,共10页
This paper presents an approach to algebraic detection of relative form closure for a multi-fingered grasp G and gives an attention to the classification of relative form closures.Whether or not a grasp G is of relati... This paper presents an approach to algebraic detection of relative form closure for a multi-fingered grasp G and gives an attention to the classification of relative form closures.Whether or not a grasp G is of relative form closure has been verified by the geometric criterion 0?rintC[G](Xiong Y L,Xiong X R.Algebraic structure and geometric interpretation of rigid complex fixture system.IEEE Trans Autom Sci Eng,2007,4:252–264;Xiong Y L.Theory of point contact restraint and qualitative analysis of robot grasping.Sci China Ser A-Math,1994,37:629–640).Our aim is at transferring the geometric criterion into an algebraic formulation by a theorem that a grasp G is relative form closure,if,and only if the origin 0 can be represented as a positive convex combination of G.So we develop a constructive procedure called ri-simplex algorithm to find a positive convex combination of G when it has relative form closure.Form closure is considered as a special case of relative form closure,when the grasp G can affinely span the whole space,while partly relative form closure is referred to as form closed relative to a subset G1 of G. 展开更多
关键词 relative form closure algebraic test PCC(positive convex combination) ri-simplex algorithm simplex grasp complex grasp
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部