零级泛与运算模型的单调性

泛逻辑的零级泛与运算模型是一个三角范数谱系, 本文讨论泛逻辑的零级泛与运算模型的单调性, 证明了T(x,y,h)(h∈[0,1])关于h单调递增. 进一步讨论Hamacher三角范数谱系的单调性, 证明了Hamacher三角范数谱系THamacher(λ)(x,y)关于λ单调递减, 且TL(x,y)≤TEinstein(x,y)≤THamacher(λ)(x,y)≤TP(x, y).     

一类非结合泛代数的次直积分解

本文引入一类非结合泛代数，即零积结合近环，研究其次直积分解，得到两个结构定理。设Ｎ是零积结合分配生成近环，本文证明了：（ｉ）如果Ｎ是次直不可约的且无非零的二次幂零元，则Ｎ是整的；（ｉｉ）Ｎ是零积结合分配生成整近环的次直积当且仅当Ｎ不含非零的二次幂零元。这些结果在这一类泛代数中加强了著名的Ｂｉｒｋｈｏｆｆ定理。     

关于格的极小生成元集

本文证明了格的极小生成元集一定是最小生成元集且只能是非零完全并既约元全体，证明了分配格具有最小生成元集的必要条件是它满足并无限分配律．本文还证明了完全Ｈｅｙｔｉｎｇ代数具有最小生成元集当且仅当它是强代数格，证明了完备格是强代数格当且仅当它和它的对偶格均是具有最小生成元集的分配格．     

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

分圆域Q（ζ33）的幂元整基

伽罗华数域L称有一个幂元整基,如果其代数整数环具有形式Ζα,其中α∈L.此时称α是L的幂元整基生成元.设α,β是L的两个幂元整基生成元,若β=m±σ（α）,m∈Z,σ∈Gal（L/Q）,则称α与β等价.本文主要研究分圆域Q（ζ33）的幂元整基问题.分圆域Q（ζ33）的代数整环是Z[ζ33],所以ζ33是Q（ζ33）的幂元整基生成元.设α是Q（ζ33）的幂元整基生成元,证明了当α＋ā Z时,α与ζ33等价.从而给出在此条件下分圆域Q（ζ33）的所有幂元整基生成元.     

关于N（2，2，0）代数的中间幂等元

为了深入研究N（2,2,0）代数的代数结构,在N（2,2,0）代数中建立了中间幂等元的概念,讨论了它的基本性质,给出了中间幂等元关联的集合坞是（S,＊,△,0）的子代数的一个条件．证明了当U（2,2,0）代数中包含一个右零半群时,Mg是幂等元集E（S）的子集．并利用坞定义了一个等价关系．     

有界Heyting代数及其理想理论

运用泛代数和格理论的方法和原理研究有界Heyting代数及其理想问题。首先,给出了有界Heyting代数的若干新性质。其次,在有界Heyting代数(H,≤,→,0,1)中引入理想及由H的非空子集生成的理想概念并考察它们的性质和刻画。再次,分析了H的理想与格理想以及滤子三个概念之间的关系。最后,讨论了H的全体理想之集ID(H)的格结构特征,证明了ID(H)在集合包含序?下构成完备Heyting代数和分配的连续(代数)格,进而构成一个Frame.     

m阶中立型泛函差分方程的振动性准则

本文了研究m阶混合型中立泛函差分方程:△m（xn+cxn-h+c＊xn+h＊）=k（qxn-g+Pxn+g＊）,k=±1.这里C,C＊,p,q是实数,且h,h＊,g和g＊是正整数,并且对于上述方程建立了一些新的振动性准则.本文结果改进了文[1]中的所有定理,并回答了由 Grace S.R.提出的一个公开问题.     

一类量子环面李代数的泛中心扩张

设Cq=Cq[x1^±1,x2^1]为复数域上的量子环面,其中q≠0是一个非单位根．D（Cq）为Cq的导子李代数．记Lq为Cq＋D（Cq）的导出子代数．本文研究李代数Lq的泛中心扩张．     

一般增长曲线模型回归系数线性估计的泛容许性

本文讨论一般的增长曲线模型；Ｘ＝ＡＢＣ＋ε，Ｅ（ε）＝０，Ｖａｒ（ε）＝σΣＶ，其中Ｘ和ε是ｐ×ｎ价随机阵，Ａ、Ｃ分别为ｐ×ｑ，ｋ×ｎ已知阵，Σ、Ｖ分别Ｐ、ｎ阶已知非负定阵，Ｂ和σ为未知参数．在损失函数（ｄ（Ｘ）－ＫＢＬ）＇（ｄ（Ｘ）－ＫＢＬ）下，我们给出了可估函数ＫＢＬ的线性估计的泛（Φ）容许性定义，得到了ＤＸＦ（ＤＸＦ＋Ｍ）在某些估计类中是ＫＢＬ的泛容许性估计的充要条件．     

Universal Induction and True Universal Arithmetic

We prove that every finitely generated (as a ring) model for induction for universal formulas without parameters satisfies also all true universal sentences. Mathematics Subject Classification: 03C62.     

基于万有引力定律的数据分类效果评价

针对模糊C-均值聚类算法对初始化分类参数的选择比较敏感而导致分类结果差异性较大的不足，提出基于万有引力定律的分类效果好坏的评价准则。实验结果表明。本文定义的分类效果评价准则是可行的。     

On the Universal Splitting Property

We prove that if an incomplete computably enumerable set has the the universal splitting property then it is low₂. This solves a question from Ambos-Spies and Fejer [1] and Downey and Stob [7]. Some technical improvements are discussed.     

Universal cycles for permutations

A universal cycle for permutations is a word of length n! such that each of the n! possible relative orders of n distinct integers occurs as a cyclic interval of the word. We show how to construct such a universal cycle in which only n+1 distinct integers are used. This is best possible and proves a conjecture of Chung, Diaconis and Graham.     

Universal arcs in local tournaments

An arc $uv$ of a digraph $D$ is called universal if $uv$ and $w$ are in a common cycle for any vertex $w$ of $D$. In this paper we characterize local tournaments whose every arc is universal.     

Universal Abelian H-spaces

The question of the existence of universal homotopy commutative and homotopy associative H-spaces (called Abelian H-spaces) is studied. Such a space T(X) would prolong a map from X into an Abelian H-space to a unique H-map from T into X. Examples of such pairs (X,T) are given and conditions are discussed which limit the possible spaces X for which such a T can exist. Contrary to published assertions, the Anick spaces are shown not to be universal Abelian H-spaces for the corresponding Moore spaces; however conditions are discussed which could lead to a universal property with respect to a more limited range of targets, and a restricted universal property is proven.     

Buchstaber Invariants of Universal Complexes

Davis and Januszkiewicz introduced (real and complex) universal complexes to give an equivalent definition of characteristic maps of simple polytopes,which now can be seen as "colorings".The author derives an equivalent definition of Buchstaber invariants of a simplicial complex K,then interprets the difference of the real and complex Buchstaber invariants of K as the obstruction to liftings of nondegenerate simplicial maps from K to the real universal complex or the complex universal complex.It was proved by Ayzenberg that real universal complexes can not be nondegenerately mapped into complex universal complexes when dimension is 3.This paper presents that there is a nondegenerate map from 3-dimensional real universal complex to 4-dimensional complex universal complex.     

Universal quantum semigroupoids

We introduce the concept of a universal quantum linear semigroupoid (UQSGd), which is a weak bialgebra that coacts on a (not necessarily connected) graded algebra A universally while preserving grading. We restrict our attention to algebraic structures with a commutative base so that the UQSGds under investigation are face algebras (due to Hayashi). The UQSGd construction generalizes the universal quantum linear semigroups introduced by Manin in 1988, which are bialgebras that coact on a connected graded algebra universally while preserving grading. Our main result is that when A is the path algebra $\mathbb{k}Q$ of a finite quiver Q, each of the various UQSGds introduced here is isomorphic to the face algebra attached to Q. The UQSGds of preprojective algebras and of other algebras attached to quivers are also investigated.     

On Universal Equivalence of Partially Commutative Metabelian Lie Algebras

In this paper, we consider partially commutative metabelian Lie algebras whose defining graphs are cycles. We show that such algebras are universally equivalent iff the corresponding cycles have the same length. Moreover, we give an example showing that the class of partially commutative metabelian Lie algebras such that their defining graphs are trees is not separable by universal theory in the class of all partially commutative metabelian Lie algebras.