基于模型的高速列车运行控制系统可信性验证方法研究



基于模型的高速列车运行控制系统可信性验证方法研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→自动化技术及设备论文→自动化系统论文→自动控制、自动控制系统论文

基于模型的高速列车运行控制系统可信性验证方法研究

论文目录
致谢	第1-6页
中文摘要	第6-8页
ABSTRACT	第8-14页
1 引言	第14-26页
· 研究背景	第14页
· 高速列控系统的结构和特点	第14-16页
· 复杂安全苛求系统可信性验证的内容和必要性	第16-18页
· 列控系统的可信性验证研究现状	第18-22页
· 可信性相关标准	第18-20页
· 列控系统的可信性验证	第20-22页
· 选题的目的和意义	第22-23页
· 论文研究内容和篇章结构	第23-26页
2 系统可信性验证方法研究现状	第26-38页
· 概述	第26-28页
· 传统可信性验证方法及比较	第26-27页
· 高速列控系统可信性验证需求	第27-28页
· 系统结构可信性验证方法	第28-32页
· 参数化故障树	第28-29页
· 可维修故障树	第29-30页
· 随机Petri网分析方法	第30页
· 基于多形式化语义的结构可信性评估技术	第30-32页
· 系统功能可信性测试方法	第32-36页
· 功能正确性分析方法	第32-33页
· 功能可靠性测试方法	第33-35页
· 功能安全性测试方法	第35-36页
· 研究现状总结	第36-37页
· 本章小结	第37-38页
3 基于模型的系统结构可信性验证方法	第38-86页
· 多形式化语义融合框架	第38-40页
· 参数化可维修故障树融合	第40-45页
· 扩展的参数化故障树	第41-43页
· 可维修故障树	第43-45页
· 参数化可维修故障树	第45页
· 混成马尔可夫—参数化可维修故障树融合	第45-55页
· 维修策略参数化数学模型	第46-52页
· 混成马尔可夫模型	第52-54页
· 混成马尔可夫—参数化可维修故障树(HMC-PRFT)	第54-55页
· HMC-PRFT的CPN工具实现	第55-71页
· 离散化数值计算思想	第55-58页
· HMC-PRFT实现需求及选择CPN的原因	第58-59页
· HMC-PRFT的CPN实现框架	第59-60页
· HMC-PRFT的基本逻辑门实现	第60-65页
· HMC-PRFT的混成马尔可夫维修策略模型CPN实现	第65-71页
· 最小割集自动计算能力扩展	第71-73页
· 方法有效性证明	第73-84页
· 案例描述	第73-74页
· HMC-PRFT模型建立	第74-77页
· 可信性验证计算方法	第77-79页
· 传统方法分析结果和期望	第79-80页
· HMC-PRFT模型方法可信性验证结果	第80-83页
· 分析结果比较	第83-84页
· 本章小结	第84-86页
4 基于模型的功能安全性自动测试方法	第86-118页
· 功能安全性测试	第86-92页
· 功能安全性测试的内容	第86-88页
· 功能安全性自动测试框架	第88-89页
· 系统安全性指标	第89-91页
· 系统功能划分方法	第91-92页
· 系统功能失效模式识别方法	第92页
· 基于模型的安全性测试生成方法	第92-107页
· 基于模型的测试生成建模需求分析	第92-94页
· 面向安全性测试生成CPN建模方法研究	第94-96页
· 基于CPN的测试相关定义	第96-99页
· 功能测试输入域和功能诱导执行序列的生成方法	第99-107页
· 无先验知识的贝叶斯假设的SIL级评价测试方法	第107-111页
· 贝叶斯统计推断理论	第107页
· 软件SIL等级与软件失效概率关系	第107-109页
· 共轭先验分布	第109-110页
· 无先验知识的Bayesian测试方法	第110-111页
· 基于经验的贝叶斯假设的SIL级评价测试方法	第111-115页
· 运用先验知识进行贝叶斯推断的必要性	第111-112页
· 先验分布超参数的求解方法	第112-113页
· 有先验知识的Bayesian假设测试方法	第113-115页
· 实例分析	第115-117页
· 本章小结	第117-118页
5 案例分析	第118-134页
· RBC子系统介绍	第118-119页
· RBC子系统结构可信性验证案例	第119-126页
· RBC子系统结构说明	第120页
· 可信性需求和维修策略	第120-121页
· RBC子系统结构建模建立	第121页
· 基于HMC-PRFT模型的RBC子系统结构可信性验证	第121-126页
· RBC子系统软件功能建模与测试生成	第126-133页
· “成功移交”功能的FMEA分析	第126页
· 功能测试序列及其输入域的生成	第126-130页
· 诱导执行序列生成	第130-131页
· 基于贝叶斯假设的SIL级评价测试设计	第131-133页
· 本章小结	第133-134页
6 总结和展望	第134-138页
· 研究成果	第134-135页
· 论文创新点	第135-136页
· 展望	第136-138页
参考文献	第138-144页
附录A	第144-148页
HMC-PRFT建模	第144-147页
最小割集计算建模	第147-148页
附录B	第148-152页
附录C	第152-154页
作者简历	第154-158页
学位论文数据集	第158页

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

更多论文
基于模型的高速列车运行控制系统可
高速动车组列车网络控制若干问题研
高铁综合客运枢纽客流安全预警关键
社交网络服务中信息传播模式与舆论
司法裁判的经济学分析
文化创意产业园区投资决策及运营模
多自由度误差同时测量中滚转角高精
铁路网编组站改编能力配置优化研究
铁路车轮型面参数化设计理论
跨座式单轨交通曲线梁桥车桥耦合振
突发事件条件下铁路行车组织模糊随
高速铁道车辆半主动悬挂系统动力学
开挖卸荷下既有地铁隧道的竖向变形
深埋岩溶对隧道安全影响分析及处治
结合部路网匝道系统结构分解与协同
高速公路与关联城市快速路结合部路
单轨应急梁稳定性能研究
高海拔特长铁路隧道火灾燃烧特性与
大断面黄土隧道围岩变形特征及控制
混合交通环境下城市道路交通信号控
大断面黄土隧道初支作用机理及变形
DX旋挖挤扩灌注桩单桩及群桩承载机
我国民用建筑运行能耗预测方法及其
卟啉酞菁类化合物的设计合成及其在
有机小分子太阳能电池的效率优化及
城市轨道交通供电系统建模与直流馈
大功率光伏并网逆变系统研究
地铁车辆牵引电传动系统控制关键技
轨道牵引逆变器数字控制研究
列车牵引电机低速运行优化控制研究
智能工程在智能输电网规划不确定性
双馈风力发电系统变流器控制的相关
活性层掺杂及阴极修饰在聚合物太阳
聚乙烯基无机纳米复合电介质的陷阱
城市轨道交通网络运营安全风险评估
高压脉冲水中放电特性及亚甲基蓝模
基于元胞自动机的金融市场建模研究
复杂网络结构下供应链企业间合作关
ZnO基薄膜及其阻变式存储器的研制
聚合物光波导的受激辐射特性研究
裂隙岩体水流—传热模型试验与计算
基于多孔介质理论的土体多场耦合模
市场化改革环境下基于电力系统可靠
城市交通系统运行状态评估及控制策
内陆中转型铁路枢纽集装箱海铁联合
基于振动信号的机械故障特征提取与
基于磁流变阻尼器的高速机车横向振
横风作用下的高速列车气动特性及运
基于服务能力的轴辐式物流网络构建
虚拟资源导向的配送中心IPO-2L模式
H企业原材料库存管理优化研究
基于霍尔三维结构的基础设施项目投
ZWY公司的物流服务供应链协调策略研
N公司中国区新增配送中心选址研究
万州港物流园区发展规划研究
物流配送中心信息可视化研究与应用
交换型物流公共信息平台发展成熟度
数据交换型物流信息平台客户增长影
基于区域经济一体化的深莞惠区域物
基于VMI的库存与配送联合优化研究
BT模式下项目投资建设方的风险管理
邮政法规对A公司的影响向及对策研究
我国技术标准战略选择研究
公共部门与私人部门合作模式研究
央企承包中东工程项目风险控制的研
A公司生产物流优化
基于准时制物流配送运作的研究与应
联合库存下应急物资动态配送方案研
国家物资储备局物流网络规划与运作
物流企业仓储能力规划与分配问题研
公允价值计量下投资性房地产的市场
应急物资投放效果研究
区域物流信息平台信息服务定价研究
基于低碳理论的物流园区路网优化
国家物资储备局物流业务规划研究
基于物资种类的救灾物资储备模式及
企业集团库存共享机制研究
HL第三方物流公司发展战略研究
基于融通仓的订货策略研究
基于TRIZ方法的我国物流上市公司核
资源型城市转型中的接替产业选择与
工程监理企业向工程项目管理企业转
回收逆向物流环境外部性研究
PD工程咨询公司发展战略研究
物流服务质量评价研究与应用
突发事件应急储备体系中的仓库选址
政府投资工程项目代建制管理模式研
物联网技术在食品冷链物流中的应用
化工区物流设施布局规划研究
石家庄城市竞争力的综合评价
万科物业基层人员招聘的研究
可持续发展的区域创新能力及效率评
基于对角聚类方法的价—供—需评价
成效导向隐性资源可视化
克拉玛依市货运需求与经济发展互动
北京市基础设施投资与经济增长关系
资源型城市产业结构调整研究
北京城镇居民消费结构研究
西部区域物流与区域经济发展的相互
山东省物流产业与经济发展相关性分
区域自主创新能力评价研究
现代物流与区域经济协调发展研究

高速列控系统论文可信性验证论文安全性自动测试论文无线闭塞中心论文
版权申明：目录由用户milkpig**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved