吴方法相关论文
本文针对m-齐次多项式系统,研究求其全部解的有效算法。在绪论中概述了多项式系统求解的现状。第一章叙述了计算机代数中的相关知识......
时滞系统的状态的变化不仅仅依赖于系统当前的状态,也依赖于过去某一时刻的状态.时滞系统的稳定性是当前一个热点问题,在电路、光......
以计算机为主的现代手段,在数据挖掘中虽然取得了很大成功,但是与现实的需求相比,仍有巨大的差距.大数据挖掘创新将是一个永恒的主......
现年97岁的数学家吴文俊教授依旧精神矍铄,他曾经明确指出:机器的出现延伸了人的体力,而现代计算机的出现则延伸了人的脑力。受技术进......
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。对于每一个定理,其证明的方法都是不同的,一种方法只适用于一个......
随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设......
作为中国数学机械化的里程碑,吴方法在科学技术和应用工程领域中有着极为广泛的应用价值。随着吴方法应用范围日渐拓宽,其所要处理......
论文首先从小波变换刻画信号的数学基础出发,分析了局放信号和干扰信号的小波分解特征,对小波分析去除各类干扰的能力作了定性研究......
机器证明在科学及工程技术领域有着重要的意义和应用.该论文将着重讨论恒等式及几何定理的机器证明.文中首先探讨了发现恒等式和证......
该文简要介绍了完整性理论,D.Zeilberger利用完整性理论证明恒等式的基本思想,将吴方法推广到不可交换的Weyl代数上,用吴方法取代......
学位
该文根据数学机械化的思想,在导师张鸿庆教授"AC=BD"模式的指导下,以源于物理、力学等领域中的非线性问题所对应的非线性偏微分代......
本文根据Titov和Galaktionov提出的分离变量法的思想和著名数学家吴文俊提出的吴方法,以符号计算系统(Mathematica)为工作平台,研......
微分情形吴方法是代数领域中的一种有效的工具并有着广泛的应用。对于微分情形吴方法在求解微分方程(组)问题上的应用有待我们更深......
针对一般多目标规划问题,提出了一种求解多目标优化问题Pareto-最优解的一个新的方法,该方法基于计算代数与代数几何的理论.任选其......
学位
本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列......
吴消元法是求解多元代数方程组的一个重要方法.将区间运算应用于吴方法中,把求解一般代数方程组零点集的问题转化为求解区间代数方......
研究 3- RPR平面并联机构正运动学封闭形式解 .以符号运算为工具 ,应用吴方法得到非线性方程组的特征列 .从而导出 3- RPR平面并联......
基于Reid标准型,楔子(盒子)理论,吴方法解决了一些偏微分方程组的维数问题-即解的规模,并给出了形式幂级数解并编制了算法.最重要......
对零维多项式系统,基于经典的吴方法给出了一个保持重数的零点分解定理及其算法.在一定条件下,该算法计算出的分解是三角化的.......
本文基于微分形式吴方法,给出了确定含小参数偏微分方程的两种近似对称的算法.算法的核心是克服了求解确定方程组的困难,这是确定......
满足几何约束是参数化设计中的中心问题。在许多应用中 ,需要找到约束系统的全部解。基于计算代数的方法可以实现这个目的 ,但其弱......
在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式......
参数化CAD设计中,需要对给定的草图进行修改进而得到满足设计者需求的模型.然而,在修改参数值时,常常由于给定的参数值不合理,而导......
该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式......
探讨了在初等平面几何范围内定理机器证明切实可行的2种方法:Grobner基方法与吴方法,介绍了它们相应的算法原理和实现方法,并进行了实......
本文借助符号计算软件Maple,采用F-展开法和吴文俊代数消元法对Boussinesq方程进行研究,获得了多组精确解.......
特征列方法又称吴方法,其在数学理论研究、理论物理等诸多领域都得到了广泛的应用,是计算机代数领域的一种重要的方法,它通过引入......
对于给定的一个实多项式函数f∈R[x1,…,xn],R[x1,…,xn]中一个非空的有限子集H以及Rn中一个闭长方体n∏=i1[ai,bi],给出了一个有......
对于给定的一个n元实多项式系统P和Rn中一个开超长方体S,给出了一个有效算法,使得在ZeroR (P)∩S的每一个半代数连通分支上能找到至......
属性约简是粗糙集理论重要研究内容之一,求取决策表所有属性约简已被证明为NP-难问题.本文基于吴方法,从代数方程组角度给出了一种求......
利用矩阵多元多项式带余除法[1]和吴方法[2],给出了二元矩阵多项式首一分解的具体方法,并举例验证了此方法的有效性.......
借助于Mathematica和吴方法,运用双曲函数方法,获得了一类KdV-Burgers和KdV方程的多组精确行波解,其中包括新的奇性孤波解和新的周......
应用推广的齐次平衡法获得了自Backlund变换,得到了Boussinesq方程孤子解和其他新精确解. 从齐次平衡法出发,可获得一个非线性变换......
研究了3-RPR平面并联机构正运动学封闭形式解.以符号运算为工具,应用吴方法得到非线性方程组的特征列,从而导出3-RPR平面并联机构......
模型检验技术广泛应用于验证并发系统的性质。它的瓶颈一直是内存爆炸问题,将BDD技术引入到模型检验中的方法能有效地缓和状态组合......
借助于计算机代数和吴方法,本文给出了一种求非线性波动方程精确解的方法--Jacobi椭圆函数展开法.此方法改进了已有的Jacobi椭圆正......
提出用数学机械化的思想和方法统一和界定数学CAI,并据此形成一种新的数学CAI应用设计方案,指导数学CAI实践的各个环节.......
著名的Steiner—Lehmes定理旨在一定条件下判断1个三角形是否为等腰三角形,而王彦海把题设条件替换成了各种形式,并提出了9个猜想.用......
分析了宋元数学中几何代数化的数学特征,指出宋元数学传统独特之处在于其抽象化和形式化的代数演算,考察了和算对天元术与代数化几何......
给出(偏)微分方程(组)(PDEs)对称向量的吴-微分特征列集(消元)算法理论。把古典和非古典PDEs对称向量的计算问题统一在吴-微分特征列理论框架之下处理......
双层规划及多层规划这一数学规划研究中的较新领域因其坚实的经济背景及丰富的数学内涵在二十年来的发展过程中变得越来越吸引人们......
基于旋量理论建立6R机器人的运动学模型,与传统的D-H参数法相比,旋量法从整体上描述刚体的运动,避免了用局部坐标系描述时所造成的......
本文中用微分形式的吴方法计算了Benjamin方程的古典对称和势对称,并利用该方程的对称对其进行了约化和求解了对应的部分不变解.求......
对于给定的一个n元多项式系统P和Rn中一个闭超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一......
把吴方法引入几何CAI体系,收集整理某一范畴的所有几何知识(包括对象、关系、定理、问题等),进行详尽的分解归类细化,抽象出几何知识的......
由Weierstrass预备定理和吴文俊关于多项式组的理论,给出C n中全纯函数组特征列的概念,以及如何从一组全纯函数经过有限次的线性变......
运用吴文俊特征列方法讨论了三阶对称矩阵B=(bij)3×3存在反对称平方根的条件,当矩阵的元素满足条件-b212b223-b23b13b12b11-b2......
将吴方法运用到平面基本运动链的位移分析中,完成了一种7杆巴氏桁架的位移分析.结合矢量法和复数法建立3个几何约束方程式,将其扩......