一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

On Poisson–Malcev Structures

Malcev–Poisson structure on a manifold is analogous to a Poisson structure with the Lie identity replaced by a slightly more general Malcev identity. Examples of such structures arise naturally. In the second part of the paper we study Malcev bialgebras. A theorem of characterization is proved.     

A computer-assisted proof of Saari's conjecture for the planar three-body problem

The five relative equilibria of the three-body problem give rise to solutions where the bodies rotate rigidly around their center of mass. For these solutions, the moment of inertia of the bodies with respect to the center of mass is clearly constant. Saari conjectured that these rigid motions are the only solutions with constant moment of inertia. This result will be proved here for the planar problem with three nonzero masses with the help of some computational algebra and geometry.

     

一类NLS-mKdV方程族的扩展可积系统

利用代数变换，构造了与文献［５］中的loop代数₂的子代数等价的loop代数1的一个子 代数₁.再将₁扩展为一个高维的loop代数.利用设计了一个等谱问题 ，结合子代数间的直 和运算和同构关系，得到了NLS_mKdV方程族的一类扩展可积系统.作为约化情形，求得了著 名的Schrdinger方程与mKdV方程的可积耦合系统. 关键词： loop代数 可积系统 等谱问题     

Extensions of Modules over Schur Algebras, Symmetric Groups and Hecke Algebras

We study the relation between the cohomology of general linear and symmetric groups and their respective quantizations, using Schur algebras and standard homological techniques to build appropriate spectral sequences. As our methods fit inside a much more general context within the theory of finite-dimensional algebras, we develop our results first in that general setting, and then specialize to the above situations. From this we obtain new proofs of several known results in modular representation theory of symmetric groups. Moreover, we reduce certain questions about computing extensions for symmetric groups and Hecke algebras to questions about extensions for general linear groups and their quantizations.     

3,7-二硝基亚氨基-2,4-二氮杂双环[3,3,0]辛烷的放热分解反应动力学

在程序升温条件下 ,用DSC研究了标题化合物的放热分解反应动力学 .用线性最小二乘法、迭代法以及二分法与最小二乘法相结合的方法 ,以积分方程、微分方程和放热速率方程拟合DSC数据 .在逻辑选择建立了微分和积分机理函数的最可几一般表达式后 ,用放热速率方程得到相应的表观活化能 (Ea)、指前因子 (A)和反应级数 (n)的值 .结果表明 :该反应的微分形式的经验动力学模式函数、Ea 和A值分别为 (1-α) 0 .44、2 30 .4kJ/mol和 10 18.16s-1.借助加热速率和所得动力学参数值 ,提出了标题化合物放热分解反应的动力学方程 .该化合物的热爆炸临界温度为 30 2 .6℃ .上述动力学参数对分析、评价标题化合物的稳定性和热变化规律十分有用 .     

Gorenstein代数上的Hopf代数作用

令H是有限维Hopf代数，A是左H-模代数。本文证明了A是Gorenstein代数的充分必要条件。A^H也是Gorenstein代数的条件。它是Enochs EE,GarciaJJ和del RioA关于群作用相应的理论的推广，同时给出A/A^H是Frobenius扩张的条件。     

多结超导环在外磁场中的行为

分析和计算了双结超导环在无偏置电流时的磁通、环流、自由能与外磁场的关系.发现双结环与单结环在磁场中的行为有所不同.当两个结的Ic相等时，双结环在1＜β=2πLIcΦ0＜2时，若无偏置电流，总磁通Φ、环流I与外磁通Φe的关系仍然是非回滞的曲线.仅当β≥2时，曲线才出现回滞.另外双结环有两支解，并且每支解的周期为2Φ0. 关键词： 双结环 双支解 2Φ0周期 回滞     

The canonical solution operator of $ {\bar \partial } $ on weighted spaces with holomorphic coefficients

On weighted spaces with strictly plurisubharmonic weightfunctions the canonical solution operator of and the ‐Neumann operator are bounded. In this paper we find a class of strictly plurisubharmonic weightfunctions with certain growth conditions, so that they are Hilbert‐Schmidt operators between weighted spaces with different weightfunctions, if they are restricted to forms with holomorphic coefficients. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On many‐sorted algebraic closure operators

A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer true without qualification. We characterize the corresponding many‐sorted closure operators as precisely the uniform algebraic operators. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)