具有脉冲接种的手足口病传播模型

研究具有脉冲接种的手足口病SEIR传播模型,首先得到了系统的无病周期解,其次证明了无病周期解的渐进稳定性并得到了系统渐进稳定性的条件.最后,根据已获得的数据对系统进行了数值模拟,得到了脉冲接种周期的临界值.     

一类对易感人群实施脉冲接种的传染病模型的稳定性

考虑了一类对易感人群实施脉冲接种的传染病模型,应用微分方程的初值理论得出了系统的无病周期解,进而,应用脉冲微分不等式的比较定理,证明了当R_01时,无病周期解的全局渐近稳定性.最后,研究了对易感人群实施脉冲接种在传染病预防中的效果.     

具脉冲两阶段结构的自治SIS传染病模型

讨论了具有脉冲两阶段结构的自治SIS传染病模型,得到了该模型无病周期解存在性和稳定性的充分条件,并利用分支理论研究了正周期解的存在性.     

非线性接触率SIR模型脉冲接种策略研究

建立了具有非线性接触率脉冲预防接种的SIR传染病模型,利用脉冲微分方程理论,对模型的动力学性态进行了分析,给出了模型的阀值,证明了无病周期解的存在性及全局渐近稳定性.     

具有脉冲接种的DS-I-R传染病模型的定性分析

研究了具有脉冲接种的多易感群体的DS-I-R传染病模型,分析了该模型无病周期解的存在性,给出了对疾病传播有重要影响的基本再生数,得到了无病周期解全局稳定性的充分条件.     

两类易感者具垂直传染和预防接种的SIRS传染病模型

讨论了具有连续预防接种和脉冲预防接种且具有垂直传染的双线性SIRS传染病模型,分别给出了SIRS传染病模型基本再生数.利用Liapunov函数方法和LaSalle不变原理证明了连续预防接种下无病平衡点和正平衡点的全局稳定性;利用脉冲微分方程的Floquet 乘子理论和比较定理,证明了无病周期解的存在性和全局稳定性.     

脉冲输入免疫因子的HBV模型的稳定性和持久性分析

提出了一个数学模型,用于研究脉冲投放免疫因子对HBV传染病动力学的影响.通过利用脉冲微分不等式和比较定理,证明了HBV模型的无病周期解的存在性,给出了无病周期解的全局渐近稳定性和系统的持续性的充分条件.研究结果表明:短的投放周期或适当的免疫因子投放量可以导致HBV的清除.     

脉冲输入免疫因子的HBV模型的稳定性和持久性分析

提出了一个数学模型,用于研究脉冲投放免疫因子对HBV传染病动力学的影响.通过利用脉冲微分不等式和比较定理,证明了HBV模型的无病周期解的存在性,给出了无病周期解的全局渐近稳定性和系统的持续性的充分条件.研究结果表明:短的投放周期或适当的免疫因子投放量可以导致HBV的清除.     

一类具有非线性脉冲接种的SIRS流行病模型分析（英文）

本文建立了一类具有非线性脉冲免疫接种与饱和接触率的SIRS传染病模型;利用离散动力系统的频闪映射方法得到了模型的无病周期解;利用Floquet乘子理论和脉冲微分方程比较定理证明了该周期解的全局渐近稳定性,并获得了模型持久性的充分条件;还通过数值模拟展示了数值模拟结果和理论结果的一致性.     

脉冲喷洒杀虫剂的植物病害模型的周期解

本文研究脉冲喷洒杀虫剂的植物病害模型.考虑在传染率随时间周期变化和森林树木总数保持不变的条件下,讨论具有垂直传播的一类具有单个种群的脉冲喷洒农药的SIRS模型,根据单值算子和Bohl-Brouaser不动点理论证明了无病周期解存在性,并且利用单值矩阵,Floquet理论得到其基本再生数并且给出了其无病周期解局部渐近稳定的条件.     

白骨化尸体死亡时间的推断

本文分析了15具白骨化尸体标本的股骨汞(Hg),铅(Pb),镉(Cd)元素含量数据,在三年的时间内采集了3次,一共收集到45个数据。首先将这组数据看着纵向数据,利用线性随机效应混合模型、Cox随机混合效应模型进行分析,结果显示,如果对每个白骨化尸体标本建立线性模型,可以精确预测出死亡时间,而且不需要采集铅元素含量数据。混合效应模型的预测效果也很好,最大误差不会超过1个月。其次我们对数据不作任何假设,利用机器学习中随机森林方法分析数据,并利用5折交叉验证方法来判断结果的可靠性,训练集和测试集的NMSE分别为0.1205944,0.5604286,因此可以用训练出的模型来预测死亡时间。     

碾压混凝土坝施工层面变形分析模型

针对碾压混凝土坝施工层面对大坝变形产生显著影响的问题,深入研究了施工层面的变化性质及规律,提出了层面不同阶段变形的模拟方法,建立了施工层面有厚度和无厚度分析模型,提出的模型能反映层面的弹性变形、衰减蠕变、不可逆变形以及加速蠕变等变形状态．实例分析表明:所提出的碾压混凝土坝施工层面有厚度和无厚度分析模型能较客观地模拟大坝的结构变化形态,尤其是施工层面有厚度分析模型较完整地模拟了层面的渐变规律,其计算结果与原位监测成果吻合较好．同时,提出的方法和建立的分析模型可推广应用于常规混凝土坝,特别是坝基内断层和夹层等变形规律的分析．     

Modelling and analysis of dynamics of viral infection of cells and of interferon resistance

Interferons are active biomolecules, which help fight viral infections by spreading from infected to uninfected cells and activate effector molecules, which confer resistance from the virus on cells. We propose a new model of dynamics of viral infection, including endocytosis, cell death, production of interferon and development of resistance. The novel element is a specific biologically justified mechanism of interferon action, which results in dynamics different from other infection models. The model reflects conditions prevailing in liquid cultures (ideal mixing), and the absence of cells or virus influx from outside. The basic model is a nonlinear system of five ordinary differential equations. For this variant, it is possible to characterise global behaviour, using a conservation law. Analytic results are supplemented by computational studies. The second variant of the model includes age-of-infection structure of infected cells, which is described by a transport-type partial differential equation for infected cells. The conclusions are: (i) If virus mortality is included, the virus becomes eventually extinct and subpopulations of uninfected and resistant cells are established. (ii) If virus mortality is not included, the dynamics may lead to extinction of uninfected cells. (iii) Switching off the interferon defense results in a decrease of the sum total of uninfected and resistant cells. (iv) Infection-age structure of infected cells may result in stabilisation or destabilisation of the system, depending on detailed assumptions. Our work seems to constitute the first comprehensive mathematical analysis of the cell-virus-interferon system based on biologically plausible hypotheses.     

Variational analysis of functions of the roots of polynomials

The Gauss-Lucas Theorem on the roots of polynomials nicely simplifies the computation of the subderivative and regular subdifferential of the abscissa mapping on polynomials (the maximum of the real parts of the roots). This paper extends this approach to more general functions of the roots. By combining the Gauss-Lucas methodology with an analysis of the splitting behavior of the roots, we obtain characterizations of the subderivative and regular subdifferential for these functions as well. In particular, we completely characterize the subderivative and regular subdifferential of the radius mapping (the maximum of the moduli of the roots). The abscissa and radius mappings are important for the study of continuous and discrete time linear dynamical systems. Dedicated to R. Tyrrell Rockafellar on the occasion of his 70th birthday. Terry is one of those rare individuals who combine a broad vision, deep insight, and the outstanding writing and lecturing skills crucial for engaging others in his subject. With these qualities he has won universal respect as a founding father of our discipline. We, and the broader mathematical community, owe Terry a great deal. But most of all we are personally thankful to Terry for his friendship and guidance. Research supported in part by the National Science Foundation Grant DMS-0203175. Research supported in part by the Natural Sciences and Engineering Research Council of Canada. Research supported in part by the National Science Foundation Grant DMS-0412049.     

On Sums of Coefficients of Products of Polynomials

We study the nilpotency of the sums of all coefficients of some sorts of products of polynomials over reversible, IFP, and NI rings, and introduce an SCN ring as a generalization. We characterize SCN rings in relation with related ring properties, and also provide several useful properties and ring extensions of SCN rings.     

一类柔性臂机器人的稳定性

本文研究了一类柔性臂机器人的控制问题,且柔性臂的弯曲振动与扭转振动的耦合作用表现在边界方程中。本文运用算子谱理论、算子半群理论等,得到系统的主算子生成的C0-半群的具体表示式,并证明了半群的解析性、非紧性及非一致指数稳定性。     

Analytic description of statistics of spectra of quantum graphs

We discuss how to obtain exact and approximate distributions for various statistical characteristics of the spectra of quantum graphs using previously found exact solutions of the spectral problem. We indicate the relation between the appearing spectral decompositions and the theory of weakly dependent random variables and indicate the relation between the known limit theorems for trigonometric sums and the universal statistical properties of the spectra of quantum chaotic systems. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 156, No. 1, pp. 38–66, July, 2008.     

Convergence of densities of some functionals of Gaussian processes

The aim of this paper is to establish the uniform convergence of the densities of a sequence of random variables, which are functionals of an underlying Gaussian process, to a normal density. Precise estimates for the uniform distance are derived by using the techniques of Malliavin calculus, combined with Stein?s method for normal approximation. We need to assume some non-degeneracy conditions. First, the study is focused on random variables in a fixed Wiener chaos, and later, the results are extended to the uniform convergence of the derivatives of the densities and to the case of random vectors in some fixed chaos, which are uniformly non-degenerate in the sense of Malliavin calculus. Explicit upper bounds for the uniform norm are obtained for random variables in the second Wiener chaos, and an application to the convergence of densities of the least square estimator for the drift parameter in Ornstein–Uhlenbeck processes is discussed.     

Location of courts of justice: The making of the new judiciary map of Portugal

Location modeling techniques have been applied to an extremely wide variety of public facilities. However, their application to one of the most ubiquitous public facilities – courts of justice – has been very rare. In this paper, we describe a study promoted by the Ministry of Justice of Portugal to define a proposal for the country's new judiciary map – that is, the spatial organization of the judicial system. The new map aims to promote the efficiency and specialization of the justice system (leading to better and faster court decisions) and to provide a good level of accessibility to courts. We developed two optimization models addressing those goals – a districting model, to determine the borders of new, large judicial districts; and a court location model, to determine the location, type, size, and coverage area of the courts included in each new district. Both models are discrete facility location models and consider hierarchical facilities – generic courts and specialized courts of multiple types. Our study was publicly acknowledged by the Portuguese government as having contributed to the new judiciary map that has since been approved and implemented.     

Products of operators of multidimensional structured model of systems

The author has previously defined the concept of a general system in terms of operators and operands. An operand is a mapping defined on a subset of an m-fold Cartesian product instead of the usual set and collection of k-ary relations on it. An operator is a kind of mapping between two collections of operands. Here subsystems, extensions, and the notion of P-semiexactness is studied. In particular we derive conditions such that P-semiexactness of a composition of operators, and of one factor, implies P-semiexactness of the other factor.