CSpace
(本次检索基于用户作品认领结果)

浏览/检索结果: 共11条,第1-10条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x] 期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 755, 页码: 89-109
作者:  Jing, Rui-Juan;  Yuan, Chun-Ming;  Gao, Xiao-Shan
收藏  |  浏览/下载:164/0  |  提交时间:2019/03/05
Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module  
solvingbooleanequationsystemsandapplicationsincryptanalysis 期刊论文
sciencechinainformationsciences, 2016, 卷号: 59, 期号: 5, 页码: 2
作者:  Gao Xiaoshan;  Huang Zhenyu
收藏  |  浏览/下载:101/0  |  提交时间:2020/01/10
Iso-scallop tool-path generation of five-axis computer numerically controlled machining for cyclide splines 期刊论文
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2015, 卷号: 229, 期号: 7, 页码: 1144-1156
作者:  Min, Cheng;  Gao, Xiao-Shan
收藏  |  浏览/下载:96/0  |  提交时间:2018/07/30
Five-axis computer numerically controlled machining  cyclide spline surfaces  tool orientation optimization  iso-scallop tool path  iso-parametric tool path  
timeoptimalfeedrategenerationwithconfinedtrackingerrorbasedonlinearprogramming 期刊论文
journalofsystemsscienceandcomplexity, 2015, 卷号: 28, 期号: 1, 页码: 80
作者:  Guo Jianxin;  Zhang Qiang;  Gao Xiaoshan;  Li Hongbo
收藏  |  浏览/下载:112/0  |  提交时间:2020/01/10
onfunctionaldecompositionofmultivariatepolynomialswithdifferentiationandhomogenization 期刊论文
journalofsystemsscienceandcomplexity, 2012, 卷号: 025, 期号: 002, 页码: 329
作者:  Zhao Shangwei;  Feng Ruyong;  Gao Xiaoshan
收藏  |  浏览/下载:108/0  |  提交时间:2020/01/10
Curve fitting and optimal interpolation on CNC machines based on quadratic B-splines 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2011, 卷号: 54, 期号: 7, 页码: 1407-1418
作者:  Zhang Mei;  Yan Wei;  Yuan ChunMing;  Wang DingKang;  Gao XiaoShan
收藏  |  浏览/下载:122/0  |  提交时间:2018/07/30
quadratic B-spline  G01 codes  feature point  velocity planning  interpolation  
highspeedinterpolationformicrolinetrajectoryandadaptiverealtimelookaheadschemeincncmachining 期刊论文
sciencechinatechnologicalsciences, 2011, 卷号: 54, 期号: 6, 页码: 1481
作者:  ZHANG LiXian;  SUN RuiYong;  GAO XiaoShan;  LI HongBo
收藏  |  浏览/下载:117/0  |  提交时间:2020/01/10
RITT-WU'S CHARACTERISTIC SET METHOD FOR ORDINARY DIFFERENCE POLYNOMIAL SYSTEMS WITH ARBITRARY ORDERING 期刊论文
ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 4, 页码: 1063-1080
作者:  Gao Xiaoshan;  Yuan Chunming;  Zhang Guilin
收藏  |  浏览/下载:85/0  |  提交时间:2018/07/30
difference polynomial  ascending chain  characteristic set  Ritt-Wu's zero  decomposition theorem  
Generating symbolic interpolants for scattered data with normal vectors 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 861-874
作者:  Li, M;  Gao, XS;  Cheng, JS
收藏  |  浏览/下载:114/0  |  提交时间:2018/07/30
solid modelling  Hermite interpolation surface  Bezier curve  sweeping curve  
Implicitization of differential rational parametric equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 811-824
作者:  Gao, XS
收藏  |  浏览/下载:99/0  |  提交时间:2018/07/30
implicitization  differential rational parametric equations  unirational differential algebraic varieties  Luroth theorem