关于特殊形式素数$p$的$\alpha p^2$ 模$1$的分布

证明了如果$0<\theta < \frac {2}{375}$, 则对于无理数$\alpha$, 存在无限个素数$p$, 使得$p+2$不超过4个素因子, 并满足不等式$\|\alpha p^2+\beta\|相似文献   

时变系统的稳定化

This paper deals with the stabilization problem for linear time-varying systems within the framework of nest algebras. We give a necessary and sufficient condition for a class of plants to be stabilizable, and we also study the simultaneous and strong stabilization problems.     

抛物型积分微分方程的非协调$H^{1}$-Galerkin混合有限元方法

H^1-Galerkin nonconforming mixed finite element methods are analyzed for integro-differential equation of parabolic type. By use of the typical characteristic of the elements, we obtain that the Galerkin mixed approximations have the same rates of convergence as in the classical mixed method, but without LBB stability condition.     

自适应间断Galerkin 有限元的多水平方法

本文讨论在自适应网格上间断Galerkin 有限元离散系统的局部多水平算法. 对于光滑系数和间断系数情形, 利用Schwarz 理论分析了算法的收敛性. 理论和数值试验均说明算法的收敛率与网格层数以及网格尺寸无关. 对强间断系数情形算法是拟最优的, 即收敛率仅与网格层数有关.     

变指数Herz-Besov-Triebel空间的刻画

建立了变指数的Herz型Besov和Triebel-Lizorkin空间的离散刻画并利用此刻画得到了拟微分算子在这些空问上的有界性.     

基于有限迁移系统的线性时态逻辑的计量化方法

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。     

拟线性抛物型积分微分方程的一个新最低阶混合元格式

对一类拟线性抛物型积分微分方程构造了一个新的最低阶三角形协调混合元格式,并直接利用单元插值的性质,给出了相应的收敛性分析和H~1-模及L~2-模意义下的最优误差估计.     

无限格与其非标准扩张

在非标准κ-饱和模型下,研究了无限格L的非标准扩张*L的性质及其在L-集滤子理论中的应用.首先,定义了κ-完备格的概念,讨论了完备格与κ-完备格之间的关系,证明了无限格L的非标准扩张*L是κ-完备格.其次,定义了L-集滤子的单子,利用κ-完备格证明了此定义是合理的.最后,利用L-集滤子的单子给出了L-集滤子族上确界存在的充分且必要条件.     

一类状态依赖脉冲控制的害虫管理数学模型研究

研究一类状态依赖脉冲控制的害虫管理数学模型,当害虫的数量达到一定的临界值时,通过释放天敌和喷洒农药使得害虫的数量不超过经济危害水平.首先利用几何分析和后继函数方法得到了系统阶1周期解的存在性,进而运用类Poincare准则证明系统阶1周期解是轨道渐近稳定的.结论表明在一定的条件下,总能将害虫控制在经济危害水平以内,从而人们在农业生产过程中能够获得最大收益.证明系统存在阶1周期解的方法可推广到其它状态依赖脉冲反馈模型中.     

基于Hamilton-Jacobi-Bellman方程求解保险业最优投资策略

在经典复合泊松模型中,保险公司将资金投入一个风险投资过程和一个无风险投资过程.当索赔的分布确定后,运用随机控制中的HJB方程最小化保险公司的破产概率,在已知投资规模或投资组合的情况下求解二者中的另一项,进而得到最优投资策略并讨论各种策略的运用对破产概率的影响.解决保险公司的投资资金分配问题,在实际应用中具有一定的参考价值.