含非线性阻尼的2D g-Navier-Stokes方程解的一致渐近性北大核心CSCD

研究了有界区域上含非线性阻尼的2D g-Navier-Stokes方程解的一致渐近性,通过证明过程族的一致吸收集存在和一致条件(C)成立,得到了含非线性阻尼的2D g-Navier-Stokes方程一致吸引子存在.     

n值Gdel命题逻辑系统中的F度累积理论

在n值Gdel命题逻辑系统中指出概率逻辑学基本定理成立,并提出了与真度相对应的F度,证明了F度累积定理。并比较了概率逻辑学基本定理与F度累积定理的异同。     

Lw-空间的拟w-Lindelof 性

在Lw-空间中引入拟w-Lindelof性的概念，讨论拟w-Lindelof性的一些基本性质，给出拟w—Lindelof性的几个等价刻画。     

a次积分C-半群的扰动

在α次积分半群的扰动理论的基础上,讨论了α次积分C-半群的可交换扰动问题,得到了α次积分D半群的扰动定理.     

常利率复合二项双险种风险模型的研究

提出了含利率因素的复合二项双险种风险模型,并在有关假设的基础上,给出了此模型下保险公司稳定经营的必要条件;证明了索赔时刻的盈余过程是一马氏过程和调节系数的存在性,并采用递归方法得到了模型的破产概率的上界估计.     

LF拓扑空间的θ-近似良紧性(Ⅱ)

证明θ-近似良紧性是丰正则性质,是有限可积性质和L-好的推广.     

一类传染病模型的优化预控制设计分析

首先给出了牲畜(家禽)的传染病(禽流感、口蹄疫)的控制策略模型,控制措施包括两个方面:一,除掉那些已经被确诊的被传染的种群.二,对那些认为处于疫区的,可能被传染的种群采取预控制(隔离、提前宰杀).因为预控制并不能辨别出哪些群体是真正的接触者,所以这种控制措施将导致把感染者和健康的一并除掉,这就产生了一个矛盾:控制强度的加大能够减少疾病的传播率,但同时增加了无辜者被宰杀的群体的数量,并且证明了一个优化的控制策略,它能够减少由于过多捕杀带来的损失.     

一类线性系统的数值控制设计

主要讨论了具有不稳定切换子模型的切换线性系统的稳定性问题.首先考虑了通过设计切换律来达到切换线性系统的稳定性问题.然后研究了切换线性控制系统可镇定性问题,通过设计控制律和切换律得到系统可镇定的判据.     

一类带有毒素生产的比率型Chemostat模型的定性分析北大核心CSCD

研究了一类带有毒素生产的比率型Chemostat模型.分析了系统平衡点的存在性及局部渐近稳定性.运用Lyapunov-LaSalle不变性原理和极限系统理论,得到了平衡点全局渐近稳定的充分条件.结论表明在满足不同条件时,不仅竞争排斥原理成立,竞争共存也是成立的.     

本原商高数的Jesmanowicz猜想的位移形式

一组正整数(a,b,c)称为本原商高数,如果它们满足方程a~2+b~2=c~2且(a,b)=1,2|b.著名的Jesmanowicz-Terai猜想是指当(a,b,c)是本原商高数时,方程a~x+b~y=c~z仅有正整数解(x,y,z)=(2,2,2).本文讨论了商高数的位移形式,即就是:设u是大于2的偶数,本文运用初等数论方法以及同余的性质讨论了指数Diophantine方程(u~2+1)~x+(2u)~y=(u~2-1)~z的可解性,证明了该方程无正整数解(x,y,z).从而部分的解决了Jesmanowicz-Terai猜想的另一种形式.