一个四阶非线性微分算子的特征值问题

研究了一个四阶微分算子的非线性特征值问题,首先利用对称全连续算子谱理论得到线性情况下的特征值结果,然后将非线性问题线性化,利用Schauder不动点定理得到一个不动点,而此不动点恰为非线性问题的解,借以证明特征值的存在及相应的估计.     

VITEK2 Compact全自动微生物分析系统在啮齿类细菌学检测中的应用

目的探讨VITEK2 Compact全自动微生物分析系统对啮齿类动物病原菌鉴定的准确性。方法参考实验动物国标微生物学检测方法和美国Charles River实验室啮齿类细菌学检测标准,同时用VITEK2 Compact全自动微生物分析系统和常规生化法对16种参考菌株和148株可疑菌株进行检测,对两种方法鉴定的准确性、检测时间等进行比较分析。结果 VITEK2 Compact全自动微生物分析系统对啮齿类动物细菌学检测和病原菌的鉴定在准确性、时间和鉴定能力等方面均优于常规的鉴定方法。结论 VITEK2 Compact全自动微生物鉴定系统适用于实验动物病原菌的检测及细菌性疾病的诊断。     

局部凸空间内的S-KKM定理及应用

最近Ｌｉｎ和Ｃｈａｎｇ引入了一类ＳＫＫＭ映像,证明了若干ＳＫＫＭ定理．本文在可度量化的局部凸拓扑向量空间内研究了这类ＳＫＫＭ映像,由削弱映像的紧闭性和去掉对子集的紧凸性假设,得出了某些新的ＳＫＫＭ定理并给出了对极小极大不等式的应用．     

受非线性微分包合约束的拉格朗日最优控制(英文)

研究受非线性微分包含（含伪单调算子）约束的最优控制存在世．借助于解的连续依赖性和逼近方法,证明了闭环系统解的存在性并获得其解集的紧性性质．解决了拉格朗日型最优控制的存在性。     

袖珍云闪电磁仿真特性研究

袖珍云闪(CIDs:compact intracloud discharges)是一种特殊的云闪现象,与常规云闪放电相比有很多特殊性:辐射双极性脉冲并通常单独出现、电场持续时间短、高频辐射强等。通过对袖珍云闪放电模型的建立,根据麦克斯韦方程组推导了CIDs辐射电磁场的计算公式,仿真计算了袖珍云闪的电磁场波形;并与实测波形进行了对比分析。分析结果显示,经该模型计算的袖珍云闪的电磁场波形与实测结果有较好的一致性;并讨论了在放电过程中,放电位置、放电通道长度以及通道的倾斜角度对其电磁场波形特征的影响。     

Banach空间中伪单调变分不等式的严格可行性

证明了在无限维的Banach空间中,当假设映射是紧场和伪单调时,变分不等式的解集非空有界等价于它的严格可行性,将文献(Facchinei F, Pang J S. Finite-dimensional Variational Inequalities and Complementarity Problems[M]. New York:Springer-Verlag,2003.)中定理2.4.4从有限维欧氏空间推广到了无限维的Banach空间.     

紧凑型住宅小区设计方法探究

紧凑型居住模式是解决城市居住用地紧张的有效手段,本文阐述了发展紧凑型居住模式的意义,并从从居住区布置和住宅单体设计两个方面初步探讨了实现紧凑型居住模式的合理方法。     

Dirichlet空间上一类Toeplitz算子

讨论了单位圆盘上Sobolev空间中解析函数组成子空间，Dirichlet空间上符号为径向函数（即函数只与自变量的模相关的函数）的Toeplitz算子．得到Toeplitz算子的有界性与一个符号函数相关数列有界性等价，紧性与这个数列收敛到零等价，并用这个数列表出了Toeplitz算子的点谱和谱．     

商空间上的诱导算子的若干性质

对于线性赋范空间X上的线性算子T,当N(T)(?){x∈X│Tx=0}是X的闭线性子空间时,可在商空间X/N(T)上定义T的诱导算(?),借助于诱导算子(?),能简化涵分析.中许多定理的证明.本文主要讨论了当T具有某种性质时,诱导算子(?)也具有相应的性质.     

紧度量空间中压缩型映象的不动点定理

本文在紧度量空间中，讨论了压缩型映象的不动点问题，推广和改进了某些已知结果。