CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
CP-P Stokes finite element pair on sub-hexahedron tetrahedral grids 期刊论文
CALCOLO, 2017, 卷号: 54, 期号: 4, 页码: 1403-1417
作者:  Zhang, Shangyou;  Zhang, Shuo
浏览  |  Adobe PDF(1589Kb)  |  收藏  |  浏览/下载:502/125  |  提交时间:2018/07/23
Stokes problem  Mixed finite element  Continuous quadratic velocity  Discontinuous pressure  Hexahedral grid  Tetrahedral grid  
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
收藏  |  浏览/下载:131/0  |  提交时间:2018/07/30
Robust trajectory planning  Robotic manipulators  Stochastic optimization  Probability constraint  Linear programming  
Analysis on inexact block diagonal preconditioners for elliptic PDE-constrained optimization problems 期刊论文
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2017, 卷号: 74, 期号: 10, 页码: 2423-2437
作者:  Huang, Na;  Ma, Chang-Feng
浏览  |  Adobe PDF(577Kb)  |  收藏  |  浏览/下载:848/153  |  提交时间:2018/07/25
PDE-constrained optimization  Saddle point matrices  Preconditioner  Cholesky decomposition  Spectral bound  
EFFICIENT SPECTRAL SPARSE GRID APPROXIMATIONS FOR SOLVING MULTI-DIMENSIONAL FORWARD BACKWARD SDES 期刊论文
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2017, 卷号: 22, 期号: 9, 页码: 3439-3458
作者:  Fu, Yu;  Zhao, Weidong;  Zhou, Tao
收藏  |  浏览/下载:120/0  |  提交时间:2018/07/30
Spectral method  sparse grid approximations  forward backward stochastic differential equations  conditional expectations  fast Fourier transform  
A feasible flow-based iterative algorithm for the two-level hierarchical time minimization transportation problem 期刊论文
COMPUTERS & OPERATIONS RESEARCH, 2017, 卷号: 86, 页码: 124-139
作者:  Xie, Fanrong;  Butt, Muhammad Munir;  Li, Zuoan
收藏  |  浏览/下载:104/0  |  提交时间:2018/07/30
Transportation  Transportation problem  Hierarchical optimization  Polynomial algorithm  Network with lower and upper arc capacities  
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
收藏  |  浏览/下载:102/0  |  提交时间:2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery  
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
收藏  |  浏览/下载:116/0  |  提交时间:2018/07/30
Stochastic hybrid systems  safety verification  barrier certificate  
A new fully polynomial time approximation scheme for the interval subset sum problem 期刊论文
JOURNAL OF GLOBAL OPTIMIZATION, 2017, 卷号: 68, 期号: 4, 页码: 749-775
作者:  Diao, Rui;  Liu, Ya-Feng;  Dai, Yu-Hong
收藏  |  浏览/下载:109/0  |  提交时间:2018/07/30
Interval subset sum problem  Computational complexity  Solution structure  Fully polynomial time approximation scheme  Worst-case performance  
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文
AUTOMATICA, 2017, 卷号: 81, 页码: 217-220
作者:  Zhang, Kuize
收藏  |  浏览/下载:198/0  |  提交时间:2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness  
A new high-order finite volume method for 3D elastic wave simulation on unstructured meshes 期刊论文
JOURNAL OF COMPUTATIONAL PHYSICS, 2017, 卷号: 340, 页码: 534-555
作者:  Zhang, Wensheng;  Zhuang, Yuan;  Zhang, Lina
收藏  |  浏览/下载:113/0  |  提交时间:2018/07/30
3D  Elastic wave equation  High-order  Finite volume method  Unstructured tetrahedral mesh  Wave propagation