基于模型检验的飞机系统安全性分析方法研究



基于模型检验的飞机系统安全性分析方法研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

基于模型检验的飞机系统安全性分析方法研究

论文目录
摘要	第1-5页
ABSTRACT	第5-13页
第一章绪论	第13-16页
· 研究背景	第13-14页
· 国内外研究现状	第14页
· 本文研究内容	第14页
· 章节体系	第14-16页
第二章模型检验方法论述	第16-24页
· 模型检验流程	第16页
2.2 Kripke 结构	第16-18页
· 时态逻辑	第18-20页
· 计算树逻辑	第18-20页
· 线性时态逻辑	第20页
· 二元决策图	第20-21页
· 符号模型检验	第21-22页
· 模型检验工具	第22-23页
· 本章小结	第23-24页
第三章基于模型检验的飞机系统安全性分析方法	第24-38页
· 飞机系统安全性评估流程和分析方法概述	第24-25页
· 故障树分析方法剖析	第25-28页
· 故障树分析方法概述	第25页
· 故障树分析的用途	第25页
· 故障树分析的实施	第25-28页
· 故障树分析的局限性	第28页
· 基于模型检验的飞机系统安全性分析方法	第28-32页
· 建模准备	第28-31页
· 模型建立	第31-32页
· 安全性分析	第32页
· 分析示例	第32-37页
· 建模准备	第33-35页
· 模型建立	第35-37页
· 安全性分析	第37页
· 本章小结	第37-38页
第四章基于 NuSMV 的验证平台开发	第38-50页
· 需求分析	第38-40页
· 软件功能需求	第38-40页
· 平台架构	第40页
· 平台开发	第40-49页
· 工具选用	第40-45页
· 平台功能与实现	第45-49页
· 本章小结	第49-50页
第五章基于模型检验的安全性分析实例	第50-62页
· 系统分析	第50-52页
· 系统功能概述	第50页
· 系统接口与主要部件	第50-52页
· 系统拓展	第52页
· 定性分析	第52-57页
· 建模准备	第52-55页
· 系统建模	第55页
· 系统安全性分析	第55-56页
· 故障树分析求最小割集	第56-57页
· 定量分析	第57-61页
· 建模准备	第57-59页
· 系统建模	第59-60页
· 安全性分析	第60-61页
· 本章小结	第61-62页
第六章总结展望	第62-63页
· 总结	第62页
· 展望	第62-63页
参考文献	第63-66页
致谢	第66-67页
在学期间的研究成果及发表的学术论文	第67-68页
附录1 上行法求最小割集过程	第68-69页
附录2 电源监控系统模型 NuSMV 代码	第69-71 页

本篇论文共71页，点击这进入下载页面。

更多论文
基于模型检验的飞机系统安全性分析
基于局部自适应核回归的Adaboost人
基于形变模型的三维人脸建模研究
高清视频中多车牌检测算法的研究与
分布式环境中数据库异常事务隔离和
气瓶安全监管系统软件的设计与实现
基于MapReduce的并行图序列社区挖掘
分布式多模型交互集成的研究与应用
基于RFID技术防伪信息平台的研究与
单样本人脸识别方法的研究
面向快速扩散制造的工作流访问控制
混合结构下的失效检测系统研究与实
数据库应用中的隐私保护技术研究
Web服务组合事务协调框架研究与实现
基于本体的特征模型一致性检测的研
基于免疫的木马防御技术的研究
基于合同网的协同生产任务调度软件
基于本体的TAR协同数据管理框架研究
基于移动终端的云安全技术研究
基于模型检测的UML一致性检验与测试
基于程序切片的Ada程序模型检测研究
SysML和Petri网对舰艇C~4ISR系统建
机场航站楼视频监控系统中的人群密
基于FPGA的数字水印算法实现
版权保护和身份认证中的数字水印及
红外图像处理及弱小目标检测方法研
图像制导技术及实验研究
航天产品总装质量链管理技术研究
基于高斯过程响应面及核密度估计的
图像手术导航系统中DTI和脑血管可视
面向实时高精度三维测量的光斑图像
复杂截面线数据的B样条曲面分段拟合
可拓关联规则在产品概念设计中的研
软件用户界面图标的易用性设计研究
卫星GNC分系统地面试验测试软件的设
人脑白质损伤分割方法研究
基于刚架模型的复杂多曲面光滑协调
毫米波仿真系统中校准系统的设计与
面向三维测量的多红外目标靶点的自
血管影像清晰化软件设计研究
大壁虎定位脑图谱及其三维重建的基
基于GPU的医学数据可视化关键技术研
虚拟现实技术在网络购物中的应用研
断层扫描影像自动分割技术的研究与
基于视觉的近距离非合作空天目标的
一种基于关联规则挖掘的查询扩展算
主题网站的自动发现与判定方法研究
基于动态领域知识体系的信息采集方
机械加工表面残余应力的有限元模拟
代价敏感特征选择算法及其在软件缺
基于特征的标准冠数据库关键技术研
基于波形匹配的高频电源过程控制及
网页界面交互设计模式的标准化研究
基于彩色编码的双目三维测量关键技
协同学习环境下知识管理系统的研究
室内近距高精度惯性/视觉融合定姿研
面向维修的装配序列规划方法研究
X射线焊缝图像缺陷自动提取与识别技
协同学习成员信用评价方法及其伙伴
工作流中若干问题的研究
不确定数据的重复检测及清洗研究
针对特定领域的中文新词发现技术研
图像中建筑物垂直棱角线的提取方法
基于红外与可见光图像融合的目标跟
基于图像处理技术的机场跑道路面裂
具有负载均衡特性的容错复制技术研

飞机系统论文安全性分析论文模型检验论文验证平台论文
版权申明：目录由用户蒋汝**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved