随机微分方程解的二次型估计

由于随机微分方程(SDE)的解析解求解困难,所以推导SDE解的不等式估计式是十分必要的.在随机系统的稳定性分析和控制设计中,李亚普诺夫函数常常采用二次型函数.本文把SDE解的传统的欧几里德范数形式估计式推广到SDE解的二次型估计式,包括解的矩估计和几乎必然估计.我们分别在加权线性增长条件和加权单边增长条件下给出了二次型矩估计式以及样本李亚普诺夫指数的上界表达式.     

一类随机SEIQR传染病模型的动力学行为分析

考虑疾病传播过程中随机因素的影响,研究一类具有潜伏期和隔离仓室的SIR传染病模型(SEIQR)。通过构造Lyapunov函数并利用It?公式,证明了随机SEIQR传染病模型存在唯一的全局正解,得到其关于相应的确定性模型的无病平衡点和地方病平衡点渐近稳定的充分性条件。     

一类随机蚊虫种群模型及其渐近性态

基于沃尔巴克氏菌影响下的确定性蚊虫种群模型,考虑受感染的蚊虫出生率受到环境中随机噪声的影响,建立了一类新的随机蚊虫种群模型,并研究了该随机模型的适定性和长时间渐近性态.首先,通过伊藤公式并选用适当的李雅普诺夫函数,证明了全局正解的存在唯一性;其次,定义此模型的基本再生数R0,证明了当R0<1时,受感染的蚊虫数将趋于灭绝;接着,给出模型随机平均持久的充分条件;最后,通过一个数值例子说明了定理的应用.     

在离散观测和反馈延迟下的混杂随机系统镇定

对混杂随机系统的状态反馈控制近年来引起了广泛的关注. 一个更现实也更经济的情况是对状态的观测 不是连续时间而是离散时间的. 同时, 现实中绝大多数的观测和反馈系统都或多或少会存在时滞现象. 因此, 讨论 这种基于离散时间观测同时带有观测反馈时滞的混杂随机系统的反馈控制是很有意义的. 特别地, 通过使用一个 李雅普诺夫泛函, 不仅可以得到H无穷稳定、渐近稳定和指数稳定, 而且还能显著地改善对时滞上界的要求. 本文是 文献[20]工作的深入和推广.     

基于随机模型的艾滋病预防与控制策略研究

建立了艾滋病传播过程中感染者人数占总人口比例所满足的随机模型,分析了环境因素对艾滋病传播过程的影响,利用数值解方法对模型进行分析,结合我国数十年间艾滋病病毒感染者实际数据进行仿真,验证模型的有效性;并对未来我国艾滋病病毒感染者人数占总人口比例进行预测,通过对其中的传染率控制指标β进行分析,得出这一指标的波动对艾滋病流行趋势的影响.通过分析其均值与方差,提出对β的调整策略以达到一定的控制目标,从而为艾滋病的预防和控制提供一定程度上的决策支持.     

异形截面预制件编织的置换分析

通过实例,应用置换理论分析了矩形三维预制件的编织过程,在将编织循环表达为不相交的轮换的乘积后,建立了各轮换与编织锭子移动规律之间的关系。以口字截面预制件编织为例,对异形截面三维预制件的编织过程进行了置换表达。从不相交的轮换的积的表达式中,不仅可以得到有关异形截面三维预制件编织锭子移动规律方面的特性,还可判别出方格阵上编织锭子的类别并确定其初始位置,为异形截面三维预制件编织的最终实现奠定了基础。     

广义Khasminskii条件下非线性混杂随机时滞微分方程的解的存在唯一性

利用广义伊藤公式证明了混杂随机时滞微分方程(SDDE)在局部Lipschitz和广义Khasminskii条件下存在唯一解,从而涵盖了一大类非线性混杂SDDE.最后给出实例说明了理论的可行性.     

MATLAB使用中一些需要注意的问题

针对“数学实验“教学实践中学生在使用MATLAB软件时的一些疑难点和容易出现的错误进行了剖析，并指出MATLAB的某些局限性。     

部分截断Euler-Maruyama数值方法的保正性

截断Euler-Maruyama(EM)方法是求解高度非线性随机微分方程的一种有效的方法。但是,在诸如生物种群和股票价格的模型中,随机微分方程的解为正时才有实际意义。因此,结合截断EM方法研究随机微分方程数值解的保正性具有实践性意义。通过对随机微分方程进行对数变换,在保证截断EM方法收敛的情况下,证明了随机微分方程的数值解和解析解的指数可积性,进而得到数值解能保持解析解正性的结果。