定时自动机轨迹中的不可行的识别的有效源

    公开(公告)号:CN102708223B

    公开(公告)日:2015-01-14

    申请号:CN201210078705.6

    申请日:2012-03-22

    Inventor: S.蒋 A.诺金

    CPC classification number: G06F17/504

    Abstract: 本发明涉及定时自动机轨迹中的不可行的识别的有效源。具体地,公开了一种用于验证被建模为定时自动机的实时系统性能的方法。系统的抽象模型依据初始线性时序逻辑规格被检查。如果发现通向不希望状态的路径,反例使用负循环检测被验证或使其无效。如果检测到负循环,进行优化来识别负循环中的最小不可行片段。然后规格被细化以消除最小不可行片段的使用,然后抽象模型依据被细化的规格被检查。

    动态激光雷达对准
    4.
    发明公开

    公开(公告)号:CN113805145A

    公开(公告)日:2021-12-17

    申请号:CN202110338790.4

    申请日:2021-03-30

    Abstract: 提供了用于控制车辆的系统和方法。在一实施例中,一种方法包括:由车辆上的控制器记录当车辆在直道路上行驶时来自激光雷达装置的激光雷达数据;由控制器确定车辆在直道路上直地行驶;由控制器检测直道路上的直车道标记;由控制器基于直车道标记计算激光雷达视轴参数;由控制器基于激光雷达视轴参数校准激光雷达装置;以及由控制器基于来自校准的激光雷达装置的数据控制车辆。

    用于隔离控制器局域网络中的故障的方法和装置

    公开(公告)号:CN104468175B

    公开(公告)日:2019-01-22

    申请号:CN201410470400.9

    申请日:2014-09-16

    Inventor: S.蒋

    Abstract: 本发明提供一种用于隔离控制器局域网络中的故障的方法和装置。一种移动系统上的控制器局域网络(CAN)具有包括通信总线和节点的多个CAN元件。一种用于监测CAN的方法包括检测CAN的无效节点,并且基于CAN的无效节点和用于CAN的网络拓扑,采用车外控制器来识别CAN中的候选故障。基于候选故障隔离CAN中的故障。

    隐藏危险情况警示
    9.
    发明公开

    公开(公告)号:CN113264042A

    公开(公告)日:2021-08-17

    申请号:CN202110155946.5

    申请日:2021-02-04

    Abstract: 一种用于确定隐藏危险的存在的系统和方法可以包括识别主题车辆的操作场景,以及识别主题车辆的操作情况。来自多个接近传感器的信息被收集和分类。估计多个隐藏危险存在概率,所述多个隐藏危险存在概率对应于来自多个接近传感器中的每一个、所述操作场景、所述操作情况、以及比较过程和动态神经网络过程中的至少一者的信息。可以对多个隐藏危险存在概率执行融合过程,以确定隐藏危险的存在。

Patent Agency Ranking