中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共22条，第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  
41th International Symposium on Symbolic and Algebraic Computation (ISSAC'16) Preface 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 85, 页码: 1-3
作者:  Gao, Xiao-Shan
收藏  |  浏览/下载：146/0  |  提交时间：2018/07/30
An efficient stochastic approach for robust time-optimal trajectory planning of robotic manipulators under limited actuation 期刊论文
ROBOTICA, 2017, 卷号: 35, 期号: 12, 页码: 2400-2417
作者:  Zhao, Ming-Yong;  Gao, Xiao-Shan;  Zhang, Qiang
收藏  |  浏览/下载：130/0  |  提交时间：2018/07/30
Robust trajectory planning  Robotic manipulators  Stochastic optimization  Probability constraint  Linear programming  
Time-optimal path tracking for robots under dynamics constraints based on convex optimization 期刊论文
ROBOTICA, 2016, 卷号: 34, 期号: 9, 页码: 2116-2139
作者:  Zhang, Qiang;  Li, Shurong;  Guo, Jian-Xin;  Gao, Xiao-Shan
收藏  |  浏览/下载：138/0  |  提交时间：2018/07/30
Robotic manipulators  Motor dynamics  Path tracking  Optimal trajectory  Optimal control  Convex optimization  
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  
Proper reparametrization for inherently improper unirational varieties 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2011, 卷号: 24, 期号: 2, 页码: 367-380
作者:  Shen, Liyong;  Chionh, Engwee;  Gao, Xiao-Shan;  Li, Jia
收藏  |  浏览/下载：108/0  |  提交时间：2018/07/30
BKK bound  chow form  improper lattice supports  improper rational parametrizations  reparametrization  support transformation  
A criterion for testing whether a difference ideal is prime 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2009, 卷号: 22, 期号: 4, 页码: 627-635
作者:  Yuan, Chunming;  Gao, Xiao-Shan
收藏  |  浏览/下载：103/0  |  提交时间：2018/07/30
Characteristic set  difference prime ideal  irreducibility  strong irreducibility  
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：63/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
Minimal achievable approximation ratio for MAX-MQ in finite fields 期刊论文
THEORETICAL COMPUTER SCIENCE, 2009, 卷号: 410, 期号: 21-23, 页码: 2285-2290
作者:  Zhao, Shang-Wei;  Gao, Xiao-Shan
收藏  |  浏览/下载：99/0  |  提交时间：2018/07/30
Multivariate quadratic polynomial equations  MAX-MQ  Approximation algorithm  Approximation ratio  
A characteristic set method for ordinary difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260
作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming
收藏  |  浏览/下载：99/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving