【摘 要】
：
传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求。结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构
论文部分内容阅读
传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求。结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构,阐述该系统的移动授权和列车管理功能建模方法,并从模型覆盖率分析和形式化验证两方面深入分析系统安全性保障措施。ZC系统的研究项目表明,基于模型的开发方法能够更好地保证系统的开发质量和安全性。
其他文献
随着我国改革开放的不断深入,高速公路的在建设里程和实际的通车里程不断增加,使得经济发展对于公路交通的依赖日益增强。然而,高速公路运营数量增多的同时,一些运输企业或个
在各大城市中,大规模的客流需求迅速上升。越来越多的居民使用公共交通作为工作或其他出行的交通选择。轨道交通和常规公交作为主要的公共交通在缓解城市交通压力中起到重要
扩增片断长度多态性(AFLP)可靠性强,多态检出率高,因而被认为是最有效的DNA指纹分析技术.利用这一技术,在不需要预先知道DNA序列信息的情况下就可以同时进行多数DNA酶切片段
<正> 中国新诗的发展,有如波浪翻滚的长江大河,在时代的大潮中飞跃、旋转、前进。中国新诗的道路曲折迂廻。它既有艰难创业的学步时期,又有摇摆不定的彷徨时期,它既有深思探
目的探讨北京通州区张家湾地区35~64岁适龄妇女宫颈癌、乳腺癌筛查情况与预防策略。方法选取2015~2017年北京通州区张家湾地区户籍妇女展开两癌筛查,详细记录个人基本信息、
为了更好地探索我国产业结构调整方向,运用投入产出法和2012年的42部门投入产出表数据,在计算出完全碳排放基础上测算减排效率和1%产出变动减排量,进而分析各行业的减排潜力
首先对沥青混合料的组成材料和性能进行介绍，随后分析了影响沥青混合料质量的因素，重点对沥青混合料的控制措施进行分析，如沥青及矿料质量控制、温度控制、配合比控制、材料离析
黄土在我国有着较为广泛地分布,其分布在厚度、发育程度、规模、复杂程度等方面存在较为突出的特点。湿陷性被认为是黄土最大的特点,这为其在工程实践中留下了一定的不稳定隐
目的探讨独立上岗护士准入管理方法与效果。方法成立两级准入考核领导小组,制订独立上岗护士准入标准。准入程序实施两级管理,进行独立上岗前的规范化培训和考核。结果实施独
分析城市轨道交通商业业态配置过程中存在的问题,包括无法将客流转化为商流、商业业态同质化、商业业态种类单一。结合商业业态的配置原则、配置手段及配置目标,提出影响商业