公开(公告)号：CN115509712A

公开(公告)日：2022-12-23

申请号：CN202211218805.4

申请日：2022-10-07

Applicant: 大连理工大学

Inventor： 王天一 ,  段凯璐 ,  孙景昊 ,  魏屹芃 ,  段孝友 ,  刘超 ,  吴星宇

IPC: G06F9/48 ,  G06F9/50

Abstract: 本发明涉及自动驾驶、有向无环图等多个领域，特别涉及一种基于SMT的自动驾驶系统实时性任务调度分析方法。本发明利用运筹学领域的可满足性模理论SMT给出了一种可系统计算一般DAG精确的最坏情况下的响应时间的方法，以分析自动驾驶系统中任务调度的实时性分析方法。

公开(公告)号：CN117370924A

公开(公告)日：2024-01-09

申请号：CN202311281293.0

申请日：2023-10-07

Applicant: 大连理工大学

Inventor： 孙景昊 ,  李杨 ,  孟亚坤 ,  王天一 ,  谭国真

IPC: G06F18/25 ,  H04L47/56 ,  H04L47/50 ,  G06F9/54

Abstract: 本发明属于自主系统领域，包括自动驾驶汽车、机器人、无人机等，具体涉及一种具有良好时间差异界定的基于消息同步器的数据融合系统。所述的系统在实现上由一个消息同步器和多个传感器组成；消息同步器有多个输入通道，每个通道连接到一个传感器；传感器定期采样数据，并将其封装成消息，通过连接的通道将其发送给消息同步器。本发明用于解决自主系统中多传感器数据融合中消息同步的时间差异问题，相较于已有的数据融合系统，本发明提出的具有良好时间差异界定的基于消息同步器的数据融合系统进行数据融合的成功率更高，所需执行时间更少，并且在理论上证明了该系统中的消息同步算法的最优性，即对于有限的待融合的消息序列，具有良好时间差异界定的消息同步算法可以得到最全面的消息同步方案。