平坦模,投射模和自由模

设Λ=kΛ1Λ2…是局部有限的诺特的连通分次代数,M∈grmod(Λ).则M是平坦模当且仅当M是投射模当且仅当M是自由模.作为该定理的应用,证明了如果k∈Boun(Λ),则Finitistic维数猜想对于Λ是成立的.     

Q690高强钢在模块车的应用

为有效降低模块车车体高度,拟使用高强钢Q690,根据Q690的主要成分和力学性能,借鉴Q345和Q460的焊接工艺,试验出Q690高强钢实际可行的焊接工艺,在焊接试验部件上进行夏比缺口冲击试验,试验结果显示焊接达到力学性能要求。虽然在成本验算中实际成本比使用Q345有所增加,但能大幅度降低总体高度,达到客户的要求,同时也为Q690高强钢在其他行业的使用提供借鉴。     

凝聚环的几个特征

证明了对于一个环R，下列条件等价：(1)R是左凝聚的；(2)对任意正整数n，Mn(R)是左1-凝聚的；(3)Ext^2R(R／I，N)=0对于任意有限生成左理想I及F-内射模RN成立；(4)若N1≤N都是F-内射左R-模，则N／N1也是F-内射模．     

P-平坦模和P-平坦维数的若干性质

根据P-平坦模和P-平坦维数的定义给出了它们的一些性质。用P-平坦模刻画了正则环,同时对P-平坦维数也进行了探讨,得出了对于任意环R,rpfD（R）=sup{rpfd（R/I）｜I是R的左主理想}等性质。     

交换环上单模的FGT-维数

研究了交换П－凝聚环上有限生成无挠模的投射维数与平坦维数及交换环上单模的ＦＧＴ－内射维数与ＦＧＴ－平坦维数。     

进程流程图的并行划分及静态调度

进程流程图在分布式环境下的最优分配是一NP难度问题。为此,本文从实用角度出发,在充分利用流程图部分性质的基础上,设计了一组完成并行横块划分及静态调度的近似算法,算法的时间复杂度为0（n~2×p）,其有效性通过一实例给予了验证。     

弱拉斯克模的局部上同调模的相伴素理想

设R是含幺Noether交换环,I是R的理想,R-模M是弱拉斯克的.本文给出了I相对于M的次的刻画：gradeM（I）=inf{r∈N0｜HI^T（M）≠0}.本文的另一主要结论是：设i是非负整数,若i是第一个使得局部上同调模HiI（M）不是有限生成的整数,那么我们证明AssR（H^iI（M））是有限集.     

关于模同态的可逆性

本文给出一个模同态左(右)可逆和广义可逆的定义,并给出了一个模同态是左(右)可逆的充分必要条件,以及一个模同态是广义可逆的充分必要条件,并用它得到了关于内射模与投射模的又一刻画。     

内射模的局部化

设F是一个带恒等元环A上的一个Gabriel拓扑,M是一个右A-模,M关于F的局部化模记为M_F。一般说,若M是A-内射模,M_F不一定是A_F-内射模。本文则证明了几个要使M_F是A_F-内射模的条件。     

关于MHR—模及Szasz的一个问题

本文推广了Bjork定理,证明了任何MHR-环适合有限生成右理想极小条件,完全解决了Szasz在文献[1]中提出的问题31,并证明了任何s-酉 MHR-环上的n阶全阵环仍是s-酉 MHR-环。