具有软硬件可修复计算机系统解的半离散化

为了解决利用数值计算研究具有软硬件可修复计算机串联系统模型的问题,利用半离散化逼近方法将一个抛物型偏微分方程化为矩阵常微分方程,且后者在许多问题上可以作为原问题的近似.将半离散算法应用到具有软硬件可修复计算机系统模型中,对系统中的修复率进行离散,得到了该系统的半离散化模型,运用泛函分析理论证明了半离散算法的收敛性,结果表明:离散后方程的解收敛于原方程的解,从而为该模型进一步的数值计算提供了理论基础.     

半离散正弦-戈登方程的延拓结构(英文)

在非交换微分学的基础上,给出了半离散演化方程的研拓结构理论,并利用这一理论讨论了非线性薛定谔方程的一个离散模型(Ablowitz-Ladik方程).在本文中,讨论了正弦-戈登方程的一个半离散模型,并得到了它的拉克斯对.     

半连续半离散模型在矿山设计中的应用

矿山设计中通常会建立块体模型或三维体模型,并通过模型来进行不规则体的体积计算．实际应用中发现两种模型有各自的不足,块体模型存在计算误差即离散精度问题,三维体模型存在计算耗时多及不稳定问题．本文提出了一个半连续半离散模型,给出了该模型算法及具体应用实例．实践证明,半连续半离散模型具有计算速度快、误差小和计算稳定等优点,是矿山设计中一种非常有效的计算模型．     

一类生物种群模型及其稳定性

本文讨论一类种群发展方程，建立了年龄依赖种群系统的连续模型、半离散模型和离散化模型，并简要讨论了它们的稳定性。     

具有两种修复方法的可修复系统解研究

将半离散算法应用到具有两种修复方法的可修复系统模型中,在[0,x_0]上对其修复率进行离散,得到了该系统的半离散化模型.进一步利用泛函分析中算子半群理论将半离散后的偏微分方程转化为抽象Cauchy问题,即转化为矩阵常微分方程组;再根据Trotter逼近定理证明了矩阵常微分方程组的解收敛于原方程的解.最后在故障率和修复率均为常数的前提下,利用Matlab对该系统的稳定性和可靠性等进行了数值试验并得到了该模型的数值解,同时给出了相应的图形趋势.结果表明,对具有两种修复方法的可修复系统模型进行半离散化研究,既可以为利用计算机进一步进行数值计算打下理论基础,又有助于研究和分析系统的可靠性.     

一类非线性种群发展系统的半离散模型

本文建立了一类非线性种群年龄结构的半离散模型,并讨论了半离散系统解的存在唯一性.     

投资动力系统的一个非线性半离散模型

建立了投资动力系统的一个非线性半离散模型,并讨论了半离散系统解的存在唯一性,给出了线性半离散系统稳定的一些充分条件.     

人口模型的谱方法

研究了人口模型的周期初、边值问题,讨论了方程的谱方法,构造了半离散与全离散格式,并证明了格式的收敛性与稳定性．     

一类可修复计算机系统的数值计算

研究了一类可修复计算机系统模型.通过选取系统故障修复率作为离散对象,得到了系统的半离散化模型.在假设故障率和修复率均为常数的前提下,利用数值计算的方法得到了系统模型的数值解.     

一类非线性种群发展系统的半离散模型

本文建立了一类非线性种群年龄结构的半离散模型，并讨论了半离散系统解的存在唯一性。