公开(公告)号：CN114936109A

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

申请号：CN202210583746.4

申请日：2022-05-25

Applicant: 南通大学

Inventor： 程实 ,  詹广生 ,  李治贤 ,  王浩任 ,  吴佳骏 ,  高欣欣 ,  于梦 ,  文万志

IPC: G06F11/07 ,  G06F9/448

Abstract: 本发明公开了一种基于模型检测的反例故障定位方法，主要用于解决使用声明性语言编写的模型中的故障定位问题，包括如下步骤：S1、定义有限状态机FSM规范，FSM规范定义两只类型的签名：State和FSM；S2、构建模型；S3、获取反例cex和满意实例sat：输入带有违反断言的模型，使用All Analyzer检查模型中的断言NoStopTransition获取反例ces；然后用sat求解器PSAT找到一个满足断言属性并尽可能接近反例ces的满意实例sat；S4、实例差异分析Diff Analyzer：确定反例cex和满意实例sat之间的关系和原子并对差异进行分析；S5、可疑表达式排序：计算布尔节点和关系节点的可疑分数分配给可疑表达式并进行排序。本发明对实例之间的差异进行研究分析，进行反例定位，可以快速有效的对声明性模型进行故障定位。

公开(公告)号：CN118466490A

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

申请号：CN202410530084.3

申请日：2024-04-29

Applicant: 南通大学

Inventor： 李峻 ,  付蔚元 ,  仇渝 ,  王浩任 ,  高璇 ,  张金宝

IPC: G05D1/43 ,  G05D1/242 ,  G05D1/65 ,  G05D1/633 ,  G05D1/644 ,  G05D1/693 ,  G05D105/20

Abstract: 本发明公开了一种基于电磁循迹及激光测距的双车协同系统及方法，所述系统，包括两个车辆单元；每个所述车辆单元均由中央处理单元、电磁循迹器、激光测距仪、动力控制系统、通信设备和人机交互模块组成。本发明通过集成电磁循迹与激光测距技术，不仅提高了导航的精确度，还能有效处理车辆之间的动态距离调整，优化车辆在各种道路条件下的运行效率，从而降低系统总体的成本和技术复杂度。