仿紧集上的广义双拟变分不等式

利用关于仿紧集上的单位分解定理，将紧集上的广义双拟变分不等式解的存在性定理推广到仿紧集情形。     

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

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

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

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

退化C0半群的扰动

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

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

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

有限群的某些数量关系

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

校准曲线法定量分析数据微机处理方法

本文给出了一个处理校准曲线法定量分析大批量单一组分样品的分析数据的通用程序，将有效地提高计算结果的准确度，数据处理速度的分析化验工作的效率，同时对分析检验工作的数据处理自动化建设有所促进。     

非紧致一秩Riemann对称空间上的中心极限定理

Terras,于1984年得到了Poincar(?)上半平面M=SL(2,R)/SO(2)的中心极限定理.这是在非紧致Riemann对称空间上得到的第一个非Euclid中心极限定理.以球Fourier变换作基础,利用Lohoue和Rychner得到的热核表达式,我们在本文中建立起非紧致一秩Rie-mann对称空间上的非Euclid中心极限定理.设M=G/K为非紧致Riemann对称空间,9和(?)分别是G和K的Lie代数,(?)=(?) (?)为Cartan分解,a是(?)中的极大Abel子空间,a是a的对偶空间,a~ 是a中的正Weyl室,Ω~ 是Lie代数 (?)相对于a~ 的全体正根之集,ρ=1/2∑_(λ∈Ω)~ mλ·λ是(?)的半正根和,其中m_λ为根λ的重数,(?)=(?) a n为相应的Iwasawa分解,x∈G,H(x)∈a是x在a中的投影.G上的初等球函数定义成     

Holub定理的非线性推广及其应用

设E为Banach空间,T为E上的有界线性算子。如果下式成立: ‖I T‖=1 ‖T‖,I为恒等算子,（1）则称T满足Daugavet方程。由于Daugavet方程在逼近论、Banach空间几何理论以及算子的可逆性等方面具有基本重要的应用,因此,有关Daugavet方程的研究受到广泛的关注（有关文献及研究近况可参见文献[1～3]）。 自Daugavet证明每个C[0,1]上的紧算子满足Daugavet方程以来,关于Daugavet方程研究的最为出色的工作之一是下面的本质上属于Holub的结论: Holub定理 设T为L~1（μ）（一般地,AL或AM空间）上的有界线性算子,则T满足: 1 ‖T‖=max{‖I T‖,‖I-T‖},（2）即T或-T满足Daugavet方程。 设f:E→E为Lipschitz连续算子,f的最小Lipschitz常数L（f）与Dalhquist常数M（f）分别定义为:     

Nevanlinna第二基本定理的推广

本文我们得到以下结果：定理设ｆ（ｚ），ａｊ（ｚ）是复平面Ｃ上的亚纯函数，若ａ１，…，ａｑ各自满足Ｔ（γ，ａｊ（ｚ）＝Ｓ（γ，ｆ）（ｊ＝１，…ｑ）则对于任何正数ε＞０，我们有ｍ（γ，ｆ）＋Σ＾ｑｊ＝１ｍ（γ，１／ｆ－αｊ）≤（２＋ε）Ｔ（γ，ｆ）－１／ｎＮ（γ，１／Ｗ）－１／ｎｍ（γ，（Ｌ（ｆ）＾ｎ／Ｗ＋Ｓ（γ，ｆ）这里Ｌ（ｆ）和Ｗ是由如下两个朗斯基行列式所定义。Ｌ（ｆ）＝Ｗ（ａ１，…ａｑ，ｆ）Ｗ＝