您的位置: 专家智库 > >

国家自然科学基金(10871195)

作品数:3 被引量:17H指数:1
相关作者:李洪波张立先叶征谢正曹源昊更多>>
相关机构:中国科学院数学与系统科学研究院浙江大学上海理工大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划博士科研启动基金更多>>
相关领域:理学自动化与计算机技术金属学及工艺更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 2篇理学
  • 1篇金属学及工艺
  • 1篇自动化与计算...

主题

  • 2篇微分
  • 2篇微分几何
  • 2篇机器证明
  • 1篇三角化
  • 1篇实时插补
  • 1篇进给
  • 1篇进给速度
  • 1篇RIEMAN...
  • 1篇HIGH_S...
  • 1篇INTERP...
  • 1篇插补
  • 1篇LOOK-A...
  • 1篇TRAJEC...

机构

  • 2篇中国科学院数...
  • 1篇上海理工大学
  • 1篇浙江大学

作者

  • 2篇李洪波
  • 1篇刘姜
  • 1篇曹源昊
  • 1篇谢正
  • 1篇叶征
  • 1篇张立先

传媒

  • 1篇系统科学与数...
  • 1篇Scienc...
  • 1篇中国科学:数...

年份

  • 1篇2013
  • 1篇2011
  • 1篇2009
3 条 记 录,以下是 1-3
排序方式:
High speed interpolation for micro-line trajectory and adaptive real-time look-ahead scheme in CNC machining被引量:17
2011年
CNC machining plays an important role in mechanical manufacturing.A key issue is to improve the machining feedrate while keeping the machining precision and satisfying the acceleration constraints of the CNC machine.For the consecutive micro-line segments interpolation,the velocities at the junction of two segments are the bottlenecks for the machining efficiency.This paper proposes a multi-period turning method to improve the feedrate at the junctions using the linear acceleration and deceleration mode,which utilizes the maximal acceleration capabilities of the NC machine while satisfying the machining precision.A new and more efficient look-ahead method and a feedrate override method are also proposed to boast the global machining speed.The proposed algorithm has been implemented on Blue Sky NC System,and experimented in real material manufacturing.Compared with several existing algorithms,the current algorithm can improve the manufacturing time ranging from 50% to 180%,depending on the machining parameters,and also results in better machining quality.In addition,the algorithm also satisfies the need of real-time interpolation.
ZHANG LiXianSUN RuiYongGAO XiaoShanLI HongBo
关键词:实时插补进给速度
一类Riemann张量指标表达式的标准型完全分类及其在微分几何中的应用
2013年
本文研究了n维微分几何中Riemann张量指标表达式的标准型完全分类问题,通过引入指标结构图的概念,证明了规范类型单项式都是标准型,并且构成次数不大于5的Sakai类型单项式的正交基底,由此得到Sakai类型单项式的标准型完全分类,这是次数大于3时标准型完全分类问题的第一个结果.同时给出了相应标准化算法,通过比较说明了该算法比现有算法更加简便,最后应用于自动推导和证明微分几何中关于Riemann张量的一些公式.
刘姜李洪波张立先
关键词:机器证明
基于指标形式张量的微分几何定理机器证明
2009年
提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系统本身和关于哑元的方程三角化这个多项式系统,将所得到的首项代入结论,从而得到了该定理的机器证明.该算法不仅能够证明基于指标形式张量的微分几何定理,也可以用于张量方程的求解.
叶征曹源昊谢正李洪波
关键词:微分几何机器证明三角化
共1页<1>
聚类工具0