安全苛求系统的扩展UML类图模型的故障树生成方法

    公开(公告)号:CN104679510B

    公开(公告)日:2018-04-20

    申请号:CN201510067946.4

    申请日:2015-02-09

    Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析,提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息,基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去,实现了系统设计模型与系统安全模型之间的自动转换,可以有效地克服安全苛求系统的设计型故障。

    高速铁路列车运行控制车载系统故障逻辑建模方法

    公开(公告)号:CN103955556B

    公开(公告)日:2017-07-28

    申请号:CN201410121103.3

    申请日:2014-03-27

    Abstract: 本发明公开了属于列车运行控制系统故障诊断技术领域的一种高速铁路列车运行控制车载系统故障逻辑建模方法。所述车载系统故障逻辑建模方法是根据一个UML模型的系统研发过程将车载系统的各个组件及功能模块分别进行充分的描述,具体包括输入故障模式、内部故障以及输出故障模式描述,可以以表格、文本或者图形的方式存在。然后组合成列控车载系统的故障逻辑模型,并对故障逻辑模型进行仿真,得出故障传播路径及故障结果。本发明使分析的故障模式更加具有系统性,故障逻辑建模时更容易从全局角度出发,有的放矢和有效降低列控系统安全分析的复杂度,缩短列控系统开发周期。

    安全苛求系统的扩展UML类图模型的故障树生成方法

    公开(公告)号:CN104679510A

    公开(公告)日:2015-06-03

    申请号:CN201510067946.4

    申请日:2015-02-09

    Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析,提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息,基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去,实现了系统设计模型与系统安全模型之间的自动转换,可以有效地克服安全苛求系统的设计型故障。

    C3列控系统RBC互联互通测试平台

    公开(公告)号:CN102608991B

    公开(公告)日:2014-01-29

    申请号:CN201210052221.4

    申请日:2012-03-01

    Abstract: 本发明公开了道路交通安全测控技术领域中的一种C3列控系统RBC互联互通测试平台。该测试平台用于测量RBC的功能是否完备,包括:场景控制器、联锁消息发生器、车载消息发生器、调度集中模拟器、相邻RBC消息发生器、临时限速消息发生器、速度位置发生器、事件记录器和数据库;事件记录器分别与场景控制器、联锁消息发生器、车载消息发生器、调度集中模拟器、相邻RBC消息发生器、临时限速消息发生器、速度位置发生器和数据库相连;车载消息发生器和相邻RBC消息发生器分别通过GSM-R无线方式与RBC相连。本发明将数据记录从各器件集中到一起并引入全局时钟,提高数据源的精度,为测试结果自动分析提供了可能。

    车站信号应急联锁系统及其集成方法

    公开(公告)号:CN101412404B

    公开(公告)日:2010-12-22

    申请号:CN200810226210.7

    申请日:2008-11-07

    Abstract: 本发明提供一种车站信号应急联锁控制系统,该系统采用分散式的联锁模式,把联锁逻辑运算功能分散到以信号机、道岔以及轨道电路等室外设备为基本测控对象的基本联锁控制单元中去,从而使得每个基本联锁控制单元分别独立处理与相应测控对象设备相关的联锁逻辑功能,联锁功能固定且单一。此外,本系统采用集中式或分散式两种可选的供电模式,供电方式灵活、应急实用。

    一种基于RSS的自动驾驶路权优化换道方法

    公开(公告)号:CN119389205A

    公开(公告)日:2025-02-07

    申请号:CN202411589507.5

    申请日:2024-11-08

    Abstract: 本发明提供了一种基于RSS的自动驾驶路权优化换道方法。该方法包括:建立责任敏感安全模型RSS模型,该RSS模型包括利用自动驾驶车辆AV的周围环境信息和车辆状态信息设置的纵向最小安全距离,周围车辆到AV的纵向距离小于最小安全距离的行驶距离安全约束条件;构建决策制定模型,利用设定的全局奖励函数和车辆换道性能评估指标对决策制定模型进行训练,得到训练好的决策制定模型;通过训练好的决策制定模型利用行驶距离安全约束条件设计路权优先策略,根据周围环境信息和路权换道决策评估反馈信息利用路权优先策略进行AV的路权优先换道决策。本发明方法能够动态评估和优化车辆的效率,确保换道安全,平衡安全与效率,并适应不同车辆的路权优化需求。

    一种基于脊间隙波导的宽带固定波束漏波天线及其设计方法

    公开(公告)号:CN118367341A

    公开(公告)日:2024-07-19

    申请号:CN202410408222.0

    申请日:2024-04-07

    Inventor: 王均宏 杜航 郑伟

    Abstract: 本发明公开了一种基于脊间隙波导的宽带固定波束漏波天线及其设计方法,涉及电子及通信技术领域,包括脊间隙波导、微带线层、介质基板、缝隙金属层、辐射单元、矩形波导、波导同轴转换器,微带线层、介质基板、缝隙金属层及脊间隙波导由上到下依次设置,微带线层设置微带线;缝隙金属层蚀刻周期性缝隙,辐射单元数量与缝隙数量对应,且同处于缝隙金属层,每条微带线一端对应缝隙,一端对应辐射单元;脊间隙波导与波导同轴转换器通过矩形波导连接。本发明可以解决漏波天线因频率扫描导致的波束斜视,从而使漏波天线的主波束在很宽的频带内保持不变。

    城市轨道交通运力与客流适应性评估方法、系统及设备

    公开(公告)号:CN117236790B

    公开(公告)日:2024-01-26

    申请号:CN202311490207.7

    申请日:2023-11-10

    Abstract: 本发明提供了一种城市轨道交通运力与客流适应性评估方法、系统及设备,涉及城市轨道交通列车运行图评价领域。该方法需要的数据基础包括:线路基本信息、该线路全天的乘客刷卡信息、列车时刻表、列车定员、列车额定容量,利用交互匹配算法获得所需的列车载客量、车站滞留人数、上车人数、候车时间四类微观指标,在评估层面,建立了线路平均满载率、平均乘车舒适度、平均候车时间、车站滞留总人次四个评估指标,根据得到的微观指标计算出全天各时段对应的评估指标,然后采用CRITIC法对各指标进行赋权,最后基于TOPSIS法对全天各时段的运力客流适应性程度进行评估,得到各时段的评估结果。

    一种室内区域中基于栅格的标签定位方法

    公开(公告)号:CN117221821A

    公开(公告)日:2023-12-12

    申请号:CN202311198032.2

    申请日:2023-09-15

    Abstract: 本发明提供了一种室内区域中基于栅格的标签定位方法。该方法包括:将室内的定位标签的定位区域场地划分为多个长方形的栅格,计算出基站到各个栅格的距离范围;获取基于飞行时间TOF的基站与各个定位标签之间的测距;根据基站到各个栅格的距离范围和基站与各个定位标签之间的测距,利用基于距离的栅格选择算法获取各个定位标签的定位信息。本发明通过在栅格的基础上进行连续定位,可以提高定位的成功率,同时也可以提高定位的准确性。

Patent Agency Ranking