四阶边值问题的正解

利用变分方法和四阶方程的极值原理研究一类四阶边界值问题,得到了四阶边值问题正解的存在性     

一种基于类四叉树的位置K-匿名算法

通过对Casper模型在匿名度和位置服务精准度方面优化,提出了一种基于类四叉树的位置K-匿名算法. 该算法采用自底向上的机制,在扩大扫描区域时,对请求用户所在网格的周边网格进行优先扫描,然后再进行层级和空间分辨率上的提高. 实验结果表明,该算法能够更好地提高位置服务的质量和匿名区域的准确度.      

ON THE EXISTENCE AND UNIQUENESS OF PERIODIC SOLUTIONS OF VOLTERRA INTEGRAL DIFFERENTIAL EQUATIONS

In this paper,we use the contraction principle and the Leray-Schauder principleto deal with the existence of periodic solutions of the Volterra integral differential equation.Some new existence criteria and unique existence criteria are obtained.     

一类双调和方程环绕解的存在性

在Steklov边值条件下,讨论了一类双调和方程,当非线性项满足特定条件时,利用环绕定理,证明了该方程非平凡解的存在性.     

一类三阶非线性两点边值问题解的惟一性

利用微分不等式理论及上、下解方法等,在Nagumo条件下给出了一类三阶非线性微分方程具有非线性边界条件的两点边值问题解的惟一性结果.     

一类二维时滞差分系统正周期解的存在性

应用锥上的不动点定理,研究了一类二维的时滞差分系统正周期解的存在性,并得到了差分系统存在正周期解的条件.     

一类非线性微分方程的渐近概周期解的存在性

结合耗散型条件,讨论一类非线性微分方程渐近概周期解的存在性.     

广义Sylvester矩阵方程AX-XF=BY的显式解

给出了广义Sylvester矩阵方程AX-XF=BY当F为任意矩阵时的一种完全的解析通解.该通解由矩阵对(A,B)构成的能控性矩阵,一个对称算子矩阵和矩阵对(Z,F)构成的能观性矩阵组成,这里Z是一个任意的参数矩阵,用来表征该方程的解的自由度.利用著名的Levverrier算法,该解析解的一个等价形式被给出.给出的结果是参考文献[13]的推广,在[13]中F被假设为友矩阵.     

基于特征结构配置的输入饱和线性系统分散状态反馈控制——一种参数化方法

给出了基于特征结构配置的输入饱和线性系统分散状态反馈控制的一种参数化方法.基于Syl-vester矩阵方程的参数化解,建立了状态反馈控制矩阵和闭环特征向量矩阵的参数化形式.所提出的方法中包含了部分特征结构配置,这种参数化方法提供了所有的设计自由度.在控制系统设计中,可以利用这些自由度取得希望的系统性能.一个仿真例子显示了所给方法的有效性.     

第二类Volterra积分方程迭代配置解的渐近展开

讨论了第二类Ｖｏｌｔｅｒｒａ积分方程迭代配置法；证明了当使用分片ｐ—１次多项式进行配置时，迭代配置解可展开为步长ｈ的偶次幂，且首项为ｈ２Ｐ。利用这个渐近展式，可进行Ｒｉｃｈａｒｄｓｏｎ外推，提高逼近解的精度．