1) Algebraic sum of image set
象集代数和
2) Abstract algebra
抽象代数
1.
After a careful study of several major algebraic systems in abstract algebra,we come to the conclusion that relation is the noumenon of abstract algebra taking into consideration their established logical levels,and that homotype is the research method considering their structured isomorphic meanings.
针对抽象代数中的几大重要代数系统,我们从代数系统建立的逻辑层次上得出抽象代数的本体是关系,从代数系统结构的同构意义上得出抽象代数的方法是同型,并从抽象代数的认识主体、理论结构、分析方法、物理意义四个层面分析了蕴涵在抽象代数中的科学美与真理性,进而还原了抽象代数的最深刻的人文意义。
2.
This paper discusses the substance and method of abstract algebra .
本文讨论抽象代数的内容与方法,包括抽象代数、代数系统、群。
3.
The development of abstract algebra,combinatory,computer science and the rise of computer algebra injected new vitality into invariant theory;the extensive application in mathematics,physics,computer science and other fields made it to be reborn.
抽象代数的发展,组合学的进步,计算机科学的发展和计算机代数学的出现为不变量理论注入了新的活力;在数学、物理学、计算机科学等领域中的广泛应用使其获得重生。
3) Image algebra
图象代数
1.
In this Paper, the object-oriented image data model, image algebraic operations which provide encaPSulation for image data, and various aspects of implementation suCh as schema design, Storage management, and the mapping from object schema to relational SChema, werediscussed.
讨论了面向对象的图象数据模型、在系统中为图象数据提供封装的图象代数运算、以及数据模式设计、存储管理、面向对象的数据库模式向关系模式的映射等数据库技术的各个方面。
4) object algebra
对象代数
1.
This paper proposes a combined object algebra to support complex queries in GIS.
本文提出一种合并的对象代数以支持地理信息系统中的复杂查询。
5) integration algebra
集成代数
6) Bulk algebra
集合代数
补充资料:半代数集
半代数集
semi-algebraic set
半代数集[胭111一吻由面cset;no二y幼re6p皿叨e幼eM”。-袱ecT即!,半解析集(~~a侧ytjcset)篡篡黔篡髻麟鬃默黯袅纂的集合更精确地说,对g任R[X:,…,X,],设U(g)={x‘R”二g(x)>0},则E是半代数的,如果它属于包含所有的U(g)的R”的子集的最小B以〕k’ 环. 作为定义,半解析集(s翻.an川ytlc set)是实解析流形的一个集合,它局部地能用有限多个解析等式和不等式来描述. Tarski一Seidenberg定理(Tarski一seidenbulg theo-reln)断言一个判定过程(decision procedure)(亦见可判定集(deC油ble set))的存在性以判定由有限多个多项式不等式g:(x、,二,尤。)>o、联结词“与”、“或’和“非”以及量词日Xj,丫X*所构成的初等语句的真伪.两个精确的表述是:l)设E CR”是半代数集,二R”一‘R”一’是到最后n一1个坐标上的投影,则兀(E)是半代数的.2)设S(x,,…,x。;t!,…,t,)是由不等式尸:(x、,…,义。;tl,二,t。)>O以及联结词“与”、“或”和“非”构成的有限语句(这样的语句称为一个多项式关系(po加lomialr山·山。).设Q,,·“,Q.是一系列形如日x,或丫x*的量词,则存在一个算法以发现多项式关系T(t;,…,t。,),使得 T(tl,二,t。)夺=)Ql…Q。S(x.,‘’‘,x。; t,,“·,t,,).从Tarski一seidenberg定理可以得出,半代数集在多项式映射R”一R门下的象是半代数的.事实上这是一个等价, 半解析集在解析映射下的象不必是半解析的.实解析流形上的次解析集(subanalytieset)定义为一个集合,它局部是半解析集在解析映射下的象.次解析集的不是半解析的点构成一个次解析集,见〔A2]. 半代数(相应地,半解析或次解析)集的闭包仍是半代数(相应地,半解析或次解析)的. 半代数(相应地,次解析)集在代数(相应地,解析)映射下的象是半代数(相应地,次解析)集. 最后,一个光滑代数(相应地,解析或解析)簇的半代数(相应地,半解析或次解析)子集容许有一个光滑的分层(stratificatlon),它的层是半代数(相应地,半解析或次解析)的(并且光滑).
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条