数学机械化

摘要： 作为中国著名的数学家,吴文俊是我国首届国家最高科学技术奖获得者之一,他在拓扑学、数学机械化、中国古代数学三个领域取得重要的学术贡献:吴文俊的研究工作涉及数学的诸多领域,对数学的主要领域之一——拓扑学做出了重大贡献,吴文俊1949年获法国国家博士学位,他引进的示性类和示嵌类被称为"吴示性类"和"吴示嵌类",他导出的示性类之间的关系式被称为“吴公式”,“拓扑地震”的名望蜚声海内外,成为影响深远的经典性成果。

摘要： 基于使用工具的不同,文章将初等数学研究划分为“石器时代”“农业时代”“智能时代”三个阶段,智能时代需要智能工具,智能工具的产生取决于数学现代化的实现,其中数学机械化研究是实现数学现代化的关键。基于目前的数学机械化研究成果,结合中学数学的实际需求,文章列举了丰富的实例,涉及平面几何、不等式、三角函数等内容,充分展示人工智能在探索数学结论、自动命题等方面的应用。

摘要： 作为中国著名的数学家,吴文俊是我国首届国家最高科学技术奖获得者之一,他在拓扑学、数学机械化、中国古代数学三个领域取得重要的学术贡献。吴文俊的研究工作涉及数学的诸多领域,对数学的主要领域之一——拓扑学做出了重大贡献。

摘要： 随着近几年来人们对于科学技术的要求的不断提高,数学机械化被应用于越来越多的行业当中,而且人们近几年来在航天工程,汽车行业等诸多方面都取得了较大的发展,这也使得社会对于轴承系统的要求越来越高.在对转子轴承系统进行综合研究的过程当中,对转子动力学进行综合的探讨,对轴承系统当中的转子涡动或者是两元盘转子的临界转速等诸多方面进行综合的探讨,采用数学机械化的研究方式,将其作为研究对象,可以更好地实现对于轴承系统的综合探讨,而且还可以更好的了解轴承窝洞的各种参数,并对其进行综合的解析计算,更好地提高轴承转子稳定性.因此,本文对数学机械化在转的动力学研究中的应用进行简要探讨.

摘要： 特征列方法将方程的零点集转化为几个特征列, 即不可约的三角列的零点集的并集, 使得方程达到降阶、降维度数的目的;李对称则提供了一套系统的方法, 通过对对称约化和群不变解研究, 方程阶数大大降低.这两种方法的共同之处在于其思想都是通过变换将原方程化为更易求解的同解方程 (组), 减少求解方程的计算量.将这两种方法有效结合, 应用微分-差分特征列法将耦合的Toda晶格方程分解, 对分解得到的特征列集应用差分Lie对称法, 求得这些特征列集的不变群和群不变解.根据零点分解定理, 这些特征列集的群不变解就是耦合Toda晶格方程的群不变解.%The characteristic series method will convert the zero set of equation to the union of zero sets of characteristic series, which is irreducible triangular series. This guarantees that the degree and dimension of the equations can be reduced. Lie symmetry provides a systematic approach to reduce the degree of the equations by studying the symmetry reduction and group invariant solution. Both of the two methods have the same purpose that is to reduce the equations into some simple equations with lower degree and dimension, to reduce the calculation of solving the equations. The zero decomposition theorem is used to divide the coupled Toda lattice equations, and the invariant groups and group invariant solutions of the characteristic series are obtained by Lie symmetry method. According to the zero decomposition theorem, the group invariant solutions of the characteristic series and the coupled Toda lattice equations are the same.

摘要： 刚刚过去的5月12日,是母亲节、佛诞日,也是吴文俊大师诞辰100周年纪念日。古今中外,凡到达极致的真、善、美,都是相互关联的。100年前的5月12日,在上海一个普通知识分子家庭里,一个普通的母亲生下了一个普通的小男孩,他后来成长为一位伟大的数学家,他就是吴文俊。

摘要： 珠算是人类科学技术史上的重大发明,是中国古代数学发展的结晶,也是数学机械化(可计算)的产物。在珠算基础上创新发展的珠心算教育,不仅有利于开发儿童的智力潜能,也利于培养儿童良好的行为习惯和提升核心素养,为其全面发展提供智力保障。

摘要： 吴文俊先生是大数学家。他大学毕业时正逢抗日战争,在沪上做过六七年的中学老师,也曾在杭州的之江大学代课。后来留学法国,获得博士学位后回国。吴先生在拓扑学、中国古代数学研究和数学机械化三大领域均做出杰出贡献,38岁当选中国科学院学部委员(院士),2000年,他与水稻专家袁隆平一起,获得了首届国家最高科学技术奖。

摘要： 任何问题的解决都需要有设计和方案,而好的方案离不开好的想法和好的思考问题的方式。思想是指导人们行动的灯塔。当然,我们需要具体地谈论思想、思想方法、思维方式和思想内容,而不是空洞地概念化地人云亦云地谈论。对于真正有价值的(学术)思想,只要你走心入脑地学习它感悟它,就能从中汲取宝贵的养分,进而有助于你获得对事物更深刻的认识,在实践中形成更符合逻辑的行动方案。

摘要： 从代数学的理想论以及代数簇理论，探讨了ＳＩＳＯ多维控制系统的可反馈镇定条件，并给出反馈控制的表示，文中的主要结果建立在判定一个多变元多项式的零点集是否与由多项式该画的凸集相交的前题之上，并用数学机械化方法实现了这一判定的过程。

摘要： 多项式最大公因子(GCD)的计算是计算机代数与数学机械化研究中的关键问题之一.实际应用领域中的计算问题对高性能的并行多项式GCD计算提出了越来越多的需求.本文通过改造多项式GCD计算的模方法,提出了三个不同粒度的多项式并行计算算法,并给出了相应的负载平衡策略.集群环境和网格环境下的实验数据表明,我们的多项式GCD并行计算方法与国内外间类研究相比,具有更高的计算效率、更好的稳定性和可扩展性.

摘要： 在数学机械化方法的基础上，建立了一种新的锁相环路的噪声分析方法。该方法不仅能使人们直观地看到锁相环路对不同的噪声强度的响应，而且能够得到噪声作用下环路的稳态相位差方差和相位差的稳态积分概率分布等统计量。与传统的分析方法相比，该方法不需要做任何假设，适用于各阶锁相环路，精度高，普适性好。

摘要： 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法"分而治之"的思想非常适合分布式计算,本文将高性能计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下也可以在网格环境下实现的分布式吴方法计算模型.文章在分析了吴方法分布式计算需求和吴方法分布式计算算法,并给出了符号计算基本数据类型:大整数和多项式的消息传递方法,文章最后讨论了基于符号计算软件系统ELIMINO和消息传递标准规范MPI的分布式吴方法计算环境的设计与实现.

摘要： 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法"分而治之"的思想非常适合分布式计算,本文将高性能计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下也可以在网格环境下实现的分布式吴方法计算模型.文章在分析了吴方法分布式计算需求和吴方法分布式计算算法,并给出了符号计算基本数据类型:大整数和多项式的消息传递方法,文章最后讨论了基于符号计算软件系统ELIMINO和消息传递标准规范MPI的分布式吴方法计算环境的设计与实现.

摘要： 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法"分而治之"的思想非常适合分布式计算,本文将高性能计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下也可以在网格环境下实现的分布式吴方法计算模型.文章在分析了吴方法分布式计算需求和吴方法分布式计算算法,并给出了符号计算基本数据类型:大整数和多项式的消息传递方法,文章最后讨论了基于符号计算软件系统ELIMINO和消息传递标准规范MPI的分布式吴方法计算环境的设计与实现.

摘要： 吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法"分而治之"的思想非常适合分布式计算,本文将高性能计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下也可以在网格环境下实现的分布式吴方法计算模型.文章在分析了吴方法分布式计算需求和吴方法分布式计算算法,并给出了符号计算基本数据类型:大整数和多项式的消息传递方法,文章最后讨论了基于符号计算软件系统ELIMINO和消息传递标准规范MPI的分布式吴方法计算环境的设计与实现.

摘要： 一种用于机械化农具的变速箱和包括此类变速箱的机械化农具，本发明涉及一种用于机械化农具的变速箱(608)，所述变速箱使机动装置与用于驱动所述农具的元件互连，并且尤其包括档位选择操纵杆(614)，所述档位选择操纵杆固定地附接到延伸至所述变速箱内部的支架(1)并适于与所述滑动小齿轮(12)相配合，并且通过其换档能改变输入轴(21)与输出轴(23)之间的传动比。根据本发明，所述变速箱包括夹具(612、613)，所述夹具用于将所述选择操纵杆固定地附接到所述变速箱，所述夹具具有预定断裂强度，并且适于在施加到所述选择操纵杆的力超出预定值的情况下断裂。

摘要： 本发明涉及工程机械领域，具体地涉及一种机械化桥架设机构及机械化桥架设车辆及机械化桥架设方法。一种机械化桥架设方法将设置有桥面组件的门架在安装平台上沿着第一方向平移到锁定位置，然后将门架绕门架的铰接点转动到桥面组件能够展开的架设位置。通过上述技术方案，通过让门架先滑动到锁定位置，锁定滑动方向的运动，然后再对门架进行翻转作业让门架旋转到架设位置。这样就不需要在初始时让门架伸出安装平台，而是让门架与安装平台平齐或者缩在安装平台内通过第一方向的平移运动让门架伸出安装平台，运动距离取决于门架撑地所需要的长度和桥体架设完全展开时所需的平衡重力翻转力矩。

摘要： 本发明涉及一种用于机械化农具的变速箱(608)，其使机动构件与用于驱动该农具的元件互连，上述变速箱(608)包括：输入轴(21)、输出轴(23)、滑动小齿轮(11)和移动支架(4)。根据本发明，上述变速箱(608)进一步包括控制杆(5)，该控制杆用以控制所述支架(4)的移动，采用部分地延伸到所述变速箱(608)的内部中的棒的形式，所述控制杆(5)的第一末端适配成连接到控制电缆(C)使得施加在所述控制电缆(C)上的任何负载引起齿轮比的改变。

摘要： 本发明涉及一种用于机械化农业用具的变速箱，所述变速箱用以将驱动所述用具的组成构件的驱动构件相互连接起来，所述变速箱包括：输入轴杆(10)，其被设计为受到所述驱动构件驱动而旋转；输出轴杆(9)，其被设计为对所述用具的所述驱动组成构件进行驱动；称作滑动小齿轮(6)的小齿轮，其安装成可以在所述输入轴杆(10)上移动，并且被设计为占据至少一个第一前进档位置、至少一个第二前进档位置以及至少一个倒档位置。所述变速箱经配置以使得所述滑动小齿轮(6)的所述倒档位置位于两个前进档位置之间。

摘要： 本发明公开了一种机械化修井吊环开关装置及其机械化摘挂吊环方法，其中开关装置，包括能使吊环撑开及回拢的开关臂、为开关臂提供动力的驱动装置，所述开关臂至少设置两组，每组开关臂为至少铰接在一起的两节结构，并且开关臂下端铰接在驱动装置上，所述每组开关臂在两节结构的铰接处设置开关臂轮，所述开关臂通过开关臂轮运行于开关臂轨道中。本发明的开关臂液压缸与直臂连接，收回液压缸，可使开关臂沿轨道撑开，打开吊环，伸出液压缸，可使开关臂沿轨道收回，关闭吊环。在井口能够代替施工人员完成吊环摘挂工作。

摘要： 本发明涉及工程机械领域，具体地涉及一种机械化桥架设机构及机械化桥架设车辆及机械化桥架设方法。一种机械化桥架设方法将设置有桥面组件的门架在安装平台上沿着第一方向平移到锁定位置，然后将门架绕门架的铰接点转动到桥面组件能够展开的架设位置。通过上述技术方案，通过让门架先滑动到锁定位置，锁定滑动方向的运动，然后再对门架进行翻转作业让门架旋转到架设位置。这样就不需要在初始时让门架伸出安装平台，而是让门架与安装平台平齐或者缩在安装平台内通过第一方向的平移运动让门架伸出安装平台，运动距离取决于门架撑地所需要的长度和桥体架设完全展开时所需的平衡重力翻转力矩。

摘要： 本发明涉及一种用于机械化农具的变速箱(608)，其使机动构件与该农具的驱动元件互连，上述变速箱(608)包括：输入轴(21)，其设计成由所述机动构件以旋转方式驱动；输出轴(23)，其设计成驱动所述农具的所述驱动元件；小齿轮，称为滑动小齿轮(11)，其安装成便于在所述输入轴(21)上移动，且设计成采用至少一种前进档位置，以及采用至少一种倒档位置；移动支架(4)，其延伸到所述变速箱(608)内且设计成与所述滑动小齿轮(11)协作。根据本发明，上述变速箱(608)进一步包括双头杆(5)，用以控制所述支架(4)的移动，采用部分地延伸到所述变速箱(608)的内部中的棒的形式，所述双头杆(5)的第一末端设计成连接到控制电缆(C)使得施加在所述控制电缆(C)上的负载引起传动比的改变。

摘要： 本发明公开了一种机械化修井吊环开关装置及其机械化摘挂吊环方法，包括装置底座、方向调节器、万向旋转头、连接固定轴、主臂液压缸、吊环开关壳体、伺服变频电机，所述开关主臂上方安装有所述主臂液压缸，所述主臂液压缸上方安装有所述吊环开关壳体，所述伺服变频电机下方安装有导向臂，所述导向臂下方安装有液压缸卡头，所述液压缸卡头下方安装有主臂衬板,所述主臂衬板下方安装有操作控制箱，所述操作控制箱下方安装有液晶显示屏。有益效果在于：采用机械对吊环进行摘挂，不仅工作效率高，而且避免了使用人工摘挂吊环时的安全隐患。

摘要： 一种用于机械化农具的变速箱和包括此类变速箱的机械化农具，本发明涉及一种用于机械化农具的变速箱(608)，所述变速箱使机动装置与用于驱动所述农具的元件互连，并且尤其包括档位选择操纵杆(614)，所述档位选择操纵杆固定地附接到延伸至所述变速箱内部的支架(1)并适于与所述滑动小齿轮(12)相配合，并且通过其换档能改变输入轴(21)与输出轴(23)之间的传动比。根据本发明，所述变速箱包括夹具(612、613)，所述夹具用于将所述选择操纵杆固定地附接到所述变速箱，所述夹具具有预定断裂强度，并且适于在施加到所述选择操纵杆的力超出预定值的情况下断裂。

摘要： 本发明名称是：制作教学用综合机械化采煤工作面模型与放顶煤综合机械化采煤工作面模型。所属技术领域是：采煤模型制造。所要解决的技术问题是在教学用综合机械化采煤工作面模型与放顶煤综合机械化采煤工作面模型，液压支架型号及类型可不按实际采煤现场实际情况，可布置多型号，各种类型的液压支架，可选择一种型号或类型或若干种型号或类型液压支架进行组合；所有按采煤现场实际制作的综合机械化采煤工作面模型与放顶煤综合机械化采煤工作面模型的各部分、机械设备的运行方式都可按教学需要进行修改。技术方案是不背离采煤技术理论的前提下，由教学需要，对综合机械化采煤工作面模型与放顶煤综合机械化采煤工作面模型进行修改。主要用途是：用于与煤矿有关院校的教学。