2-距离空间中几个不动点定理与Mann型迭代法

得到几个在2-距离空间中关于压缩型与扩张型的新的不动点定理，它扩充文[4]，[6]等中某些结果也得到关于两个映射的Mann型迭代法在Banach空间中的新结论．     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

纳米碳管的管内物理化学过程

纳米碳管所特有的接近理想一维的中空管内腔可以引发很多宏观表面上不可能发生的物理化学过程, 吸附、填充于其中的反应物可实现纳米尺度内的反应, 因此纳米碳管可视为“纳米试管”. 从纳米碳管的化学性质入手, 对纳米碳管管中化学(纳米碳管中空管中发生的物理化学过程)这一新兴研究领域的起源、研究进展进行了评述, 讨论了纳米碳管中发生的超常吸附、充填、纳米级反应过程, 并对“纳米试管”这种纳米级反应器的特点和可能发生的奇特物化过程进行了展望, 同时还讨论了对纳米碳管中空管结构进行控制的方法.     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

奇非线性多调和方程的整体正解

证明了具有奇性的一类非线性多调和方程在R^n(n≥3)上的整体正解的存在性和多解性，用两个具体的例子说明定理的应用．     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

有限群的某些数量关系

在有限单群分类过程中，其阶恰包含3个素因子的群，即所谓K3-群构成了一类需要单独进行处理的单群类．利用Sylow定理和G1auberman正规p-补定理分别对两类阶具有3个素因子的群：p^2qr和p^3qr阶群进行了讨论，在一定条件下证明了它们都是非可换单群，即K3-群，并且分别同构于A5和L(2，7)．     

一类差分方程的Cm解的存在性和惟一性

讨论了一类较广泛的差分方程G(x,f(x),f(x 1),……,f(x n)=n,x∈R，其中G∈C^m（R^n 2,R),n≥2)，通过采用小挪动映射逼近不动点的方法，对任一整数m≥0，在较弱的条件下证明了该方程的C^m解的存在性和惟一性。     

一维离散有限元法计算箱形梁剪力滞效应

本文以薄壁杆理论为基础，由能量变分原理出发，运用一维离散有限法推导出薄壁箱梁剪力滞效应计算的格式，从而将空间三维问题简化为一维离散计算模型，实例计算表明，此方法计算结果与变分法，有限元法等计算方法的结果相吻合。     

232规则元胞自动机的稳定性

研究满足三重局部变换规则——232规则的一维有限元胞自动机分别在固定边界条件和周期边界条件下的稳定性，刻划了该类元胞自动机中不动点的个数及它们的瞬时长度．