教育论文网

NOP协议容错机制的设计与实现
硕士博士毕业论文站内搜索    
分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→一般性问题论文→设计与性能分析论文→容错技术论文
NOP协议容错机制的设计与实现
论文目录
 
中文摘要第1-4页
Abstract第4-7页
第一章 绪论第7-13页
　　· 研究背景第7-11页
　　　　· 安全关键系统第7-8页
　　　　· 安全关键通信网络的发展现状第8-10页
　　　　· 安全关键实时通信协议NOP第10-11页
　　· 研究内容及意义第11页
　　· 论文结构第11-13页
第二章 容错技术综述第13-18页
　　· 可靠性与安全性第13页
　　· 失效、差错与故障第13-15页
　　· 容错技术第15-18页
第三章 容错协议的设计第18-33页
　　· NOP V2.0系统模型第18-19页
　　· NOP V2.0的基本语义第19-24页
　　　　· 故障假设第19-20页
　　　　· 协议的初始化第20-22页
　　　　· 协议的通信过程第22-24页
　　· NOP V2.0容错机制第24-26页
　　　　· TMR+1容错机制第24-26页
　　· NOP V2.0故障检测与诊断第26-33页
　　　　· 帧格式第26-27页
　　　　· 容错协议的出错检测机制第27-29页
　　　　· 故障诊断机制第29-33页
第四章 容错协议的形式化验证第33-51页
　　· FMEA第33-36页
　　　　· 发送节点的FMEA分析第34-35页
　　　　· TMR+1容错机制的FMEA分析第35-36页
　　· 形式化方法第36-39页
　　　　· 模型检测工具SPIN第37-38页
　　　　· 建模语言PROMELA第38页
　　　　· LTL第38-39页
　　· NOP的形式化验证第39-51页
　　　　· NOP建模第39-46页
　　　　· 性质规约第46-48页
　　　　· 模型验证第48-51页
第五章 容错协议的实现与测试第51-56页
　　· 容错协议的实现第51-52页
　　· 测试结果第52-56页
第六章 结论与展望第56-58页
参考文献第58-60页
在学期间的研究成果第60-61页
致谢第61页

本篇论文共61页，点击这进入下载页面。
 
更多论文
NOP协议容错机制的设计与实现
基于笔式界面中的模式切换技术的研
长城电脑发展战略研究
富士康IPPD事业处（深圳）生产物料
中电公司软件产品研发协作管理研究
基于水平集的超声波图像宫颈癌钙化
基于垂直搜索引擎的论文投稿推荐系
基于多分类器集成的不良图像检测方
基于谱方法的聚类算法及其应用的研
商业银行与人民银行间现金往来业务
基于ecryptfs的GPU加密文件系统的研
HIS系统与医保系统数据交换平台的设
基于Android平台的老年桌面系统
基于测试界面动态生成的客观题考试
基于云计算的一卡通补贴系统的设计
基于GPU的焊缝实时成像的设计与实现
标准文献共享公共服务平台开发——
基于ASP网络办公自动化系统的研究与
基于SNMP协议的移动分支管理系统的
基于SURF算法的医学显微图像拼接研
基于HSV颜色空间和SIFT特征的近似图
锥束X射线工业CT系统图像重建模拟校
英伟达公司软件质量管理体系构建研
基于Hadoop的大规模虚拟筛选数据的
一个基于眼电信号的人—机器人交互
基于外内核操作系统的调度研究
基于数据预测的气象发布软件设计与
农业服务外包及农产品交易系统的设
基于计算机视觉的人眼行为识别算法
基于各向异性扩散的超声图像斑点噪
非理想情况下基于SIFT算法的人脸识
Radon-Fourier相似不变特征提取
外内核时间子系统的初步研究
基于自适应聚图融合的视频去噪算法
混合推荐算法的研究
相关相在纹理检索中的应用
面向轻度认知功能障碍诊断的本体不
基于矢量场卷积的虹膜定位算法研究
基于ARM11的嵌入式用户数据管理系统
基于计算机视觉的位置控制系统研究
深圳启明软件公司员工流失问题及对
基于唇部特征的讲话人身份识别算法
基于稀疏表示的不良图片鉴别算法研
基于动态威胁值与故障树的信息安全
一种基于区域匹配相似度和TF-IDF值
萤火虫算法的改进及其在图像阈值分
 
安全关键系统论文 事件触发协议论文 容错协议论文 形式化验证论文 SPIN论文
版权申明：目录由用户m**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved