简介:应用线性算子的积分群理论证明M/M^B/1排队模型的时间依赖解的存在唯一性,其次推出M/M/1排队模型的时间依赖解的存在唯一性。
简介:考虑一类定义在闭凸集上的非线性半变分不等式问题,通过运用闭凸集上的临界点理论、Clarke次微分性质以及非光滑紧性条件等,得到了这类半变分不等式解的存在性.
简介:本文用临界点理论中的能量最小原理得到了一类具(q(t),P(t))-Laplacian项的二阶非自治系统存在周期解的充分条件.
简介:通过构建数据科技乌托邦,对火星移民计划的可持续性问题进行探讨。首先,对比火星与地球的异同点,根据移民的生存目标分析火星乌托邦的社会构成,并制定火星移民的选拔标准;其次,对火星乌托邦的人口分布情况运用Leslie人口模型进行动态演化,并基于人口的演化结果分析收入、教育、平等问题;采用生产法确定火星的经济生产总值,并建立双对数线性模型求解四大产业不同学历劳动者的工资增长函数;通过对火星教师数量与教育产出水平指标的评估,借鉴柯布-道格拉斯生产函数分析教育的投入与产出情况,综合考察火星教育的发展状况;再从人格尊严、经济产出、学历教育角度,引用基尼系数全面地评价火星乌托邦的平等问题,以验证火星移民计划的可行性与可持续性。
简介:利用上下解方法及Schauder不动点定理,证明了二阶非线性微分方程组三点边值问题:{y"=f(t,y,z,y',z')z"=g(t,y,z,y',z')y(-1)=A,y(1)=B,z(0)=C0,z'(0)=C1,解的存在性,并由此得到四阶非线性微分方程三点边值问题解的存在性,一定程度上推广了前人的一些结果.作为文章结果的应用,讨论了奇摄动四阶半线性三点边值问题,得到该问题解的存在性及解的渐近估计.
简介:应用LeraySchauder不动点定理,研究了一类具时滞的Rayleigh型泛函微分方程:x″(t)+f(x′(t))+g(x(t-τ(t)))=e(t)的反周期解问题,得到了反周期解存在的新的结果。
简介:在一致光滑Banach空间中,证明了广义Lipschitzφ-增生算子的带误差项的Ishikawa迭代序列强收敛于方程Tx=f的解,其结果改进和扩展了近期许多相关结果.并由此得出了Ishikawa迭代序列稳定性的一些结果.
简介:研究了以剩余寿命作为增补变量的M/G/1/K排队模型.利用泛函分析中线性算子半群的积分半群理论讨论了该模型的瞬态解的存在唯一性问题.