国家自然科学基金(60821002) 作品数:7 被引量:11 H指数:2 相关作者: 高小山 邓映蒲 涂自然 孙瑞勇 张立先 更多>> 相关机构: 中国科学院数学与系统科学研究院 河南科技大学 中国科学院研究生院 更多>> 发文基金: 国家自然科学基金 国家重点基础研究发展计划 中国科学院知识创新工程重要方向项目 更多>> 相关领域: 理学 金属学及工艺 自动化与计算机技术 机械工程 更多>>
一类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年 这份报纸被奉献给在有限领域上数削尖的 hyperelliptic 曲线的同晶型班的数字。我们处理 4 大小写和有限的地具有甚至特征的类。同晶型班的数字被计算,明确的公式被给。这个数字能在度 7 的 q 作为一个多项式被代表,在 q 是有限领域的顺序的地方。结果能处于分类问题被使用,它为 hyperelliptic 曲线 cryptosystems 的进一步的研究是有用的,例如它具有为关于为密码的目的实现低类的曲线的算术的研究的兴趣。它能也具有为数问题的点的兴趣;在曲线的 moduli 空格,并且在发现在一个给定的有限领域上的一条削尖的 hyperelliptic 曲线可以有的点的最大的数字上。关键词 hyperelliptic 曲线 - hyperelliptic 曲线 cryptosystems - Jacobians - 同晶型班 - stabilizer 先生(2000 ) 题目分类 14G15 - 11G20 - 第二写作的 94A60 被中国的国家自然科学基础支持(资助 Nos. 10501049, 60821002 ) 并且 973 工程(资助号码 2004CB318000 ) Huah CHU Ying Pu DENG Tse-Chung YANG关键词:超椭圆曲线密码体制 有限域 偶特征 模空间 数控机床高速微线段插补算法与自适应前瞻处理 被引量:6 2011年 数控加工在机械制造领域具有举足轻重的作用,如何在满足加工精度和机床加速度约束的前提下提高加工速度是数控加工的一个关键问题.在由G01代码产生的连续微小直线段加工中,通过线段连接处的速度是制约加工速度的瓶颈.本文提出一种在直线加减速方式下,满足加工精度要求,充分利用机床各驱动轴最大加速能力用多个插补周期进行拐角过渡的方法,来提高线段连接处的通过速度.该方法在一定意义下实现了时间最优加工.本文还提出一种新的前瞻处理与动态修调方法,有效提高了整体加工速度.以上算法在蓝天数控系统上进行了实际加工验证.与若干已有算法相比,根据机床加工参数不同,加工速度提高了50%~180%;同时获得较好的加工质量;算法能够满足实时在线加工需求. 张立先 孙瑞勇 高小山 李洪波关键词:数控机床 实时插补 A new iso-scallop height tool path planning method in three-dimensional space 被引量:3 2012年 This paper presents a new approach for designing the tool paths in the machining of sculptured surfaces for computer numerical controlled end milling.In the proposed method,the tool paths are determined so that the scallop height formed by two adjacent 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 examples. MIN Cheng关键词:扇贝 铣削过程 曲面设计 铣加工 CNC固有误差估计新方法 2012年 提出了一个估计数控机床固有误差的新方法.与已有利用动态最小二乘(MLS)的方法相比,采用径向基函数(RBF)直接对已有数据进行拟合估计,大大提高了计算效率.还观察到,RBF方法在某个采样半径下误差估计精度总是优于MLS方法,而大于这个采样半径后则MLS方法较好.由此提出了穿越半径的概念与一种基于RBF方法与MLS方法的混合方法,以得到更好的误差估计.实验结果证实了新方法的有效性. 郭建新 张可 高小山关键词:数控机床 移动最小二乘 核方法 微分周形式与稀疏微分结式 2014年 代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法. 李伟