Linux平台的架构

作为Linux的新用户,为了更好地发挥Linux的潜能,需要在安装Linux的基础上对Linux内核重新编译,使之更好地与计算机硬件相匹配。针对上述问题,本文从制作引导盘和根盘开始,帮助您构架Linux平台,按机器的需求进行新的内核编译,从而更好地使用Linux的资源。     

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

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

交换环上单模的FGT-维数

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

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

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

Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

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

设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））是有限集.     

自反Banach空间中的广义强非线性混合似变分不等式

研究了自反Banach空间中的广义强非线性混合似变分不等式，这类变分不等式包含了经典的不等式及其推广，并用极大极小原理证明了广义强非线性混合似变分不等式解的存在性及唯一性。     

凝聚环的几个特征

证明了对于一个环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-内射模．     

平坦模,投射模和自由模

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

Q690高强钢在模块车的应用

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