【摘 要】
：
针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题，提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控
【机 构】
：
中国铁道科学研究院集团有限公司通信信号研究所
【基金项目】
：
国家自然科学基金（高铁联合基金）（L1534208）
论文部分内容阅读
针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题，提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求，通过在HUML元模型中增加安全特性包，对安全特性元素进行定义，创建安全相关概要文件，并在建模软件中得到实现．最后介绍该方法在CTCS-3级列控车裁设备故障方面应用的一个实例。新的建模方法丰富了列控系统HUML模型的表达能力和应用范围，使得列控系统安全特性能够直接被描述，从而将安全分析的起点提前至系统建模阶段．为列控系统
其他文献
针对列车车轮故障诊断,研究基于经验模态分解（EMD）广义能量法诊断技术。首先对钢轨振动信号进行经验模态分解,选取出有效本征模函数分量并赋予权重系数,然后求出各分量的能量加
魏蜀吴三国故事自古传颂民间,熟悉这段历史的都知道,三国称帝的次序是魏第一,蜀次之,吴最后。这是为什么？其中隐藏着什么玄机？我们知道,在汉末动乱中,曹操在黄河流域崛起,挟天
随着电力电子技术的快速发展,直流配电方式成为了未来配电网构建的可行方案。相比交流配电网,直流配电网传输容量更大,占用的供电走廊空间较少;能提供更好的电能质量;对于分布式光伏、电动汽车充电站以及大型数据中心等直流类型电源和负荷具备更好的接纳特性,减少中间换流环节损耗。直流配电网是配电网进一步发展的潜在方向之一,评估直流配电网可靠性对直流配电网的实际构建具有重要意义,因此本文对直流配电网进行了可靠性分
儿童问题行为是儿童发展研究中关注的重点内容,表现为与儿童所处年龄阶段的正常状态不匹配或是偏离社会行为规范的不适应行为,常常会预示着成人后的种种问题。儿童问题行为与内外部多种因素相关,其中养育人之间的关系以及家庭环境是重要的外部影响因素。目前的中国社会,儿童常常由祖辈-父辈共同养育,这已经成为中国社会中非常普遍的儿童养育模式,但目前的研究大多都仅讨论父母共同养育对儿童适应的影响,很少对祖辈-父辈共同
悬雍垂腭咽成形术（UPPP）是目前治疗阻塞性睡眠呼吸暂停低通气综合征（OSAHS）最常用的手术治疗方法。文献报道,全麻下行UPPP的死亡率高达4.8%,应引起麻醉科医师的高度重视。2006年1
如今社会是个信息化的社会,而＂电脑和英语＂这两样曾被喻为打开世纪大门的两把万能钥匙,今天要在大学英语的课堂上合二为一。网络教学是发展的趋势和必然。新模式的采用对教师提
理论分析了闭路光伏晶体中灰孤子诱导的波导。研究发现，闭路光伏灰孤子诱导的波导在所有孤子灰度值，电流密度和光强比率下均为单模，这一光强比率为孤子峰值强度与暗辐射之比。这
水与环境的畅想孙景亮（河北省水利水电勘测设计研究院天津３００２５０）自然环境是人类取得基本生命物质的场所和向人类提供生产原料的基地。水是自然环境中最活跃的因素，水环境直接影响到人
本文使用两种不同的方法对实验室自制的Candiad sp.99-125脂肪酶进行了固定化研究,优化了固定化条件,并考察了不同方法固定化酶的催化性能,并对其微观结构进行了表征。以化学
对于初中生来说,英语阅读是英语学习中一项重要的基本技能。按照新课标的要求,学生需要提高自己的英语阅读能力。然而许多学生目前在英语阅读方面还存有许多问题。因此,对于英语教师来说,帮助学生提高英语阅读能力,激发他们对于英语阅读的兴趣已成为一项迫切又有挑战性的任务。“问题链”是近几年来出现的新名词,而基于“问题链”的英语阅读教学模式则更是一种相对较新的教学模式。这种教学模式为改善我们的教学现状提供了一种