连续随机逻辑相关硕士博士期刊学术论文 - 信丰网

连续随机逻辑相关论文

连续时间马尔科夫链模型上的模型检测算法研究与工具实现

连续时间马尔科夫链(CTMC)在网络性能分析、模型检测和系统生物学等领域受到了广泛的关注。本文关注以连续时间马尔科夫链为模型、......

学位

概率模型检测连续时间马尔科夫链连续随机逻辑模型检测器

基于概率模型检测的高可信系统性能分析与研究

随着科学技术的不断发展,人们的生活已经慢慢步入智能信息控制化时代,背后所依赖的是各种大型高可信系统。这类系统不断地向纵深发......

学位

高可信系统概率模型检测连续时间马尔科夫链可靠性分析连续随机逻辑

看过本文同时还关注