中文版 | English

在结果中检索

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.
收藏  |  浏览/下载：141/0  |  提交时间：2018/07/30
Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming  
On hybrid models of quantum finite automata 期刊论文
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158
作者:  Li, Lvzhou;  Feng, Yuan
收藏  |  浏览/下载：107/0  |  提交时间：2018/07/30
Quantum computing  Automata theory  Quantum finite automata  Hybrid model of QFA  
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties 期刊论文
INFORMATION AND COMPUTATION, 2015, 卷号: 244, 页码: 229-244
作者:  Li, Lvzhou;  Feng, Yuan
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
Quantum Markov chains  Hybrid systems  Quantum automata  Equivalence  Model checking  Linear-time property  
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm 期刊论文
DISTRIBUTED COMPUTING, 2015, 卷号: 28, 期号: 4, 页码: 233-244
作者:  Feng, Yuan;  Zhang, Lijun
收藏  |  浏览/下载：84/0  |  提交时间：2018/07/30
Herman's algorithm  Self-stabilization  Lagrange multipliers method