BCK-代数添零扩张中的理想

本文对ＢＣＫ－代数的添零扩张作了深入研究,指出了原ＢＣＫ－代数中的理想、Ｖａｒｌｅｔ理想、素理想等与添零扩张后相应的理想、Ｖａｒｌｅｔ理想、素理想之间的关系。     

交换半环中理想的实根

在交换半环范畴中引进和研究理想的实根,从而将实代数学中有关结果推广到交换半环上。如下结果被建立:在半环中,一个理想的实根恰等于包含该理想的所有实理想的交集,并也恰等于包含该理想的所有实素理想的交集。此外,形式更为一般的理想的实根--广义实根被考虑,并获得相应的结果。     

多元代数方程组解的重数的计算

本文利用多项式理想对偶基的理论给出了当代数方程组只有孤立解(即零维理想的零点)时解的重数的一个算法,同时得到了零维理想有重零点的几个判定准则.     

关于实全商环的一则短记

给出两个与域赋值相类似的结论:设R为实全商环,C为基中子环,有正则素理想p。于是R有赋值对(A,M)满足AC;及MnC=p。另一结论为实环中的任一非浅显赋值对在包含该环的实全商环中恒有拓展。更多还原     

关于极小曲面度量特征的一个证明

通过构造某个乘积流形中的一个子流形Q及Q上外微分式环中某个理想的一组生成元,利用[4]的主要工作,在这里证明了理想是d-封闭的。从而确定了一个3维积分子流形S.并由此给出了空间形式中一类极小曲面的度量特征的一个独特的构造性的证明。其中关于丛映射的证明对一般情形也适用,     

关于Г—环的幂零性问题

Г-环的概念是Nobusawa,N.于1964年引入的.它不仅包含通常的所有环,而且也包含Hestens三元环.环论中许多基本的结果已经推广到Г-环·比如 Nobusawa,和Luh,证明了关于单纯Г-环与半单纯Г-环的Wedderburn-Artin定;Luh,把Jacobson的结构定理推广到T-环且得到了关于单纯T-环的其它几个结构定理,Coppage和Luh把Jacobson根、Levitzki诣零根、诣零根推广到Г-环,并且在Г-环中引进了强幂零根,研究了这些根之间的关系.本文对于Г-环的强诣零理想与强幂零理想等概念作了探讨,并得到下述结果:(1)Г-环有唯一的最大强诣零理想;(2)若Г-环关于右理想满足降链条件(右Artin Г-环),则强诣零右理想是强幂零的,从而右Artin Г-环M有最大强幂零理想I,使M/I没有非零的强幂零理想.     

分区与统一多项式逼近——数学中的转化概念(Ⅲ)

现代为计算数学及函数论的基础研究所关注的有限单元法与 Spline 逼近都是一些特殊的分区多项式逼近。本文利用转化引理来研究高维分区多项式逼近在各种意义下的误差,证实了一些由实践及理论分析提出的猜测,推广了一些定理,得到高维 Taylor 级数余项估计的新形式及有关的统一逼近定理和嵌入不等式,用新的概念解决了文献上提出的 Spline的一个误差估计问题及有关问题,并且所得结果比预计的要好一些。     

关于具链条件的Г-环的强幂零性

<正> 许永华对满足左理想极大(或极小)条件的环的诣零根必是幂零的经典定理给出了推广形式。本文将它们推广到弱Г_N~-环上,获得了如下结果:具强诣零单侧理想极大条件的弱Г_N—环的强诣零根必是强幂零的;具强诣零单侧理想极小条件的弱Г_N~-环的任一强诣     

基于等值线的数量场可视化

给出了以等值线描述的二维数量场可视化方法,它通过区域的收缩和扩张确定每一点到它相邻等值线的距离,然后用线性插值得到这个点的数据值,从而形成一个网格点数据场,由此对二维数量场进行三维可视化．     

捕获等式约束下多项式在闭长方体上的最小值

对于给定的一个实多项式函数f∈R[x1,…,xn],R[x1,…,xn]中一个非空的有限子集H以及Rn中一个闭长方体n∏＝i1[ai,bi],给出了一个有效算法,可产生有限个单元多项式,使得这些单元多项式的一个实根正是多项式函数f在集合n∏i=1[ai,bi]∩ZeroR(H)上的最小值,这里ZeroR(H)为H的实零点集。有关算法通过Maple软件被编制成一个通用程序,可处理相关实例。     

二元多项式矩阵Smith型等价问题

二维系统等价是多维系统研究中的重要问题,它常被转化为二元多项式矩阵的等价问题来研究。二元多项式矩阵与其Smith型等价是矩阵等价研究中的重要问题。本文主要研究几类二元多项式矩阵与其Smith型等价问题,给出二元多项式矩阵约化到其Smith型的一些结果和判别条件。这些条件可以通过计算矩阵既约子式的约化Gr?bner基进行检验。     

光滑函数实根计算的渐进显式公式

求根问题在计算机图形学、机器人技术、地磁导航等领域应用广泛。基于重新参数化方法（reparamaterization-based method，RBM），给出了用于计算给定光滑函数在某区间内唯一实根的渐进式显式公式。给定光滑函数f（t），用有理多项式A_i（s）对曲线C（t）=（t，f（t））进行插值，得到重新参数化函数t =?_i（s），使得A_i（s_j）=C（?_i（s_j））。提出了基于重新参数化函数?_i（s）的显式公式用于渐进式逼近f（t）对应的实根，在n个函数计算的成本下，收敛阶可达到3·2^n-2，其中n≥3。与类牛顿法相比，本文方法提高了计算稳定性，且收敛速度更快、计算效率更高。与裁剪法相比，本文方法不需要求解包围多项式，且可用于非多项式函数计算，计算效率更高。数值实例表明，每增加一个插值点，逼近阶可提高一倍，且可获得较传统裁剪法更高的计算效率。     

基于数据变换的维数消减方法

为了提高高维数据集合数据挖掘效率，探讨了采用数据变换进行数据维数消减的方法及其应用，提出了一个通用的数据变换维数消减模型，给出了应用主成分分析方法计算模型中的数据变换矩阵的方法，相应的数据变换应用实例表明，通过数据变换用相当少的变量来捕获原始数据的最大变化是可能的．     

零维多项式组零点的1种直接表示法

给出了零维多项式组所有零点的1种直接表示算法．零点的这种表示方法可避免一般三角化方法引起的误差．此外，该方法较少地依赖符号计算，且核心算法是基于可靠的、数值的区间运算．     

δ-BiHom-Jordan-李超代数的阿贝尔扩张和T*-扩张

引入了δ-BiHom-Jordan-李超代数的阿贝尔扩张，并证明其与任意阿贝尔扩张相关联的一个表示和一个2-余循环。此外，验证了特征不为2的代数闭域上的有限维幂零二次δ-BiHom-Jordan-李超代数与δ-幂零BiHom-Jordan李超代数T*-扩张等距。     

Γ－环的强诣零根研究

报道作者在Γ－环的强诣零根方面的综合研究。Γ－环有无强诣零根的问题，来自于１９７１年Ｃｏｐｐａｇｅ与Ｌｕｈ的“Ｒａｄｉｃａｌｓｏｆｇａｍｍａｒｒｉｎｇｓ”中的定理５．４，由此可得：任何Γ－环都有强诣零根，这是一个严重的误解。但定理５．４的证明存在问题，因此就开始了Γ－环有无强诣零根的专项研究。先用性质接近于强诣零根的、且一定存在的拟次强诣零根、拟强诣零根去取代存在与否尚属未知的强诣零根，在研究Γ－环的结构上，它们起到了类似于强诣零根的作用；接着在给Γ－环略增条件后称之为Ｗｅａｋｅｒ　Γ＿Ｎ环中，证明了一定存在强诣零根，在这个环中还对强诣零根进行了多种刻划；以后在有限个元素的特殊Γ－环中进行了研究，应用动力系统中关于有限型子转移的若干结果，证得结论：有限个元素的Γ－环一定存在强诣零根；最后，成功地构造出一个反例一不存在强诣零根Γ－环．从而，否定了Ｃｏｐｐａｇｅ与Ｌｕｈ的定理５．４，澄清了Γ－环的根论研究史上的一个严重误解。     

谱方法求解非惯性系中二维不可压缩渠道流

用谱方法求解了非惯性系中二维不可压缩渠道流动.控制方程采用原始变量提法,外力包括非惯性动系的线加速度以及转动角速度和角加速度引起的惯性力和科氏力.压强用Poisson方程求解.流向用Fourier多项式离散,竖向用Chebyshev多项式离散.将边界条件用谱多项式展开,在谱空间用Chebyshev-tau方法时间推进求解半隐式离散的速度方程和直接求解压强方程.利用该算法,分别计算了动系作匀速转动和加速转动时的二维渠道流动.并将计算结果与控制体积分方程所作的理论分析作了比较,结果互相符合.     

理想D空间和理想scattered空间在信息系统中的应用

通过引入理想D空间概念，研究了理想D空间的空间性质，讨论了理想D空间与理想scattered空间的关系，并通过二者在信息系统中的应用实例进行说明。     

用MATLAB求解二元理想体系的泡露点问题

通过MATLAB工程计算软件，采用步长法、二分法、迭代法和黄金分割法等多种方法．求解了二元理想体系的泡露点问题．结果表明，几种计算值都能与手算值吻合地很好．相对误差远远小于1％，完全满足工程要求；用MATLAB内部函数Solve计算最为便捷．     

一类发展方程柯西问题的变换迭代法

潘涛在[2]中提出了高维波动方程柯西问题的变换迭代法,本文对其进行了推广.在初始数据和自由项为多元多项式的情况下,得到了包括双曲型、抛物型方程柯西问题在内的一类发展方程的求解格式,用其可迅速得到解的表达式.如果定解问题是适定的,由于多元多项式可以逼近连续函数,故方程的近似解可以转化为逼近问题,这在计算上是很有意义的.此外,笔者还提出了“模型初始数据法”的概念.