共查询到19条相似文献，搜索用时 781 毫秒
1.
张淑华 《辽宁师范大学学报(自然科学版)》2009,32(1):21-24
四元消法是中国传统数学的重要成果之一,对于四元消法的增根与减根问题,李兆华先生曾经讨论过.笔者指出了四元消法可能产生增根和减根的原因及途径,并从四元消法法则的统一表示出发,把四元细草用吴消元法的笔算算法写出,用代数方程理论讨论四元消法的增根与减根问题,为准确认识与评价四元消法给出一个新视角. 相似文献
2.
刘洪元 《辽宁大学学报(自然科学版)》2005,32(2):145-147
通过四元术和吴方法的对比，发现吴方法与四元术在技术上的联系是几何问题代数化和多项式方程组的消去法，得出中国古代数学是机械化式的数学，吴方法是中国古代机械化数学的直接继承和发展。 相似文献
3.
《九章算术》给出了“方程”的“遍乘直除”程序，开创了此后中国数学这一领域中辉煌成就的先河．刘徽在此基础上创造了“互乘相消法”，使演算程序大大简化，并具有中国传统数学所特有的机械化算法性质． 相似文献
4.
郭书春 《曲阜师范大学学报》2006,32(3):1-9
中国传统数学在三代萌芽,经过春秋的发展,到战国至西汉以《九章算术》的编纂为代表,进入第一个高潮,在许多领域跃居世界前列.魏晋南北朝是第二个高潮,刘徽以演绎逻辑为主要方法全面证明了《九章算术》的公式、解法,奠定了中国传统数学的理论基础,并在世界数学史上首次将无穷小分割方法引入数学证明.第三个高潮发生在宋元,贾宪、秦九韶、李冶、朱世杰等创造了欧洲数学大师17-19世纪才得出的许多重大成就.上世纪70年代吴文俊指出,中国古代数学的算法具有构造性、机械化的特点,并出现几何问题代数化的思想.西方数学史家一直将中国排除在世界数学发展的主流之外.吴文俊提出“在历史的长河中,数学机械化算法体系与数学公理化演绎体系曾多次反复互为消长交替成为数学发展中的主流”,从而从理论上解决了中国传统数学是世界数学发展主流的一部分的问题.微积分的产生也证明中国传统数学属于世界数学发展的主流.微积分产生时的推理模式不是希腊式的,而是接近中国式的.吴文俊受到中国传统数学的构造性、机械化特色以及几何问题代数化思想的启发,产生了数学机械化思想,发展了笛卡儿、莱布尼茨、希尔伯特等的设想,创立了数学机械化理论.他首先在初等几何定理的机器证明方面取得突破.接着,提出了一个将问题化为代数方程组求解的数学机械化方案.他从朱世杰的四元消法得到启示,发现了三角化整序法,是目前唯一完整求解代数方程组的方法.吴文俊指出,继续发扬中国古代传统数学的机械化特色,实现数学各个不同领域的机械化,是绵亘整个21世纪才能大体趋于完善的事. 相似文献
5.
李桃生 《华中师范大学学报(自然科学版)》1995,29(1):3-7
文１研究了四元数体上重行列式在换法变换和消法变换下的不变性。本文在此基础上讨论了四元数体上矩阵的重行列式的保法变换下的性质，并且给出两个关于重行列式的不等式。 相似文献
6.
杨凤书 《辽宁师专学报(自然科学版)》2013,15(1):1-3,73
从初等数学的方程理论入手，结合多项式的除法运算，总结出四元消法解多项式方程组的原理、步骤，为吴消元法提供直观的数学模型． 相似文献
7.
《烟台大学学报(自然科学与工程版)》1994,(2)
四元数矩阵的Ｊｏｒｄａｎ标准形四元数矩阵的Ｊｏｒｄａｎ标准形这一矩阵理论上具有非常重要意义的课题已经被我校数学与信息科学系教师陈龙玄、侯仁民、王亮涛完全解决。前已证明，对给定的ｎ阶四元数矩阵Ａ，至少存在一个特征主值ω，使右特征方程有解Ｘ。这里ＦＡ（λ... 相似文献
8.
《广西民族大学学报》2004,10(4):F003-F003
“数学机械化”是我国数学家吴文俊先生在70年代末开始倡导的一个研究领域，是脑力劳动机械化在数学科学的学术实践。17世纪，以蒸气机为代表的工业革命是以机器代替人的体力劳动，而现在的数学机械化则是用计算机部分代替人类的脑力劳动。数学机械化不仅是数学研究的实质性进展，也为很多高科技问题的解决提供了有力的工具。其方法已在许多高科技领域获得了一批理论成果， 相似文献
9.
陈杰 《重庆文理学院学报(自然科学版)》2012,(1):13-15
四元数在数学、物理学和计算机图形学中具有很高的应用价值.在仿真设计中,刚体的旋转模拟可以有很多算法实现,相比较而言,四元数占用较少的空间,具有运算量少、操作简便、几何意义明确等优越性.本文讨论了四元数的定义、运算性质以及利用四元数对矢量旋转的运算原理,给出了四元数刻划矢量旋转的详细证明. 相似文献
10.
陈杰 《渝西学院学报(自然科学版)》2012,(1):13-15
四元数在数学、物理学和计算机图形学中具有很高的应用价值.在仿真设计中,刚体的旋转模拟可以有很多算法实现,相比较而言,四元数占用较少的空间,具有运算量少、操作简便、几何意义明确等优越性.本文讨论了四元数的定义、运算性质以及利用四元数对矢量旋转的运算原理,给出了四元数刻划矢量旋转的详细证明. 相似文献
11.
本文通过对立井施工过程的分析,提出了立井施工机械化配套的可行性。在此基础上建立了确定立井施工机械化配套最优方案的教学模型。 相似文献
12.
东北地区有中国林蛙和黑龙江林蛙的分布．根据“取输卵管后林蛙残体的营养成份”一文提供的数据,本文建立了这两种林蛙判别分类的数学模型,为中国林蛙和黑龙江林蛙的识别提供了一个有效的数学方法． 相似文献
13.
关于实数的连续归纳法类似于数学归纳法,它与Dedekind公理等价。基于现有的研究成果,本文给出了连续归纳法的一个新的较为简单的证明方法;举例说明了连续归纳法的广泛应用,同时也为分析推理的机械化作了一些准备。 相似文献
14.
杨文泰 《甘肃联合大学学报(自然科学版)》2011,25(3):33-36
理性是古希腊数学的精神内核,公理化体系成为现代数学的根本特征之一.中国古代数学以实用为目的,直观性和机械化、程序化是它的的算法特点.古希腊数学与中国古代数学都有现代数学思想的萌芽. 相似文献
15.
本文探讨率之概念及有关算法，各种比例应用问题的解法程序都可归为率的最基本算法今有术及其算法原理齐同术，从而表现出在机械化程序方面的相互关系．率是中国传统数学许多理论的基础和算法的源泉。 相似文献
16.
数学的信息化教育方法探究 总被引：2，自引：0，他引：2
石永福 《西北师范大学学报(自然科学版)》2006,42(2):109-112
信息技术的迅猛发展和数学思想、方法的广泛而深入的应用呼唤数学教育的信息化.数学信息化教育的主要方法包括计算机辅助数学教学、数学实验、计算方法与计算数学的扩展、数学机械化思想与方法的推广、网络与远程教育等内容. 相似文献
17.
18.
基于Groebner基法的一般串联6R机器人机构逆运动学分析 总被引：6，自引：0，他引：6
基于Groebner基法，仅用Duffy的含3个未知变元的4个运动学方程，附加3个正余弦恒等式，不增加其他几何约束方程，对一般6R机器人机构逆运动学进行符号解分析，并得出一般串联6R机器人机构逆解最多为16解的结论．本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解． 相似文献
19.
本交给出了对称应变花主应变贴片偏位误差的分析式．确证任意角度中间对称应变花贴片低位误差与贴片方位用无关，同时也与应变片相互间夹角无关；而贴片偏位误差仅与应变场主应变之比值及贴片方位不准确造成的与基线的偏差角有关． 相似文献