吴方法相关论文
本文针对m-齐次多项式系统，研究求其全部解的有效算法。在绪论中概述了多项式系统求解的现状。第一章叙述了计算机代数中的相关知识......
时滞系统的状态的变化不仅仅依赖于系统当前的状态,也依赖于过去某一时刻的状态.时滞系统的稳定性是当前一个热点问题,在电路、光......
以计算机为主的现代手段,在数据挖掘中虽然取得了很大成功,但是与现实的需求相比,仍有巨大的差距.大数据挖掘创新将是一个永恒的主......
现年97岁的数学家吴文俊教授依旧精神矍铄，他曾经明确指出：机器的出现延伸了人的体力，而现代计算机的出现则延伸了人的脑力。受技术进......
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。对于每一个定理,其证明的方法都是不同的,一种方法只适用于一个......
随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设......
作为中国数学机械化的里程碑,吴方法在科学技术和应用工程领域中有着极为广泛的应用价值。随着吴方法应用范围日渐拓宽,其所要处理......
论文首先从小波变换刻画信号的数学基础出发,分析了局放信号和干扰信号的小波分解特征,对小波分析去除各类干扰的能力作了定性研究......
机器证明在科学及工程技术领域有着重要的意义和应用.该论文将着重讨论恒等式及几何定理的机器证明.文中首先探讨了发现恒等式和证......
该文简要介绍了完整性理论,D.Zeilberger利用完整性理论证明恒等式的基本思想,将吴方法推广到不可交换的Weyl代数上,用吴方法取代......
学位
该文根据数学机械化的思想,在导师张鸿庆教授"AC=BD"模式的指导下,以源于物理、力学等领域中的非线性问题所对应的非线性偏微分代......
本文根据Titov和Galaktionov提出的分离变量法的思想和著名数学家吴文俊提出的吴方法,以符号计算系统(Mathematica)为工作平台,研......
微分情形吴方法是代数领域中的一种有效的工具并有着广泛的应用。对于微分情形吴方法在求解微分方程(组)问题上的应用有待我们更深......
针对一般多目标规划问题,提出了一种求解多目标优化问题Pareto-最优解的一个新的方法,该方法基于计算代数与代数几何的理论.任选其......
学位
本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列......
吴消元法是求解多元代数方程组的一个重要方法.将区间运算应用于吴方法中,把求解一般代数方程组零点集的问题转化为求解区间代数方......
研究 3- RPR平面并联机构正运动学封闭形式解 .以符号运算为工具 ,应用吴方法得到非线性方程组的特征列 .从而导出 3- RPR平面并联......
基于Reid标准型,楔子(盒子)理论,吴方法解决了一些偏微分方程组的维数问题-即解的规模,并给出了形式幂级数解并编制了算法.最重要......
对零维多项式系统,基于经典的吴方法给出了一个保持重数的零点分解定理及其算法.在一定条件下,该算法计算出的分解是三角化的.......
本文基于微分形式吴方法,给出了确定含小参数偏微分方程的两种近似对称的算法.算法的核心是克服了求解确定方程组的困难,这是确定......
满足几何约束是参数化设计中的中心问题。在许多应用中 ,需要找到约束系统的全部解。基于计算代数的方法可以实现这个目的 ,但其弱......
在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式......
参数化CAD设计中,需要对给定的草图进行修改进而得到满足设计者需求的模型.然而,在修改参数值时,常常由于给定的参数值不合理,而导......
