教育论文网

等价化简和抽象的概率模型检测

硕士博士毕业论文站内搜索    
分类:教育论文网→数理科学和化学论文→概率论与数理统计论文概率论(几率论、或然率论)论文随机过程论文马尔可夫过程论文
等价化简和抽象的概率模型检测
论文目录
 
摘要第1-5页
ABSTRACT第5-8页
第一章 绪论第8-12页
  1.1 国内外研究现状第8-10页
  1.2 主要内容和研究目标第10-11页
  1.3 论文组织结构第11-12页
第二章 相关研究综述第12-19页
  2.1 离散时间的马尔科夫链第12-14页
  2.2 状态的概率空间第14-15页
  2.3 概率计算树逻辑第15-16页
  2.4 概率模型检测的反例第16-17页
  2.5 马尔科夫链的目标状态第17-19页
第三章 等价化简和抽象第19-46页
  3.1 模型等价化简第19-23页
    3.1.1 状态闭包第19-21页
    3.1.2 模型化简第21-23页
  3.2 模型抽象第23-37页
    3.2.1 极小连通分量第23-25页
    3.2.2 极小连通分量的马尔科夫链第25-27页
    3.2.3 抽象的等价性证明第27-29页
    3.2.4 抽象概率求解第29-33页
    3.2.5 模型抽象第33-37页
  3.3 模型反例第37-46页
    3.3.1 关键子系统第38-40页
    3.3.2 反例生成框架第40-41页
    3.3.3 局部搜索和全局搜索第41-46页
第四章 实验的设计和分析第46-54页
  4.1 模型化简实验的设计和分析第46-49页
    4.1.1 实验环境第46页
    4.1.2 实验数据第46-47页
    4.1.3 实验结果分析第47-49页
  4.2 模型抽象实验的设计和分析第49-52页
    4.2.1 实验环境第49页
    4.2.2 实验数据第49-50页
    4.2.3 实验结果分析第50-52页
  4.3 模型化简和抽象的算法评价第52-54页
第五章 总结与展望第54-56页
  5.1 总结第54-55页
  5.2 展望第55-56页
参考文献第56-59页
发表论文和参加科研情况说明第59-60页
致谢第60-61页

本篇论文共61页,点击这进入下载页面
 
更多论文
等价化简和抽象的概率模型检测
基于网络编码的P2P数据分发方案研究
基于稳定分布的时间序列模型分析研
内容中心网络的缓存放置策略研究
含备用元件的复杂系统平均寿命的估
内容中心网络路由与转发策略的研究
核函数的核密度估计算法
基于网络编码的内容中心网络的研究
条件异方差模型的实证研究
容迟网络中多策略路由算法的设计与
我国宏观经济对沪港股市影响的贝叶
基于Opendaylight的SDN控制器集群的
带有MA(1)噪声的AR(1)过程中参数估
分布式架构设计——以Z在线教育项目
近平稳二阶自回归过程中参数估计量
IPv4/IPv6过渡阶段DNS46系统研究与
Amenable群作用的拓扑动力系统
IPv6组播系统的构建及QoS路由算法研
Saturated集的Billingsley维数和局
带有认证机制的NTP协议脆弱性研究
因子映射的packing压和packing熵的
IPCIS系统中IPv4位置库有效性研究
群作用的Katok熵及大偏差
工业云运维平台网关的研究与设计
拓扑动力系统中若干动力性状的研究
移动应用层组播树全局重构策略与自
关于拓扑动力系统中复杂性的若干研
防火墙双机热备系统的设计与实现
拓扑动力系统中m-敏感依赖性的若干
网络应用流行为分析与异常检测方法
离散度量空间的强嵌入
基于流行为特征分析的网络端目标表
关于拓扑空间中p开集及其相关拓扑性
机会网络中带拥塞控制的转发策略研
分明及模糊化拓扑线性空间中序列的
基于机器学习的网络故障诊断技术研
关于拓扑空间中半开集和半连续映射
希尔伯特黄变换在网络流量中的研究
超空间及一致Cantor集的双曲化
动态带宽控制系统的设计与实现
三维空间中曲线的主法线曲面
面向设备集成的网络安全管理平台的
对复数个立方体的共同展开图的研究
面向DCI网络流量调度方案的设计与实
 
马尔科夫链论文 传递闭包论文 模型检测论文 最短距离论文
版权申明:目录由用户lzm19**提供,www.51papers.com仅收录目录,作者需要删除这篇论文目录请点击这里
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved