-
公开(公告)号：CN108763680A
公开(公告)日：2018-11-06
申请号：CN201810468311.9
申请日：2018-05-16
Applicant: 北京交通大学
IPC: G06F17/50
Abstract: 本发明提供了一种基于扩展UML模型的安全苛求系统的故障树生成方法。该方法包括构造安全苛求系统的扩展UML模型；从所述扩展UML模型中提取安全苛求系统的结构关系信息，所述结构关系信息包括类图中的关联关系和基数信息；基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的动态故障树。本发明针对标准UML方法对系统安全方面的描述缺陷，使用了构造型来扩展UML对系统冗余结构的描述并提供一个语义对照表，用来确定模型中的元素、关联和构造型语义以及相对应的故障树实现方法，成功地将安全分析有关信息嵌入到系统模型中去，便于设计人员进行基于模型的开发及分析，为其提供了极大的自由度和灵活性。
-
公开(公告)号：CN103955556A
公开(公告)日：2014-07-30
申请号：CN201410121103.3
申请日：2014-03-27
Applicant: 北京交通大学
CPC classification number: G06F17/5022 , B61L27/0038 , B61L27/0055 , G06F17/5009 , G06F17/5095
Abstract: 本发明公开了属于列车运行控制系统故障诊断技术领域的一种高速铁路列车运行控制车载系统故障逻辑建模方法。所述车载系统故障逻辑建模方法是根据一个UML模型的系统研发过程将车载系统的各个组件及功能模块分别进行充分的描述，具体包括输入故障模式、内部故障以及输出故障模式描述，可以以表格、文本或者图形的方式存在。然后组合成列控车载系统的故障逻辑模型，并对故障逻辑模型进行仿真，得出故障传播路径及故障结果。本发明使分析的故障模式更加具有系统性，故障逻辑建模时更容易从全局角度出发，有的放矢和有效降低列控系统安全分析的复杂度，缩短列控系统开发周期。
-
公开(公告)号：CN103632486A
公开(公告)日：2014-03-12
申请号：CN201310612116.6
申请日：2013-11-26
Applicant: 北京交通大学
Abstract: 本发明公开了属于铁路防灾安全监测技术领域的一种高速铁路防灾信息处理显示报警系统。该系统包括显示界面模块、数据输入模块、数据处理模块、数据库录入模块、数据输出模块；数据输入模块将数据采集系统采集到的灾害信息输入至数据处理模块中进行处理；数据处理模块将处理好的数据输出到显示界面模块、数据输出模块、数据库录入模块；数据输出模块将数据处理模块处理好的数据输出至CTC系统及运营调度系统中；数据库录入模块连接灾害数据存储库，录入由数据处理模块处理好的数据到灾害数据存储库中。本发明可用于全面监测各种可能对高速铁路安全行车产生危害的因素。一旦发生灾害，系统自动发出警报，限制或阻止列车运行，确保列车行车安全。
-
公开(公告)号：CN104679510B
公开(公告)日：2018-04-20
申请号：CN201510067946.4
申请日：2015-02-09
Applicant: 北京交通大学
IPC: G06F9/44
Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括：构造安全苛求系统的UML类图模型，UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系，使用了构造型来扩展模型元素语义；将UML类图模型保存为设定格式的文件，按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析，提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息，基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去，实现了系统设计模型与系统安全模型之间的自动转换，可以有效地克服安全苛求系统的设计型故障。
-
Patent Agency Ranking
公开(公告)号：CN103955556B
公开(公告)日：2017-07-28
申请号：CN201410121103.3
申请日：2014-03-27
Applicant: 北京交通大学
CPC classification number: G06F17/5022 , B61L27/0038 , B61L27/0055 , G06F17/5009 , G06F17/5095
Abstract: 本发明公开了属于列车运行控制系统故障诊断技术领域的一种高速铁路列车运行控制车载系统故障逻辑建模方法。所述车载系统故障逻辑建模方法是根据一个UML模型的系统研发过程将车载系统的各个组件及功能模块分别进行充分的描述，具体包括输入故障模式、内部故障以及输出故障模式描述，可以以表格、文本或者图形的方式存在。然后组合成列控车载系统的故障逻辑模型，并对故障逻辑模型进行仿真，得出故障传播路径及故障结果。本发明使分析的故障模式更加具有系统性，故障逻辑建模时更容易从全局角度出发，有的放矢和有效降低列控系统安全分析的复杂度，缩短列控系统开发周期。
-
公开(公告)号：CN104679510A
公开(公告)日：2015-06-03
申请号：CN201510067946.4
申请日：2015-02-09
Applicant: 北京交通大学
IPC: G06F9/44
Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括：构造安全苛求系统的UML类图模型，UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系，使用了构造型来扩展模型元素语义；将UML类图模型保存为设定格式的文件，按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析，提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息，基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去，实现了系统设计模型与系统安全模型之间的自动转换，可以有效地克服安全苛求系统的设计型故障。
-
公开(公告)号：CN103985027B
公开(公告)日：2017-10-13
申请号：CN201410212129.9
申请日：2014-05-19
Applicant: 北京交通大学
Abstract: 本发明公开了铁路货物运输系统领域的一种基于多分支事件树绘制的铁路货物运输系统评估方法，用以解决目前铁路货物运输系统研究中存在的问题。该方法包括：首先获取系统的所有事件、每个事件的状态，以及所有事件状态发生的概率；其次，构建事件树模型；再次，对事件树模型进行添加事件状态、删除事件状态和调整事件树大小等操作；最后，根据实际工业情况，设置某一阈值，事件树模型中安全运行概率小于某一阈值时，进行维修或维护。针对目前铁路货物传输系统中事件树模型多为二值状态，不能有效描述事件实际状态的局限性，本发明提出的多分支事件树模型这样更好地描述事件的实际状态，更有利于系统安全性、可靠性评估。
-
公开(公告)号：CN103985027A
公开(公告)日：2014-08-13
申请号：CN201410212129.9
申请日：2014-05-19
Applicant: 北京交通大学
Abstract: 本发明公开了铁路货物运输系统领域的一种基于多分支事件树绘制的铁路货物运输系统评估方法，用以解决目前铁路货物运输系统研究中存在的问题。该方法包括：首先获取系统的所有事件、每个事件的状态，以及所有事件状态发生的概率；其次，构建事件树模型；再次，对事件树模型进行添加事件状态、删除事件状态和调整事件树大小等操作；最后，根据实际工业情况，设置某一阈值，事件树模型中安全运行概率小于某一阈值时，进行维修或维护。针对目前铁路货物传输系统中事件树模型多为二值状态，不能有效描述事件实际状态的局限性，本发明提出的多分支事件树模型这样更好地描述事件的实际状态，更有利于系统安全性、可靠性评估。
-
公开(公告)号：CN103795791A
公开(公告)日：2014-05-14
申请号：CN201410030811.6
申请日：2014-01-22
Applicant: 北京交通大学
Abstract: 本发明公开了铁路安全监控领域的一种基于无线传感网络的铁路防灾安全监控系统。所述系统采用分布式的结构，共分为三层，包括感知层、网络层和监控层；所述感知层包括若干传感器节点、若干mesh路由器节点、若干无线摄像头和数据服务中心；所述网络层包括第一消息中间件和第二消息中间件；所述监控层包括防灾安全监控主机和数据库服务器。本发明通过引入无线传感网络，所构建的铁路防灾安全监控系统能够应用至铁路沿线更广泛的范围，尤其是有线布置困难的山区等地区，无需人工干预，在保证了列车的安全运行的前提下，也保证了人员安全。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.019 seconds)
