搜索到818篇“ 数学机械化“的相关文章
- 数学机械化
- 《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助 中国科学院科学出版基金资助出版:本书以构造性与算法化的方式研究数学，分为：数学机械化的发展史，强调在古代中国的...
- 吴文俊著
- 关键词：数学
- 一种基于数学机械化的DFIG风电场等值建模方法
- 本发明公开了一种基于数学机械化的DFIG风电场等值建模方法，所述方法只需要根据DFIG风电场节点或升压站实测的电压、电流及有功、无功参数，不需要了解DFIG集总电路相关参数，即可根据风电场的SCADA测试数据或PMU测试...
- 王立国陈建华刘浩芳朱艺颖
- 论牛顿的数学机械化思想被引量：1
- 2023年
- 研究著名数学家牛顿蕴含在其众多数学研究中的数学思想具有重要意义。通过运用内容分析法和对比分析法,对牛顿的微积分和代数学研究进行讨论,发现:牛顿在其数学研究中广泛应用了数学机械化思想;牛顿的数学机械化思想与中国古代机械化思想非常相似,比笛卡尔的数学机械化思想更清晰和简洁。因此,牛顿也是西方数学机械化思想发展和实际应用的先驱。
- 杨欣童
- 关键词：机械化数学微分
- 数学机械化丛书 分析基础机器证明系统
- 本书利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对该专著中全部5个公设、73条定义和301个定理的Coq描述，其中依次构...
- 郁文生
- 数学机械化方法在平面多杆复杂机构位置分析中的应用
- 2022年
- 阐述以数学机械方法为基础的平面多杆复杂机构,结合计算机符号处理技术完成符号法求解,从而为平面多杆复杂机构位置分析提供有效引导,并促进机构可靠性、提升效率。
- 张发荣
- 关键词：计算机应用
- 一种基于数学机械化的DFIG风电场等值建模方法
- 本发明公开了一种基于数学机械化的DFIG风电场等值建模方法，所述方法只需要根据DFIG风电场节点或升压站实测的电压、电流及有功、无功参数，不需要了解DFIG集总电路相关参数，即可根据风电场的SCADA测试数据或PMU测试...
- 王立国陈建华刘浩芳朱艺颖
- 数学机械化在转子动力学研究中的应用初探
- 2021年
- 随着近几年来人们对于科学技术的要求的不断提高,数学机械化被应用于越来越多的行业当中,而且人们近几年来在航天工程,汽车行业等诸多方面都取得了较大的发展,这也使得社会对于轴承系统的要求越来越高.在对转子轴承系统进行综合研究的过程当中,对转子动力学进行综合的探讨,对轴承系统当中的转子涡动或者是两元盘转子的临界转速等诸多方面进行综合的探讨,采用数学机械化的研究方式,将其作为研究对象,可以更好地实现对于轴承系统的综合探讨,而且还可以更好的了解轴承窝洞的各种参数,并对其进行综合的解析计算,更好地提高轴承转子稳定性.因此,本文对数学机械化在转的动力学研究中的应用进行简要探讨。
- 闫佩玉张波
- 关键词：数学机械化转子动力学轴承系统临界转速
- “矛盾”的数学家——记中国数学机械化、拓扑学研究的奠基者吴文俊被引量：1
- 2020年
- 吴文俊是中国数学界的泰山北斗,也是我国最具国际影响的数学家之一。他从事着在外人看来最枯燥无味的数学,却一辈子快乐;在拓扑学、数学机械化等领域攻克数个难题,从学生时代就被划为聪明那一类,却总说数学是笨人才能做的研究;那些奠定他在数学界地位的成果,如果不勤奋不可能获得,可他却喜欢光脚穿着皮鞋在屋里走动,说这是懒人的运动。
- 操秀英
- 关键词：数学机械化拓扑学数学家奠基者
- 吴文俊：用数学机械化征服世界被引量：1
- 2019年
- 吴文俊所倡导的数学机械化研究,一方面继承了古代中国数学思想的精华,另一方面也适应了现代科学技术的发展。他的数学机械化方法已成功地应用于物理规律的发现、机器人学、计算机视觉以及促进现代数学研究等重大高科技前沿领域。
- 尹传红杜爱军(绘图)
- 关键词：数学机械化现代数学物理规律计算机视觉机器人学
- 吴文俊全集 数学机械化卷 4
- 本卷收录了吴文俊的《几何定理机器证明的基本原理》一书.书中论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化.因此在理论上，这些几何的定理证明可以借...
- 吴文俊
相关作者
- 傅海伦
- 作品数：158被引量：539H指数：11
- 供职机构：山东师范大学
- 研究主题：数学教学 数学 数学机械化 数学史 数学教育
- 张景中
- 作品数：382被引量：902H指数：16
- 供职机构：中国科学院
- 研究主题：数学 数学家 数学教学 微积分 超级画板
- 曾振柄
- 作品数：88被引量：309H指数：10
- 供职机构：上海大学理学院数学系
- 研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
- 吴文俊
- 作品数：18被引量：53H指数：5
- 供职机构：中国科学院数学与系统科学研究院系统科学研究所
- 研究主题：数学 数学机械化 机器证明 《九章算术》 数学教育
- 张鸿庆
- 作品数：147被引量：1,184H指数：21
- 供职机构：大连理工大学数学科学学院
- 研究主题：精确解 孤波解 非线性演化方程 非线性发展方程 行波解
