【摘 要】
：
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性.首先,为Lyapunov函数预定一个给定次数的多项式模板,
【机 构】
：
温州大学数学与信息科学学院,华东师范大学上海市高可信计算重点实验室
论文部分内容阅读
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性.首先,为Lyapunov函数预定一个给定次数的多项式模板,则Lyapunov函数构造问题可转化为相应的带参数的多项式优化问题,然后运用平方和松弛方法求得一个近似的数值多项式Lyapunov函数,再应用高斯-牛顿精化和有理向量恢复将数值多项式转化为验证的有理多项式Lyapunov函数.
其他文献
研究了金属离子Y3+-二乙撑三胺体系催化双(对硝基苯酚)磷酸酯(BNPP)水解的作用机理.考察了不同催化反应条件对催化效率和体系稳定性的影响.结果表明,在pH 7.8～9.3,温度25～50℃
在李代数动力学群得到Hamiltonian的基础上,通过求解正则运动方程,对固定键角近似下臭氧分子体系相空间的庞加莱截面、KAM环面以及振动体系的能量属性进行了研究,获得了有关
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要，根据经典的双标号转换系统，提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。
在相关系概念的基础上,建立了相关系的子相关系,并进行了初步探究,得到了子相关系的若干性质.
在偏序集中引入嵌入Z-基并根据嵌入Z-基建立Z-连续偏序集的表示定理。同时，我们将讨论抽象Z-基的Z-理想完备是Z-代数偏序集的条件。最后，我们深入探讨嵌入Z-基、Z-连续扩张
采用高效液相色谱/串联质谱(LC/MS/MS)法同时测定饲料中4种硝基呋喃类代谢产物3-氨基-2-恶唑酮(AOZ)、5-马啉代甲基-3-氨基-2-恶唑酮(AMOZ)、氨基脲(SEM)和1-氨基-乙内酰胺(A
采用密度泛函理论(density functional theory)和Gaussian03程序包研究AIN MOCVD (metal organic chemical vapor deposition)的生长模式,得到与实验观察相一致的计算结果,给
环介导等温扩增(LAMP)技术近年来被广泛应用于病原生物的检测.为了解决LAMP反应试剂混合物在室温条件下的储运问题,本研究对添加5％、10％和15％海藻糖(质量/体积,g/ml)的LAMP反应
质谱成像技术无需任何样品预处理,即可获取待测样品的分子信息和分布情况。本文采用表面解吸常压化学电离质谱(SDAPCI-MS)技术对手写签名样品进行检测,通过对所得的质谱特征峰信号进行成像处理,获取书写油墨分布的强度信息。实验结果表明真实签名和伪造签名因为笔压轻重不同而油墨分布位置不同,据此能够区分签名的真伪。应用相似度算法对手写签名的特征成像数据进行分析,在样品量较少的情况下,能够客观的比较真迹之
目的研究野艾蒿的化学成分。方法采用色谱方法进行分离、纯化,通过波谱技术对化合物进行结构鉴定。结果从野艾蒿中分离得到11个黄酮类化合物,其结构鉴定分别为山柰酚(kaempfe