一个组合问题在部分情形下的正确性证明

最近,Tu和Deng提出了一个组合猜想,并且设计了一个验证算法。本文对该猜想做了一些初步的理论分析,通过分析模加法时的进位情形,证明了该猜想在部分情形下的正确性。     

MULTIPLICITY-PRESERVING TRIANGULAR SET DECOMPOSITION OF TWO POLYNOMIALS

In this paper, a multiplicity-preserving triangular set decomposition algorithm is proposed for a system of two polynomials, which involves only computing the primitive polynomial remainder sequence of two polynomials once and certain GCD computations. The algorithm decomposes the unmixed variety defined by two polynomials into square free and disjoint （for non-vertical components, see Definition 4） algebraic cycles represented by triangular sets which may have negative multiplicities. Thus, the authors can count the multiplicities of the non-vertical components. In the bivariate case, the amthors give a complete algorithm to decompose tile system into zeros represented by triangular sets with multiplicities. The authors also analyze the complexity of the algorithm in the bivariate ease. The authors implement the algorithm and show the effectiveness of the method with extensive experiments.     

来自广义厄米特曲线的最优码

从一类广义的厄米特曲线出发,讨论了曲线的性质,并在此曲线上构造了一些具有最优参数的8元码。     

除环的平方子环

证明了除特征为２且为其素域上的超越扩域之无限域以外，所有除环均由其平方元素所生成；并用实例证明了特征为２且为其素域上的超越扩张之无限域中，存在不能由其平方元素所生成的域。     

ON THE EXISTENCE OF MEROMORPHIC SOLUTIONS OF ALGEBRAIC DIFFERENTIAL EQUATIONS

ＯＮＴＨＥＥＸＩＳＴＥＮＣＥＯＦＭＥＲＯＭＯＲＰＨＩＣＳＯＬＵＴＩＯＮＳＯＦＡＬＧＥＢＲＡＩＣＤＩＦＦＥＲＥＮＴＩＡＬＥＱＵＡＴＩＯＮＳ￥ＹＵＡＮＷｅｎｊｕｎ（ＤｅｐａｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＸｉｎｊｉａｎｇＮｏｏｒｍａｌＵｎｉｖｅｒｓ...     

Performance limitations for a class of Kleinman control systems

This paper provides preliminary results on performance limitations for a class of discrete time Kleinman control systems whose open loop poles lie strictly outside the unit circle. By exploiting the properties of the Kleinman controllers and using of Mgebraic Riccati equation （ARE）, the relationship between total control energy of Kleinman control systems and the minimum energy needed to stabilize the open-loop systems is revealed. The result reflects how the horizon length of Kleinman controllers affects the performance of the closed-loop systems and quantifies how close the performance of Kleinman control systems is to the minimum energy.     

若干数论问题的注记

本文主要对几个与同余类有关的命题给出新的简化证明。     

一类NFDE全时滞渐近稳定的代数判据

本文给出了一阶 n 维中立型微分方程(t)+A(t-τ)+Bx(t)+Cx(t-τ)=0 (1)全部特征根为负的充要条件(对Vτ≥0)。特别地,对 n=1.2的情形,给出了(1)之解全时滞渐近稳定的代数判据。     

抽象数据类型的极大代数语义

传统的定义抽象数据类型语义的方法难以描述软件非形式说明和程序设计语言文本中的非确定性,为了弥补这种不足,本文引入了极大代数语义的概念并讨论了其性质。