计算机代数相关论文
现今信息技术已经渗透于科学研究、工业生产以及日常生活的方方面面.现有事实表明,许多实际问题最终均可以归结或部分归结为非线性......
时滞系统的状态的变化不仅仅依赖于系统当前的状态,也依赖于过去某一时刻的状态.时滞系统的稳定性是当前一个热点问题,在电路、光......
无穷精度数系统是任何计算机代数系统的重要的支撑模块,用于实现无穷精度数的表示和运算,其运行效率决定着整个计算机代数系统的性......
多项式最大公因子(GCD)的计算是计算机代数与数学机械化研究中的关键问题之一.实际应用领域中的计算问题对高性能的并行多项式GCD......
本文利用计算机应用软件Mathematica3.0完成常微分方程的求解问题.对于常微分方程中的某些不能直接应用Mathematica3.0求解的问题,......
用计算机实现多项式因式分解是计算机代数(公式推演)的一个重要研究课题。牛顿等人曾先后提出了在z[x]上多项式因式分解的数学方法......
依据实际施工过程,运用数学方法建立钢卷尺垂直测设方程式,并通过计算机代数系统软件(MAPLE)进行数值分析和计算,求解钢卷尺改正后......
在环面蜗杆传动啮合理论分析的基础上，运用计算机代数系统ＲＥＤＵＣＥＶ３．３．１，得出包络环面蜗杆传动啮合特性分析方程自动求解的计算机代数系统ＣＡＳ。这套系......
Gr(o)bner基(Gr(o)bner Bases)理论是计算机代数的一个基石，因为不仅可以知道Gr(o)bner基存在性，而且更为关键的是提出了计算Gr(o)bn......
该文应用计算机代数算法结合数学机械化的理论和方法,对串联机器人逆运动学、并联机器人运动学正解、实解结构分析、并联机器人工......
以微分几何为基础发展起来的非线性控制理论，近几十年来受普遍重视并得以广泛应用。然而基于微分几何方法研究非线性问题也存有一些......
以下是英国《自然》杂志1981年3月19日的一组综述性文章,介绍计算机在科学上的一些新应用。除数据处理、模拟、操纵仪器之外,计算......
经国家自然科学基金评审委员会评审,我院有三个项目被批准获得自然科学基金资助。一是陈桂讲师的“计算机代数的应用研究”,基金2......
在传统教学中讲授“三角函数的图象变换”时,教师在黑板上或学生在练习本上都只能通过有限的几组数据描点绘图,绘出的图往往与课本......
本文依据作者在文献[1]中提出的蜗杆齿面曲率修正原理,应用计算机代数系统g~(CA),探讨了ZC_2型圆柱蜗杆齿面的可控曲率修正方法,并......
在共轭齿面的齿合分析与诱导法曲率计算中,往往要推导和处理很多冗长繁难的公式,其思路虽然清楚,但推导过程却是枯躁无味而又易于......
本文在利用计算机代数革新啮合理论计算工具的基础上,全面地研究了径向剃齿刀的刃磨原理,给出了刃磨砂轮修形曲线的计算方法,完成......
本文先对符号运算系纺(又称计算机代数系统)的特性与功能作简要叙述,然后介绍用 REDUCE系统作振动分析,例如自动建立精确和近似的......
应用Ｄｉｘｏｎ结式对一种５－５型台体并联机构进行了位置正分析，得到了其一元４０次输入输出方程，由此求得全部位置正解，计算结果无增根．运算过程借助于计......
本文基于数学机械化方法和计算机符号处理技术，对平面三环复杂机构的位置分析进行了符号法求解，该法成功地将一组非线性多项式方程化......
本文基于数学机械化方法和计算机符号处理技术，对平面多杆复杂机构的位置分析进行了符号法求解，该法成功地将一组非线性多项式方程化......
会议名称:First International Joint Conference of ISSAC—88 and AAECC—6会议时间:1988,7,4—7,8会议地点:意大利罗马征文截......
他是中国数学界的泰山北斗,1956年就与华罗庚、钱学森一起获得首届国家自然科学一等奖。他开创了近代数学史上第一个由中国人原创......
一台由电磁同位素分离器改建的双聚焦磁β谱仪正用于中微子静止质量测定工作。由于采用大面积源,需要深入研究这台谱仪的全部二级......
研究的台体型并联机械手是指其上、下平台各顶点不仅限于一个平面内，而可以在空间任意分布。本文对一种５－５台体型并联机械手位置正解问......
机器人及其作业环境的几何实体是三维的,而仿真的屏幕图象是二维的。因而三维图形仿真的一个关键技术就是把物体的三维坐标变换为......
在Ｂｉｏｔ理论基础上给出了可变多孔介质流－固耦合问题的基本方程，用计算机代数系统进行符号运算，求得弹性流体一维定常耦合渗流问题的二阶摄......
对一类３—３型并联机器人运动学正解问题给出一种新的解法，它将解析方法与数值方法结合起来，思路清晰，方法简明。并且应用计算机代数系统......
以物理学中的问题为背景的非线性微分方程的研究是当代非线性科学的一个重要方面.创造和发展非线性微分方程新的求解方法是非线性......
本文主要涉及孤子理论中两个重要内容，即非线性方程的精确解与可积性研究。首先，通过复KdV方程的Darboux变换得到了偶合KdV方程的许......
约束哈密顿系统正则化方法在多体力学、分子动力学、宇宙学等方面应用广泛，相应的处理方法较为成熟。本文简述了三种主要的约束哈密......
STAR(Small Tool for Algebraic Research)计划是国家"八五"、"九五"攀登计划"数学机械化研究及其应用"的子课题--"基于吴方法的数......
该文给出了一个易于实现、效率更高的代数闭域上的多元多项式的因式分解算法.同现有的工作不同的是,该文考虑的是完全分解而不是整......
椭圆曲线密码体制(ECC)是一种基于代数曲线的公钥密码体制.该论文系统地考察了计算代数与符号计算意义上ECC的各层次的代数运算,设......
多播数据源认证一直以来是多播安全中的一个热点和难点。多播数据源认证主要解决的是在一个多播组中实现组内数据来源的可靠性和真......
计算机代数方法和工具，如Grobner基计算、QEPCAD、DISCOVERER等已经应用到不变量生成，寻找秩函数，可达集计算等程序验证领域。本文结......
该文利用计算机代数的方法对布尔代数与布尔方法中的一些主要运算的计算机自动实现进行研究,把运算的原理与方法转化成能由计算机......
应用计算机代数系统求数学或工程问题中的符号解,进行公式推导是计算机代数研究的一个重要方面.该文应用Mathematica系统的强大的......
论文共分为五部分，第一部分是绪论，介绍了计算机代数和Gr（?）bner基的有关的基本概念、基本工具及其进展；第二部分阐述的是多项式约化问......
学位
该文应用计算机代数方法,对以下问题进行了研究：1、将Groebner基方法与Morse理论相结合,给出了紧代数流形亏格的一种计算机算法,这......
该文讨论微分特征列法的理论和应用问题,涉及到微分方程,抽象代数,计算机代数等重要学科.借鉴J.F.Ritt等人以及吴文俊院士的思想方......
为探讨非线性可积微分—差分方程族的形成及性质，本文分别构造了若干个微分—差分可积模型，并对孤立子方程的的可积性、Darboux变换......
隐式代数曲面拼接问题是CAGD中的基本问题之一，尽管低次代数曲面在CAGD中一直被广泛的应用着，但直到七十年代末，构造性代数几何有了突......
