CSpace

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

已选(0)清除 条数/页:   排序方式:
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
收藏  |  浏览/下载:143/0  |  提交时间:2018/07/30
Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming  
A TRANSFER FORECASTING MODEL FOR CONTAINER THROUGHPUT GUIDED BY DISCRETE PSO 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2014, 卷号: 27, 期号: 1, 页码: 181-192
作者:  Xiao Jin;  Xiao Yi;  Fu Julei;  Lai Kin Keung
收藏  |  浏览/下载:92/0  |  提交时间:2021/01/14
HONG-KONG  CARGO THROUGHPUT  PORT  TIME  Analog complexing  container throughput forecasting  discrete particle swarm optimization  transfer forecasting model  
Convergence rate of ordinal optimization for stochastic discrete event systems 期刊论文
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1999, 卷号: 9, 期号: 1, 页码: 23-43
作者:  Tang, QY;  Chen, HF
收藏  |  浏览/下载:102/0  |  提交时间:2018/07/30
ordinal optimization  stochastic discrete event systems  convergence rate  Harris-recurrent Markov chains  exponential stability  
Global minimax approaches for solving discrete problems 期刊论文
RECENT ADVANCES IN OPTIMIZATION, 1997, 卷号: 452, 页码: 34-48
作者:  Du, DZ;  Pardalos, PM
收藏  |  浏览/下载:111/0  |  提交时间:2018/07/30
minimax  Steiner tree  sphere packing  rectangular partition  global optimization  discrete optimization