用边界层函数法讨论了具有不连续源的弱非线性奇摄动边值问题,分区间构造了它的形式渐近解,并通过缝接法对轨道进行连续缝接,在整个区间上证明了解的存在惟一性和渐近解的一致有效性,最后用数值计算验证了结论。
考虑一类含Hardy位势与临界参数的渐近线性椭圆型方程。对于一般有界区域Ω, 此类方程在H10 (Ω)中不存在非平凡解。本文应用Morse理论, 在新的Sobolev-Hardy空间中得到了非平凡解的存在性。
考虑多孔介质中两相多组分不可压缩不混溶驱动问题,给出了描述该问题的数学模型, 包含椭圆型压力方程,对流扩散型饱和度方程和组分浓度方程,采用标准Galerkin有限元方法, 给出了隐式全离散格式,并利用能量法得到了最优H1模先验误差估计,时间收敛阶为一阶。
通过解常微分方程组构造了N维可压缩磁流体方程组的若干分离变量形式的显式爆破解。
利用锥拉伸和压缩不动点定理,在某些一般极限条件下,给出了非线性混合高阶奇异微分方程组边值问题的正解和多个正解的存在性,改进和推广了一些现有的结果。
利用各向异性判别定理证明了一阶R-T混合元的各向异性特征,并把它应用于拟线性抛物方程,在不需要Ritz投影的前提下, 直接利用插值算子给出了相关变量的收敛性分析和误差估计,利用积分恒等式技巧,导出了流量在H(div,Ω)模意义下的超逼近性质。
利用指数型二分性、不动点等方法,研究了线性差分方程系统和非线性差分方程系统的伪概周期解存在性,从而将微分方程系统中伪概周期解存在性的结果推广到了差分方程,得出了差分方程伪概周期解存在性的充分条件。
将上半平面区域内的Stokes方程组的第二边值问题归化为Hadamard型强奇异的自然积分方程组,通过Galerkin-Wavelets方法将其离散以求解其等价的变分问题,得到的刚度矩阵为对角占优阵,其计算系数简洁且大大降低了计算量、提高了精度。
图G的正常边染色称为是点可区别的, 如果对G的任意两个不同的顶点u,v, 与u关联的边的颜色构成的集合异于与v关联的边的颜色构成的集合。 对图G进行点可区别正常边染色所需要的最少颜色数称为是G的点可区别正常边色数, 记为χ′s(G)。讨论了图K3,3∨Kt 的点可区别正常边染色。
证明了每个立方Halin图H是完备6可着色的,并且H有一个完备6-着色,使得每一种色出现在每一个面(顶点)以及与其相邻(关联)的顶点、边和面的着色集中。
研究J-环的强正则性。利用SF-环,GP-V-环及GP-V′-环,得到了强正则环的一 些等价刻画,推广了相关结论。
利用广义Hermite矩阵研究了一类二次矩阵方程的求解问题,获得了矩阵方程XAX=A存在P-广义Hermite矩阵解的充分必要条件,并导出了相应解的表达式。
探讨了理论真度的性质后基于条件概率的思想,给出了理论的条件真度的概念,并用它建立了一种可以在公式集之间展开的近似推理模式,用于探寻最优推理结论和最优推理前提,最后给出了理论的和谐度的概念,刻画理论内部公式和谐共存的程度。
通过对正则剩余格和WBR0-代数的深入研究, 进一步明确了WBR0-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR0-代数是相同的代数结构;(2)通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;(3)通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。
在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。
将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。
引入了相容拟半连续Domain和相容交半连续Domain的概念, 给出了一系列好的性质。分别给出了相容半连续Domain与相容拟半连续Domain、相容交半连续Domain间的关系, 并且利用相容半Scott拓扑刻画了相容交半连续Domain。
讨论了S闭空间的性质,证明了(1)局部S闭空间是半正则遗传的;(2)如果A是正则开集,则A是X的局部S闭子空间当且仅当A相对X是局部S闭的;(3)每一T2的最小局部S闭空间是S闭空间。
通过引入直觉模糊集截集的概念,定义了直觉模糊全不变子群与直觉模糊特征子群,并借助于直觉模糊集截集性质和表示,研究了直觉模糊全不变子群与特征子群的蕴涵关系。此外,讨论了循环群上的直觉模糊子群的结构及其特征。
利用P-集合的动态特征,提出层次内P-关系的概念,研究内P-集合之间的相似关系,给出其度量特征和基于相似关系的内P-聚类分析算法和应用,并检验了内P-聚类算法的正确性。