买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜大连理工大学申请的专利一种基于凸优化的无人驾驶系统转向角安全性的验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115439816B 。

龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210985192.0，技术领域涉及：G06V20/56；该发明授权一种基于凸优化的无人驾驶系统转向角安全性的验证方法是由吴慧慧;孔维强设计研发完成，并于2022-08-17向国家知识产权局提交的专利申请。

本一种基于凸优化的无人驾驶系统转向角安全性的验证方法在说明书摘要公布了：本发明公开了一种基于凸优化的无人驾驶系统转向角安全性的验证方法，属于验证无人驾驶系统安全性的领域。运用故障安全轨迹规划中的凸优化技术构建安全转向角区间，将预测转向角的判断问题转化为类似图像处理的可分类问题，然后拓展深度神经网络验证工具DLV执行转向角的安全性的验证算法。该技术易于集成在现有的无人驾驶系统中；计算高效，可以在几秒钟内找到对抗性反例；与现有的工作相比，能够找到了对抗性反例的成功率更高。此外，在处理转向角分类问题时，比先前的工作SDLV中的神经元覆盖和松弛关系更准确可靠。

本发明授权一种基于凸优化的无人驾驶系统转向角安全性的验证方法在权利要求书中公布了：1.一种基于凸优化的无人驾驶系统转向角安全性的验证方法，其特征在于，包括下列步骤： 1运用故障安全轨迹中的凸优化法求解出能够避撞的转向角，即建立避撞转向角； 2构建安全转向角的区间：以凸优化求解出的避撞转向角和无人驾驶系统原始预测的转向角构建安全转向角的区间； 3确定深度学习验证工具DLV中邻域参数和扰动操作集合，逐层搜索对抗性反例； 步骤1中，避撞转向角的建立，在无人驾驶的故障安全轨迹规划中，汽车运动规划被解耦成纵向和横向运动，然后运用凸优化的方法进行求解，用t和th分别表示时间和时间间隔，具体包括以下步骤： 1-1规划纵向轨迹，通过权重和惩罚高加速度和抖动来获得舒适的纵向轨迹，纵向轨迹用二次代价函数Jlon表示，公式如下： 式中，汽车的纵向运动为xlont＝s,v,a,jT，s是纵向位置，v是速度，a是加速度，沿着路径的抖动记为j，表示函数xlont的第i个元素； 运用凸优化的方法求解纵向轨迹； 1-2结合步骤1-1的求解结果中的纵向位置s，通过权重wd，wθ，wκ和惩罚高曲率来获得舒适的横向轨迹，横向轨迹用二次代价函数Jlat表示，公式如下： 式中，汽车的横向运动为d是横向位置，θ是偏差，κ是曲率，是曲率的变化，表示函数xlatt的第i个元素； 通过障碍物可达集预测最大和最小横向位置约束，其中可达集表示障碍物在一段时间内所有可行状态的集合；在求解的最大和最小横向位置约束下运用凸优化的方法求解横向轨迹，得到能够避撞的转向角； 步骤2中，安全转向角的区间的构建，具体包括以下步骤： 2-1对于一个已训练好的基于DNN的无人驾驶系统，输入一个给定的驾驶场境图像x，该系统能够输出一个相应的预测转向角，将该转向角记录为原始预测转向角； 2-2运用步骤1求解出的横向轨迹中的转向角，将该转向角与原始预测转向角形成一个区间，作为安全转向角的范围； 步骤3中，拓展DLV，验证基于DNN的无人驾驶系统转向角的安全性： 验证是基于搜索对抗性反例的方法，对任意一个基于DNN的无人驾驶系统N，给定的一个输入驾驶场境图像x，邻域和扰动操作，x在N内层层传播的过程中实施扰动操作，一旦系统对扰动后的驾驶场境图像输出的预测转向角不在安全的转向角范围内，则报告对抗性反例； 所述的逐层搜索对抗性反例，具体包括以下步骤： 3-1确定深度学习验证工具DLV中邻域参数ηk和扰动操作集合Δ； 神经网络的每一层Lk都与一个nk维向量空间相关联，其中每一维对应一个神经元；对于一个输入驾驶场景图像x，一个基于DNN的无人驾驶系统在层k的激活表示为αx,k，k∈{1,...,n}，并且αx,0＝x；αx,kp表示输入x在第k层的神经元p∈Pk的激活值； 对于给定的一个输入驾驶场景图像x看作高维空间的一个点，假设在该点周围存在一个或无限个邻域η，邻域内的所有点的预测转向角必须与x的预测转向角具有相同的类；所述的邻域由用户指定，用一个小直径来表示，或用某些特征相同的所有点的集合来表示； 从神经网络的某一层k开始，邻域ηkαx,k是预先从与当前层Lk的激活平均值相差最大的激活值对应的神经元选择的维数dimsk的子集；用avgk表示当前层Lk的激活平均值，dimskηkαx,k为在所有维度中|αx,kp-avg|取最大值的第一批维度； 式中，sp表示跨度，mp表示这种跨度的数量； 接下来，假设存在一个扰动操作集合Δ，这些扰动操作指定了对驾驶场境图像的修改，即对驾驶场境图像实施扰动操作，在这些修改下，在η区域内的预测转向角的分类应该保持不变；所述的扰动操作包括相机不精确、相机角度的改变或替换某一个特征； 设d是从dimskηkαx,k映射到{-1,0,1}的函数；每个扰动操作根据d中给出的方向，通过加减宽度sp改变维的一个子集，即 式中，集合Δk是第k层所有此类扰动操作的集合； 3-2搜索对抗性反例 对于基于DNN的无人驾驶系统转向角的安全性定义如下： 如果对输入驾驶场景图像x应用扰动操作而不引起邻域η内转向角的分类变化，则认为DNN网络关于x和η关于扰动操作集合Δ是安全的； 其中，分类的判断方式为：如果扰动后的预测转向角落在步骤2求解的安全转向角的区间内，则扰动后的转向角与原始预测转向角被认为是同一分类；否则，两个转向角被认为不是同一分类； 利用离散化来实现高维η区域内转向角对抗性误分类的有限穷举搜索，具体步骤如下： 对于给定的一个神经网络N、一个输入x和一组扰动操作Δk，如果以αx,k为起点生成一个完备树，树的每个节点与αx,k具有相同的转向角分类，并且由相邻节点形成的有限个超矩形可以覆盖区域ηk，那么N对于输入x，区域ηk和扰动操作Δk是安全的，记为 如果该层搜索结果满足那么报告N关于ηk和Δ是安全的，并继续下一层搜索；如果不满足，则报告一个对抗性反例，停止搜索。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人大连理工大学，其通讯地址为：116024 辽宁省大连市甘井子区凌工路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。