1) mechanized mathematics
机械化数学
1.
This thesis expounds the development of mechanized mathematics in Ming Dynasty by using of Wu Wenjun's theory and ideology, through analysing the concrete algorithm of historical works.
本文在前人有关研究的基础上，以吴文俊先生的数学机械化理论和思想为指导，对中国历史上数学典籍中的一些具体算法置于中国和西洋古代数学的历史背景下进行分析，通过与国内进行纵向、与西洋进行横向比较和研究，由以下几个方面论述了明代机械化数学的发展与现代意义： 一、数学机械化的思想方法，从现存中国最早的古籍中都可以见到萌芽，机械化数学到汉代的《九章算术》已经形成，以后一直到唐宋元是其初步发展阶段。
2) mathematics mechanization
数学机械化
1.
Mental labor mechanization and mathematics mechanization in computer era;
计算机时代的脑力劳动机械化与数学机械化
2.
The mechanical thought of mathematics in ancient China and WU Wen-jun s work about mathematics mechanization;
中国古算的程序化思想与吴文俊的数学机械化工作
3.
Based on mathematics mechanization idea,Groebner basis method can be used to symbolically solve nonlinear equations in limited steps.
基于数学机械化思想,以Groebner基法对2RPS 1PPS并联机构位置正解进行分析,得到其位置正解最多为16解的结论,并给出数值算例。
3) mathematical mechanization
数学机械化
1.
The major methods of such education include:computer-assisted mathematics teaching,mathematical experiment,the extension of computational methods and mathematics,the spread of mathematical mechanization thoughts and methods,and internet and tele-education,etc.
数学信息化教育的主要方法包括计算机辅助数学教学、数学实验、计算方法与计算数学的扩展、数学机械化思想与方法的推广、网络与远程教育等内容。
2.
The authors discussed the positional method in mathematics and its function on Chinese ancient siyuanshu, The arrange in positional order of siyuan rod_arithmetic model lays a foundation on the mechanization of its soluble procedure, and Zhushijie s siyuan solution suits the needs of the Chinese mathematical mechanization, which is of great value to the realization of mathematical mechanization.
讨论数学中的有向化方法对中国古代四元术的意义及其作用，四元筹式的有向化布列奠定了四元消法程序机械化实施的基础，朱世杰的四元消法适应了我国古算机械化的需要，对推行数学机械化有重要意
3.
He broke through the history of mathematics by Western Ethnocentrism,and pointed out,the algorithm systems of mathematical mechanization in ancient China,which is totally different from the deductive systems of axiomatization,had also been the main stream of the development of mathematics,and hence clarified people\'s misunderstanding of mathematics in ancient China.
在此基础上,导源于我国传统数学的思维方式的数学机械化理论的创立为中国数学的复兴开辟了一条切实可行的有效途径,成为开拓中华科学自主创新之道的先驱。
4) mathematical mechanization method
数学机械化方法
1.
The mathematical mechanization method can be extended to solve other mechanism problems involving nonlinear equations symbolically.
本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解。
5) mechanical thought of mathematics
数学机械化思想
1.
s:This paper,analyses the origion and development of mechanical thought of mathematics,points out its derivation from ancient Chinese arithmatic,and formulates the connotation and the meaning of Wu Wenjun s mechanical thought of mathematics.
本文分析了数学机械化思想的源流，指出它来源于中国古算；阐明了吴文俊数学机械化思想的内涵与意
6) mechanization of mathematics
数学思维机械化
1.
It has been a human dream for a long time to materialize the mechanization of the mental wok by means of the mechanization of mathematics.
文章探讨并力图简明地概括数学思维机械化的历史源流。
补充资料：标准化和统一化中的数学问题
标准化和统一化中的数学问题
standardization and unification, mathematical problems in
标准化和统一化中的数学问题【sta以Iar血.柱阅。对耐-fica位犯，“.廿吮.口血址声曲腼”sin;cTaH及即T“3叫“““界一恤K时耳It“M盯eMaT“耽似e3叭哪l 确定产品及其组成部分的最优系列的问题. 产品最优系列(OP石n、alseriesofp找以ucts)是从产品的最初系列中选取的各类产品的一个集合，它能保证满足各种形式的需求量并使所有产品开发、生产和使用过程中的总支出达到最小.如果产品不同类型的数目增加时，其开发所带来的开支单调增加，而成批生产和经营费用减少，则产品最优系列存在. 标准化问题和统一化问题之间的术语差别在某种程度上是相对的、有条件的.这种差别反映出在区别标准化和统一化问题上存在着不同的观点.例如，对单个品种但大量生产的产品选取最优系列的问题归于标准化名下，而对复合的、花费昂贵的产品及其部件选取最优系列的间题则归干统一化名下、区别标准化和统一化问题的另一种方法基于研究最初系列中产品结构的详尽程度.如果最初系列中不同类型产品相互之间完全不同且没有相同的即统一的部件，则称它为单层次标准化问题(single刁evel standa川血ation pro‘blenl)或简称为标准化问题(standardiZ如on plob】em).考虑产品的构成以及不同产品可有相同部件的情形，就是在谈论双层次标准化问题.随着研究产品部件构成详尽程度的增大，就可能得到n层次标准化问题.统一化间题就是n>1的n层次标准化问题.如果假定在定义复合产品最优系列时一般也必须定义这些产品最重要部件的最优系列，则上面所说的区别标准化和统一化问题的两种方法就是一致的. 在建立机器和设备的合理参数和尺度时解标准化问题的最简单的定量方法是使用基于几何级数的优先数系.已经建立的优先数系列RS，R10，R20，R40是关于公比为 101/5七1.6，10’110之125， 10’/20澎l，12，101/和之1.06的几何级数系列.如果对所涉及的产品类这些系列之一的最优性已得证明，且已选定主要参数的最小值a。，则此系列中所有其他产品的主要参数之值可通过数值“。q”(n二1，2，…)得到(必要时应加以舍人)，其中q是所选系列的公比. 基于优先数系的方法给出标准化问题的非常近似的解.此外，这个方法的可行范围限于比较简单的一维标准化问题这种狭小的类，此时系列中的产品由一个主要参数刻画.在大多数情形，尤其在涉及复合的、昂贵的产品(它们不再能由一个主要参数刻画)时，必须用非常强的数学模型来定义标准化和统一化问题的最优解. 为用于解标准化和统一化问题设计的数学模型通常归结为相当复杂的非线性规划(non .11】lear progl卫nl-mlng)的多极值问题，解此类问题需要现代计算方法和高运算速度、大存储量的电子计算机. 对于某些种类的本质上能利用特性曲线的特殊问题，也可能有比较简单的有效解法.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条