教育论文网

基于Petri网的on-the-fly模型检测
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→理论、方法论文→自动机理论论文
基于Petri网的on-the-fly模型检测
论文目录
 
摘要第1-5 页
Abstract第5-9 页
第1章 绪论第9-16 页
　　· 引言第9-10 页
　　· 模型检测第10-14 页
　　　　· 模型检测产生的背景第10-11 页
　　　　· 模型检测概述第11-14 页
　　· 研究内容与本文组织第14-16 页
第2章 Petri网及其可达图第16-23 页
　　· Petri网的直观理解第16-17 页
　　· Petri网的形式化描述第17-20 页
　　　　· 网及其图形表示第17 页
　　　　· P/T系统及其相关定义第17-20 页
　　· 抑制弧Petri网第20-21 页
　　· Petri网的可达图第21-23 页
第3章 线性时序逻辑与自动机理论第23-35 页
　　· 线性时序逻辑LTL第23-26 页
　　　　· LTL的语法第24 页
　　　　· LTL的语义第24-26 页
　　　　· LTL公式的NNF形式第26 页
　　· 自动机理论第26-29 页
　　　　· Büichi自动机第26-27 页
　　　　· 泛Büchi自动机第27-28 页
　　　　· 标记的泛Büchi自动机第28-29 页
　　· LTL公式到自动机的转换第29-33 页
　　　　· 数据结构第29-30 页
　　　　· LTL转换为自动机第30-33 页
　　· 交自动机第33-35 页
　　　　· 交自动机的定义第33-34 页
　　　　· 交自动机的构造算法第34-35 页
第4章 on-the-fly模型检测第35-43 页
　　· 模型检测的步骤第35-37 页
　　· 基于自动机的模型检测第37-39 页
　　　　· 基于Petri网的自动机模型检测第37-39 页
　　· 双DFS算法第39-40 页
　　· on-the-fly模型检测第40-43 页
　　　　· on-the-fly模型检测概述第40-41 页
　　　　· 基于Petri网的on-the-fly模型检测第41-43 页
第5章 实例分析第43-51 页
　　· 互斥算法第43 页
　　· 实例的Petri网模型第43-44 页
　　· 实例并发特性的描述第44-45 页
　　· 性质LTL公式转换到自动机第45-46 页
　　· 用自动机进行模型检测第46-48 页
　　· 采用on-the-fly技术进行模型检测第48-51 页
第6章 总结与展望第51-53 页
参考文献第53-56 页
在学期间发表的学术论文第56-57 页
致谢第57 页

本篇论文共57页，点击这进入下载页面。
 
更多论文
基于Petri网的on-the-fly模型检测
基于插件思想的信息安全实验系统构
让·鲍德里亚的后现代媒介思想研究
消费主义视野下的娱乐新闻研究
组态技术在智能控件化虚拟仪器开发
《人民日报》（1949年8月—1956年6
新新闻的中国化之路探析
消费主义视野下的电视真人秀的生产
在温和与固执之间--论沈从文“湘西
色彩意象审美视觉形式研究
贫困农村地区普及学前教育面临的问
1949年以前的北京电影放映活动研究
慢性阻塞性肺疾病急性发作期患者氧
神经介素B受体与激动剂和拮抗剂结合
城乡统筹背景下重庆市铜梁县城镇化
中国民族室内乐的发展及相关个例分
大肠癌中Ezrin和HIF-1的表达及其意
侧脑室注射脂肪酸合成酶抑制剂C75对
C2轴对称樟脑磺酰胺基醇
内吗啡肽2类似物的CoMFA研究
黄酮类药物与生物大分子的相互作用
洛沙坦类似物的合成研究以及铜渣氯
离子敏感眼用原位凝胶的制备及体内
κ-阿片受体激动剂U50488H对大鼠心
几种图像复原方法
多浆旱生植物霸王液泡膜Na~+/H~+逆
MIMO雷达发射波束置零及误差估计
兰州百合与丛枝菌根真菌的共生效应
基于企业知识网络结构的知识传导效
阿特拉津对发育期SD大鼠免疫功能的
影响泰安市PM10浓度的气象条件分析
新疆师范大学数字化校园研究与规划
oxLDL的胶体金免疫层析试纸条的制备
纳豆激酶的表达与复性研究
无线传感器网络跟踪技术研究及其在
中国企业跨国并购风险防范研究
少数民族地区青年马克思主义大众化
钾肥对铅、镉污染土壤白菜的效应研
基于多图层感知神经网络模型的生态
山东省农民收入区域差异与受教育程
生物炭对沼液养分淋溶的影响研究
中学生校服需求问卷编制
农村居民点空间布局优化模式构建研
网络环境下著作权集体管理许可制度
道德特质启动对志愿行为的影响研究
上一左/下一右优势效应的文化差异
典型岩溶槽谷区不同土地利用类型岩
蜡梅水通道蛋白CpAQP1转录水平变化
畜产品中OPPs检测方法的优化和OPPs
葡萄皮渣膳食纤维的改性及其生理功
家蚕三重半月纹突变(ETc
 
Petri网论文 线性时序逻辑论文 Büchi自动机论文 模型检测论文 on-the-fly论文
版权申明：目录由用户oldcatt**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved