载入中...
等价化简和抽象的概率模型检测
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→数理科学和化学论文→
概率论与数理统计论文
→
概率论(几率论、或然率论)论文
→
随机过程论文
→
马尔可夫过程论文
等价化简和抽象的概率模型检测
论文目录
摘要
第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