蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

The Classification and Realization of Complete Lie Algebras with Commutative Nilpotent Radicals

in this paper, the classification and realization of complete Lie algebras withcommutative nilpotent radicals are given. From this, some results on the radicals of thesecomplete Lie algebras are obtained.     

Modules over Operator Algebras and Its Module Maps

ＭｏｄｕｌｅｓｏｖｅｒＯｐｅｒａｔｏｒＡｌｇｅｂｒａｓａｎｄＩｔｓＭｏｄｕｌｅＭａｐｓＸｕＴｉａｎｚｈｏｕ（许天周）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ，２１００９３）ＡｂｓｔｒａｃｔＬｅ...     

具有奇异值分解性质的代数

设F为一个域,R为一个带有对合的F-代数,如果R上每一个矩阵都有奇异值分解(简称SVD),则称R为一个有SVD性质的F-代数.本文指出:R为一个有SVD性质的F-代数的充要条件是:R同构于R~+,或R~+上二次扩域,或R~+上四元数体((-1,-1)/R~+),其中R~+为R的对称元集合,并且R~+为一个Galois序闭域.     

The Hadamard Theorem and Borel–Carathéodory Theorem on Riemann Surfaces

In this paper, we first define a kind of pseudo–distance function and annulus domain on Riemann surfaces, then prove the Hadamard Theorem and the Borel–Carathéodory Theorem on any Riemann surfaces. Supported by NSFC 10501052     

代数课程教学改革的一些探索

本文结合代数教学中的实际情况．针对代数教学过程中出现的问题。提出了在代数教学过程中改进教学方法的几条措施．     

剩余格与FI代数的可嵌入性

给出剩余格可嵌入于全序剩余格的乘积的充要条件。还给出定义在格上的FI代数可嵌入于全序FI代数的乘积的充要条件。     

良序套张量积的代数中的强不可约算子

设Ｈ为复的可分无限维Ｈｉｌｂｅｒｔ空间，称有界线性算子Ｔ为强不可约的，如果与Ｔ可交换的幂等算子只有０和Ｉ．王宗尧、蒋春澜、纪有清等人证明了在任何一个套的套代数中都存在大量的强不可约算子，并且找到了它们的酉轨道闭包．本文考虑有限个套的张量积的代数中强不可约算子的存在性问题。证明了：对复平面上任何一个连通完备集σ、总存在一个对角算子Ｎ和它的一个范数可以任意小的紧摄动Ｔ＝Ｘ＋Ｋ，使得Ｔ是一个强不可约算子、Ｔ在有限个良序套的张量积的代数中，并且σ（Ｔ）＝σｌｒｅ（Ｔ）＝σ（Ｎ）＝σｌｒｅ（Ｎ）＝σ进一步，文章还对具有单点谱的算子和良序套与正交补为良序套的张量积的代数进行了讨论，得到了一些结果．     

Holographic interferometry as electrochemical emission spectroscopy of a carbon steel in 5–20 ppm TROS C-70 inhibited seawater

In the present investigation, holographic interferometry was utilized for the first time to determine the rate change of the number of the fringe evolutions during the corrosion test of a carbon steel in blank seawater and seawater with different concentrations of a corrosion inhibitor. In other words, the anodic dissolution behaviors (corrosion) of the carbon steel were determined simultaneously by holographic interferometry, as an electromagnetic method, and by the electrochemical impedance (EI) spectroscopy, as an electronic method. So, the abrupt rate change of the number of the fringe evolutions during corrosion tests, EI spectroscopy, of the carbon steel is called electrochemical emission spectroscopy. The corrosion process of the steel samples was carried out in blank seawater and seawater with different concentrations, 5–20 ppm, of TROS C-70 corrosion inhibitor using the EI spectroscopy method, at room temperature. The electrochemical-emission spectra of the carbon steel in different solutions represent a detailed picture of the rate change of the anodic dissolution of the steel throughout the corrosion processes. Furthermore, the optical interferometry data of the carbon steel were compared to the data, which was obtained from the EI. spectroscopy. Consequently, holographic interferometry is found very useful for monitoring the anodic dissolution behaviors of metals, in which the number of the fringe evolutions of the steel samples can be determined in situ.     

An experiment with arithmetic precision in linear algebra computations

Several techniques for experimental determination of floating point precision in practical computations are examined, and applied to linear algebra algorithms. These techniques are simple enough to be directly applicable to existing production codes, requiring a very limited amount of software on many machines, and yet they yield interesting information on the numerical precision of a computation. Our choice of linear algebra algorithms includes a direct solver (namely the MA32 program from the Harwell Library) and several variants of preconditioned conjugate gradients (the methods DIAG, INV, MINV and POL of Reference 1). The results may be of interest as method selection criteria, and thus complement Mflop performance data available from several sources.