Patent search ap:("大连理工大学") AND inv:"段凯璐" Page 1

1.

发明公开
一种基于SMT的自动驾驶系统实时性任务调度分析方法审中-实审

公开(公告)号：CN115509712A

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

申请号：CN202211218805.4

申请日：2022-10-07

Applicant: 大连理工大学

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

IPC: G06F9/48 , G06F9/50

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

Patent Agency Ranking