吴方法相关论文
本文针对m-齐次多项式系统，研究求其全部解的有效算法。在绪论中概述了多项式系统求解的现状。第一章叙述了计算机代数中的相关知识......
时滞系统的状态的变化不仅仅依赖于系统当前的状态,也依赖于过去某一时刻的状态.时滞系统的稳定性是当前一个热点问题,在电路、光......
本文提出了一种基于吴方法的曲面拼接方法,并将此方法在自动推理平台MMP下实现.该方法主要包括两个算法,一是事先确定拼接曲面的次......
以计算机为主的现代手段,在数据挖掘中虽然取得了很大成功,但是与现实的需求相比,仍有巨大的差距.大数据挖掘创新将是一个永恒的主......
<正>精确地获取景物的三维信息是计算机视觉的重要任务之一.双目立体视觉(以下简称立体视觉)是从两个视点得到的图象来恢复出景物......
学部委员吴文俊教授早在青年时代就以他在“拓扑学”领域的重大研究成果而成为名扬海内外的数学俊杰.如今,75岁的吴老面色红润,精......
荣获“首届国家最高科学技术奖”的吴文俊院士,是中国现当代最杰出的数学家之一。他早年留学法国时,就已在拓扑学方面做出了重要......
偏微分方程(PDE)Lie 群(对称)计算、分类、判定和扩充等问题是PDE 定性和求解研究的基础性问题。我们基于吴方法针对这些问题......
该文应用计算机代数算法结合数学机械化的理论和方法,对串联机器人逆运动学、并联机器人运动学正解、实解结构分析、并联机器人工......
该文给出了特征列算法的一种基于分布Maple系统的并行实现.为了搭建一个合适的并行环境,本人在第一章比较了现行的几种并行计算的......
该文是在对吴-Ritt代数特征列理论以及算法的研究基础上,对常微分情形吴特征列理论的进一步探讨和应用.具体讨论了微分多项式零点......
聚筛法是求解非线性代数方程组的一种非常有效的方法,同时适用于一般的文字系数和常系数的非线性代数方程组.杨路开发了聚筛法中GP......
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。对于每一个定理,其证明的方法都是不同的,一种方法只适用于一个......
作为中国数学机械化的里程碑,吴方法在科学技术和应用工程领域中有着极为广泛的应用价值。随着吴方法应用范围日渐拓宽,其所要处理......
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包......
吴文俊教授是我国杰出的老一辈数学家,50年代他曾因在拓扑方面的突出工作获得首届国家自然科学一等奖。70年代初开始从事计算机数......
采用吴方法解决了平面二簧系统的静力逆分析问题，得到了一个一元６次平衡位置方程，并编制了相应的求余软件．经验证所得结果无增无漏，从而......
2002年之前,除了数学界,知道他的人还非常少,他不但不和媒体打交道,甚至连周边的人他也不会凑得很近。而今98岁的他时常光脚穿皮鞋......
他是中国数学界的泰山北斗,1956年就与华罗庚、钱学森一起获得首届国家自然科学一等奖。他开创了近代数学史上第一个由中国人原创......
多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法......
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。......
通过修正的Jacobi椭圆函数展开法求解了一类特殊的非线性薛定谔方程,得一系列准确周期解,还得到一个简单解,在极限情况下这些周期......
期刊
该文针对平面三级并联机构的位置正解问题进行了研究,在机构的位姿分析中,采用吴方法.吴方法是一种求解非线性方程组的数学机械化......
该文基于数学机械化方法(吴方法)和计算机符号处理技术,对空间RSSR连杆机构的刚体导引综合、空间RSRC连杆机构的刚体导引综合和空......
该论文讲述了平面连杆机构的发展历史、分类,以及连杆机构分析与综合的基本问题和方法;介绍了吴消元法的基本应用过程和符号运算软......
该文的主题是计算机运动视觉分析.针对这一主题,作者采用了基于特征的离散处理方法,对于特征为点、直线、平面二次曲线的情形分别......
类是面向对象方法中的关键概念之一,该文讨论了面向对象方法中关于类的若干问题--复杂性,识别方法等,提出了类的一种度量性质--冗......
该文将数学机械化方法应用于偏微分方程领域,主要讨论了求微分方程解析解的机械化方法及其在计算机代数系统上的实现.......
STAR(Small Tool for Algebraic Research)计划是国家"八五"、"九五"攀登计划"数学机械化研究及其应用"的子课题--"基于吴方法的数......
该文在用Maple语言实现初等代数多项式(一般代数多项式,常微分代数多项式,偏微分代数多项式)机器证明的吴方法的基础上,采用软件复......
该文主要讨论微分代数方程,特别是常微分代数多项式方程组的Cauchy问题的解的存在唯一性及其解的结构等问题,由于微分代数方程的解......
孤立子理论研究是现代数学和物理理论研究的一个热门话题.研究孤立子方程的孤立子解、可积性、守恒密度与对称、各种变换方法、Pai......
该文通过讨论吴方法的一些性质(比如所求得的扩展特征列的系数界)和模p映射下扩展特征列计算的性质,论证了用模算法求扩展特征列的......
学位
论文包括三章内容.第一章介绍了吴方法的基本概念和基本定理.重点介绍了余式公式和零点分解定理.第二章介绍了吴方法在天体物理学......
学位
几何约束求解是参数化CAD系统的核心,它能够提供因修改而导致约束改变时图形的自动生成.对于基于规则的方法,该文通过引进圆锥曲线......
该文给出一种关于拟代数簇投影的算法,并且应用几何定理的证明和非退化条件的推导上.通过这种方法,我们能够找到最弱的非退化条件.......
多项式方程组的构造性理论和算法的研究是计算机证明和自动推理研究中的重要课题.我们利用吴方法和极大,极小多项式估计,推广多项......
MMP是一个从系统底层开始构建的基于吴方法(吴整序理论)的数学机械化软件系统.作为国家基础研究发展规划项目(973)的重要研究内容,......
在计算机辅助几何设计中,隐式代数曲面和分片代数曲面有着广泛的应用.该文利用吴文俊先生建立的代数簇母点法将几何连续条件转化为......
摄像机标定问题是计算机视觉领域里从二维图像提取三维空间信息必不可少的关键一步.透视n点问题(PnP)是摄像机标定的一个基本问题,......
本文中用微分形式的吴方法计算确定了BBM-Burgers，BenjanminOno，NTE等三个发展方程的势对称及对称群不变解。1.用吴方法计算对称生成......
