数学机械化方法在机构综合中的应用

导出了平面机构综合中经常出现的拟线性代数方程的数学机械化解 ,利用MATLAB系统强大的符号运算功能 ,给出了该数学机械化解的实现程序。并将上述结果应用于平面R -R刚体导引、函数发生器、点位 -角移量相配等综合实例中。

数学机械化研究展望

数学机械化理论和方法的建立,是深层次的知识创新,将极大地推动科学的发展,为我国高新技术的创新发挥重大作用,产生难以估计的社会效益与经济效益。

基于Groebner基法的一般串联6R机器人机构逆运动学分析

基于Groebner基法,仅用Duffy的含3个未知变元的4个运动学方程,附加3个正余弦恒等式,不增加其他几何约束方程,对一般6R机器人机构逆运动学进行符号解分析,并得出一般串联6R机器人机构逆解最多为16解的结论.本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解.

平面三环复杂机构位置分析的符号法求解

本文基于数学机械化方法和计算机符号处理技术，对平面三环复杂机构的位置分析进行了符号法求解，该法成功地将一组非线性多项式方程化简为一组等价的三角化方程，导出了单变量的２４ 次代数方程，符号推导和符号运算借助于计算机代数系统ＲＥＤＵＣＥ 完成，并给出一个数字实例说明这种方法。

三分支并联机器人位置分析的符号解

建立了四种三分支并联机器人的位置分析非线性方程组 ,并用数学机械化方法和计算机符号处理技术求解。两个数值实例中 ,分别对 2RRPS—RRRS和 3—RRPS两种机器人给出了全部位置解。

八面体及十面体变几何桁架机器人位置分析的符号解法

基于数学机械化方法和计算机符号处理技术 ,对八面体及十面体变几何桁架机器人的位置分析进行了符号法求解 ,成功地将非线性位置约束方程组化简为等价的三角化方程组 ,分别导出了单变量的 1 6次和 48次代数方程 。

一种平面机器人位置分析的符号解法

机器人机构的分析与综合问题,均可归结为求解非线性方程组,本文基于求解多项式方程组的数学机械化方法,提出了一种平面机器人位置分析的符号解法。

算法思想与函数思想

现代计算机技术的蓬勃发展正将数学引向一个新的算法繁荣时期．科学界敏锐的有识之士已纷纷预见到数学发展的这一趋势．著名数学家吴文俊院士从20世纪70年代中期开始，毅然由原先从事的拓扑学领域转向定理机器证明的研究，并开创了崭新的现代数学领域——数学机械化．被国际上誉为“吴方法”的数学机械化方法已使中国在数学机械化领域处于国际领先地位，而“吴方法”本质上是中国古代数学精髓的发扬光大．正如吴文俊教授本人所说：他在这方面的工作“主要是受中国古代数学的启发”．

锁相与同步技术、锁相环

9907716一种新的锁相环路的噪声性能分析方法[刊]/罗晖//数据采集与处理.—1998,13(增刊).—21～24(V)在数学机械化方法的基础上,建立了一种新的锁相环路的噪声分析方法。该方法不仅能使人们直观地看到锁相环路对不同的噪声强度的响应,而且能够得到噪声作用下环路的稳态相位差方差和相位差的稳态积分概率分布等统计量。与传统的分析方法相比,该方法不需要做任何假设,适用于各阶锁相环路,精度高,普适性好。

我国最年轻的科学院士是谁?

1978年全国科学大会上,邓小平同志曾说过:“在人才问题上,要特别强调一下,必须打破常规去发现、选拔和培养杰出的人才。”中国科学院院士是国家在科学技术方面的最高学术称号。当选为院士的人,应该说在当选之前都已功成名就,早为我国科技界的精英了,然而一旦被授予院士称号,则更表明此人的学术研究得到了我国科技界最大限度的承认。由于历史留下来的原因,中国科学院院士都普遍存在着年龄偏大的现象,然而每次院士增选,都有一批年富力强的学术带头人加入院士行列,其中最年轻的院士往往受到特别关注。 在1991年学部委员(即院士)增选结果的新闻发布会上。