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

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

退化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)．     

带PIC微处理器通用自校正控制器的控制策略与算法

在工业过程中，现代控制策略的实际应用已落后于其理论，因为大部分策略是复杂的，而想以简单的模式来实现是相当困难．虽然广泛采用了PID控制器，但仍无法达到最优控制的效果．通过用带时变参数的降价线性模型来模拟复杂的非线性控制系统，采用PICl6C62X单片微处理器组成自校正控制器，实现控制策略与算法．这种PICl6C62x单片微处理器具有较好的内部功能和外围设备，使得自校正调节器的硬件电路十分简单，并较之典型的PID控制，有看更优控制性能和适用范围．     

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

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

非紧致一秩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第二基本定理的推广

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

单调增函数幂次积分序列的一个新结果

利用实分析中函数项级数收敛的性质，建立其相关的等式，证明了如下结果：设ｆ（ｘ）在［０，１］上单调增加并且满足下式：∫１０ｆｎ（ｘ）ｄｘ＝ｐｎ＋１，ｎ＝１，２，３，…其中，ｐ为正常数，那么有：０＜ｐ≤１且ｆ（ｘ）＝（ｘ＋ｐ－１）／ｐ，ｘ∈（１－ｐ，１）０，ｘ∈（０，１－ｐ］｛。证明具有一定的技巧性，逻辑性强，条理清楚。