论文部分内容阅读
CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。
基于统一建模语言的CTCS-3级列控系统风险评估的研究
【摘 要】
：
CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分
【机 构】
：
中国铁道科学研究院标准计量研究所
【出 处】
：
铁道通信信号
【发表日期】
：
2012年12期
其他文献
目的了解宁夏栽培金银花、柴胡、秦艽、黄芩、苦豆子的重金属与农药残留。方法采用GC法测定宁夏栽培金银花、柴胡、秦艽、黄芩、苦豆子有机氯农药残留量,原子吸收法测定Pb、C
目的了解宁波市生活饮用水的卫生状况。方法对宁波市生活饮用水的监测数据进行统计分析。结果2009--2011年共检测水样395份，其中合格346份，合格率为87．69％。水源水不合格项目主要
目的研究甘精胰岛素和预混胰岛素对2型糖尿病患者生活质量和治疗满意度的影响。方法将73例口服药治疗失效的2型糖尿病分成甘精胰岛素＋阿卡波糖组和预混胰岛素（NPH）组,分别在治疗
灾难对铁路运输的打击是巨大的,为了减少灾难对铁路调度指挥系统的影响,从我国TDCS/CTC现状出发,详细阐述了铁道部、铁道局灾难备份系统的建设原则和建设方案。
In order to
成都市卫生局近日公布了2004年成都门诊及住院病人医疗费用情况。据统计，2004年成都市卫生系统综合医院平均门诊病人医疗费为103．8元／人·次，其中，药费48．4元，占总费用的46．6%；检
南江县乐坝镇是四川省规划建设的100个重点小城镇之一，近年来率先实施的“老有所养，病有所医，困有所助，收有所保”为主要内容的农村社会保障体系改革试点．对于探索破解“三农”难
近日，济南铁路局和北京欣易晨科技发展有限公司合作开发的《移动基站在GSM-R系统及应急通信中的应用》项目，通过了济南铁路局科学技术委员会的审查。该系统在北京交通大学的铁
目的对两种妊娠期糖尿病（GDM）的诊断标准及妊娠结局进行探讨。方法对3 583例孕妇按照美国糖尿病学会（ADA）标准和国际糖尿病与妊娠研究组（IADPSG）标准进行GDM诊断并分组,非糖尿病孕
我生于1945年6月，系城镇居民．自1979年2月至1999年3月在县人民医院做临时工（保洁工），工资由医院确定并按月支付，从未间断，但医院一直没有为我办理养老保险。1999年我年满52岁时被医
目的了解盐池县近年来乙肝流行现状。方法对盐池县2004--2011年报告的乙肝病例、健康人群乙肝血清学调查结果进行描述性分析。结果2004--2011年，年平均报告病例80例，报告发病率