几何批量需求下库存系统稳态分析

研究了几何批量需求下库存系统模型.假设顾客到达的时间间隔、顾客接受服务的时间、系统补货的时间以及系统中服务员休假的时间均服从指数分布,其中库存为空时服务员开始多重休假.利用拟生灭过程和矩阵几何解理论得到了系统的稳态分布,在此基础上进一步分析了性能指标以及成本函数.最后,利用遗传算法对系统参数进行了敏感性分析.结果可以为实际库存管理提供理论依据.     

节能刮板沉降箱式除尘可修复系统的稳定性分析

运用可靠性理论研究节能刮板沉降箱式除尘可修复系统的稳定性问题.首先利用补充变量的方法建立了系统的数学模型,其次通过对系统算子的谱分析和C_0半群理论,得到此系统存在唯一的时间依赖解.并且当时间趋于无穷时,该时间依赖解收敛于其稳态解.     

具Michaelis-Menten型收获的Leslie-Gower捕食-食饵扩散模型的动力学和模式

该文研究了食饵具有Michaelis-Menten型收获的Leslie-Gower捕食-食饵扩散模型的动力学行为和稳态模式.首先证明了模型的一致持久性.其次研究了非负常数平衡解及其稳定性,分别利用Lyapunov函数和上下解两种方法证明得到了正常数平衡解全局渐近稳定的充分条件.最后利用度理论研究了稳态模式.研究结果表明:Michaelis-Menten型收项获对稳态模式的形成起着重要的作用,这与模型没有收获项的结果形成了鲜明的对比.     

带止步与中途退出策略的M~x/M/1/N单重工作休假排队系统

研究了带有止步和中途退出的M~x/M/1/N单重工作休假排队系统.顾客成批到达,到达后每批中的顾客,或者以概率b决定进入队列等待服务,或者以概率1-b止步(不进入系统).顾客进入系统后可能因为等待的不耐烦而在没有接受服务的情况下离开系统(中途退出).系统中一旦没有顾客,服务员立即进入单重工作休假.首先,利用马尔科夫过程理论建立了系统稳态概率满足的方程组.其次利用矩阵解法求出了稳态概率的矩阵解并得到了系统的平均队长、平均等待队长以及顾客的平均消失概率等性能指标.最后通过数值例子分析了工作休假时的低服务率η和休假率θ这两个参数对系统平均队长的影响.     

修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解的渐进行为

研究修理工可单重休假的带有一个冷贮备部件的Gaver并联系统的时间依赖解.运用C₀-半群理论与算子理论研究该模型相应算子的谱的特征,获得了该系统的时间依赖解强收敛于该系统的稳态解.     

具有多重严重故障和非严重故障和修复功能的系统的可靠性分析

该文研究一个具有多重严重故障和非严重故障和修复功能的系统的可靠性问题. 在泛函分析理论的框架下,将系统方程组写成一个 Banach 空间中的抽象初值问题,利用算子半群方法,研究了该系统的适定性、稳态解的存在性以及稳定性.表明: 在系统模型的假定下,所研究的系统是适定的,存在非负动态解和稳态解, 特别在范数意义下动态解收敛到稳态解.从而由系统稳态解得到的系统指标是可靠的.     

服务员休假的M/M/1生产服务库存模型的性能与费用分析

研究了带有服务员休假的M/M/1生产服务库存系统.首先,利用拟生灭过程理论得到稳态概率的矩阵几何解,在此基础上,进一步得到了与本模型有关的一些性能指标和费用函数的计算公式;然后数值分析了系统参数对于相关性能指标和系统费用的影响.     

两个不同服务台的可修排队系统的矩阵几何解

本文研究了具有不同服务率的两服务台排队系统,其中服务台1完全可靠,服务台2可能发生故障.通过拟生灭过程的方法求出了.系统稳态平衡条件和稳态概率向量的矩阵几何解,并给出了系统的一些性能指标和数值结果.     

非均匀Chemostat中非单食物链模型稳态正解的存在性

研究一类由反应扩散方程组描述的非均匀Chemostat中微生物之间既表现竞争关系又表现捕食被捕食关系的模型．用特征值理论确定了系统正稳态解存在的必要条件，用锥映射不动点指数方法给出了系统正稳态解存在的充分条件．     

一类具有脉冲免疫治疗的HIV-1感染模型的动力学分析

该文基于一类HIV-1感染免疫治疗模型，研究了一类具有脉冲免疫治疗的HIV-1感染模型.借助脉冲微分方程理论，研究了脉冲免疫治疗模型解的非负性和一致有界性.利用Floquet乘子理论和微分方程的比较定理，推导出脉冲免疫模型无感染周期解局部和全局渐近稳定以及HIV-1一致持续的阈值条件.通过数值模拟，比较了3种不同治疗方案的治疗效果，验证了脉冲免疫治疗的有效性.数值模拟结果表明，当药物输入量足够大或服药间隔适当短时，从理论上可以有效控制甚至根除病毒.     

一类修复不如新的可修复系统的可靠性分析

用增补变量的方法建立了在人为错误下修复不如新的两相同部件并联可修复系统.通过选取空间和定义系统算子,将模型方程转化成为了抽象Cauchy问题.然后利用线性算子半群理论研究了系统解的存在唯一性和渐近稳定性,进一步对系统的可用度做了比较分析.     

基于脉冲扰动作用下一个捕食者-两个食饵模型的动力学性质

基于害虫的生物控制策略,分别利用Floquet乘子理论及脉冲比较定理,研究了一类具有脉冲效应的一个捕食者-两个食饵模型并进行了分析,得到害虫根除周期解的渐近稳定与系统持续生存条件.     

对带启动时间和可变服务率的M/M/1休假排队的分析

收稿讨论了带启动时间和可变服务率的M/M/1休假排队.利用拟生灭过程与矩阵几何解方法导出了稳态队长和稳态等待时间分布.进一步,得到稳态指标的随机分解结果及附加队长和附加延迟的分布.最后,给出当启动率趋于无穷大时收稿模型特例的性能指标的分析结果,以揭示收稿模型应用的广泛性.     

糖尿病人群发展状况预警建模研究

糖尿病发展迅速,已成为严重的公共健康问题,糖尿病能够诱发多种并发症,给社会和个人带来巨大的经济负担,该文通过建立数学预警模型来研究糖尿病的发展状况,在系统模型的假定下,证明了系统存在非负的动态解和稳态解,计算动态解得到了某一时间糖尿病人在不同阶段的概率,而稳态解可以研究时间充分大时糖尿病人在不同阶段的概率.目前,我国糖尿病患者接近一亿人,接近1.5亿人处于糖尿病前期,糖尿病发展形式非常严峻,控制血糖是控制糖尿病发展的关键,该文通过糖尿病不同阶段的血糖控制不同状态,得到的稳态解不仅验证了这一严峻形式,而且动态解对糖尿病未来发展起到预警作用,特别是在范数意义下动态解收敛到稳态解,从而由系统稳态解得到系统指标是可靠的.     

一类具有脉冲出生与食饵脉冲捕获的时滞捕食-食饵模型的动力学分析[英文]

考虑到生物管理中不同时刻的脉冲出生和脉冲生物控制问题,我们研究了一类脉冲出生与食饵脉冲捕获的捕食-食饵模型,证明该系统的所有解是有界的,研究得到捕食者灭绝周期解的相关性质(解的存在性、解的稳定性和全局吸引性)和系统持久性,同时通过数值模拟验证相关理论结果.此外,当捕食者之间有相互干扰时,通过数值模拟进一步讨论系统的持久性,揭示了干扰因素对系统持久性的影响.     

一类准零刚度隔振器的分段非线性动力学特性研究

建立了一类带有滚轮装置的准零刚度隔振系统的分段非线性动力学模型,利用平均法对系统在基础激励下的动力学特性进行了理论分析,得到了系统主共振响应的一次近似解析解.利用数值方法对动力学方程求解,验证了平均法求解此类分段非线性动力学问题的有效性.进一步,讨论了激励幅值、阻尼对系统响应的影响,利用位移传递率评估了隔振系统的隔振性能.结果表明,激励幅值和阻尼对系统响应具有显著影响:激励幅值较小时,该准零刚度隔振系统的隔振性能明显优于相应的线性系统;而随激励幅值增大时,其隔振性能变差,但最多与线性系统相当,而不会变得更差,此特征优于传统准零刚度隔振系统.     

两类具有N-策略和多重休假的M/G/1排队系统的最优控制策略

考虑两类具有N-策略和服务员多重休假的M/G/1排队系统,其中一类是休假不可中断,另一类是休假可中断的.利用系统稳态队长的随机分解特性导出稳态队长的概率母函数,用数值计算讨论了系统空闲率与附加平均队长对系统一些参数的敏感性.进一步,在给出的费用结构模型的基础上,利用更新报酬定理,推导出了稳态下系统在单位时间内的数学期望平均费用目标函数的解析式,然后借用MATLAB软件,求出了使目标函数达到最小的最优控制策略N^*.     

一类具有非线性脉冲的捕食与被捕食系统的定性分析

实际的害虫控制策略由于受到资源有限、种群密度的影响,具有饱和效应或非线性特征.因此,该文对一类具有非线性脉冲控制策略的捕食与被捕食模型进行了全局定性分析.利用脉冲微分方程中的Floquet理论和比较方法,得到模型的天敌根除周期解全局渐近稳定的充分条件,通过分支理论,得到非平凡周期解存在性的条件,数值模拟验证了具有非线性脉冲的模型具有非常复杂的动态行为.     

基于害虫防治的带有年龄结构和时滞的捕食-被捕食模型分析

研究了一个关于害虫防治的有脉冲效应以及年龄结构和时滞的捕食-被捕食模型,得到了害虫根除的周期解全局吸引以及系统持久的充分条件,同时证明了系统所有的解是一致最终有界的.这些结果能为害虫防治的实际操作提供一定的理论依据.     

多服务台服务同一顾客的M/M/m+k/N可修排队系统

研究带有备用服务台的可修排队系统,假设多个服务台可同时服务同一顾客,利用马尔可夫过程理论建立了系统稳态方程组,然后利用分块矩阵的解法求出系统稳态概率的矩阵解,在此基础上建立系统的费用模型,并利用Matlab软件进行数值实例分析.