关于(dy)/(dx)=(λx~5+sum from 1 to 5a_iy~ix~(n-i))/(-y~5+sum from 0 to 4b_iy~ix~(n-i))的积分曲线

记所论微分方程为(E_λ)_5,本文继续文[1]的研究,求出(E_λ)_5的全部51种“基本型阵”,并证明相应的“实现定理”。最后,指出(E_λ)_6的基本型阵总共有281种。     

四元数方程AXB+CYD=E通解中复矩阵分量极秩

借助四元数矩阵的复表示方式Φ(·),将四元数体上的线性矩阵方程AXB+CYD=E转换为复数域上的等价复矩阵方程Φ(A)XΦ(B)+Φ(C)Y~Φ(D)=Φ(E).同时,利用该复矩阵方程的通解和分块矩阵的极秩性质,求出原四元数矩阵方程通解中复矩阵分量集{X_0}、{X_1}、{Y_0}和{Y_1}的最大秩、最小秩公式.作为这些极秩公式的应用,推导出了该四元数矩阵方程通解中包含复矩阵解或全为复矩阵解的充要条件.     

基于脉冲微分方程的移动自组网病毒传播免疫模型

在移动自组网(MANETs)领域,节点的移动特性导致网络拓扑结构动态变化,安全补丁无法在网络中快速传播,从而没有对移动自组网脉冲免疫下的病毒传播进行研究.对此考虑到MANETs脉冲免疫的现实可行性,建立MANETs病毒传播脉冲免疫模型.基于脉冲微分方程(Impulsive Differential Equations,IDE)稳定性理论分析脉冲免疫下的MANETs的病毒传播行为和病毒是否消亡的感染临界特性,并对该系统的无病(Disease-free,DF)周期解的存在性、稳定性以及地方病(Endemic,ED)的持续存在性加以分析.并选取相应的参数,对系统进行数值仿真,实验结果验证了所得结论的正确性与一致性.     

含积分边值条件的分数阶微分方程耦合系统正解的唯一性

本文研究了一类含积分边值条件的非线性分数阶微分方程耦合系统{~cD~αu(t)+f(t,u(t),v(t))=0,~cD~αv(t)+f(t,u(βt),v(βt))=0,u(0)=u′(0)=…=u~(n-2)(0)=u~(n)(0)=0,u(1)=λ∫01u(s)ds,v(0)=v′(0)=…=v~(n-2)(0)=v~(n)(0)=0,v(1)=λ∫01v(s)ds正解的唯一性.利用广义耦合不动点定理,本文得到了该边值问题正解的唯一性的充分条件,并在举例说明了定理的有效性.     

超线性扰动下的差分方程S渐进ω周期解

该文给出了S渐进ω周期函数的一个等价定义,并且研究了一类在超线性扰动下的差分方程的S渐进ω周期解的存在性.最后,通过举例来说明定理的3个条件是可以实现的.     

半线性拟抛物方程古典解的Blow-up问题

研究了半线性拟抛物方程的初边值问题ut-△ut =f(u) x ∈Ω,t ＞0 (1.1)u(x,0) = u0(x), x ∈Ω (1.2)u|(δ)Ω =0,t≥0 (1.3)古典解的blow-up性.讨论了正解的存在性.研究了(1.1)～(1.3)的古典解u(x,t)的blow-up性,即存在T0≤(1 λ0)∫∞αg-1(x)ds使得limt→T-0‖u‖p=∞对1≤p≤∞.     

无穷时滞中立型Volterra积分微分方程的周期解

利用矩阵测度和指数型二分性理论,根据所讨论的方程类型构造算子T,再应用Schauder不动点定理讨论了具有无穷时滞的中立型Volterra积分微分方程ddt(x(t)-∫-t∞B(t,s)x(s)ds)=A(t)x(t) ∫-t∞C(t,s)x(s)ds f(t,xt)周期解的存在性、唯一性及一致稳定性.所得到的结果相对于以前的结果,有所推广和创新.     

双线性等参元对称有限体格式在二维三温辐射热传导问题的应用

首先给出了二维三温辐射热传导问题的数学模型和有关数据,在四边形网格下,利用牛顿方法线性化,双线性等参元对称有限体格式离散,从而获得了与实际物理现象相符的数值结果,也验证了该格式的有效性.     

线性随机微分延迟方程复合Euler方法的均方收敛性

定义了复合Euler方法,把其应用到线性随机微分延迟方程上.详细地研究了复合Euler方法的均方收敛性,证明其收敛阶是强0.5阶,并给出数值试验.     

粒关系演算：关系计算与数据的桥梁

粒计算及其理论,尤其是模糊集,为处理概念实体信息粒提供了全面的概念框架和处理机制,但现有的信息粒处理机制不能充分利用实验数据的特征。基于粒计算推导出的理论来增强关系计算和模糊关系计算的基本结构。认为可以通过结合现有数据所控制的描述性组件来增强关系演算领域中的规范性结构。实验表明,合理粒度原则有助于增强现有结果,并将实验结果以信息粒的形式进行了展示。