一类非线性系统分析的新方法——斜波脉冲函数的应用

利用斜波脉冲函数的线性化特性和简洁的运算规则,本文将一类非线性系统转化为双线性系统然后进行分析和求解。与泰勒展开等其它方法相比较,所提出的方法不仅近似精度高,且不受范围限制,对被近似的函数无可微分的要求。所推导的算法还具有连续递推的功能,很适合用计算机进行求解。     

带Poisson跳随机微分方程终值与边值问题的适应解

Poisson跳的拟线性倒向随机微分方程x(t) ∫tf(s,x(s),,x(s)) y(s)]dMs =ξ,t∈[0,1],这里M = (W,Q)T,其中W为Wiener过程,Q为补偿Poisson过程.利用区间延拓和 Bihari 不等式证明了在某种弱于Lipschitz条件下方程存在唯一适应解,并给出了解的估计,从而将文章[1]的结论推广到带 Poission 跳的情形.另外,本文还讨论了以下形式的边值问题:dx(t) = f(t,x(t),y(t))dt y(t)dMt,Ax(0) Bx(1) =ξ*,t∈[0,1],并证明了在Lipschitz条件下适应解的存在唯一性.     

随机单调条件下带Poisson跳的倒向随机微分方程解的存在唯一性

讨论了带跳的BSDE:Yt=ξ ∫Ttf(s,Ys,Zs)ds-∫TtZsdMs,0≤t≤T,其中驱动过程Mt=(Wt,Qt)T,Wt=(W1(t),W2(t),…,Wr(t))是一个r维的标准Winner过程,令Nt=(N1(t),N2(t),…,Nd-r(t))T是一族相互独立的Poisson过程,且W和N相互独立,λ=(λ1,λ2,…,λd-r)T为其参数,定义Qt=(Q1(t),Q2(t),…,Qd-r(t))T为一族补偿Poisson过程,其中Qi(t)=λ-(1)/(2)i[Ni(t)-λit],0≤t≤T,i=1,2,…,d-r.通过构造函数逼近序列的方法,证明了飘移系数f关于y满足随机单调,关于z满足随机Lipschitz条件下,上述方程适应解的存在唯一性问题,并对文[9]中常系数线性增长条件作了改进.     

由Levy过程驱动的倒向随机微分方程在随机单调条件下解的存在唯一性

本文讨论了如下的由Levy过程驱动的倒向随机微分方程适应解的存在唯一性■其中W_s是一Wiener过程,H_s为由Levy过程构成Teugels鞅.我们通过构造函数逼近序列的方法证明了,在漂移系数f关于Y满足随机单调,f关于Z和U满足随机Lipschitz条件下,方程存在唯一适应解.     

固定化酶管式热敏传感器的数学模型及其应用——发酵产物浓度的测定

利用微元段内的物料与热量平衡,对固定化酶管式热敏传慈器进行了考察,建立了用联立双曲型偏微分方程组描述的数学模型。该模型用于具体的发酵产物浓度测试,所得出的输入浓度与输出温差之间的关系具有Monod方程的形式,其度化趋势较好地反映了实测结果。     

随机单调条件下一般化倒向随机微分方程的适应解

本文讨论了如下一般化倒向随机微分方程适应解的存在唯-性问题,Yt=ξ+fTtf(s,Ys,Zs)ds-fTtg(s,Ys)dAs-fTtZsdWs,0≤t≤T,其中Ws为d-维标准Wiener过程,As为一维零初值的Fs-循序可测增过程.我们通过构造函数逼近序列的方法证明了,在系数函数f和g关于Y满足随机单调, f关于Z满足随机Lipschitz条件下,方程存在唯一适应解.     

随机微分方程特征值期望的上界估计

利用变分原理,从不同角度,讨论了随机微分方程特征问题特征值的性质,给出了其期望值的两个上界估计式。     

人口随机系统强解的存在唯一性

文章在更一般的条件下讨论一类与年龄相关的人口随机系统.在方程系数所满足的非Lipschitz条件还含有与时间相关系数的条件下,通过一系列逼近方程证明了系统的强解的存在唯一性.证明过程中主要应用了随机泛函方程的理论,Bihari不等式和Burkholder-Davis-Gundy's不等式.     

由Lévy过程驱动的倒向双重随机微分方程在推广Bihari条件下解的存在唯一性

本文讨论在金融中有重要应用价值的,由Lévy过程驱动的倒向双重随机微分方程:(公式略)在系数g满足Lipschitz条件,f满足推广的Bihari条件:|f(t,y1,u1,z1)-f(t,y2,u2,z2)|2≤c(t)κ(|y1-y2|2)+K(|u1-u2|2+||z1-z2||2)时,利用推广It(o)公式、Picard迭代法和区间延拓过程,证明了上述方程Fy适应解的存在唯-性,推广了其它文献以前的结论.     

非线性系统的模型修正与状态估计

以生物发酵模型为背景，考察了一般非线性系统的模型修正与状态估计问题，利用随机干扰下状态过程的高斯分布性质，由实测样本点构造似然函数，然后应用优化程序进行修正与估计。