代数偏微分方程组的对合特征集方法分析（英文）

基于Wu-Ritt特征集方法和V.Gerdt的对合除法, 我们定义了非线性偏微分方程组的关于一般延拓方向的对合特征集 (ICS). 影响ICS方法的两个主要因素为: 延拓方向和变量的序. 本文中, 应用ICS方法处理在计算偏微分方程组的对称群过程中产生的大型偏微分方程组. 在实验的基础上, 总结了对于ICS方法较好的延拓方向和变量的序.     

关于对合环的注记

讨论了对合环,给出并证明了Gauss整数环Z[i]中模α的剩余类环Z[i]/(α)为对合环的充要条件。     

环R((-3)~(1/2))中两个引理之推广

得到了高斯整环R(m~(1/2))中两个定理,推广了文[2]的结果,给出了证明。     

仿射非线性系统的动态反馈线性化与系统线性近似的能控性

用微分几何方法讨论了m=n-1仿射非线性系统的动态反馈线性化与系统的线性近似能控性的关系，出了系统可动态反馈线性化的条件。     

对合Quantale

讨论了对合Quantale上对合运算使其元素所具备的特殊性质,给出若干对合Quantale例子．然后定义了子对合Quantale,并对它们的同态进行了研究．