状态转换系统的格值量化验证方法研究--博士论文下载

教育论文中心

广告服务

论文搜索

论文发表

会员专区

在线购卡

服务帮助

联系我们

硕士论文

博士论文

当前位置：教育论文中心首页--博士论文--状态转换系统的格值量化验证方法研究

博硕论文分类列表

工业技术	交通运输	农业科学
生物科学	航空航天	历史地理
医学卫生	语言文字	环境科学
综合图书	政治法律	社会科学
马列主义、毛泽东思想		艺术
数理科学和化学		文学
天文学、地理科学		军事
文化科学、教育体育		经济
自然科学总论		哲学
查看更多分类

论文搜索

科目列表

市场营销	管理理论	人力资源
电子商务	社会实践	先进教育
伦理道德	艺术理论	环境保护
农村研究	交通相关	烟草论文
电子电气	财务分析	融资决策
电影艺术	国学论文	材料工程
语文论文	数学论文	英语论文
政治论文	物理论文	化学论文
生物论文	美术论文	历史论文
地理论文	信息技术	班主任
音乐论文	体育论文	劳技论文
自然论文	德育管理	农村教育
素质教育	三个代表	旅游管理
国际贸易	哲学论文	工商管理
证券金融	社会学	审计论文
会计论文	建筑论文	电力论文
水利论文	园林景观	农林学
中医学	西医学	心理学
公安论文	法学法律	思想汇报
法律文书	总结报告	演讲稿
物业管理	经济学	论文指导
计算机	护理论文	社会调查
军事论文	化工论文	财政税收
保险论文	物流论文	语言教育
教育教学	给水排水	暖通论文
结构论文	综合类别	硕士论文
博士论文

状态转换系统的格值量化验证方法研究

论文目录

摘要	第1-8页
Abstract	第8-12页
第一章引言	第12-24页
·研究背景、现状、所关注的问题	第12-17页
·研究思路	第17-19页
·主要贡献	第19-21页
·章节安排	第21-24页
第二章预备知识	第24-38页
·形式化方法的基本知识	第24-29页
·完备剩余格	第29-36页
·本章小结	第36-38页
第三章格值互模拟等价关系	第38-74页
·引言	第38-39页
·格值双标号转换系统	第39-41页
·格值互模拟关系	第41-56页
·格值互模拟关系的逻辑刻画	第56-71页
·相关工作	第71页
·小结	第71-74页
第四章格值迹等价关系	第74-112页
·引言	第74-75页
·格值Kripke结构	第75-77页
·格值迹语义	第77-95页
·格值线性时态逻辑	第95-104页
·格值迹语义的逻辑刻画	第104-109页
·相关工作	第109-110页
·结论	第110-112页
第五章格值模型之间的关系	第112-138页
·引言	第112-113页
·格值标号转换系统的格值互模拟关系	第113-119页
·LLTS和LKS相互转换	第119-123页
·格值计算树时态逻辑	第123-132页
·LHML_(?)和LML相互转换	第132-135页
·相关工作	第135-136页
·结论	第136-138页
第六章格值时间自动机	第138-168页
·引言	第138-139页
·预备知识	第139-143页
·格值时间自动机的语法与语义	第143-151页
·格值时间自动机的模型检测	第151-162页
·D—互模拟等价关系	第162-166页
·相关工作	第166页
·结论	第166-168页
第七章总结与展望	第168-172页
·本文总结	第168-169页
·未来的研究工作	第169-172页
附录A 攻读博士学位期间科研成果	第172-174页
附录B 参与的科研项目	第174-176页
参考文献	第176-188页
后记	第188-189页

论文编号BS9396，这篇论文共189页会员购买按0.35元/页下载，共需支付66.15元。直接购买按0.5元/页下载，共需要支付94.5元。

我还不是会员，注册会员！会员下载更优惠!充值送钱！	我只需要这篇，无需注册！直接网上支付，方便快捷！

您可能感兴趣的论文

论文标题	页/字数	分类
基于VMM覆盖率导向验证方法的研究和应用	74页	硕士论文
几个偏微分方程保持守恒性或者耗散性的算法研究	123页	博士论文
几类格值自动机的关系及其语言的代数性质	52页	硕士论文
作战仿真系统可信性研究	189页	博士论文
格值自动机的代数性质与极小化算法	72页	硕士论文
格值交替自动机的若干问题研究	124页	博士论文
中科SoC通用验证平台及验证方法学研究	80页	硕士论文
混合系统的近似形式化验证	46页	硕士论文
非量化与量化的统一：科学发展观落实过程中的共生态	5816字	期刊论文
Web输入验证脆弱性检测方法研究与改进	77页	硕士论文

版权申明：本目录由www.jylw.com网站制作，本站并未收录原文，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。