1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 数据结构与算法

基于隐马尔科夫模型的随机系统运行时安全性验证.pdfVIP

  • 1
  • 0
  • 约4.87万字
  • 约 7页
  • 2019-03-26 发布于天津
  • 举报

基于隐马尔科夫模型的随机系统运行时安全性验证.pdf

    第卷第期工程科学与技术年月信息工程基于隐马尔科夫模型的随机系统运行时安全性验证房丙午黄志球李勇王勇南京航空航天大学计算机科学与技术学院江苏南京安徽财贸职业学院云桂信息学院安徽合肥摘要随机系统运行时验证中由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为因此复杂随机系统在运行时其状态是难以观测的为了对该类系统进行运行时验证提出了状态不可观测的随机系统运行时安全性验证方法首先给出了随机系统安全性验证框架框架使用隐马尔科夫模型建模运行时系统使用确定性有限自动机规约系统安

    第 50 卷 第 6 期 工 程 科 学 与 技 术 Vol. 50 No. 6 2018 年 11 月 ADVANCED ENGINEERING SCIENCES Nov. 2018 •信息工程•

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >