Groebner基

摘要： 开关角度的实时求解是特定谐波消除技术应用于工程实际的难点所在。本文提出了一种适用于微控制器的两电平逆变器消谐方程组实时求解算法。该算法分为离线转化和在线求解两个阶段。离线转化阶段,使用对称多项式和Groebner基理论将消谐方程组等价转化为一元高阶方程和线性方程组,并将此线性方程组存入微控制器;在线求解阶段根据输入调制比,求出线性方程组的数值解,并以此为系数构造一元高阶方程,使用Sturm定理隔离出一元高阶方程各个实根所在的区间,进而对每个区间使用弦截法求出所包含的精确实根。与传统数值法相比,此算法在STM32F407中的计算效率提高20倍。基于本文所提出的实时求解算法搭建了两电平逆变器实验平台进行验证,实验结果证明了此算法的有效性。

摘要： 开关角度的实时求解是特定谐波消除技术应用于工程实际的难点所在.本文提出了一种适用于微控制器的两电平逆变器消谐方程组实时求解算法.该算法分为离线转化和在线求解两个阶段.离线转化阶段,使用对称多项式和Groebner基理论将消谐方程组等价转化为一元高阶方程和线性方程组,并将此线性方程组存入微控制器;在线求解阶段根据输入调制比,求出线性方程组的数值解,并以此为系数构造一元高阶方程,使用Sturm定理隔离出一元高阶方程各个实根所在的区间,进而对每个区间使用弦截法求出所包含的精确实根.与传统数值法相比,此算法在STM32 F407中的计算效率提高20倍.基于本文所提出的实时求解算法搭建了两电平逆变器实验平台进行验证,实验结果证明了此算法的有效性.

摘要： 针对数值算法和智能算法在求解阶梯波多电平变换器特定谐波消除问题时存在初值选取困难且只能求得部分解的问题,依据Groebner基和对称多项式理论的代数算法,将多元高次多项式方程组的求解转化为一元高次多项式方程和线性方程组的求解,给出了无需选取初值且能得出方程组的所有解的求解方法.与目前已有的其他代数算法(例如结式消元法、吴方法)相比,所能求解的开关点数大幅提升.给出了三相13电平阶梯波变换器在全调制比范围内开关角度的所有解,并通过实验对解的正确性进行了验证.%The numerical and intelligent algorithms require initial values to solve the selective harmonic elimination problem,and usually can only find partial solutions.In order to solve this problem,a complete algorithm which is based on the Groebner bases and the symmetric polynomial theory is proposed.The system of multiuariable polynomial equations of higher degree equations are converted to a univariate high order polynomial equation plus a group of linear equations,which simplifies the solving procedure dramatically.Comparing with the other existing complete algorithms such as the resultant elimination or the Wu-method,the maximum solvable number of switching angles is increased significantly.For the case of three-phase thirteen-level staircase converter,all the solutions in the full range of modulation index are given,and the experimental results verify the correctness of the solved solutions.

摘要： 给出了对称型CJO代数的一个Groebner基,从而利用C-D引理,得到了对称型CJO代数的一个线性基底.

摘要： 本文研究多开关模式下多电平变换器基频调制的优化问题.针对传统阶梯波调制只在部分调制比区间有解的局限,将阶梯波开关模式扩展为一般开关模式,利用Groebner基方法在全调制比范围内对各开关模式的消谐方程组进行求解,给出每种开关模式所能实现的调制比范围及开关角度的完全解;通过评价THD的大小,得到全调制比范围内的最优开关模式及相应的开关角度.实验结果验证了求解结果的正确性.

摘要： 运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.

摘要： 本文主要介绍一种求解多元非线性方程组的新的方法，即利用Groebner基求解线性方程组；并介绍如何利用计算机实现这一过程。

摘要： Beckmann交通平衡分配模型是研究交通分配问题的基础,然而目前该模型的求解主要依赖于F-W迭代算法和智能优化算法,无法求得精确解。为了寻找Beckmann交通平衡分配模型的精确解,本文借助Groebner基理论在求解多维多项式方程方面的优势,将Beckmann模型转化为多项式方程,通过引入新的变量和映射将一般多项式转化为单项式,给出了精确求解Beckmann交通平衡分配模型的方法。最后给出算例验证了该方法的有效性。

摘要： 提出了球面4杆机构5精确点轨迹综合代数消元方法.基于球面空间转移矩阵建立了该问题的设计方程,使用Groebner基和Sylvester结式(GS法)相结合的代数方法进行求解,最终获得一元高次方程及其全部封闭解析解.通过数值实例,并使用Solidworks软件对计算结果进行仿真,结果表明该方法的正确性.该方法为进一步采用代数法对其他类型球面机构轨迹综合问题的研究提供了参考.

摘要： 分析了XL算法的原理,提出了一种基于Groebner基的改进XL算法,论证了改进算法的合理性,并通过实际例子,比较了改进XL算法和原算法的计算复杂度差别。

摘要： 分析了XL算法的原理,提出了一种基于Groebner基的改进XL算法,论证了改进算法的合理性,并通过实际例子,比较了改进XL算法和原算法的计算复杂度差别。

摘要： 分析了XL算法的原理,提出了一种基于Groebner基的改进XL算法,论证了改进算法的合理性,并通过实际例子,比较了改进XL算法和原算法的计算复杂度差别。

摘要： 基于Groebner基法和计算机符号处理技术对球面三自由度并联机构的位置进行了符号求解.该法通过对变量排序、建立多项式对的集合、求SP多项式和约简等运算,将非线性方程组化简为等价的三角化方程组,得到了封闭形式的解析解.在此基础上,研究了机构几何参数对位置分析的影响规律.

摘要： 基于Groebner基法和计算机符号处理技术对球面三自由度并联机构的位置进行了符号求解.该法通过对变量排序、建立多项式对的集合、求SP多项式和约简等运算,将非线性方程组化简为等价的三角化方程组,得到了封闭形式的解析解.在此基础上,研究了机构几何参数对位置分析的影响规律.

摘要： 基于Groebner基法和计算机符号处理技术对球面三自由度并联机构的位置进行了符号求解.该法通过对变量排序、建立多项式对的集合、求SP多项式和约简等运算,将非线性方程组化简为等价的三角化方程组,得到了封闭形式的解析解.在此基础上,研究了机构几何参数对位置分析的影响规律.

摘要： 本文将面向多项式代数的GB法用于并联机器人位置正解问题的非线性多项式代数系的求解,通过系统“三解形”Groebner基的生成,获得了PPP-3S三腿并联机器人位置正解的解析表达式,从中既可以进行数值计算,又可以进行参数分析.

摘要： 本文将面向多项式代数的GB法用于并联机器人位置正解问题的非线性多项式代数系的求解,通过系统“三解形”Groebner基的生成,获得了PPP-3S三腿并联机器人位置正解的解析表达式,从中既可以进行数值计算,又可以进行参数分析.

摘要： 本文将面向多项式代数的GB法用于并联机器人位置正解问题的非线性多项式代数系的求解,通过系统“三解形”Groebner基的生成,获得了PPP-3S三腿并联机器人位置正解的解析表达式,从中既可以进行数值计算,又可以进行参数分析.

摘要： 该文提出了一个验证有限步终止的算术程序正确性的代数方法。其主要思想是将待验证的程序用实数域上的ＢＳＳ计算模型来模拟，然后将其转化为一个多项式代数方程组，从而把程序的正确性证明问题变为一个方程组零点判定的代数问题。该方法的证明复杂性依赖于程序的执行步骤；其中，对于直线程序，该方法可以给出完全的正确性证明，而对于非直线程序，则可以对任意指定的ｎ，证明程序在ｎ步执行下的正确性。

摘要： 本发明涉及取代的1-(芳基乙炔基)双环链烷醇、1-(杂芳基乙炔基)双环链烷醇、1-(杂环基乙炔基)双环链烷醇和1-(环烯基乙炔基)双环链烷醇或其盐的用途。通式(I)中的基团对应于说明书中所给出的定义，其用于增强植物对非生物胁迫的胁迫耐受性和/或用于提高植物产量。

摘要： 本发明涉及取代的1-(芳基乙炔基)-环己醇、1-(杂芳基乙炔基)-环己醇、1-(杂环基乙炔基)-环己醇和1-(环烯基乙炔基)环己醇或其盐用于提高植物对非生物胁迫的胁迫耐受性和/或用于提高植物产量的用途，通式(I)中的基团的定义对应于说明书中给出的定义。

摘要： 本发明涉及一些新颖的2-炔基-6-(吡啶-2-基)-哒嗪酮、2-炔基-6-(吡啶-2-基)-二氢哒嗪酮、2-炔基-6-(嘧啶-2-基)-哒嗪酮和2-炔基-6-(嘧啶-2-基)-二氢哒嗪酮，以及涉及这些化合物防治植物和哺乳动物真菌病原体的用途。

摘要： 本发明提供式(Ia)化合物的晶形、制备式(Ia)化合物的晶形的方法以及使用式(Ia)化合物的晶形的治疗方法。

摘要： 本申请涉及N-(2-(杂芳基)芳基)芳基磺酰胺类和N-(2-(杂芳基)杂芳基)芳基磺酰胺类。本发明提供用作CCR9受体的有效拮抗剂的化合物，动物治疗显示这些化合物用于治疗炎症，一种CCR9的标志疾病。该化合物通常是芳基磺酰胺衍生物，用于药物组合物、治疗CCR9传递的疾病的方法中和在确定CCR9拮抗剂的试验中用作对照。

摘要： 本发明提供：1)一种自由基聚合性聚醚及其制造方法，其能够对将自由基聚合性单体进行自由基聚合而得的共聚物赋予优异的透明性和高断裂伸长率、高弯曲强度等优异的机械特性；2)一种含有该自由基聚合性聚醚和自由基聚合性乙烯基系单体的聚合性组合物，其能够形成具有优异的透明性和高断裂伸长率、高弯曲强度等优异的机械特性的共聚物；以及3)一种含有该共聚物的共聚物、成型体和薄膜。通过将自由基聚合性聚醚的数均分子量设为特定的范围，进而将(甲基)丙烯酰基的导入量设为特定的范围，从而能够使用该自由基聚合性聚醚来得到具有优异的透明性和高断裂伸长率、高弯曲强度等优异的机械特性的聚合物、成型体和薄膜。

摘要： 本发明涉及作为除草剂的通式(I)的4-硝基-取代的N-(四唑-5-基)-芳基甲酰胺、N-(三唑-5-基)-芳基甲酰胺和N-(1,3,4-噁二唑-2-基)芳基甲酰胺。在该式(I)中，X、Y和W为基团如氢、有机基团如烷基、和其他基团如卤素。A为N和CY。Z为四唑基、三唑基或噁二唑基。

摘要： 本发明提供用作CCR9受体的有效拮抗剂的化合物，动物治疗显示这些化合物用于治疗炎症，一种CCR9的标志疾病。该化合物通常是芳基磺酰胺衍生物，用于药物组合物、治疗CCR9传递的疾病的方法中和在确定CCR9拮抗剂的试验中用作对照。

摘要： 式I的6，7－二烷氧基喹唑啉、6，7二烷氧基酞嗪和6，7二烷氧基异喹啉的3－芳基－哌嗪－1－基－、2－芳基－吗啉－4－基－和2－芳基－硫代吗啉－4－基－衍生物是用于治疗神经变性病症和精神障碍的PDE10A酶抑制剂。

摘要： 基质金属蛋白酶(MMPs)为一组与结缔组织和基膜的病理性破坏有关的酶。这些含锌的内肽酶由数个亚型的酶组成,包括胶原酶、溶基质素和明胶酶。TNF－α转换酶(TACE)可以催化膜结合的TNF－α前体蛋白形成TNF－α,TNF－α为促炎细胞因子。因此,预期小分子MMPs和TACE抑制剂具有治疗各种疾病状态的潜力。本发明提供用于治疗关节炎、肿瘤转移、组织溃疡、异常伤口愈合、牙周疾病、骨疾病。糖尿病(胰岛素抗性)和 HIV感染的基质金属蛋白酶(MMPs)和TNF－α转换酶(TACE)的低分子量、非肽类抑制剂,这些抑制剂具有式(Ⅰ)的结构,其中R