一类含参半正二阶离散周期边值问题正解的存在性

用Guo-Krasnoselskii不动点定理给出半正二阶离散周期边值问题正解的存在性和多解性结果, 其中λ>0为参数, ［1,T］_z={1,2,…,T}, f: ［1,T］_z×［0,∞)→R连续且存在常数D>0, 使得f(t,u)≥-D, (t,u)∈［1,T］_z×［0,∞), a: ［1,T］_z→(0,∞), 02(π/2T).     

方形三维沟槽电极硅探测器相干性影响因素研究

为了研究三维沟槽电极硅探测器相邻单元之间的相干性的影响因素,根据Ramo定理提出的电信号产生原理,需要观察不同条件下探测器单元中比重场的变化.该文以方形三维沟槽电极硅探测器为研究对象,利用仿真工具Silvaco TCAD仿真出方形三维沟槽电极硅探测器的结构,采取单个最小电离粒子(MIP)从探测器上部垂直入射的方式,通过改变高能粒子入射的位置和探测器的沟槽深度,来研究探测器相邻单元中的比重场变化,进而得出相干性的影响因素.     

黎曼流形上关于p-Laplacian的ν-Euclidean类型的Faber-Krahn不等式

首先利用Federer-Fleming定理研究了黎曼流形上p-Laplace算子的解析Faber-Krahn不等式;其次利用余面积公式和Cavalieri原理研究了黎曼流形上p-Laplace算子的解析Faber-Krahn不等式的一般化.     

一类Schrödinger-Poisson系统非平凡解的存在性

利用变分方法和临界点理论,研究了一类Schrödinger-Poisson系统,其中泊松项为更一般的形式,通过给非线性项加拟临界增长和AR条件,得到了该系统非平凡解的存在性。补充和推广了以往研究Schrödinger-Poisson系统的相关结果。     

根的存在定理的推广及其应用

众所周知，在《数学分析》中会遇到连续函数的一个重要定理，即根的存在定理，此定理对方程根的存在性判别起着重要作用.将这方面已有的定理进行推广，并用例题说明其应用情况.     

等价无穷小在数列极限运算中的应用

给出了2个等价无穷小在数列极限运算中应用的定理和推论,解决了一类n项和或者积的数列极限的运算.     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

零点定理的教学设计

零点定理是数学中一个很重要的定理,也是很多实际应用的理论基础,但是学生往往不清楚如何去应用这个定理.基于此,就零点定理的教学设计给出新的探索,通过引入生活中简单有趣的实例,讲授零点定理的基本思想以及在实际中如何应用零点定理.