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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.     

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     

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.     

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.     

The value of foresight

Suppose you have one unit of stock, currently worth 1, which you must sell before time $T$. The Optional Sampling Theorem tells us that whatever stopping time we choose to sell, the expected discounted value we get when we sell will be 1. Suppose however that we are able to see $a$ units of time into the future, and base our stopping rule on that; we should be able to do better than expected value 1. But how much better can we do? And how would we exploit the additional information? The optimal solution to this problem will never be found, but in this paper we establish remarkably close bounds on the value of the problem, and we derive a fairly simple exercise rule that manages to extract most of the value of foresight.     

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).     

Classification of quintic eutactic forms

From the classical Voronoi algorithm, we derive an algorithm to classify quadratic positive definite forms by their minimal vectors; we define some new invariants for a class, for which several conjectures are proposed. Applying the algorithm to dimension 5 we obtain the table of the 136 classes in this dimension, we enumerate the 118 eutactic quintic forms, and we verify the Ash formula.

     

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

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

A conjecture on bipartite graphical regular representations

In this paper we are concerned with the classification of the finite groups admitting a bipartite DRR and a bipartite GRR.First, we find a natural obstruction that prevents a finite group from admitting a bipartite GRR. Then we give a complete classification of the finite groups satisfying this natural obstruction and hence not admitting a bipartite GRR. Based on these results and on some extensive computer computations, we state a conjecture aiming to give a complete classification of the finite groups admitting a bipartite GRR.Next, we prove the existence of bipartite DRRs for most of the finite groups not admitting a bipartite GRR found in this paper. Actually, we prove a much stronger result: we give an asymptotic enumeration of the bipartite DRRs over these groups. Again, based on these results and on some extensive computer computations, we state a conjecture aiming to give a complete classification of the finite groups admitting a bipartite DRR.     

基于卫星观测数据的预测模型及其应用

在战争中为了避开敌方军事卫星的侦查,需要对其过顶时间进行预警.对于参数公开的卫星,可以通过根数来进行准确的预报.而对于参数未知的卫星,提出了一种根据过往观测数据来对卫星过顶时间进行预测的思路:将卫星与地球之间复杂的三维耦合运动进行降维,并且以地面为参考系,发现卫星星下点运动轨迹具有高度的周期性·根据这种思路,可以通过获取的过往观测数据来对卫星未来的过顶时间进行准确预测.而对于战时地面运动单位躲避卫星的问题,可以根据所面对的不同侦查卫星通过设置一个固定的路线,让地面单位在该路线中有计划的行驶,能够躲避多种卫星的侦查.