连续型对称奇异线性控制系统的解

基于广义系统解的理论,通过矩阵的变换和矩阵的性质,讨论了连续型对称奇异线性控制系统的解的形式,并给出相关证明。     

一类非线性广义系统的观测器设计

文章讨论了一类广义非线性系统状态观测器的设计方法,并利用广义Lyapunov方程给出相应的增益矩阵L所应满足的条件,最后利用相应的Riccati方程给出增益矩阵L的一种具体形式。     

时滞广义系统的边值问题

文章通过利用Schauder不动点定理讨论了一类时滞广义系统的边值问题解的存在性,获得了保证该类时滞广义系统的边值问题解的存在的充分性条件,推广和改进了以前的一些结果,所用的方法也可以用于其它类似问题的讨论。     

一类分数阶捕食模型的稳定性

主要研究了一类分数阶Volterra-Lotka捕食模型的渐近稳定性,通过Krasovskii方法构造出Lyapunov函数,证明了捕食模型在一定条件下的渐近稳定性.该方法不需要求解方程,克服了求解方程的复杂与困难,取得了良好的效果.     

一类非线性分数阶边值问题正解的存在性

研究了一类Caputo分数阶导数微分系统的边值问题解的存在性问题。先考察辅助系统的解的情况构造出Green函数,进而研究Green函数的性质来构造出紧算子。在较弱的条件下,通过运用锥不动点定理,可以得到该问题正解的存在性,并给出解的范围。     

时滞Liénard方程解的有界性

研究时滞Li啨nard方程¨x+f1(x)·x+f2(x(t-τ))·x(t-τ)+g(x(t-τ))=e(t)的解的有界性,其中f1,f2均连续可微,g(t)可微,e(t)为连续函数,当f2=0时,上方程就化为文献[9]中研究的方程¨x+f(x)·x+g(x(t-τ))=e(t).结果推广了文献[9]中的结论.     

一般退化时滞微分方程的解

对于退化时滞微分方程,其退化矩阵E为方阵的情形已经有文献讨论,但是对于E不为方阵的一般情形,现有的文献尚未多见.本文首先用{1} -逆的结构给出了一般退化时滞微分方程的正常化条件,然后就可以正常化的一般线性退化滞后微分方程,给出其解的一般表达式.     

针对不可展曲面的近似展开方法浅析

随着市场发展和人们生活质量的提升,现代工业产品造型越来越复杂多样。复杂曲面大多通过平面材料加工而成,对不可展曲面的近似展开已成为工业设计的重要课题。该文对近20年来常用的不可展曲面的近似展开方法进行了分析、总结和归纳。