您的位置： 专家智库 > >

王定康

作品数：5 被引量：5H指数：1
供职机构：中国科学院数学与系统科学研究院数学机械化重点实验室更多>>
发文基金：中国科学院知识创新工程重要方向项目国家自然科学基金更多>>
相关领域：自动化与计算机技术金属学及工艺理学更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

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

主题

  • 3篇数控
  • 3篇数控加工
  • 2篇数学
  • 2篇数学机械化
  • 2篇特征点
  • 2篇线段
  • 2篇工作性能
  • 2篇插补
  • 2篇插补方法
  • 2篇工作性
  • 1篇代数
  • 1篇数学软件
  • 1篇二次曲线拟合
  • 1篇方程组
  • 1篇方程组求解
  • 1篇MMP

机构

  • 4篇中国科学院数...
  • 1篇北京大学
  • 1篇中国石油天然...

作者

  • 5篇王定康
  • 3篇闫伟
  • 3篇高小山
  • 3篇张梅
  • 2篇袁春明
  • 2篇李洪波
  • 1篇袁春明

传媒

  • 1篇中国科学：信...

年份

  • 1篇2011
  • 1篇2010
  • 1篇2009
  • 1篇2003
  • 1篇1993
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
自动推理平台MMP
高小山王定康林东岱裘衷燕杨宏
自动推理平台MMP首次从底层开始，开发具有自主知识产权的、不依赖于其他软件系统，以符号计算为主的支撑系统，在此基础上完整与高效地实现了数学机械化方法，并形成了一系列应用模块，实现了若干数学问题与高科技问题的自动求解。MM...
关键词：
关键词：数学机械化数学软件
数控加工中的二次曲线拟合与最优插补控制算法被引量：5
2011年
本文提出一种基于二次B样条曲线对G01代码的拟合及插补方法,先通过自适应方法选取G01代码所描述的加工轨迹形状特征的各个特征点,再用通过所有特征点的二次B样条曲线拟合待加工路径.由于Timar等人提出的最优速度规划算法对于三次及三次以上的高阶次样条曲线的计算极为复杂,本文提出了一种改进的基于二次B样条曲线的时间最优插补计算方法.最后,将所提出的算法应用到实际的图案加工仿真与实际数控加工中.
张梅闫伟袁春明王定康高小山
基于二次B样条曲线对G01代码的拟合及插补方法
一种基于二次B样条曲线对G01代码的拟合及插补方法，是先通过自适应方法选取G01代码所描述的每组小线段的各个特征点，再用通过所有特征点的二次B样条曲线拟合待加工路径。并根据二次B样条曲线的性质和数控机床各驱动轴加速度的限...
张梅袁春明闫伟王定康李洪波高小山
文献传递
代数方程组求解和几何定理机器证明
王定康
关键词：数学机械化
基于二次B样条曲线对G01代码的拟合及插补方法
一种基于二次B样条曲线对G01代码的拟合及插补方法，是先通过自适应方法选取G01代码所描述的每组小线段的各个特征点，再用通过所有特征点的二次B样条曲线拟合待加工路径。并根据二次B样条曲线的性质和数控机床各驱动轴加速度的限...
张梅袁春明闫伟王定康李洪波高小山
文献传递
全选 清除 导出
共1页<1>
聚类工具0