LF广义上(下)弱半连续多值映射及其性质

本文引入LF广义上与下弱半连续和广义弱连续多值映射等概念,并研究了它们的各种性质．     

函数形式的单调有界原理及其应用

单调有界原理是判断极限是否存在的重要准则之一，但大多数教材中仅介绍过数列形式的单调有界原理．为了更好地阐述单调有界原理的本质，将单调有界原理推广到函数的形式，利用函数极限、上确界、下确界的定义进行了证明．给出了相应的函数形式单调有界原理的应用实例．     

新的比较原理与分数阶微分系统的稳定性(英文)

通过引入上拟单调概念,得到了新的比较原理,在此基础上,利用Lyapunov直接方法和Lya-punov比较方法,讨论分数阶微分系统的两度量稳定性,得到几个稳定性判据。     

对下近似不易测粗糙集近似程度的刻画

边界与近似精度是刻画粗糙集近似程度的重要方法.就下近似不易测的粗糙集,对以上方法给出刻画并证明,特别的给出一种强近似精度刻画,在一定情况下效果是比较明显的.     

一类非线性退化椭圆边值问题

本文考虑如下一类非线性退化椭圆型偏微分方程组的第一边值问题：用上、下解结合单调迭代的方法证明了该问题正解的存在唯一性．特别地，给出了某些条件，以确保迭代敛于唯一正解．     

不同分布的BUTI的大偏差

主要研究了长尾上的带有BUTI的、不同分布的随机变量和的尾概率,得到了部分和和随机和的一致渐近的大偏差的结论,推广了已存在的相应结论.     

B2上布尔函数的拟单调分解

系统地讨论了B₂上布尔函数的拟单调分解.先使用拟单调分解树来定义布尔函数拟单调分解的一般形式,使其在应用中具有很大的灵活性.然后对⊚、⊕、∪和°运算给出几种实用的拟单调分解法.最后将上述结果推广到布尔函数拟单调分解的一般形式,给出一个布尔函数可以分解成k个单调函数的逻辑组合的充分必要条件.     

关于Z_p上的(m,n)型二重(r_1,r_2)-循环矩阵的逆

采用扩展的Euclid算法讨论Zp上的(m,n)型二重(r1,r2)-循环矩阵的求逆问题。复数域C上的(m,n)型二重(r1,r2)-循环矩阵的求逆问题已经有了很多结果,但对于Zp上的二重循环矩阵的研究都很少,也没有给出具体计算方法。用张量积将Zp上的(m,n)型二重(r1,r2)-循环矩阵的求逆问题转化为求环上二元多项式的乘法逆,由于该二元多项式的系数是Zp上的,没有具体算法可以采用。将计算机代数中求多项式的逆矩阵的方法推广后,给出了求Zp上的(m,n)型二重(r1,r2)-循环矩阵的逆的具体算法步骤。     

有关R(n)的一个猜想(英文)

针对一个关于算数函数R(n)的有趣的猜想。R(n)是一个与所有可以整除n的正整数之和有关的函数。首先利用唯一分解定理建立一些有关R(n)单调性的预备性结果。通过对n做唯一分解,对某类特殊的n,得到一些R(n)的上下界估计。这样,在某种意义上,证明了猜想。其次得到了对于某类n的R(n)的上无界性。给出了R(n)=1的充要条件。事实上,R(n)=1当且仅当n为素数。其次,给出对于某些n,使得R(n)=2的充要条件。利用预备知识,进一步研究了R(n)的单调性。得出对于固定的k≥2,至多有一个这样的n使得R(n)=k这样的结论。最后给出使得R(n)=2的具体的n的例子,并计算了10 000以内的R(n)的数值,这样在10 000以内,验证了猜想。     

多维凸函数的指数分析

该文引入Ｒ＾ｎ上凸函数ｆ（ｆ∈Ｃ∞＾＋（Ｒ＾ｎ）具有一般的、合适的上、下指数概念，将（１），（２）以及（３）中相应结果及讨论推广到多维情形。     

含导数项的四阶非线性边值问题解的单调迭代方法

讨论四阶常微分方程边值问题u(4)(t)=f(t,u,u′,u″),t∈[0,1]u(0)=u′(1)=u″(0)=u″′(1)=0解的存在性,其中f(t,u,v,w):[0,1]×R×R×R→R为连续函数,通过上下解的单调迭代方法获得了解的存在性结果.     

Banach空间中二阶脉冲微分—积分方程无穷边值问题

建立了一个新的比较定理,运用单调迭代技术给出了Banach空间中含无穷多个跳跃点的二阶脉冲积分—微分方程无穷边值问题在任意闭区间上最大最小解的存在性.     

二阶反序泛函微分方程解的存在性条件

本文主要讨论一类二阶泛函微分方程Neumann边值问题在上下解反序条件下，解的存在性条件．     

函数上、下极限与数列上、下极限关系的探讨

将数列上、下极限的定义与有关性质推广,给出函数上、下极限的定义与相关性质,探讨与证明了它们之间的关系,并由此解决一些与上、下极限相关的问题.     

高阶P-Laplace方程边值问题的上下解方法

利用上下解构造迭代序列获得边值问题(φ(x(2m-2)(t)))″=f(t,x,x″(t),x(4)(t),…x(2m-2)(t)),t∈[0,1]x(2j)(0)=0,x(2j)(1)=0,j=0,1,…m-1极值解的存在性。主要通过定义上下解构造凸闭集,通过方程定义算子,然后利用上下解构造两个迭代序列,利用算子在所构造的凸闭集中的性质,证明两个序列为单调序列,且他们是一致有界等度连续的,由Arzela定理得到算子的不动点,极值解的存在性得以证明。     

含间断项微分方程初值问题的拟上下解方法

利用拟上下解方法和混合单调迭代法,研究了Banach空间中含间断项的一阶非线性微分方程初值问题解的存在唯一性,并给出逼近解迭代序列的误差估计.     

抽象二阶周期边值问题的拟上下解方法

利用比较结果，通过构造L-拟上下解的单调迭代过程，研究了Banach空间二阶周期边值问题解的存在性，并获得了该问题解的存在唯一性结果。     

Banach空间中常微分方程终值问题的拟上下解方法

通过拟上下解的单调迭代过程，讨论了Banach空间中的一阶常微分方程终值问题{u′=f(f,u,u)，0≤t≤1 u（1）=x1获得了该问题的解的存在唯一性。     

短跑教学中若干问题的回顾与反思

本文就短跑教学中上、下肢问题和100m跑的能量供应等问题进行了讨论分析.