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

出版社:中国科学院
出版年:2013
作者:高杨
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

马尔科夫过程与实用随机模型

  • 作者:李元章
  • ISBN:9787562350071
  • 出版社:华南理工大学出版社
  • 出版年:2018

基于神经网络-马尔科夫链并行模型的非平稳时间序列预测研究

  • 作者:陈宜航
  • 出版社:中国科学院空间应用工程与技术中心
  • 出版年:2018

基于隐马尔科夫模型的刀具磨损监测研究

  • 作者:李鑫
  • 出版社:中国科学技术大学
  • 出版年:2022

带时间约束的LTL公式的模型检测技术及工具实现

  • 作者:部德振
  • 出版社:中国科学院
  • 出版年:2010