基于融合卷积神经网络的车辆多目标检测方法

1

作者 曹佳 郑秋梅 段泓舟 《激光杂志》 北大核心 2025年第1期208-213,共6页

在实际场景中,车辆目标往往会被其他车辆、建筑物等对象遮挡,背景也可能非常复杂,为了保障检测精度,提出一种基于融合卷积神经网络的车辆多目标检测方法。采用激光雷达采集车辆目标图像,将采集的车辆行驶图像根据其车道线特征划分为两... 在实际场景中,车辆目标往往会被其他车辆、建筑物等对象遮挡,背景也可能非常复杂,为了保障检测精度,提出一种基于融合卷积神经网络的车辆多目标检测方法。采用激光雷达采集车辆目标图像,将采集的车辆行驶图像根据其车道线特征划分为两侧区域,将车道线以内的区域作为车辆多目标检测初始感兴趣区域(ROI),在ROI中采用车底阴影假设区域分割法获取车辆检测目标的假设区域。在原始卷积神经网络的基础上作进一步优化,设计可变形卷积神经网络(DF-R-CNN)模型,将得到的假设区域作为网络模型所需的车辆多目标检测候选区域,通过该模型实现车辆多目标的精准检测。实验结果表明,所提方法的召回率最高值达到了85%,损失函数最低值约为1.8,说明其具有较高的检测精度和检测效果。 展开更多

关键词 卷积神经网络 车道线划分 感兴趣区域ROI 可变形卷积神经网络 车辆多目标检测

在线阅读 下载PDF 职称材料

半监督元路径的异构信息网络社区发现算法 被引量：3

2

作者 陈丽敏 张岩 杨柳 《小型微型计算机系统》 CSCD 北大核心 2020年第6期1152-1155,共4页

基于语义的异构信息网络社区发现算法,大多采用元路径计算目标对象相似性,基于元路径的目标对象相似性度量非常便捷、有效,但是,其语义表达并不完整,不能完全真实地反映目标对象的关联,而目前又缺乏更加准确的表达目标对象相似性的方法... 基于语义的异构信息网络社区发现算法,大多采用元路径计算目标对象相似性,基于元路径的目标对象相似性度量非常便捷、有效,但是,其语义表达并不完整,不能完全真实地反映目标对象的关联,而目前又缺乏更加准确的表达目标对象相似性的方法.基于语义的异构信息网络社区发现算法往往忽略了异构信息网络复杂的拓扑结构,本文通过谱聚类分析异构信息网络的拓扑结构,半监督校正目标对象的相似性,使用非负矩阵分解法划分异构信息网络的社区,能够有效提高异构信息网络社区发现的准确率.通过对仿真数据和真实数据实验,结果显示本文算法确实有效提高了异构信息网络社区发现的准确率. 展开更多

关键词 异构信息网络 社区发现 半监督 元路径 拓扑结构

在线阅读 下载PDF 职称材料

基于逐幸存路径处理的测试用例集约简技术

3

作者 霍婷婷 孙强 +1 位作者 丁蕊 夏春艳 《计算机应用研究》 CSCD 北大核心 2023年第1期229-233,共5页

针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该算法运用逐幸存路径处理算法的顺序网格搜索思路,将测试用例集进行二进制编码,使其构成顺序网格搜索的... 针对基于智能算法的测试用例集约简技术存在的容易陷入局部收敛、过早熟等问题,提出一种基于逐幸存路径处理的测试用例集约简算法,该算法运用逐幸存路径处理算法的顺序网格搜索思路,将测试用例集进行二进制编码,使其构成顺序网格搜索的状态空间,在状态转移阶段将代码覆盖率和测试用例有效执行时间作为分支度量,进而选择分支重量最大的路径作为幸存路径,从而剔除冗余状态,完成测试用例集的约简。实验结果表明,在相同的实验环境下,与其他算法相比,该算法在具有较高冗余率的同时也保证了较高的检错率,在一定程度上降低了软件测试的复杂度,从而提高了软件测试的效率。 展开更多

关键词 测试用例集约简 逐幸存路径处理 分支重量 代码覆盖率 冗余率 检错率

在线阅读 下载PDF 职称材料

提高农业多值数据集精度的机器学习分类技术

4

作者 杨治秋 王立梅 《农业工程技术》 2022年第21期12-13,共2页

现今,农业植物病害的原因很多是由于恶劣的天气原因造成的。植物在受感染时的生命周期,诸如环境、天气,单一与混合感染,以及遗传病等很多原因,影响农业植物病害的诊断。由于这些因素,诊断植物早期疾病是一项艰巨的任务。机器学习分类技... 现今,农业植物病害的原因很多是由于恶劣的天气原因造成的。植物在受感染时的生命周期,诸如环境、天气,单一与混合感染,以及遗传病等很多原因,影响农业植物病害的诊断。由于这些因素,诊断植物早期疾病是一项艰巨的任务。机器学习分类技术,如贝叶斯和神经网络技术进行了比较,开发了一种新技术来诊断植物早期疾病,增强了判断的准确性。 展开更多

关键词 机器学习 分类技术 神经网络 监督机器学习

在线阅读 下载PDF 职称材料

基于强化学习选择策略的路径覆盖测试数据生成算法

5

作者 刘超 丁蕊 朱雨寒 《计算机应用研究》 CSCD 北大核心 2024年第8期2467-2473,共7页

面向路径覆盖的测试是软件测试的重要方法之一。如何快速生成高质量测试数据使其满足路径覆盖要求,一直是研究热点问题。为解决现有智能优化方法运行时间长、探索过程不稳定以及生成测试用例冗余的问题,提出一种基于强化学习思想的选择... 面向路径覆盖的测试是软件测试的重要方法之一。如何快速生成高质量测试数据使其满足路径覆盖要求,一直是研究热点问题。为解决现有智能优化方法运行时间长、探索过程不稳定以及生成测试用例冗余的问题,提出一种基于强化学习思想的选择策略,用于以路径覆盖为准则的测试数据生成中。通过将可执行路径定义为智能体状态,算法每一轮迭代更新后的数据选择定义为智能体动作,并将奖励函数与状态变化关联,在状态更新过程中使用贪心策略来引导输入数据不断向未获取状态变异更新,以此不断选择能够覆盖新可执行路径的数据,从而实现对待测程序所有执行路径覆盖的目标。实验结果表明,与其他算法相比,所提策略的运行时间和迭代次数明显降低,同时覆盖率快速提高。结合理论分析可以得出结论:所提策略在实际运用中能够有效实现路径覆盖并提高测试数据生成效率。 展开更多

关键词 测试数据生成 路径覆盖 强化学习 选择策略

在线阅读 下载PDF 职称材料

基于分数阶调整动态边界的蜣螂优化算法

6

作者 夏煌智 陈丽敏 +1 位作者 许宏文 常云鹏 《计算机工程与设计》 北大核心 2024年第12期3657-3666,共10页

针对蜣螂优化算法在全局优化问题中易陷入局部最优与收敛精度低的问题,提出一种改进的蜣螂优化算法。采用佳点集序列取代原始算法中随机产生的初始种群提升种群的多样性;引入分数阶微积分方法调整区域动态边界,分离重叠的种群个体,提升... 针对蜣螂优化算法在全局优化问题中易陷入局部最优与收敛精度低的问题,提出一种改进的蜣螂优化算法。采用佳点集序列取代原始算法中随机产生的初始种群提升种群的多样性;引入分数阶微积分方法调整区域动态边界,分离重叠的种群个体,提升算法的局部开采性能;提出探路蜣螂更新机制对全局最佳位置进行更新,防止其陷入局部最优。通过24个基准测试函数的全局优化实验与5个经典数据集的特征选择实验验证了改进算法相比同类型算法具有更好的寻优性能。 展开更多

关键词 蜣螂优化算法 全局优化 佳点集 分数阶微积分 动态边界 探路者算法 特征选择

在线阅读 下载PDF 职称材料

基于关键点路径的快速测试用例自动生成方法 被引量：22

7

作者 丁蕊 董红斌 +1 位作者 张岩 冯宪彬 《软件学报》 EI CSCD 北大核心 2016年第4期814-827,共14页

测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路... 测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路径;(2)用随机生成的数据运行简化后的插装程序,得到部分测试数据;(3)将理论路径分成易覆盖路径、难覆盖路径和不可行路径;(4)根据已覆盖路径及其测试数据提供的信息,使用遗传算法生成难覆盖路径的测试数据.仿真实验结果表明了所提方法的有效性. 展开更多

关键词 关键点路径 软件测试数据生成模型 覆盖测试 启发式信息 遗传算法

在线阅读 下载PDF 职称材料

基于烟花爆炸优化算法的测试数据生成方法 被引量：5

8

作者 丁蕊 董红斌 +1 位作者 冯宪彬 赵佳华 《计算机应用》 CSCD 北大核心 2016年第10期2816-2821,共6页

针对面向路径覆盖的测试数据生成问题,提出基于烟花爆炸优化算法的测试数据生成方法。首先使用关键点路径表示法表示路径,由理论路径、易覆盖路径和不可行路径得出难覆盖路径,并记录难覆盖路径邻近的易覆盖路径及其测试数据。这些测试... 针对面向路径覆盖的测试数据生成问题,提出基于烟花爆炸优化算法的测试数据生成方法。首先使用关键点路径表示法表示路径,由理论路径、易覆盖路径和不可行路径得出难覆盖路径,并记录难覆盖路径邻近的易覆盖路径及其测试数据。这些测试数据将作为部分初始烟花以利用其提供的启发信息,其余初始烟花则随机生成。接着根据个体的适应度值设计自适应策略的爆炸半径以提高收敛速度,对爆炸产生的越界火花则使用边界值测试的思想进行修正。与加了启发信息的自适应爆炸半径的烟花算法(NFEO算法)、烟花爆炸优化(FEO)算法、F-method、NFmethod等七种基于优化的测试数据生成算法进行了仿真对比实验,实验结果表明:所提算法在测试数据生成时间和迭代次数上都最优。 展开更多

关键词 烟花爆炸优化算法 覆盖测试 难覆盖路径 测试数据生成 自适应参数

在线阅读 下载PDF 职称材料

一种求解冰壶比赛对阵多约束问题的逐层优化算法 被引量：2

9

作者 丁蕊 董红斌 +2 位作者 邢薇 刘文杰 孔飞 《电子学报》 EI CAS CSCD 北大核心 2017年第3期632-637,共6页

冰壶比赛对阵编排问题是一个难于收敛的多约束优化问题.为此提出一种求解此类问题的逐层优化的单亲遗传算法.首先将待求解问题的多个约束进行分层;其次设计了靶向自交叉算子进行第一层优化以提高搜索效率,设计了定点-随机自交叉算子进... 冰壶比赛对阵编排问题是一个难于收敛的多约束优化问题.为此提出一种求解此类问题的逐层优化的单亲遗传算法.首先将待求解问题的多个约束进行分层;其次设计了靶向自交叉算子进行第一层优化以提高搜索效率,设计了定点-随机自交叉算子进行第二层优化以保持种群的多样性;最后,将改进的算法用于解决冰壶比赛对阵编排的多约束优化问题,构建了该问题的适应度函数.仿真实验表明,与粒子群算法和经典遗传算法相比,所提算法能够有效求解冰壶比赛对阵编排的多约束优化问题. 展开更多

关键词 冰壶对阵多约束优化 单亲遗传算法 逐层优化 靶向自交叉 定点-随机自交叉

在线阅读 下载PDF 职称材料

基于簇状结构的时间同步算法 被引量：3

10

作者 杨治秋 原福永 《仪表技术与传感器》 CSCD 北大核心 2017年第4期100-103,共4页

时间同步是煤矿井下监控系统重要的基础组件技术,有效地保证了井下人员的安全。传统时间同步算法同步误差随跳距积累且容错性较差,不适合应用于煤矿井下。基于国内外研究现状,结合实际环境,在传统时间同步算法的基础上提出了簇状结构的... 时间同步是煤矿井下监控系统重要的基础组件技术,有效地保证了井下人员的安全。传统时间同步算法同步误差随跳距积累且容错性较差,不适合应用于煤矿井下。基于国内外研究现状,结合实际环境,在传统时间同步算法的基础上提出了簇状结构的低功耗时间同步算法和容错性时间同步算法。通过搭建时间同步测试平台,从算法精度、正确性、健壮性3方面对低功耗时间同步算法进行验证。研究表明:簇状结构的低功耗时间同步算法比传统算法的稳定性更强。 展开更多

关键词 无线传感器 网络 时间同步算法

在线阅读 下载PDF 职称材料

基于无线传感器网络的井下时间同步算法设计 被引量：1

11

作者 杨治秋 原福永 《仪表技术与传感器》 CSCD 北大核心 2016年第12期57-60,共4页

时间同步是煤矿井下监控系统重要的基础组件技术,有效地保证了井下人员的安全。传统时间同步算法同步误差随跳距积累且容错性较差,不适合应用于煤矿井下。基于国内外研究现状,结合井下特殊环境,在传统时间同步算法的基础上提出了井下簇... 时间同步是煤矿井下监控系统重要的基础组件技术,有效地保证了井下人员的安全。传统时间同步算法同步误差随跳距积累且容错性较差,不适合应用于煤矿井下。基于国内外研究现状,结合井下特殊环境,在传统时间同步算法的基础上提出了井下簇状结构的低功耗时间同步算法和容错性时间同步算法。通过搭建时间同步测试平台,从算法精度、正确性、健壮性3方面对低功耗时间同步算法进行验证。研究表明:簇状结构的低功耗时间同步算法比传统算法的稳定性更强。 展开更多

关键词 无线传感器 网络 时间同步算法 煤矿井下

在线阅读 下载PDF 职称材料

智慧教育下茶文化的英语翻译课程TPACK混合教学模式探究 被引量：5

12

作者 王雪 张伟 《福建茶叶》 2019年第3期259-260,共2页

中国的茶文化博大精深,关于茶文化的国际交流的优良主要取决于茶文化的翻译。在智慧教育环境下,通过TPACK教学模式,对大学本科英语专业有关茶文化的翻译课程进行设计,构建了茶文化翻译课程的混合式的TPACK教学方式,并以基于粗糙集的数... 中国的茶文化博大精深,关于茶文化的国际交流的优良主要取决于茶文化的翻译。在智慧教育环境下,通过TPACK教学模式,对大学本科英语专业有关茶文化的翻译课程进行设计,构建了茶文化翻译课程的混合式的TPACK教学方式,并以基于粗糙集的数据挖掘算法验证此方法的可行性,为茶文化翻译课程提供新的教学理念与方法,为未来的茶文化翻译者奠定良好的基础。 展开更多

关键词 智慧教育 TPACK 茶文化 翻译课程

在线阅读 下载PDF 职称材料

基于均衡优化理论的路径覆盖测试数据进化生成 被引量：7

13

作者 范书平 张岩 +3 位作者 马宝英 万里 姚念民 宋妍 《电子学报》 EI CAS CSCD 北大核心 2020年第7期1303-1310,共8页

为了快速生成覆盖目标路径的测试数据,提出在测试数据进化生成中,利用种群中个体穿越程序各分支的均衡程度调整进化过程.首先,在个体运行被测程序后,统计个体穿越各分支节点真假分支的情况;然后,设计并计算个体穿越程序的均衡度;最后,... 为了快速生成覆盖目标路径的测试数据,提出在测试数据进化生成中,利用种群中个体穿越程序各分支的均衡程度调整进化过程.首先,在个体运行被测程序后,统计个体穿越各分支节点真假分支的情况;然后,设计并计算个体穿越程序的均衡度;最后,计算个体对程序均衡度的影响,使对程序均衡度影响大的个体具有较高的适应值,有更多机会参与到后续进化中,有效地提高了测试数据的生成效率.基准程序和工业用例的实验结果表明,与同类方法比较,所提出的方法在生成测试数据的运行时间与成功率方面具有优越性. 展开更多

关键词 软件测试 路径覆盖 遗传算法 测试数据 程序均衡度

在线阅读 下载PDF 职称材料

基于关键用例获取的测试用例排序方法 被引量：3

14

作者 范书平 万里 +2 位作者 姚念民 张岩 马宝英 《电子学报》 EI CAS CSCD 北大核心 2022年第1期149-156,共8页

测试用例排序技术通过在测试过程中确定用例执行的先后次序来增加早期揭示缺陷的可能性.本文在用例排序过程中动态提取关键用例,在测试用例运行被测程序后,得到各候选用例(待排序用例)覆盖程序新分支情况以及改善用例覆盖程序分支的均... 测试用例排序技术通过在测试过程中确定用例执行的先后次序来增加早期揭示缺陷的可能性.本文在用例排序过程中动态提取关键用例,在测试用例运行被测程序后,得到各候选用例(待排序用例)覆盖程序新分支情况以及改善用例覆盖程序分支的均衡程度,进而计算候选用例的权重使得关键用例的权重增加,优先进行排序.实验结果表明,与现有方法比较,所提方法在用例排序时间与缺陷检测方面体现出较好的性能. 展开更多

关键词 回归测试 测试用例排序 用例偏离度 缺陷检测 分支覆盖

在线阅读 下载PDF 职称材料

基于否定选择遗传算法的路径覆盖测试数据生成 被引量：17

15

作者 夏春艳 张岩 +3 位作者 万里 宋妍 肖楠 郭冰 《电子学报》 EI CAS CSCD 北大核心 2019年第12期2630-2638,共9页

路径覆盖是软件测试领域重要的测试方法之一.在搜索空间中,找到一组测试数据满足路径覆盖是一个具有挑战性的问题.因此,自动生成测试数据是软件测试的关键问题.文中提出一种基于否定选择遗传算法的路径覆盖测试数据生成方法,将否定选择... 路径覆盖是软件测试领域重要的测试方法之一.在搜索空间中,找到一组测试数据满足路径覆盖是一个具有挑战性的问题.因此,自动生成测试数据是软件测试的关键问题.文中提出一种基于否定选择遗传算法的路径覆盖测试数据生成方法,将否定选择策略融入遗传算法,动态优化遗传算法的种群数据,自动生成覆盖目标路径的测试数据.多个基准程序和工业程序的实验结果表明,与随机方法和遗传算法比较,文中方法能够提高路径覆盖率,减少冗余测试数据的生成. 展开更多

关键词 软件测试 遗传算法 否定选择 路径覆盖 测试数据

在线阅读 下载PDF 职称材料

基于迭代指导滤波的立体匹配方法 被引量：2

16

作者 李金凤 边继龙 《计算机应用与软件》 2017年第9期178-182,239,共6页

针对立体匹配当中的匹配精度问题,提出一种基于迭代指导滤波的立体匹配方法。该方法首先利用自适应窗口方法根据图像的灰度变化自适应地选择支撑窗口,再根据指导滤波累积原始匹配成本,并采用"胜者全取"方法计算视差,然后利用... 针对立体匹配当中的匹配精度问题,提出一种基于迭代指导滤波的立体匹配方法。该方法首先利用自适应窗口方法根据图像的灰度变化自适应地选择支撑窗口,再根据指导滤波累积原始匹配成本,并采用"胜者全取"方法计算视差,然后利用计算视差对匹配成本进行修正,进行再次累积并计算视差,最后反复迭代这一过程直到达到最大的迭代次数为止。实验结果表明,该方法可以获得较高精度的视差图,而且对立体像对中的不连续区域具有较强的鲁棒性。 展开更多

关键词 立体匹配 自适应窗口 指导滤波 自适应权重

在线阅读 下载PDF 职称材料

智慧教育环境下中国茶文化的混合式协作学习模式探究 被引量：3

17

作者 张伟 王雪 +1 位作者 杨昕卉 林景卫 《福建茶叶》 2019年第5期256-257,共2页

中国茶文化源远流长,但有关茶文化的学习模式还处于传统阶段。在智慧教育环境下,通过混合式协作学习模式,对茶文化的相关知识构建了符合时代性的教学方式,为茶文化课程提供新的教学理念与方法。

关键词 智慧教育 混合式教学 协作学习 茶文化

在线阅读 下载PDF 职称材料

基于多目标优化的测试用例优先级排序方法 被引量：8

18

作者 夏春艳 王兴亚 张岩 《计算机科学》 CSCD 北大核心 2020年第6期38-43,共6页

回归测试是软件测试中使用最频繁、成本最昂贵的测试方法。测试用例优先级排序是一种能够有效降低回归测试成本的方法,其目的是通过优先执行高级别的测试用例来达到提升软件故障检测的能力。文中提出了一种基于多目标优化的测试用例优... 回归测试是软件测试中使用最频繁、成本最昂贵的测试方法。测试用例优先级排序是一种能够有效降低回归测试成本的方法,其目的是通过优先执行高级别的测试用例来达到提升软件故障检测的能力。文中提出了一种基于多目标优化的测试用例优先级排序方法,该方法在遗传算法的个体评价机制中融入了选择函数,设计了合理的编码方式以及合适的选择、交叉和变异策略,以故障检测率、语句覆盖率和有效执行时间为优化目标,采用非支配排序遗传算法对测试用例优先级排序。基于4个基准程序和4个工业程序的实验结果表明:与其他方法相比,所提方法能够提高软件测试的有效性。 展开更多

关键词 软件测试 测试用例优先级 多目标优化 非支配排序遗传算法 选择函数

在线阅读 下载PDF 职称材料

比例差分修正的RSSI测距WSN节点定位研究 被引量：9

19

作者 杨治秋 《机械设计与制造》 北大核心 2019年第11期51-54,共4页

在无线传感器网络中节点定位技术占据着核心地位。基于传统RSSI的多边定位算法,提出了差分修正的井下无线传感器网络RSSI节点定位算法,通过不同锚节点之间的相互关系得到比例差分系数,将其应用在测量节点定位。目标未知节点首先读取在... 在无线传感器网络中节点定位技术占据着核心地位。基于传统RSSI的多边定位算法,提出了差分修正的井下无线传感器网络RSSI节点定位算法,通过不同锚节点之间的相互关系得到比例差分系数,将其应用在测量节点定位。目标未知节点首先读取在信标节点信息,利用卡尔曼滤波法除去信号中的噪声,获得更加精确的距离值,通过锚节点构建差分模型,利用比例差分的方法对RSSI测距进行修正,并对改进算法进行了仿真实验。结果表明,比例差分系数修正的RSSI测距定位算法的定位精度要远远高于传统RSSI测距定位算法,能够为井下的节点定位提供理论依据。 展开更多

关键词 比例差分 卡尔曼滤波 节点定位 RSSI 井下巷道

在线阅读 下载PDF 职称材料

自动驾驶交叉路口测试场景建模及验证方法 被引量：5

20

作者 夏春艳 黄松 +3 位作者 郑长友 张清睿 王宇 魏瑀皓 《软件学报》 EI CSCD 北大核心 2023年第7期3002-3021,共20页

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统... 自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,从交通法规出发,根据自动驾驶系统的安全需求,提出了交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征;其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景;然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言(CCSL)作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出了具体的转换方法;最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明了所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性. 展开更多

关键词 自动驾驶 测试场景 交规模型 形式化验证

在线阅读 下载PDF 职称材料