蕴涵环交换性的某些多项恒等式

设ｍ＞１，ｎ，ｐ，ｑ，ｒ，ｓ均为正整数，Ｒ是一个具有单位元１的环．证明了：如果Ｒ中的任意ｘ，ｙ满足且Ｒ具有Ｑ（ｍ）性质，则Ｒ是一个交换环．此外，在适当的条件下确立了Ｒ的交换性．     

Meta-Heisenberg代数的导子代数

给出了有限维Meta-Heisenberg代数的导子代数，并证明了它是完备李代数。     

Singularities Analysis of Paradoxical Mechanism and Parallel Manipulators

Parallel manipulator is associated with a set of functions defined by its closure constraints. In this paper, using Lie algebra method, we provide a study on the singularities of parallel manipulators, their relations with the second order of the closure functions, and the tangent space of the configuration space of the manipulator. The transverse condition criterion is applied to analyze the behavior of the singularities. This gives a downright explication why the 6R paradoxical mechanisms work in their singular configurations, and allows to gain insight on configuration space singularities and to choose the adequate design parameters for the parallel manipulator.     

N（2，2，0）代数的一类同余分解

对N(2,2,0)代数给出了一类同余分解,探讨了其商代数的代数结构以及自然同态下一类逆象的代数结构.     

一类高次多项式系统的定性分析

利用平面自治系统的极限环与分支理论研究了一类高次多项式系统,得到了该系统极限环的存在惟一性,所得结论改进了有关结果.     

亚纯函数及其线性微分多项式的唯一性

设f(z)是开平面上的亚纯函数,N(r,f)为f(z)在圆|z|≤r上极点的计数函数,m(r,f)为逼近函数.T(r,f)=m(r,f) N(r,f),T(r,f)称为f(z)的特征函数.F(z)=(fn)(z) a1(z)f(n-1)(z) … an(z)f(z)是f(z)的线性微分多项式,其中n是正整数,a1(z),a2(z),…,an(z)均是f(z)的小函数.研究f(z)和F(z)的唯一性问题.证明了:f(z)为满足N(r,f)≤1f(z)的两个相互判别的小函数,若f(z)和F(x)几乎CM分担a(z)和b(z),则f(z)≡F(z).     

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

关于量子力学中效应代数上的收敛理论及不变量

本文介绍了量子力学中效应代数的研究进展。指出利用无穷矩阵理论研究其上的收敛理论和不变量，对建立量子力学的数学基础有重要意义。     

关于图同构复杂性的一点补充

在图G=(V，E)中，删除其度数最大的顶点及其关联的边，在余下的子图中，如法炮制，直至余下的子图为零图．设所删除的这些顶点x1，x2，…，xi的度数依次为P1，P2，…，Pl，称序列P1，P2，…，Pl为图G的度序列；xi(1≤i≤l)关联的边的另一端点在G中的度数的集合称为顶点五关联的度集合．通过计算、比较两图的度序列、被删除的顶点的度数以及它们关联的度集合，证明两图同构问题的复杂度是多项式的．     

微分多项式的正规族(英)

给出了一个一般性的正规定则，改进了顾永兴^［1］和朱经浩^［2］的结果. 设F为区域D上的一个亚纯函数族，h≠0,a₀,a₁,…,a_m-1为区域D上的全纯函数。如果对于任意的f∈F，f的零点重级≥m+3并且f^(m)(z)+a_m-1(z)f^(m-1)(z)+…+a₁(z)f′(z)+a₀(z)f(z)≠h(z) z∈D,则F在区域D上正规.