您的位置: 专家智库 > >

国家自然科学基金(60821002)

作品数:7 被引量:13H指数:2
相关作者:高小山邓映蒲涂自然孙瑞勇张立先更多>>
相关机构:中国科学院数学与系统科学研究院河南科技大学中国科学院研究生院更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划中国科学院知识创新工程重要方向项目更多>>
相关领域:理学金属学及工艺自动化与计算机技术机械工程更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 3篇理学
  • 2篇金属学及工艺
  • 1篇机械工程
  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 2篇代数
  • 2篇代数免疫
  • 2篇数控
  • 2篇数控机
  • 2篇数控机床
  • 2篇流密码
  • 2篇密码
  • 2篇机床
  • 2篇函数
  • 2篇布尔函数
  • 1篇移动最小二乘
  • 1篇实时插补
  • 1篇数学
  • 1篇自适
  • 1篇自适应
  • 1篇组合数
  • 1篇组合数学
  • 1篇最小二乘
  • 1篇微分
  • 1篇结式

机构

  • 4篇中国科学院数...
  • 2篇河南科技大学
  • 1篇中国科学院
  • 1篇中国科学院研...

作者

  • 2篇涂自然
  • 2篇邓映蒲
  • 2篇高小山
  • 1篇姜宇鹏
  • 1篇张可
  • 1篇郭建新
  • 1篇李洪波
  • 1篇张立先
  • 1篇李伟
  • 1篇孙瑞勇

传媒

  • 2篇河南科技大学...
  • 1篇系统科学与数...
  • 1篇Comput...
  • 1篇Acta M...
  • 1篇中国科学:数...
  • 1篇中国科学:技...

年份

  • 1篇2014
  • 3篇2012
  • 1篇2011
  • 2篇2010
7 条 记 录,以下是 1-7
排序方式:
一类M-M型bent函数的代数免疫度被引量:2
2010年
布尔函数的代数免疫度是当前国际密码研究的热点问题,本文考察了一类特殊M-M型bent函数的代数免疫度,改进了此类函数的代数免疫度取值的下界,并且精确定出了一类函数的代数免疫度。
涂自然邓映蒲
关键词:流密码布尔函数
一个组合问题在部分情形下的正确性证明
2012年
最近,Tu和Deng提出了一个组合猜想,并且设计了一个验证算法。本文对该猜想做了一些初步的理论分析,通过分析模加法时的进位情形,证明了该猜想在部分情形下的正确性。
涂自然姜宇鹏邓映蒲
关键词:流密码布尔函数组合数学
Counting Isomorphism Classes of Pointed Hyperelliptic Curves of Genus 4 over Finite Fields with Even Characteristic
2010年
This paper is devoted to counting the number of isomorphism classes of pointed hyperelliptic curves over finite fields. We deal with the genus 4 case and the finite fields are of even characteristics. The number of isomorphism classes is computed and the explicit formulae are given. This number can be represented as a polynomial in q of degree 7, where q is the order of the finite field. The result can be used in the classification problems and it is useful for further studies of hyperelliptic curve cryptosystems, e.g. it is of interest for research on implementing the arithmetics of curves of low genus for cryptographic purposes. It could also be of interest for point counting problems; both on moduli spaces of curves, and on finding the maximal number of points that a pointed hyperelliptic curve over a given finite field may have.
Huah CHUYing Pu DENGTse-Chung YANG
关键词:JACOBIANSSTABILIZER
数控机床高速微线段插补算法与自适应前瞻处理被引量:7
2011年
数控加工在机械制造领域具有举足轻重的作用,如何在满足加工精度和机床加速度约束的前提下提高加工速度是数控加工的一个关键问题.在由G01代码产生的连续微小直线段加工中,通过线段连接处的速度是制约加工速度的瓶颈.本文提出一种在直线加减速方式下,满足加工精度要求,充分利用机床各驱动轴最大加速能力用多个插补周期进行拐角过渡的方法,来提高线段连接处的通过速度.该方法在一定意义下实现了时间最优加工.本文还提出一种新的前瞻处理与动态修调方法,有效提高了整体加工速度.以上算法在蓝天数控系统上进行了实际加工验证.与若干已有算法相比,根据机床加工参数不同,加工速度提高了50%~180%;同时获得较好的加工质量;算法能够满足实时在线加工需求.
张立先孙瑞勇高小山李洪波
关键词:数控机床实时插补
A new iso-scallop height tool path planning method in three-dimensional space被引量:4
2012年
This paper presents a new approach for designing the tool paths in the machining of sculptured surfaces for computer nu- merical controlled end milling. In the proposed method, the tool paths are determined so that the scallop height formed by two adja- cent machining paths is maintained constant across the machined surface. Unlike previous work on iso-scallop height milling, the present work considers the true 3D configuration of the milling procedure and can be used to generate better results, which is shown by examoles.
MIN Cheng
CNC固有误差估计新方法
2012年
提出了一个估计数控机床固有误差的新方法.与已有利用动态最小二乘(MLS)的方法相比,采用径向基函数(RBF)直接对已有数据进行拟合估计,大大提高了计算效率.还观察到,RBF方法在某个采样半径下误差估计精度总是优于MLS方法,而大于这个采样半径后则MLS方法较好.由此提出了穿越半径的概念与一种基于RBF方法与MLS方法的混合方法,以得到更好的误差估计.实验结果证实了新方法的有效性.
郭建新张可高小山
关键词:数控机床移动最小二乘核方法
微分周形式与稀疏微分结式
2014年
代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.
李伟
共1页<1>
聚类工具0