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

杨克虎¹，袁如意²，项勇³，郁文生⁴

1. 中国矿业大学(北京)机电与信息工程学院2. 中国科学院自动化研究所综合信息中心3. 澳大利亚迪肯大学工程学院4. 华东师范大学上海高可信计算重点实验室

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

关键词：特定消谐;半代数系统;脉宽调制;逆变器;