袁春明
- 作品数:11 被引量:8H指数:2
- 供职机构:中国科学院数学与系统科学研究院更多>>
- 发文基金:中央高校基本科研业务费专项资金浙江省自然科学基金国家自然科学基金更多>>
- 相关领域:理学自动化与计算机技术金属学及工艺文化科学更多>>
- 一种基于动力学约束的刀具路径确定方法及系统
- 本发明涉及一种基于动力学约束的刀具路径确定方法及系统。该方法包括获取带有边界的三角网格曲面;根据带有边界的三角网格曲面进行边界的提取;基于残高约束,根据进给方向对当前偏置的边界上的每一个点进行偏置,确定当前偏置的边界的轮...
- 袁春明马鸿宇高小山张立先
- 文献传递
- 连续代数扩域上多项式因式分解的Trager算法被引量:3
- 2006年
- 多项式的因式分解是符号计算中最基本的算法,二十世纪六十年代开始出现的关于多项式因式分解的工作被认为是符号计算领域的起源.目前多项式的因式分解已经成熟,并已在Maple等符号计算软件中实现,但代数扩域上的因式分解算法还有待进一步改进.代数扩域上的基本算法是Trager算法.Weinberger等提出了基于Hensel提升的算法.这些算法是在单个扩域上做因式分解.而在吴零点分解定理中,多个代数扩域上的因式分解是非常基本的一步,主要用于不可约升列的计算.为了解决这一问题,吴文俊,胡森、王东明分别提出了基于方程求解的多个扩域上的因式分解算法.王东明、林东岱提出了另外一个算法Trager算法相似,将问题化为有理数域上的分解.他们应用了吴的三角化算法,因此算法的终止性依赖于吴方法的计算.支丽红则将提升技巧用于多个扩域上的因式分解算法.本文将Trager的算法直接推广为连续扩域上的因式分解,只涉及结式计算与有理数域上的因式分解,给出了多个代数扩域上的因式分解一个直接的算法.
- 袁春明
- 微分-差分多项式系统的吴特征列与预解式方法
- 吴特征列方法是数学机械化理论的核心算法,机器证明的吴方法,方程求解的吴消元法都以此为基础.对于代数与代数微分系统特征列方法已有成熟的理论.代数差分方程的特征列方法也于最近给出.本文的主要贡献是给出了差分-微分(DD)混合...
- 袁春明
- 基于二次B样条曲线对G01代码的拟合及插补方法
- 一种基于二次B样条曲线对G01代码的拟合及插补方法,是先通过自适应方法选取G01代码所描述的每组小线段的各个特征点,再用通过所有特征点的二次B样条曲线拟合待加工路径。并根据二次B样条曲线的性质和数控机床各驱动轴加速度的限...
- 张梅袁春明闫伟王定康李洪波高小山
- 文献传递
- 一种基于CAM的时间样条曲面生成方法
- 本发明提供一种基于CAM的时间样条曲面生成方法,方案包括:步骤S1、预先设定残高误差E,基于所述残高误差E的约束在原始曲面S(u,v)上确定第一数量的刀具路径,将所述第一数量的刀具路径中的每条刀具路径转换为时间样条曲线,...
- 袁春明申立勇高小山吴芹张立先
- 一种数控机床修调处理加工方法及系统
- 本发明涉及一种数控机床修调处理加工方法及系统。根据修调后发生时的最大加工速度,重新计算当前插补点所在直线段及之后的缓存区内所有直线段的拐角处的最优拐角插补参数;判断当前插补点是否在拐角处;若是,直接根据原来速度进行插补;...
- 袁春明张立先高小山
- 文献传递
- 基于二次B样条曲线对G01代码的拟合及插补方法
- 一种基于二次B样条曲线对G01代码的拟合及插补方法,是先通过自适应方法选取G01代码所描述的每组小线段的各个特征点,再用通过所有特征点的二次B样条曲线拟合待加工路径。并根据二次B样条曲线的性质和数控机床各驱动轴加速度的限...
- 张梅袁春明闫伟王定康李洪波高小山
- 文献传递
- 一种基于CAM的时间样条曲面生成方法
- 本发明提供一种基于CAM的时间样条曲面生成方法,方案包括:步骤S1、预先设定残高误差E,基于所述残高误差E的约束在原始曲面S(u,v)上确定第一数量的刀具路径,将所述第一数量的刀具路径中的每条刀具路径转换为时间样条曲线,...
- 袁春明申立勇高小山吴芹张立先
- 一种数控机床修调处理加工方法及系统
- 本发明涉及一种数控机床修调处理加工方法及系统。根据修调后发生时的最大加工速度,重新计算当前插补点所在直线段及之后的缓存区内所有直线段的拐角处的最优拐角插补参数;判断当前插补点是否在拐角处;若是,直接根据原来速度进行插补;...
- 袁春明张立先高小山
- 一种基于动力学约束的刀具路径确定方法及系统
- 本发明涉及一种基于动力学约束的刀具路径确定方法及系统。该方法包括获取带有边界的三角网格曲面;根据带有边界的三角网格曲面进行边界的提取;基于残高约束,根据进给方向对当前偏置的边界上的每一个点进行偏置,确定当前偏置的边界的轮...
- 袁春明马鸿宇高小山张立先
- 文献传递