|
|
|
|
基于可能性测度的计算树逻辑和Kripke结构决策过程 |
| |
| 论文目录 |
| |
| 摘要 | 第1-4页 | | Abstract | 第4-7页 | | 前言 | 第7-11页 | | 第1章 预备知识 | 第11-15页 | | ·概率模型检测的相关概念 | 第11-12页 | | ·CTL和CTL~* | 第12-14页 | | ·模糊集合理论 | 第14-15页 | | 第2章 可能性计算树逻辑 | 第15-25页 | | ·可能的Kripke结构 | 第15-16页 | | ·基于可能的Kripke结构的CTL和CTL~* | 第16-17页 | | ·可能性计算树逻辑 | 第17-21页 | | ·PoCTL、CTL和CTL~*之间的关系 | 第21-25页 | | 第3章 可能的互模拟 | 第25-33页 | | ·PoCTL~*和PoCTI~-公式 | 第25页 | | ·可能的互模拟 | 第25-33页 | | 第4章 可能的Kripke结构决策过程 | 第33-47页 | | ·可能的Kripke结构的决策过程 | 第33-34页 | | ·调度表 | 第34-37页 | | ·基于可能的Kripke结构决策过程的PoCTL | 第37-38页 | | ·可能的Kripke结构决策过程中事件的可达性 | 第38-47页 | | 总结 | 第47-49页 | | 参考文献 | 第49-53页 | | 致谢 | 第53-55页 | | 攻读硕士学位期间研究成果 | 第55页 |
|
|
|
|
论文编号BS19062，这篇论文共55页
会员购买按0.35元/页下载，共需支付19.25元。 直接购买按0.5元/页下载，共需要支付27.5元 。 |
 |
 |
我还不是会员，注册会员！
会员下载更优惠!充值送钱！ |
我只需要这篇，无需注册！
直接网上支付，方便快捷！ |
|
|
|
版权申明：本目录由www.jylw.com网站制作，本站并未收录原文，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。 |
|
|
广告服务