左Clifford双半环的性质与结构

定义了双半环的分配格和带双半环。利用这两个定义以及左Clifford半群的性质,给出了左双环和左Clifford双半环的定义,并得到了双半环是左双环的充分必要条件和双半环是左Clifford双半环的充分必要条件。     

一种识别液体中粒状物的数字图象法软件的基本原理

本文介绍了一种识别液体中粒状物的数字图象法软件的基本原理,说明了软件中确定背景灰度门槛值的原则,发展了从背景中分离粒状物并对粒状物的大小和数目进行统计的算法。对整个软件进行了初步验证。     

格序半群同余格LC（S）的完全分配性

本文首先引入值和正则Ｌ－同余的概念并讨论了正则Ｌ－同余的基本性质，在此基础上，给出了格ＬＣ（Ｓ）是完全分配格的几个等价刻化。     

Cartesian closedness of categories of completely distributive lattices

The category of completely distributive lattices with Scott continuous functions is cartesian closed. Neither the category of completely distributive lattices with arbitrary union preserving mappings nor the category of completely distributive lattices with nonempty union preserving mappings is cartesian closed.     

镦粗工艺理论与技术的进展

提出了普通平板间镦粗圆柱体高径比Ｈ／Ｄ〉１时刚塑性力学模型的拉应力理论和高径比Ｈ／Ｄ〈１的静水应力力学模型的剪应力理论,前者打破了传统工程塑性力学中所阐述的镦粗体内部总处于三向压应力之说,后者圆满地解释了大型饼类锻件中常出现的“夹馅饼”缺陷问题,平板镦粗所理论已被定性物理模拟和定量数值模拟,广义滑移线解,力学分块法和生产解剖试验所证实,在该新理论基础上,进一步提出方柱镦粗的两个新力学模型,锥形板镦     

筏形基础一地基共同作用非线性数值分析

结合大型有限元软件ANSYS，建立了筏形基础一地基相互作用体系的全三维有限元模型．考虑土体的弹塑性性质，模拟基础和地基交界面上的状态非线性，采用中厚板理论分析筏板，对筏形基础的受力进行了非线性数值分析．结果表明，考虑地基非线性特性时，地基反力及基础沉降的计算结果更接近实际．     

复合材料风机叶轮内流场数值模拟

应用粘性流体力学的基本原理,采用专业流体力学软件对复合材料风机叶轮内气流流动进行数值模拟,发现叶轮内气流流动状况不理想,据此对叶轮的叶片进行改进设计,得到了改进叶片设计后叶轮内的流场,改进了复合材料风机叶轮的结构,改善了叶轮内部气流的流动状况,提高了叶轮的气动性能,为研制出高性能的新型复合材料风机叶轮奠定了基础。     

严格正则系统同时镇定问题的一个数值解法

本文先运用多项式稳定性的一个充分判据，将严格正则线性系统的同时镇定问题化成一组非线性不等式的求解，然后提出了一种求解非线性不等式组的拟牛顿下山数值算法，并应用该方法求解该组非线性不等式。算例表明本文方法的有效性     

商半环的强分配格

给出了半环的强分配格的商半环为其相对应的半环的商半环的强分配格的充要条件.     

非圆曲面的加工

用等间距直线和圆弧逼近的方法可以拟合非圆曲线 ,使其误差在允许的范围内 .利用直线插补和圆弧插补数控指令编程即可实现对非圆曲面的加工 .文中较系统地介绍了这两种方法及其误差的分析与计算 .通过灵活运用这两种方法进行了实例加工验证