Gr(o|¨)bner基相关论文
多项式等式系统经常具有对称性,而用于求解多项式方程组的Buchberger算法忽略了这种对称性,因此需要我们对它进行改进。本文以线性......
学位
软件验证作为保证软件正确性,提高软件可靠性的关键技术,受到了大量关注和广泛研究。循环不变式在软件验证领域发挥着不可替代的作......
空间机构的运动学研究是机器人机构学研究的最重要也最基础的部分,给机器人机构的实际应用提供理论支持。本文以空间一般7R串联机......
随着集成电路的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。据统计，设计验证的时间已占到整个设计周期......
本文主要研究经典多元多项式插值中关于分次字典序下的极小牛顿基(简称极小次数牛顿基)问题.我们将插值条件视为定义在多元多项式......
学位
多元插值是目前热门的研究领域之一，本文首先对现有的多元多项式插值方法作了一个介绍与评述，并应用C.de Boor引进的多元差商的概念......
学位
矩阵代数是代数中的一个重要方面,它在很多方面都有应用。而极小多项式是矩阵代数中应用较广的一个理论知识,有很多的应用背景。当......
论文的主要工作是应用Gr(o|¨)bner基理论讨论有理系数高次多元多项式的可约性、二阶多项式矩阵的因子分解和求解平面图上所有的汉......
学位
代数攻击是近几年来最重要的密码分析技术之一。代数免疫度是随着代数攻击的出现而提出的关于布尔函数的一个新准则,用于衡量布尔......
学位
