声明
摘要
1 绪论
1.1 研究背景
1.2研究的必要性及意义
1.3国内外相关研究现状及进展
1.3.1 自主船舶的安全性研究
1.3.2危险分析方法的发展与演变
1.3.3系统理论过程分析的应用
1.4 自主船舶安全性研究中存在的问题及解决思路
1.5主要研究内容与结构框架
1.5.1主要研究内容
1.5.2结构框架
1.6本章小结
2 自主船舶的定义及其自主水平的界定
2.1 自主船舶的历史沿革
2.2 自主船舶的发展历程
2.3 自主船舶的定义与自主化演变
2.3.1 自主船舶的定义
2.3.2船舶自主化的演变
2.4 自主水平分级标准
2.4.1 LR自主水平分级标准
2.4.2 NFAS自主水平分级标准
2.4.3 DMA自主水平分级标准
2.4.4 MASRWG自主水平分级标准
2.4.5 BV自主水平分级标准
2.4.6 IMO自主水平分级标准
2.5 自主水平分级标准的划分依据
2.6基于航海实践的自主水平分级方法
2.7实例分析
2.7.1 “Folgefonn”号渡轮自主水平分级
2.7.2 “Falco”号渡轮自主水平分级
2.8本章小结
3面向自主船舶的危险分析方法适用性评估
3.1危险分析方法的选取与概述
3.1.1基于事件链的危险分析方法
3.1.2基于能量转移的危险分析方法
3.1.3基于状态迁移的危险分析方法
3.1.4基于系统理论的危险分析方法
3.1.5其他危险分析方法
3.2基于系统工程的适用性评估方法
3.2.1文献综述的数据准备
3.2.2危险分析方法的筛选
3.2.3评估程序的确定
3.2.4评估准则的生成
3.3适用性评估过程
3.3.1聚类分析
3.3.2适用性评估结果
3.4适用性评估结果分析
3.4.1 存在局限性的危险分析方法
3.4.2 STPA的适用性分析
3.5本章小结
4面向自主船舶的危险分析与安全性建模
4.1 自主船舶的系统安全描述
4.1.1自主船舶的运行特点
4.1.2自主船舶面临的系统风险
4.2危险分析的基本原理
4.2.1危险及其相关术语的定义
4.2.2危险的转化
4.2.3危险分析过程
4.3基于STPA的安全性协同分析方法
4.3.1 STPA及其扩展方法的局限性
4.3.2 STPA-SynSS的提出
4.4考虑退化组件的自主船舶安全性建模
4.5实例分析
4.5.1 基于STPA-SynSS的远程控制船舶危险分析
4.5.2考虑退化组件的远程控制船舶安全性建模
4.6 STPA-SynSS与STPA危险分析结果的对比分析
4.7本章小结
5 面向自主船舶的形式化建模与危险分析结果验证
5.1形式化方法概述
5.2基于时间自动机的模型检测方法
5.2.1模型检测的基本原理
5.2.2时间自动机理论
5.2.3时间自动机网络
5.2.4模型检测工具UPPAAL概述
5.3基于时间自动机的STPA-SynSS扩展流程
5.4远程控制船舶时间自动机网络模型的构建
5.5 STPA-SynSS危险分析结果的验证
5.6本章小结
6结论与展望
6.1结论
6.2展望
参考文献
作者简历及攻读博士学位期间的科研成果
致谢
大连海事大学;