可化系统的渐近等价性

本文对于变系数的线性微分方程系统中的可化系统,讨论了渐近等价性。     

两个不定方程的素数解

本文利用二次同余方法,给出 Pell 方程解的素因子形式和方程有素数解的一个必要条件。并对一种特殊情况,给出 Hall 方程素数解的范围。     

抛物型方程广义解的弱最大值原理

本文考虑了一类拟线性抛物型方程,对广义解证明弱最大值原理成立。     

一类二阶非线性微分方程组零解全局稳定的充要条件

克拉索夫斯基曾研究了二阶微分方程组x=f_1(x)+ay y=bx+f_2(y)的零解全局渐近稳定的充分条件,本文利用定性方法和Dini导数研究必要条件,给出了零解全局稳定的充要条件。     

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

在移动自组网(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正解的唯一性.利用广义耦合不动点定理,本文得到了该边值问题正解的唯一性的充分条件,并在举例说明了定理的有效性.     

基于Matlab的Cramer法则求解线性方程组

对文献[1]中的两个源程序进行了改进,使运算的速度和效率得到了有效的改进.以求解线性方程组的Cramer法则法为基础,使用化为上三角形法求行列式,给出了算法流程图.在Matlab语言环境下编写了一个通用的求解函数.最后通过两个具体的案例进行了验证,证实了所编写的程序的正确性和稳定性.     

一类二阶常微分方程组的特解公式

采用待定系数法,给出了非齐次项为三角函数与指数函数乘积的三维二阶常系数线性微分方程组的特解公式,并通过算例验证了微分方程组的特解公式的正确性。     

关于广义Fermat猜想

利用初等方法证明了丢番图方程 x2 y4 =z5,x2 -y4 =z5(2 | y) ,x5 y5=z2 (2 | z) ,x4 ± y4 =z2 和 x10 ± y10 =z2 均没有适合 (x,y) =1的非零整数解 ,从而推进了广义 Fermat猜想的研究进展 .     

用于数值分析的分块求解法

本文提出了用于数值分析的分块求解方法,即利用计算机的硬盘存贮,对线性代数方程组的系数矩阵进行分块高斯消去求解,在计算机内存中最少只需开辟系数矩阵中两行元素的存贮空间,本方法的突出优点是,能大大节省计算机内存,可使计算机的解题能力提高数十倍,为求解大规模的题目提供了方便.文中还给出了相应的 FORTRAN 子程序框图,经实例计算表明,该分块求解法经济有效,简单实用.