右IF－环及凝聚环的挠理论

本文研究了右ＩＦ－环的性质，证明出环Ｒ是右ＩＦ－环当且仅当Ｒ是左凝聚环，并且是平坦模；由此证明出右ＩＦ－环与左ＧＱＦ－环是等价的，其次应用右ＩＦ－环研究了凝聚环的挠理论性质，证明出凝聚环与Ｔ－凝聚环的关系。     

广义四元数矩阵方程AX-DXB=R

设HF为域F上的广义四元数除环，ChF≠2。本文利用拟线性变换T（X）＝AX－DXB讨论HF上矩阵方程AX－DXB＝R的求解问题，获得了上方程存在（唯一）解的几个充分必要条件，并给出了解的显式公式。     

Pfaffians and representations of the symmetric group

Pfaffians of matrices with entries z[i, j]/（xi ＋ xj）, or determinants of matrices with entries z[i, j]/（xi - xj）, where the antisymmetrical indeterminates z[i, j] satisfy the Pliicker relations, can be identified with a trace in an irreducible representation of a product of two symmetric groups. Using Young＇s orthogonal bases, one can write explicit expressions of such Pfaffians and determinants, and recover in particular the evaluation of Pfaffians which appeared in the recent literature.     

三角域上C~1插值的两种表示

在有限元计算中,散乱数据插值以及曲面设计和表示等问题常常需要构造三角域上C~1连续的分片插值多项式.Zenisek证明了闭三角域上整体具有m阶光滑的双变量插值多项式至少是4m+1次的.在实际问题中最常用到的是三角域上C~1连续五次双变量插值多项式的表示.     

反比例函数的“特殊性质”及应用

一般地,如果两个变量x、y之间的关系可以表示成y=k/x(k为常数,k≠0)的形式,那么称y是x的反比例函数.由定义可得反比例函数的另一种表示方法:xy=k,它的几何意义为S三角形=1/2|xy|,S矩形=|xy|.记住这个重要性质,便能运用面积法简便、巧妙地解决反比例函数问题.     

GENERALIZATIONS AND CARTESIAN CLOSED SUBCATEGORIES OF SEMICONTINUOUS LATTICES

In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.     

关于广义函数赋值问题的完善与积分问题

本文采用非标准分析方法，首先对广义函数的赋值问题进行了完善；接着界定了广义函数的积分；最后讨论了广义函数的广义连续性．     

仅有局部单位元环上的范畴对偶

［１］讨论了在无单位元环上的范畴等价，本文讨论无单位无环上的范畴对偶。     

二面体群的Grothendieck环结构

二面体群的表示范畴为对称半单monoidal范畴,因而其Grothendieck环为有限多个元素生成的交换环.本文确定了该Grothendieck环的极小生成元,并且进一步证明了该Grothendieck环与某一多项式环的商环同构.     

故障诊断专家系统的可拓知识表示和匹配研究

知识表示和匹配是设计专家系统的核心问题;首先通过引入基元理论,实现了产生式、语义网络、框架和案例的基元表示,建立了故障诊断专家系统的可拓知识表示模型,该模型包括激励基元、测量基元和结论基元3个部分;然后提出了先匹配激励基元再匹配测量基元的可拓知识匹配步骤,并构建了属性精确值和区间值混合的匹配度计算公式;最后以某型大气数据计算机的测试数据为例,与建立的可拓知识进行匹配,诊断结果与实际情况相符。