一类具有Holling-Ⅱ型响应函数的捕食模型定性分析

讨论具有Holling-Ⅱ型响应函数的捕食模型的齐次Neumann问题.首先通过构造上下解的方法研究了该问题半平凡解的全局稳定性,利用Lyapunov泛函和Routh-Hurwitz判定法分别讨论了正常数平衡解的全局稳定性和局部稳定性.其次给出了正平衡解的正的上下界的估计,以及非常数正平衡解的不存在性,最后利用拓扑度的方法研究了非常数正平衡解的存在性.     

一类食饵带传染病的食物链扩散模型的非常数正平衡态

讨论了一类食饵带有传染病的带Neumann齐次边界条件的反应扩散模型的正平衡态问题.给出了正平衡态解的先验估计及非常数正平衡态解的存在性和不存性及分歧.     

一类捕食者带有传染病的生态-流行病模型的定性分析

讨论了一类捕食者带有传染病的生态-流行病模型,考虑其带有齐次Dirichlet边界条件的反应扩散问题,采用上下解的方法给出该问题正平衡解的存在性和估计.     

一类具反应扩散的捕食模型平衡态模式的定性分析

研究了一类具反应扩散的捕食一食饵模型,运用分歧理论讨论了该模型平衡态半平凡解的局部分支解的存在性,进而,给出了该问题正平衡解存在性的充分条件.     

一类带有交错扩散的捕食模型的定性分析

讨论一个带有交错扩散的捕食模型的齐次Neumann问题.先利用Harnack不等式和最大值原理给出该问题非常数正平衡解的先验估计,再利用拓扑度的方法研究非常数正平衡解的存在性.     

一类强耦合拟线性退化抛物方程组解的全局存在与非存在性

研究一类强耦合拟线性退化抛物方程组初边值问题正古
典解的局部存在、 全局存在与非全局存在性. 用正则化方法和先验估计证明了问题正古典
解的局部存在性, 并且分别给出了该问题是否存在全局古典解的充分条件. 结果表明, 当种
群内竞争强于种群间互惠作用时, 问题存在全局解; 而当两种群具有强互惠作用时, 所有解
均为非全局的.     

具有恐惧效应和空间异质捕食-食饵模型的稳态解

考虑一类具有恐惧效应和空间异质的捕食-食饵模型. 首先, 利用Riesz-Schauder理论给出平凡解和半平凡解的局部渐近稳定性; 其次, 利用比较原理给出平凡解和半平凡解的全局吸引性; 最后, 利用不动点定理给出正稳态解的存在性. 结果表明, 恐惧效应和空间异质对模型的稳态解性质有明显影响.     

具有Holling-III型功能性捕食模型的定性分析

研究了一类具有Holling-III型功能性响应函数的捕食模型.首先证明常数平衡解的稳定性,然后给出了平衡态问题正解的先验估计,以及非常数正解的不存在性,最后利用计算拓扑度的方法得到了平衡态问题的非常数正平衡解的存在性.     

一类带有内部存储和抑制剂的恒化器模型的共存解

讨论一类带有内部存储和抑制剂的非均匀恒化器模型正平衡解的存在性.由于模型中比率项的奇性,导致通常的线性化方法对本模型并不适用.为克服这个困难,首先建立模型正平衡解细致的先验估计,该估计表明模型的正平衡解含于一个特殊的锥内.然后借助一类非线性特征值问题的主特征值及锥上的不动点指标理论给出了模型正平衡解存在的充分条件.结果表明当其对应的非线性特征值问题的主特征值满足一定关系时,系统至少存在一个正平衡解.     

热耦合斯托克斯流问题的有限元分析

针对热耦合的斯托克斯流方程组的解析解给出了其存在性以及正则性的分析. 给出此方程组多解情形下的有限元格式，并且证明了此非线性问题数值解的存在性.研究方程的非奇异解的逼近性质的同时，证明了有限元解的收敛性.在Lp理论下给出了其最优的误差估计.     

2-D奇异时滞系统的稳定性

研究用Roesser模型表示的2－D奇异时滞系统的稳定性。通过变换，将2－D奇异时滞Roesser模型化为等价的2－D奇异一般模型，给出了2－D奇异时滞系统的Roesser模型Inner稳定的定义及充要条件。     

拟单调波轮廓方程组构造上下解的方法

研究了空间维数$n>1$情形下对应于拟单调反应扩散系统和积分-偏微分系统的波轮廓方程组. 通过分析主特征值和主特征向量，给出了构造上下解的方法和一些应用例子. 最后,讨论了这个方法应用到具有时滞的反应扩散系统出现的问题.     

电力工程图纸计算机处理与管理技术

以葛洲坝水力发电厂为背景,介绍了一个电力工程图纸处理与管理系统的设计原理及实现方法,给出了系统的结构,探讨了在研究过程中所采用的关键技术．     

带分布时滞具有阶段结构捕食系统全局渐近性质

讨论了二种群的捕食与被捕食数学模型。首先给出解的存在及惟一性,再用上下解方法研究耦合半线性抛物方程组的动力学行为,并给出了解的全局渐近性质。     

具有区间支付的模糊合作对策上的Shapley函数

利用定义的区间数减法运算法则,探讨了具有区间支付的模糊合作对策.通过对传统模糊合作对策上关于Shapley函数公理体系的推广,给出了具有区间支付的模糊合作对策上Shapley函数的公理特征,并证明了所给区间Shapley函数的存在性和唯一性.最后通过一个算例来说明所给区间Shapley函数的实用性.     

具有功能性反应的微分生态模型的极限环分析

在已有的功能性反应生态系统的基础上,应用数学生态学理论建立了一个具有功能性反应的微分生态系统,并应用微分方程定性理论,讨论了该微分生态系统.研究了系统的平衡点,对中心焦点的阶数和稳定性做出了分析,并给出了系统的环域构成图.在给定参数满足一定条件时,利用Poincaré-Bendixson环域定理和Filippov变换,证明了该系统极限环的存在性和唯一性.结果表明,两种群的密度或产生周期性的变化,或都稳定在一组定值的附近,可以保持一种稳定状态.     

圆网印花激光雕刻机的调速控制系统

采用ＭＣＳ—５１单片微机测速系统研究伺服电机的升降速过程，得到不同转速下的转速—时间曲线．通过对这些曲线的分析，制定出适合激光雕刻机的变速雕刻方案．     

一种改进的线性网络控制系统的鲁棒稳定性分析

考虑在网络传输延迟和数据丢包二者共同影响下的具有时变结构不确定性的线性网络控制系统的稳定性问题.首先采用模型变化方法,将网络控制系统模型转换为时滞系统模型;然后,通过引入一种新的考虑网络传输延迟下界的Lyapunov泛函,对具有结构不确定性的时变时滞系统的稳定性进行分析,给出了时滞相关的系统镇定的线性矩阵不等式条件.最后通过数值实例证明本文方法与现有方法相比具有更小的保守性.     

拓扑系统中开远域及其应用

在拓扑系统中提出了点的开远域的概念并对其性质和应用进行了研究。首先,在拓扑系统中提出了点的开远域的概念,讨论了它的基本性质,并利用开远域系给出了确定拓扑系统的方法;其次,通过开远域系定义了拓扑系统之间的映射在给定点连续的定义,并由此给出了拓扑系统之间连续映射的等价刻画;最后,利用点的开远域系给出T0拓扑系统和T1拓扑系统的等价刻画。     

广义Hamilton系统与梯度系统

广义Hamilton系统-9梯度系统是两类不同的重要动力学系统．本文研究这两类系统的关系．首先,给出广义Hamilton系统,它是Hamilton系统的一种推广,而Birkhoff系统在一定条件下可成为广义Hamilton系统;其次,研究梯度系统及其意义;最后,研究两类系统的关系,并举例说明结果的应用．