关于HBV及其药物相互作用的反应扩散方程的参数识别

研究具有反应-扩散现象的HBV及其药物相互作用系统的参数识别问题,依该系统正问题解的性质,建立了参数识别问题的数学模型,论证了系统正问题解关于待识别参数的连续依赖性与参数识别问题最优解的存在性.     

一类带修理工休假可修系统解的存在唯一性及正则性分析

考虑一类修理工可多重延误休假的n部件串联可修复系统解的存在唯一性及正则性问题.通过将系统模型方程转化为一组算子积分方程,利用不动点理论讨论该系统局部解的存在唯一性问题,再由一致先验估计和连续延拓讨论系统整体解的存在唯一性问题,继而分析解的正则性问题.为解决复杂可修复系统解的存在唯一性及正则性提供了可行性方法,并且方法同样适用于排队论系统和其他类似系统.     

广义分布参数系统的状态反馈稳定性问题(1)

关于系统的状态反馈稳定性问题的研究一直是现代控制理论研究的重要问题之一.广义分布参数系统是比分布参数系统更广的一类系统,在研究复合材料热导体中的温度分布等问题时会出现这样的系统.本文讨论了H ilbert空间中一阶广义分布参数系统的状态反馈稳定性问题.应用泛函分析及线性算子半群理论的方法给出了使闭环广义分布参数系统渐进稳定的充要条件,充分条件及状态反馈的构造性表达式.这对研究广义分布参数系统的状态反馈稳定性问题具有重要的理论价值.     

一类不连续系统的W-渐近稳定分析

近年来,集合稳定性问题得到广泛研究.研究一类非线性不连续系统在Filippov解意义下的W-渐近稳定问题.首先,给出这类系统W-稳定相关定义.其次,建立了此类系统实现W-渐近稳定的Lyapunov定理.最后,研究了该系统的静态量化反馈镇定问题,即使用静态量化器实现系统W-渐近稳定.     

时滞广义时变系统的容许性分析与镇定

研究了时滞广义时变系统的容许性与镇定性问题.首先,基于广义Lyapunov不等式、线性矩阵不等式和受限等价方法,建立时滞广义时变系统的Lyapunov不等式,将时滞广义时变系统的容许性问题转化为求解时滞广义时变系统的Lyapunov不等式问题,得到了系统容许的充分条件.然后,根据充分条件进一步研究了时滞广义时变系统的镇定问题,给出了状态反馈镇定器的设计方法.最后,通过数值算例验证了所得结论的有效性.     

平面多项式系统及其相伴系统

引进平面多项式系统的相伴系统的概念 ,分析了多项式系统与其相伴系统之间在极限环不存在性 ,唯一性 ,中心焦点的判定等问题上的相似之处和不同之处 ,提出了几个公开问题 .     

求解陀螺系统特征值问题的收缩二阶Lanczos方法

本文研究陀螺系统特征值问题的数值解法,利用反对称矩阵Lanczos算法,提出了求解陀螺系统特征值问题的二阶Lanczos方法.基于提出的陀螺系统特征值问题的非等价低秩收缩技术,给出了计算陀螺系统极端特征值的收缩二阶Lanczos方法.数值结果说明了算法的有效性.     

一类随机系统的有限时间镇定

讨论随机系统的有限时间镇定问题.首先提出了随机系统有限时间稳定的概念;其次证明了随机系统有限时间稳定的Lyapunov定理;然后,讨论了一类随机系统的镇定问题.     

非线性齐次时滞系统H_∞控制

讨论了非线性齐次时滞系统的H∞控制问题.首先给出了非线性仿射齐次时滞系统的Lyapunov泛函V(x)具体形式,选取适当的λ* ,使得当λ>λ*时系统的Hamilton-Jacobi-Isaacs不等式有解,从而解决了系统的L2 增益问题.文章最后构造了具体状态反馈控制律u(x) ,使时滞Lyapunov泛函V(x)沿闭环系统轨线导数小于零,保证了系统的渐进稳定性,因而解决了系统的H∞控制问题.     

一类五次多项式系统原点等时中心的分析

研究了一类五次系统原点复等时中心的问题.先通过一种最新算法求出了这类五次系统原点的周期常数,从而得到复等时中心的必要条件,并利用一些有效途径证明它们的充分性.这实际上解决了这类五次系统的伴随系统原点等时中心问题与其自身为实系统时鞍点可线性化的问题.     

信用传染违约Aalen加性风险模型

本文考虑了基于加性风险模型的信用风险违约预报模型,不但考虑了宏观因素和公司个体因素,并且通过引入行业因素来刻画公司间可能存在的不同于宏观因素的信用传染效应,由此克服了以往模型对违约相关性的低估.本文在参数加性风险模型下给出极大似然估计及渐近性,提出两种估计方法并比较二者表现,得到最优权估计更加有效.同时本文还考虑了半参数的风险模型,并基于鞅的估计方程得到其估计及渐近性,均得到不错的结果.     

Optimal control of nonlinear evolution inclusions

In this paper, we study the optimal control of nonlinear evolution inclusions. First, we prove the existence of admissible trajectories and then we show that the set that they form is relatively sequentially compact and in certain cases sequentially compact in an appropriate function space. Then, with the help of a convexity hypothesis and using Cesari's approach, we solve a general Lagrange optimal control problem. After that, we drop the convexity hypothesis and pass to the relaxed system, for which we prove the existence of optimal controls, we show that it has a value equal to that of the original one, and also we prove that the original trajectories are dense in an appropriate topology to the relaxed ones. Finally, we present an example of a nonlinear parabolic optimal control that illustrates the applicability of our results.This research was supported by NSF Grant No. DMS-88-02688.     

Estimation of error variance in ANOVA model and order restricted scale parameters

We consider the estimation of error variance in the analysis of experiments using two level orthogonal arrays. We address the estimator which is the minimum of all the estimators which we obtain by pooling some sums of squares for factorial effects. Under squared error loss, we discuss whether or not this estimator uniformly improves upon the best positive multiple of error sum of squares. We show that when we have two factorial effects, we obtain uniform improvement. However, we show that when we have more than two factorial effects, we cannot necessarily obtain uniform improvement. Further, the above results are applied to the problem of estimating the smallest scale parameter of chi-square distributions.     

Nonlinear elliptic differential equations with multivalued nonlinearities

In this paper we study nonlinear elliptic boundary value problems with monotone and nonmonotone multivalued nonlinearities. First we consider the case of monotone nonlinearities. In the first result we assume that the multivalued nonlinearity is defined on all ℝ. Assuming the existence of an upper and of a lower solution, we prove the existence of a solution between them. Also for a special version of the problem, we prove the existence of extremal solutions in the order interval formed by the upper and lower solutions. Then we drop the requirement that the monotone nonlinearity is defined on all of ℝ. This case is important because it covers variational inequalities. Using the theory of operators of monotone type we show that the problem has a solution. Finally in the last part we consider an eigenvalue problem with a nonmonotone multivalued nonlinearity. Using the critical point theory for nonsmooth locally Lipschitz functionals we prove the existence of at least two nontrivial solutions (multiplicity theorem).     

Exploring an unknown graph

We wish to explore all edges of an unknown directed, strongly connected graph. At each point, we have a map of all nodes and edges we have visited, we can recognize these nodes and edges if we see them again, and we know how many unexplored edges emanate from each node we have visited, but we cannot tell where each leads until we traverse it. We wish to minimize the ratio of the total number of edges traversed divided by the optimum number of traversals, had we known the graph. For Eulerian graphs, this ratio cannot be better than two, and two is achievable by a simple algorithm. In contrast, the ratio is unbounded when the deficiency of the graph (the number of edges that have to be added to make it Eulerian) is unbounded. Our main result is an algorithm that achieves a bounded ratio when the deficiency is bounded. © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 265–297, 1999     

基于跳扩散过程的可转换债券的定价

本文标的股票的方程采用跳扩散方程,首先规定一个跳跃的涨跌区间,这样就可以很快的找出跳跃点,我们根据跳跃点将股价聚类,然后把各个类看成是总体中抽取出来的一个样本,我们就可以估计出跳扩散方程中的所有参数.由于我们的标的股票的方程是含跳过程,因此无法找出完全保值的自融资策略,但我们可以根据风险最小化的原理给出可转换债券的价格,最后运用Monte Carlo模拟计算出了南京水运转债在0时刻的价格。     

Hereditary atomicity in integral domains

If every subring of an integral domain is atomic, we say that the latter is hereditarily atomic. In this paper, we study hereditarily atomic domains. First, we characterize when certain direct limits of Dedekind domains are Dedekind domains in terms of atomic overrings. Then we use this characterization to determine the fields that are hereditarily atomic. On the other hand, we investigate hereditary atomicity in the context of rings of polynomials and rings of Laurent polynomials, characterizing the fields and rings whose rings of polynomials and rings of Laurent polynomials, respectively, are hereditarily atomic. As a result, we obtain two classes of hereditarily atomic domains that cannot be embedded into any hereditarily atomic field. By contrast, we show that rings of power series are never hereditarily atomic. Finally, we make some progress on the still open question of whether every subring of a hereditarily atomic domain satisfies ACCP.     

Forecasting the integration of immigrants

In this research, we develop and introduce a theoretical and mathematical forecasting framework of immigrant integration using immigrant density as a single driver. First, we introduce the integration concepts we aim at forecasting. Thereafter, we introduce a theoretical and mathematical model of the relationship between integration and immigrant density. Based on this model, we develop a methodological forecasting framework. We test the framework using immigrant integration data from Spain. We produce the forecasts, and conduct the proper evaluation of them. Finally, we conclude with a brief discussion of the wider implications of our results.     

On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

Asymptotic behaviour of a closed‐loop thermosyphon with linear friction and viscoelastic binary fluid

Viscoelastic fluids represent a major challenge both from an engineering and from a mathematical point of view. Recently, we have shown that viscoelasticity induces chaos in closed‐loop thermosyphons even when we consider binary fluids, this is, when we consider a solute in the fluid, as water and antifreezes, for example. In this work, we consider a linear friction law, and we show that in this case with the addition of a solute to the fluid we can prove, under some conditions, chaotic asymptotic behavior for suitable geometry of the circuit and heat flux or ambient temperature functions.