位置：成果数据库 > 期刊 > 期刊详情页
一个组合问题在部分情形下的正确性证明
  • ISSN号：1672-6871
  • 期刊名称：《河南科技大学学报：自然科学版》
  • 时间：0
  • 分类：TP391.41[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术] TH-39[机械工程]
  • 作者机构：[1]KLMM, Academy of Mathematics and Systems Science Chinese Academy of Sciences, Beijing 100190, China
  • 相关基金：Partially supportedby a grant from NSFC （60821002）.
作者： 涂自然[1], 姜宇鹏[2], 邓映蒲[2]
关键词： 刀具路径规划, 三维空间, 扇贝, 铣削过程, 曲面设计, 加工路径, 3D结构, 铣加工, tool path generation, iso-scallop height, sculptured surface, CNC milling
中文摘要：

Corresponding author： MIN Cheng, E-mail： minch86@163.com

同期刊论文项目
数学机械化方法及其在信息技术中的应用
期刊论文 56 会议论文 22 获奖 17 专利 3
同项目期刊论文
Liouvillian Solutions of Linear Difference- Differential Equations
Visually Dynamic Presentation of Proofs in Plane Geometry，Part 1. Basic Features and the Manual Inpu
Three-dimensional rogue waves in nonstationary parabolic potentials
Computing rational points in convex semi-algebraic sets and SOS decompositions
Strict Optimal Rational Approximants of Multisequences
Frobenius morphism and semi-stable bundles
Dynamics of inhomogeneous condensates in contact with a surface
Exact analytical solutions for the generalized non-integrable nonlinear Schrödinger equation wi
Counting isomorphism classes of pointed hyperelliptic curves of genus 4 over finite fields with even
Nonautonomous ＂rogons＂ in the inhomogeneous nonlinear Schrödinger equation with variable coeffi
Financial rogue waves
Visually Dynamic Presentation of Proofs in Plane Geometry，Part 2. Automated Generation of Visually D
A Characteristic Set Method for Difference Polynomial Systems
Characteristic set method for differential–difference polynomial systems
Periodic，solitary and rational wave solutions of the 3D extended quantum Zakharov–Kuznetsov eq
Simplification and normalization of indexed differentials involving coordinate transformation
Exact solutions to three-dimensional generalized nonlinear Schrodinger equations with varying potent
Decomposition of ordinary difference polynomials
Minimal Achievable Approximation Ratio for MAX-MQ in Finite Fields
Multiplicity-preserving triangular set decomposition of two polynomials
Transforming linear functional systems to fully integrable systems.
The F5 algorithm in buchberger's style
Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation.
Intersection Theory for Generic Differential Polynomials and Differential Chow Form.
Characteristic Set Algorithms for Equation Solving in Finite Fields.
B-spline patches and transfinite interpolation method for PDE controlled simulation.
Approximate Determining singular solutions of polynomial systems via symbolic-numeric reduction to g
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
A criterion for the similarity of lenth-two elements in a noncommutative PID
A Conjecture about Binary Strings and its Applications on Constructing Boolean Functions with Optima
High speed interpolation for micro-line trajectory and adaptive real-time lookahead in CNC machining
Collision and intersection detection of two-ruled surfaces using bracket method
Proper Reparametrization for inherently improper unirational varieties.
GEOMETRIC ERROR CONTROL IN THE PARABOLA-BLENDING LINEAR INTERPOLATOR
Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming
B-spline patches and transfinite interpolation method for PDE controlled simulation
On Computing Groebner Bases in the Rings of Differential Operators.
Rogon-like solutions excited in the two-dimensional nonlocal nonlinear Schrodinger equation
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines
Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory
代数免疫度为1的布尔函数
On functional decomposition of multivariate polynomials with differentiation and homogenization
一类M-M型bent函数的代数免疫度
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity
期刊信息
  • 《河南科技大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:河南省教育厅
  • 主办单位:河南科技大学
  • 主编：苏娟华
  • 地址：河南省洛阳市开元大道263号
  • 邮编：471023
  • 邮箱：hkdxbz@haust.edu.cn
  • 电话：0379－64231476
  • 国际标准刊号：ISSN：1672-6871
  • 国内统一刊号：ISSN：41-1362/N
  • 邮发代号:36-285
  • 获奖情况:
  • 1999年全国优秀高校自然科学学报及教育部优秀科技...,全国高校自然科学优秀学报,河南省优秀科技期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,波兰哥白尼索引,德国数学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:4775