具有有限多有限复迭和有限循环复迭的3维流形

本文给出基本群为剩余有限的紧致３维流形何时有有限多有限复迭，何时有有限多有限循环复迭的充要条件。     

粗糙有限状态机的分解

利用代数的方法研究了粗糙有限状态机的可恢复性、连通性与可分离性等代数性质,得到了一个粗糙有限状态机是可恢复的当且仅当它的每一个准素粗糙子有限状态机都是强连通的当且仅当其每一个单生成粗糙子有限状态机都是准素的当且仅当其每一个非空连通粗糙子有限状态机都是准素的,给出了粗糙有限状态机不是连通的的充分必要条件,讨论了粗糙有限状态机的一些分解性质。     

有限扩张环

证明了环的有限扩张性可以传递到矩阵环上;通过PP环,半遗传环以及有限余非奇异环刻划了有限扩张环,并推广了文献[2]的定理2.1; 对于FGF与CF猜测,给出了部分肯定的回答,即右有限扩张右CF环是右CEP的,从而是右aritian的,改进了文献[6]的定理3.7.     

概率有限自动机的代数性质

研究了概率有限自动机的同态(弱同态)、有效划分等代数性质.首先,提出了完全的、不可约的概率有限自动机,概率有限自动机的并积等概念.然后,讨论了两个概率有限自动机的级联积、圈积、并积的有效划分与其因子的有效划分之间的关系,证明了在一定条件下两个概率有限自动机的级联积(并积)的商概率有限自动机与其因子的商概率有限自动机的级联积(并积)是相等的.最后,得到了概率有限自动机的极大有效划分的一个刻画.     

几乎有限表现维数

给出了几乎有限表现维数的定义,研究了几乎有限表现维数的性质,得出了一些特殊环的几乎有限表现维数,且揭示了几乎有限表示维数与有限表现维数的关系.     

几乎有限表现模

利用几乎有限表现模来刻划凝聚环和半遗传环.通过讨论几乎有限表现模和广义有限表现模之间的关系,得出了几个关于几乎有限表现模和凝聚环、半遗传环的等价条件,改进了已有的结论,把刻划凝聚环的模缩小到几乎有限表现模.     

Topos中的有限对象

引入了topos中有限子集的概念,研究了K-(J-)有限子集和K-(J-)有限子对象之间的关系,证明了K-(J-)有限子集和K-(J-)有限对象的等价性,将一些格论中的经典结论推广到了topos中。     

直接有限环的刻画

通过直接有限环的一些刻画,给出了一个环为直接有限环的若干充分必要条件.     

数学中的有限与无限

数学中有限和无限的关系体现了哲学中的辩证关系:有限建立在无限基础之上,有限由无限组成,无限是有限的延伸,有限和无限又毫无关系.     

有限群的PCM-子群

本文研究了有限群的超可解性.利用Fitting子群的某些特殊子群的PCM性质对有限群结构的影响,获得了超可解群的一些充要条件.     

Finite differences on triangular grids

We define a finite differences method for triangular grids and we show how to link it to a finite element method. From this new point of view we then analyze properties of the solution and convergence. © 1998 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 14: 567–579, 1998     

有限变形弹性理论随机变量变分原理及有限元法

本文将材料、载荷、结构几何形状、力和位移边界条件的随机性,直接引入有限变形弹性理论的泛函变分表达式中,应用小参数摄动法,建立了统一的随机变量变分原理及非线性随机有限元法,并将其应用于结构可靠性分析。算例表明,应用此方法处理随机变量的力学问题,具有使程序实施简便,计算效率高等优点。     

一类有限环

本文指出了文 [5 ]的一些错误 ,给出了文 [5 ]定理 1的一个反例 .并给出了一类交换环的等价条件 .     

Contravariantly Finite Subcategories and Torsion Theories

Contravariantly finite subcategories have been useful in differentaspects of representation theory (Auslander and Reiten, 1989, 1991;Auslander and Smalø, 1981) and they appear very naturally, forexample, the torsion class of a torsion theory is contravariantly finite. Inthis paper we explore further relations between contravariantly finite,resolving, subcategories and torsion theories. We study these connections inthe category of functors that vanishes on projectives. Our resultsgeneralize some theorems we obtained previously in our interpretation ofNakayamas conjecture (Martínez-Villa, 1994).     

Adding Dominating Functions Mod Finite

For certain sets F (₁) ₁, a characterization is given of when there is an extension of the ground model (i.e., a forcing extension or an actual extension, which is ₁-preserving) containing an h which dominates each f F mod finite. If there exists such an h in some extension, then one exists in a forcing extension, in fact a canonical one.     

On the Problem of Finite Signature

We show that not each model can be replaced by a model of finite signature so that its automorphism group remains the same.     

可换幺半群的结构

关于“群”有各种各样的定义 ,本文给出了有限幺半群成为群的一个条件 .并对有限可换幺半群进行了讨论 ,通过对它的商集的研究 ,建立了有限可换幺半群与有限可换幺群之间的联系 ,从而揭示了有限可换幺半群的结构     

Identities of Semigroups of Triangular Matrices over Finite Fields

It is proved that the semigroup of all triangular n × n matrices over a finite field K is inherently nonfinitely based if and only if n > 3 and |K|> 2.     

Comparing Classes of Finite Structures

We compare classes of structures using the notion of a computable embedding, which is a partial order on the classes of structures. Our attention is mainly, but not exclusively, focused on classes of finite structures. Also, a number of problems are formulated.