具有几种失效状态冗余系统的非负解的存在唯一性

给出了两个相同单元的冗余系统解的情况分析.在此冗余系统中,每一单元可以有n种相互不同的失效状态.此系统也能因为几种其他原因引起失效.失效系统的修复时间是任意分布的.通过初等方法,证明了此冗余系统非负解的存在唯一性.     

具有软硬件可修复计算机系统解的性质分析

研究的可修复计算机系统是由硬件和软件构成的,在假设硬件和软件修复如新的前提下,运用纯分析的方法,给出了由硬件和软件组成的计算机可修复串联系统动态非负强解的存在唯一性的证明。     

具有软硬件可修复计算机系统的解的单调稳定性分析

在假定可修复计算机系统的故障修复率为常数和系统的失效率相等的前提下,运用数学分析的方法以及微分方程中常系数线性微分方程组的特征线法给出可修复计算机系统模型非负解的解析表达式,利用修复系统模型解的解析表达式给出了该修复系统模型稳态解的具体表达式,最后运用数学分析的方法给出了由硬件和软件组成的计算机可修复串联系统非负解的单调稳定性的证明。     

一类具有备用部件的可修人机系统解的适定性

用强连续算子半群理论证明了一类具有备用部件可修人机系统解的存在唯一性和非负性．     

基于冗余控制理论的壁面机器人真空系统的安全性

壁面爬行机器人必须具备吸附和移动功能,吸附系统的安全性是决定整机性能的关键指标．将冗余控制理论应用于负压式壁面爬行机器人的真空吸附系统中,分析了冗余理论应用于真空吸附系统的可行性并建模,提出了提高其安全性的有效措施——双真空泵冗余系统．从理论上证明了该冗余系统可以使壁面机器人的平均无故障工作时间至少延长1倍．通过实际的实验数据分析得出,该系统具有实用性和可调性,并且双泵切换具有快速性和稳定性．     

一类向量形式的积分—偏微分方程组的正则广义解

本文从具有双向流动的城乡人口系统的数学模型出发,讨论了一类向量形式的积分偏微分方程组,证明了该方程组的正则广义解的存在性。本文结果可为人口的预测提供数学方法。     

平面三自由度并联冗余机器人的位置与工作空间分析

提出一种新的平面三自由度并联冗余机器人位置分析方法 ,运用这种方法进行了位置正解和位置反解分析 .对于位置正解 ,其中方程的解最多为 4 ,说明这种平面并联机构可以有 4种不同的位姿 .对于位置反解 ,可以有 16组解 .然后 ,又对平面三自由度并联冗余机器人的工作空间进行了讨论 .最后用数值实例进行了验证 ,给出了计算结果 .     

非线性超前微分—积分方程的振动性

讨论了一类非线性超前微分—积分方程的振动性，给出了该方程所有解振动的充分条件。     

二阶脉冲微分方程组四点边值问题非负解的存在性

运用Leggett-Williams不动点定理,研究了二阶脉冲微分方程组四点边值问题非负解的存在性,得到了边值问题3个非负解存在的充分条件.     

两部件并联可修系统解的存在惟一性

用纯分析的方法证明了两部件并联可修系统动态非负解的存在惟一性。     

具有常规原因和人为错误的两个不同部件并联系统解的半离散化

讨论了一个由于常规原因和人为错误引起故障的两不同部件并行系统的模型,修复后的故障系统恢复正常。在假设修复率非常数的前提下,运用半群理论证明了系统解的存在唯一性,最后对修复率用初等阶梯函数逼近给出了系统半离散化模型,为进一步数值计算奠定了理论基础。     

一类非线性扩散方程解的估计及非负解的存在性

本文研究了一类非线性扩散方程,给出了解的估计,并证明了非负解的存在唯一性。本文的这类方程比文献[1]中出现的方程更为一般化,并且得出了相同的结果,因而推广了其应用范围。     

非线性分数阶微分方程组奇异对偶系统正解存在性证明

分别应用锥上Leray-Schauder非线性抉择定理和Krasnoselskiis不动点定理,证明了非线性分数阶微分方程奇异对偶系统正解的存在性.     

一类一阶变系数高次微分方程的通解

通过对一类微分方程通解的讨论,提出了独立通解的概念,得到了一阶变系数高次齐次微分方程的独立通解的个数,给出了其通解表达式,并计算了一阶变系数高次非齐次微分方程右端为特殊结构时的一个特解．     

一类积分微分方程周期解的全局渐近稳定性

利用Lyapunov泛函方法讨论一类积分微分方程x^.(t)＝gradG(x(t)) f(t,∫-r0H（s)x(t s)ds)的周期解的全局渐近稳定性，得到其简便的判别方法。     

一类三次系统的定性研究

本文探讨一类三次系统的全局结构，用一个三阶“鞍结阵”来表示．导出９个元素的型号公式，探讨了“鞍结阵”的可实现性．     

一类积分方程组解的存在性

某元有无原象等价于象集是否包含此元,等价于以此元为象的映射方程的解是否存在．若有两个映射,一个象集比另一个大,在一定条件下,可以确定此二映射之差包含一集合,则此集合的原象非空,且上述集合中的元为象的关于此二映射之差的映射方程的解存在．将上述想法运用到微分积分方程解的存在性问题中去,可以得到相应的结论,再将此结论用到Hammerstein型积分方程,Volterra型积分方程解的存在性问题中去,我们发现,我们的结论比起以往用半序理论,不动点指数理论,迭代逼近方法所得到的结论要好许多．