CSpace

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

限定条件                    
已选(0)清除 条数/页:   排序方式:
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
收藏  |  浏览/下载:106/0  |  提交时间:2018/07/30
Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery  
A new dynamic integrated approach for wind speed forecasting 期刊论文
APPLIED ENERGY, 2017, 卷号: 197, 页码: 151-162
作者:  Sun, Shaolong;  Qiao, Han;  Wei, Yunjie;  Wang, Shouyang
收藏  |  浏览/下载:134/0  |  提交时间:2018/07/30
Wind speed forecasting  Core vector machine  Phase space reconstruction  Kernel principal component analysis  Competition over resource algorithm  
Robust two-stage stochastic linear optimization with risk aversion 期刊论文
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2017, 卷号: 256, 期号: 1, 页码: 215-229
作者:  Ling, Aifan;  Sun, Jie;  Xiu, Naihua;  Yang, Xiaoguang
收藏  |  浏览/下载:126/0  |  提交时间:2018/07/30
Uncertainty modeling  Stochastic programming  Robust optimization  Conditional value-at-risk  Semidefinite programming