一类积分不等式的机器判定

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.     

浸入与不变方法原理及其在非线性自适应控制中的应用

非线性系统理论的实际工程需求和复杂性使其成为控制学科中最具吸引力和挑战性的研究领域,为此介绍了一种新的非线性控制律设计方法——浸入与不变（I&I）理论.该方法首先选择一个比被控系统维数低的（局部）渐近稳定的目标系统,然后设计浸入映射和控制律,使得原系统在控制律作用下的动态轨迹都是目标系统在浸入映射下的像,并且该控制律能够保持目标系统的像为不变吸引流形,且使闭环轨迹有界.针对未知点质量模型,设计了一种新的非线性浸入与不变自适应控制律,实现了对参考指令的精确跟踪.将其与基于确定等价原则的自适应控制律相比较,仿真结果表明,所设计的浸入与不变控制律能够更好地处理带有未知参数的系统.     

特定消谐脉宽调制开关角度的实解个数

为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等式约束的多项式方程组,提出了一种基于半代数系统机器证明算法的实解分类方法.给出了N=3时的单相和三相逆变器以及N=4时的单相逆变器开关角度实解个数的完全分类,同时首次得到了分类边界点的解析解.理论推导和实验仿真结果表明:该方法能够从理论上给出调制比和实解个数之间的变化关系,对于开关角度的求解以及提高逆变器的消谐效果具有重要的指导意义.     

基于一型规则自主构建二型TSK神经模糊系统方法设计

本文提出了一种使用一型模糊规则生成区间二型TSK(Takagi-Sugeno-Kang)神经模糊系统的新方法. 该方 法以训练数据集与使用自组织方法由该训练集训练生成的一型模糊系统为驱动,通过新型模糊系统前件类型转换 算法与规则参数自适应学习算法的训练,在不高于原一型系统模糊集合总数前提下,自主构建区间二型TSK神经模 糊系统.此外, 针对两种典型的多输入单输出和多输入多输出系统, 在3种不同强度的系统扰动场景下进行了对比仿 真实验. 实验结果表明, 在含有不同扰动状态系统的建模与辨识中本方法较于对比方法具有更加优异的性能.     

求解特定消谐逆变器开关角度的完备算法

数值算法和智能算法在求解特定消谐方程组时存在诸多局限,例如初值选取困难,只能得到局部最优解等。针对此问题,提出一种基于groebner基的完备算法。首先将消谐方程组转化为多项式方程组,再通过计算此多项式方程组在纯字典序下的约化groebner基将其化为三角列,最后通过逐次的代入求解并结合约束条件完成对消谐方程组的求解。此方法的优点是无需给定初值且能够求出方程组的所有解,进而得到全局最优解,对于开关点数小于9的单相逆变器和开关点数小于6的三相逆变器都能快速有效求解。仿真结果验证了该方法所求开关角度的有效性。