一类具收获率的功能性反应自抑制三种群模型定性分析

研究了一类具收获率的功能性反应自抑制三种群捕食模型,运用微分方程稳定性理论,确定了捕食系统模型的平衡点存在的条件和性态,得到了系统正平衡点渐近稳定条件,并且分析了平衡点的全局稳定性及系统持续生存的条件.最后利用Matlab软件进行了数值模拟验证.     

一类具有垂直传染与接种的DS—I—R传染病模型研究

本文研究了-类具有垂直传染与接种的疾病在多个易感群体中传播的DS-I-R传染病模型,得到了疾病流行的阈值.运用微分方程定性与稳定性理论分析了无病平衡点的局部稳定与全局渐近稳定性及存在唯一地方病平衡点与其全局渐近稳定性.     

一类非连续病菌与免疫系统竞争模型的动力学分析

建立一类右端不连续的病菌与免疫系统竞争模型,讨论模型滑模的存在性,真假平衡点以及伪平衡点的存在性和全局稳定性及局部滑动边界点分歧等动力学性质.研究结果表明病菌与免疫细胞最终在伪平衡点或真平衡点处共存.最后,运用数学软件进行数值模拟,验证了所得的理论结果.     

一类具有Allee效应的Filippov害虫治理模型的研究

本文构建一类具有Allee效应的Filippov害虫治理模型.首先研究两个子系统的平衡点的存在性和稳定性,并证明了鞍结点的存在.然后运用非光滑动力学系统理论,讨论了真、假、伪平衡点的存在性和稳定性条件.最后应用理论和数值模拟研究与边界结点分支有关的滑动分支,并讨论相应的生物学意义.     

具有年龄结构的离散HIV/AIDS模型的全局分析

本文根据艾滋病传播的特点建立了有年龄结构的高维离散SIA模型,和有干预的具有年龄结构的离散HIV模型.对每种模型,我们首先给出了建模思想,用差分方程建立了数学模型,然后对模型平衡点的稳定性进行了理论分析,得出一定条件下模型无病平衡点和地方病平衡点的稳定性.另外,本文还给出了模型的基本再生数,其意义为一个病人在染病期内平均感染的人数,基本再生数决定了模型无病平衡点和地方病平衡点的存在性和稳定性.     

具有时滞和阶段结构的生态-流行病模型的稳定性及其Hopf分支

本文研究一个食饵具有阶段结构和捕食者染病的捕食者-食饵模型的稳定性,并讨论了由疾病的潜伏期引起的时滞对种群动力学性态的影响.通过分析特征方程,运用Hurwitz判定定理,讨论了该模型的平凡平衡点、捕食者灭绝平衡点、无病平衡点及地方病平衡点的局部稳定性,并得到了地方病平衡点附近Hopf分支存在的充分条件;通过构造适当的Lyapunov泛函,运用La Sall不变集原理,得到了这些平衡点全局稳定的充分条件.     

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

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

浮游生态系统的极限环存在唯一性与Hopf分叉

运用非线性系统理论研究了一类浮游生态系统模型,分析了平衡点的稳定性,给出并证明了系统极限环的存在唯一性条件.同时运用分支理论,对系统hopf分叉问题进行了讨论.最后,通过计算机仿真,对文中论述进行了验证.     

带有避难所的捕食-食饵模型的稳定性Neimark-Sacker分支

讨论了一类带有避难所的捕食-食饵模型的稳定性和Neimark-Sacker分支行为.首先通过计算得到该模型对应的差分方程,利用线性稳定性理论讨论平衡点的局部渐近稳定性;其次运用正规形理论和中心流形投影法阐释了系统随参数变化而发生翻转分支和Neimark-Sacker分支进入混沌的情形;最后进行数值模拟验证研究理论结果的正确性.     

一类带有毒素生产的比率型Chemostat模型的定性分析

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

一类具有抑制剂的非均匀恒化器模型的共存态

研究了一类具有抑制剂和Beddington-DeAngelis功能反应项的非均匀恒化器模型.根据单调动力系统理论得到了正平衡解的存在性.利用度理论、分歧理论以及摄动理论,分析了抑制剂对系统正平衡解及渐近行为的影响.结果表明当体现抑制作用的参数μ充分大时,此模型或者没有正解,并且一个半平凡晌非负解是全局吸引的;或者模型的所有正解均由一个极限问题决定.     

An extended beam theory for smart materials applications part I: Extended beam models,duality theory,and finite element simulations

An extended theory for elastic and plastic beam problems is studied. By introducing new dependent and independent variables, the standard Timoshenko beam model is extended to take account of shear variation in the lateral direction. The dynamic governing equations are established via Hamilton's principle, and existence and uniqueness results for the solution of the static problem are proved. Using the theory of convex analysis, the duality theory for the extended beam model is developed. Moreover, the extended theory for rigid-perfectly plastic beams is also established. Based on the extended model, a finite-element method is proposed and numerical results are obtained indicating the usefulness of the extended theory in applications.The work of the first author was supported in part by National Science Foundation under Grant DMS9400565.     

害虫种群尖点突变模型的几何分析

基于尖点突变的性质,对修改后的Logistic模型进行变换,并将其化为具有尖点突变的标准模型.利用微分方程定性理论,对模型进行分析,并根据突变理论,给出突变发生的条件.最后利用仿真验证结论的正确性.     

Hopf Bifurcation for a Susceptible-Infective Model with Infection-Age Structure

An SIS model is investigated in which the infective individuals are assumed to have an infection-age structure. The model is formulated as an abstract non-densely defined Cauchy problem. We study some dynamical properties of the model by using the theory of integrated semigroups, the Hopf bifurcation theory and the normal form theory for semilinear equations with non-dense domain. Qualitative analysis indicates that there exist some parameter values such that this SIS model has a non-trivial periodic solution which bifurcates from the positive equilibrium. Furthermore, the explicit formulae are given to determine the direction of the Hopf bifurcation and the stability of the bifurcating periodic solutions. Numerical simulations are also carried out to support our theoretical results.     

Evaluation of the mathematical and economic basis for conversion processes in the LEAP energy-economy model

An evaluation was made of the mathematical and economic basis for conversion processes in the LEAP energy-economy model. Conversion processes are the main modelling subunit in LEAP used to represent energy conversion industries and are supposedly based on the classical economic theory of the firm. The study arose out of questions about the uniqueness and existence of LEAP solutions and their relation to classical equilibrium economic theory. An analysis of classical theory and LEAP model equations was made to determine their exact relationship. The conclusions drawn from this analysis were that LEAP theory is not consistent with the classical theory of the firm. Specifically, the capacity for factor formalism used by LEAP does not support a classical interpretation in terms of a technological production function for energy conversion processes. The economic implications of this inconsistency are suboptimal process operation and short term negative profits in years where plant operation should be terminated. A new capacity factor formalism, which retains the behavioural features of the original model, is proposed to resolve these discrepancies.     

非饱和土的非线性固结模型和弹塑性固结模型及其应用

把作者最近提出的非饱和土的增量非线性本构模型及由作者改进的Alonso等人提出的非饱和土弹塑性模型引入陈正汉建立的非饱和土的固结理论,得到非饱和土的非线性固结模型和弹塑性固结模型,设计了有关程序,求解了地基在分级加载条件下的固结过程和塑性区的动态扩展,从而把非饱和土固结问题的研究推到了一个新水平。     

文明社区综合评估数学模型

探讨了明社区综合评估问题,根据其指标体系建立了该问题的数学模型,提出建模的理论和综合评估算法,为社区明建设的客观评价和比较建立了一种科学的方法。     

军事威慑博弈中挑战者行为预测模型比较

将基于完全理性的期望效用理论与基于有限理性的前景理论的两种决策模型应用于军事威慑两阶段博弈分析之中.研究结果表明,前景理论模型与期望效用理论模型对挑战者行为的预测结果具有显著的差异.     

Interactions between party members and local party activists: A formal model and its empirical application*

Data taken from two surveys among party members and local party activists are used to test a formal theory of intra‐party interaction at a low regional level. For this purpose a miniature version of legitimation theory is axiomatized according to Joseph D. Sneed's proposals. A possible partial model for this miniature theory is defined, terms theoretical in this theory are introduced to make up a possible model of the theory, and several variants of the model of this theory are discussed together with their empirical claims. The axiomatized theory does not only allow the interpretation of empirical correlations among attitudinal variables as effects of interactions between persons bearing those attitudes, but also compels to consider nonlinear interactions as well.     

Stability analysis in a nonlinear ecological model

A high dimension predator-prey model is considered in this paper. Some novel criteria are established for the existence and global asymptotic stability of a unique equilibrium of such model. The approaches are based on fixed point theory, matrix spectral theory and Lyapunov functional. The existence and stability conditions given in terms of spectral radius of explicit matrices are better than conditions obtained by using classic norms. Finally, an example and its simulations show the feasibility of our results.