CCF ChinaSoft 2023 论坛巡礼 | 自动驾驶仿真测试论坛
2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。
本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!
目前大会火热报名中!早鸟注册(early-bird registration)10月22日截止,提前注册付费锁定注册费优惠权益。
CCF ChinaSoft 2023官方首页:
http://chinasoft.ccf.org.cn/
点击文末“阅读原文”或扫描下方二维码进入官方注册通道:
https://conf.ccf.org.cn/chinasoft2023
✦ +
+
论坛巡礼
论坛名称:自动驾驶仿真测试论坛
时间: 2023年12月1日 08:30-12:30
地点: 上海国际会议中心,3F会议室
论坛简介:
软件定义汽车带来庞大的产业机会及人类社会出行的变革。但同时诞生的有史以来最庞大复杂的软件系统也对传统软件测试验证理论带来巨大挑战。尤其是长尾问题,不仅对学术界面临的难题,也是自动驾驶量产落地的最大障碍之一。仿真测试被认为是解决长尾问题及自动驾驶安全保障的核心技术。本论坛邀请学术界和产业界的专家给出特邀报告之后进行圆桌讨论,共同研讨有效的自动驾驶仿真技术。
日程安排
Schedule
论坛主席
Forum Chairmen
杨子江
西安交通大学
西安交通大学图灵交叉信息科学研究中心主任、教授及深信科创创始人。曾任美国西密歇根大学计算机科学系正教授及密歇根大学电子工程与计算机科学系访问教授。学术兼职包括IEEE国际电动与自动驾驶技术委员会主席;IEEE自动驾驶国际标准工作组副主席;2021-2023年IEEE国际自动驾驶软件会议主席;2020年IEEE国际自动驾驶软件会议主席、2019年IEEE国际软件测试及验证大会共同主席;中国电动汽车百人会理事;安徽人工智能百人会副会长;中国开放原子开源基金会智能出行项目技术执行委员会主席。发表论文百余篇及二十余项中、美专利,获得ACM SIGSOFT杰出论文奖,ACM TODAES最佳期刊论文奖等。
杨开睿
菜鸟自动驾驶实验室
菜鸟自动驾驶算法仿真测试负责人、中国仿真学会自动驾驶汽车仿真测试专委会秘书&委员。国内最早的L4自动驾驶质量领域专家之一,主攻自动驾驶算法仿真测试、仿真对抗性测试、场景自动生成技术以及自动驾驶质量保障。曾负责百度自动驾驶系统集成测试从0到1搭建和Apollo中美测试工作。申请发明专利数十篇、主导了自动驾驶领域首个高速枢纽仿真HDmap开源数据集Flyover的研发、主导了阿里天池杯“2022未来汽车”自动驾驶算法挑战赛的赛题设计和专家评测工作,吸引了全球超过1500支队伍参赛。参与了多项自动驾驶场景和法规相关的国家项目和标准制定工作。
论坛嘉宾
Forum Guests
卜磊
南京大学
现任南京大学软件学院教授、博导、副院长,兼任 CCF 系统软件专委秘书长;2010年在南京大学计算机与科学技术系获取博士学位;曾在CMU、MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法,研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面,部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、TCPS、TPDS、RTSS、ICSE、ISSTA、ASE等上;入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展计划、MSRA铸星计划等
报告题目:
开放不确定场景下的智能汽车预期功能安全检测、防护与强化
报告摘要:
在高度自动化、智能化的同时,在开放不确定场景下,智能汽车极易受到感知系统误判、决策系统失误、人员误操作等因素的影响,从而导致汽车在运行中遭遇预期功能安全风险,并导致不可挽回的财产与人身伤害。近年来,Tesla、Uber等已多次出现相关人员伤亡事故。如何解决相关预期功能安全问题已成为智能汽车走向应用亟需解决的痛点,迅速成为当前国内外学术界和工业界高度关注的问题。近年来,我们围绕开放不确定场景下智能汽车的“预期功能安全风险认知与评估”与“系统行为失效预测与防护”两大问题,针对开放不确定场景下系统行为特性,在预期功能安全认知与度量、预期功能安全测试与验证、智能决策安全学习与增强、实时运行安全监控与防护等方面进行关键技术研究与突破。本报告将对相关工作规划与初步进展进行汇报。
陈碧欢
复旦大学
复旦大学计算机科学技术学院副教授,主要研究方向包括软件供应链、智能网联汽车、AI系统工程等。作为课题负责人和技术骨干参加科技创新2030-“新一代人工智能”重大项目、国家自然科学基金项目,承担多项企业合作项目。研究成果发表在ICSE、FSE、S&P、TSE、TIFS等国际顶级会议和期刊,并获得3次ACM SIGSOFT杰出论文奖(FSE2016、ASE2018、ASE2022)和2次IEEE TCSE杰出论文奖(ICSME2020、SANER2023)。基于相关研究成果,研制了开源风险治理平台伏羲(http://www.se.fudan.edu.cn/fuxi/)。
报告题目:
自动驾驶仿真测试的道路生成与违规诊断
报告摘要:
仿真测试是保障自动驾驶系统质量的重要手段,旨在通过生成多样化的仿真场景来发现潜在的违规情况,并通过人工分析违规情况来提升自动驾驶系统的质量。因此,保证仿真场景的多样性、减少人工分析的时间是其中的两个关键问题。本报告将介绍基于场景组件合成的方法来生成多样化的仿真场景,并介绍基于大语言模型的方法来加速违规情况的诊断。
薛强
浙江大学网络空间安全学院,浙江大学嘉兴研究院
北京大学物理学学士,芬兰奥卢大学通信工程博士,曾就职于梅赛德斯奔驰乘用车研发中心,从事智能车网联功能开发与自动驾驶算法开发。现就职于浙江大学网络空间安全学院与浙江大学嘉兴研究院,负责智能网联汽车预期功能安全与信息安全仿真测试平台的研发。
报告题目:
智能网联汽车自动驾驶系统安全测试
报告摘要:
自动化与网联化是目前汽车智能化发展的重要方向。相比于传统汽车,具备自动驾驶与网联功能的智能车与外界进行信息交互的边界得到极大拓展,需要采集和处理的数据成几何级指数增长。系统复杂性的提升带来系统可靠性(预期功能安全)与安全性(信息安全)的双重风险提升。因此,急需开发针对智能车自动驾驶和网联等新功能的双安全测试平台,以检验系统的可靠性和安全性。本报告介绍智能车自动驾驶系统双安全测试方向的研究内容,以及相关平台的建设。
任海兵
安徽深信科创信息技术有限公司
清华大学计算机系本硕博毕业,正高级工程师,目前担任深信科创研发VP,负责自动驾驶工具链的研发。任海兵曾任美团自动车高精地图部门负责人、Intel研发总监、阿里资深算法专家等,在计算机视觉、机器学习、机器人感知等方面有二十多年的研发经验,发表论文50余篇,包括CVPR,NIPS,ICCV等国际顶会,拥有专利80多项,其中美国专利20多项。
报告题目:
面向大模型时代的自动驾驶仿真
报告摘要:
自动驾驶仿真测试可以帮助自动驾驶技术快递迭代,极大地降低自动驾驶研发的开发周期和研发成本。目前仿真场景构建中存在两个主要问题:一个是人工构建成本较高,仿真场景数量少,ODD覆盖率较低,更是缺少corner case场景;另一个是人工构建的虚拟场景不够逼真,与真实场景差距很大。基于大模型技术,深信科创提出了一套完整的仿真数据闭环解决方案,将仿真技术与大数据结合,利用实车大数据构建内容更加丰富真实度更高的防真场景,并进行泛化获取更多的corner case场景。基于这些优质的场景数据,可以快速对算法进行验证,大大提高了研发效率。
相关文章:

CCF ChinaSoft 2023 论坛巡礼 | 自动驾驶仿真测试论坛
2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。 本次大会主题是“智能化软件创新推动数字经济与社…...
vue封装useWatch hook支持停止监听和重启监听功能
import { watch, reactive } from vue;export function useWatch(source, cb, options) {const state reactive({stop: null});function start() {state.stop watch(source, cb, options);}function stop() {state.stop();state.stop null;}// 返回一个对象,包含…...

智能配方颗粒管理系统解决方案,专业实现中医药产业数字化-亿发
“中药配方颗粒”,又被称为免煎中药,源自传统中药饮片,经过提取、分离、浓缩、干燥、制粒、包装等工艺加工而成。这种新型配方药物完整保留了原中药饮片的所有特性。既能满足医师的辨证论治和随症加减需求,同时具备强劲好人高效的…...

PXI总线测试模块-6951E 信号分析仪
6951E 信号分析仪 频率范围:10Hz~26.5GHz 6951E信号分析仪率范围覆盖10Hz~26.5GHz、带宽40MHz,具备频谱分析、相邻信道功率测试、模拟解调、噪声系数测试等多种测量功能。 6951E信号分析仪采用PXIe总线3U 4槽结构形式ÿ…...
精确杂草控制植物检测模型的改进推广
Improved generalization of a plant-detection model for precision weed control 摘要1、介绍2、结论摘要 植物检测模型缺乏普遍性是阻碍实现自主杂草控制系统的主要挑战之一。 本文研究了训练和测试数据集分布对植物检测模型泛化误差的影响,并使用增量训练来减小泛化误差。…...

C++:对象成员方法的使用
首先复习一下const : //const: //Complex* const pthis1 &ca; //约束指针自身 不能指向其他对象 // pthis1 &cb; err //pthis1->real; //const Complex* const pthis1 &ca;//指针指向 指针自身 都不能改 //pthis1->real; 只可读 …...

深入了解SpringMvc接收数据
目录 一、访问路径(RequestMapping) 1.1 访问路径注解作用域 1.2 路径精准(模糊)匹配 1.3 访问路径限制请求方式 1.4 进阶访问路径请求注解 1.5 与WebServlet的区别 二、接收请求数据 2.1 请求param参数 2.2 请求路径参数 2.3 请求…...

华东“启明”青少年音乐艺术实践中心揭幕暨中国“启明”巴洛克合奏团首演音乐会
2023年11月11日,华东“启明”青少年音乐艺术实践中心在上海揭幕,中国“启明”巴洛克合奏团开启了首场音乐会。 华东“启明”青少年音乐艺术实践中心由中共宁波市江北区委宣传部与上音管风琴艺术中心联合指导,宁波音乐港、宁波市江北区洛奇音乐…...
17. 机器学习——SVM
机器学习面试题汇总与解析——SVM 本章讲解知识点 什么是 SVMSVM 的基本原理线性不可分 SVM非线性 SVMSVM 优缺点本专栏适合于Python已经入门的学生或人士,有一定的编程基础。 本专栏适合于算法工程师、机器学习、图像处理求职的学生或人士。 本专栏针对面试题答案进行了优化…...

算法导论笔记5:贪心算法
P216 第15章动态规划 最优子结构 具有它可能意味着适合应用贪心策略 动态规划(Dynamic Programming)算法的核心思想是:将大问题划分为小问题进行解决,从而一步步获取最优解的处理算法。 剪切-粘贴技术证明 每个子问题的解就是它本身的最优解(利用反证法࿰…...
Vue的高级表格组件库【vxe-table】
文章目录 前言vxe-table官网实现表头拖拽树形表格全键盘操作后言 前言 hello world欢迎来到前端的新世界 😜当前文章系列专栏:前端系列文章 🐱👓博主在前端领域还有很多知识和技术需要掌握,正在不断努力填补技术短板…...

从0到0.01入门React | 002.精选 React 面试题
🤍 前端开发工程师(主业)、技术博主(副业)、已过CET6 🍨 阿珊和她的猫_CSDN个人主页 🕠 牛客高级专题作者、在牛客打造高质量专栏《前端面试必备》 🍚 蓝桥云课签约作者、已在蓝桥云课上架的前后端实战课程《Vue.js 和 Egg.js 开发企业级健康管理项目》、《带你从入…...

假冒 Skype 应用程序网络钓鱼分析
参考链接: https://slowmist.medium.com/fake-skype-app-phishing-analysis-35c1dc8bc515 背景 在Web3世界中,涉及假冒应用程序的网络钓鱼事件相当频繁。慢雾安全团队此前曾发表过分析此类网络钓鱼案例的文章。由于Google Play在中国无法访问,许多用户…...

软件外包开发的需求表达方法
软件开发需求的有效表达对于项目的成功至关重要。无论选择哪种需求表达方法,清晰、详细、易于理解是关键。与开发团队建立良好的沟通渠道,确保他们对需求有充分的理解,并随着项目的推进及时调整和更新需求文档。以下是一些常用的需求表达方法…...

详解JS的四种异步解决方案:回调函数、Promise、Generator、async/await
同步&异步的概念 在讲这四种异步方案之前,我们先来明确一下同步和异步的概念: 所谓同步(synchronization),简单来说,就是顺序执行,指的是同一时间只能做一件事情,只有目前正在执行的事情做完之后&am…...

Python进行多线程爬取数据通用模板
首先,我们需要导入所需的库,包括requests和BeautifulSoup。requests库用于发送HTTP请求,BeautifulSoup库用于解析HTML文档。 import requests from bs4 import BeautifulSoup然后,我们需要定义一个函数来发送HTTP请求并返回响应。…...

基于springboot实现沁园健身房预约管理系统【项目源码】
基于springboot实现沁园健身房预约管理系统演示 B/S架构 B/S结构是目前使用最多的结构模式,它可以使得系统的开发更加的简单,好操作,而且还可以对其进行维护。使用该结构时只需要在计算机中安装数据库,和一些很常用的浏览器就可以…...

论文笔记:Deep Trajectory Recovery with Fine-Grained Calibration using Kalman Filter
TKDE 2021 1 intro 1.1 背景 用户轨迹数据对于改进以用户为中心的应用程序很有用 POI推荐城市规划路线规划由于设备和环境的限制,许多轨迹以低采样率记录 采样的轨迹无法详细说明物体的实际路线增加了轨迹中两个连续采样点之间的不确定性——>开发有效的算法以…...

ubuntu下tensorrt环境配置
文章目录 一、Ubuntu18.04环境配置1.1 安装工具链和opencv1.2 安装Nvidia相关库1.2.1 安装Nvidia显卡驱动1.2.2 安装 cuda11.31.2.3 安装 cudnn8.21.2.4 下载 tensorrt8.4.2.4 二、编写CMakeLists.txt三、TensorRT系列教程 一、Ubuntu18.04环境配置 教程同样适用与ubuntu22.04…...

网络安全基础之php开发文件下载的实现
前言 php是网络安全学习里必不可少的一环,简单理解php的开发环节能更好的帮助我们去学习php以及其他语言的web漏洞原理 正文 在正常的开发中,文件下载的功能是必不可少,比如我们在论坛看到好看图片好听的歌时,将其下载下来时就…...
生成xcframework
打包 XCFramework 的方法 XCFramework 是苹果推出的一种多平台二进制分发格式,可以包含多个架构和平台的代码。打包 XCFramework 通常用于分发库或框架。 使用 Xcode 命令行工具打包 通过 xcodebuild 命令可以打包 XCFramework。确保项目已经配置好需要支持的平台…...

微信小程序之bind和catch
这两个呢,都是绑定事件用的,具体使用有些小区别。 官方文档: 事件冒泡处理不同 bind:绑定的事件会向上冒泡,即触发当前组件的事件后,还会继续触发父组件的相同事件。例如,有一个子视图绑定了b…...

Vue3 + Element Plus + TypeScript中el-transfer穿梭框组件使用详解及示例
使用详解 Element Plus 的 el-transfer 组件是一个强大的穿梭框组件,常用于在两个集合之间进行数据转移,如权限分配、数据选择等场景。下面我将详细介绍其用法并提供一个完整示例。 核心特性与用法 基本属性 v-model:绑定右侧列表的值&…...
大数据学习(132)-HIve数据分析
🍋🍋大数据学习🍋🍋 🔥系列专栏: 👑哲学语录: 用力所能及,改变世界。 💖如果觉得博主的文章还不错的话,请点赞👍收藏⭐️留言Ǵ…...
LeetCode - 199. 二叉树的右视图
题目 199. 二叉树的右视图 - 力扣(LeetCode) 思路 右视图是指从树的右侧看,对于每一层,只能看到该层最右边的节点。实现思路是: 使用深度优先搜索(DFS)按照"根-右-左"的顺序遍历树记录每个节点的深度对于…...
RLHF vs RLVR:对齐学习中的两种强化方式详解
在语言模型对齐(alignment)中,强化学习(RL)是一种重要的策略。而其中两种典型形式——RLHF(Reinforcement Learning with Human Feedback) 与 RLVR(Reinforcement Learning with Ver…...
window 显示驱动开发-如何查询视频处理功能(三)
D3DDDICAPS_GETPROCAMPRANGE请求类型 UMD 返回指向 DXVADDI_VALUERANGE 结构的指针,该结构包含特定视频流上特定 ProcAmp 控件属性允许的值范围。 Direct3D 运行时在D3DDDIARG_GETCAPS的 pInfo 成员指向的变量中为特定视频流的 ProcAmp 控件属性指定DXVADDI_QUER…...

ABAP设计模式之---“Tell, Don’t Ask原则”
“Tell, Don’t Ask”是一种重要的面向对象编程设计原则,它强调的是对象之间如何有效地交流和协作。 1. 什么是 Tell, Don’t Ask 原则? 这个原则的核心思想是: “告诉一个对象该做什么,而不是询问一个对象的状态再对它作出决策。…...

【SSM】SpringMVC学习笔记7:前后端数据传输协议和异常处理
这篇学习笔记是Spring系列笔记的第7篇,该笔记是笔者在学习黑马程序员SSM框架教程课程期间的笔记,供自己和他人参考。 Spring学习笔记目录 笔记1:【SSM】Spring基础: IoC配置学习笔记-CSDN博客 对应黑马课程P1~P20的内容。 笔记2…...

CSS(2)
文章目录 Emmet语法快速生成HTML结构语法 Snipaste快速生成CSS样式语法快速格式化代码 快捷键(VScode)CSS 的复合选择器什么是复合选择器交集选择器后代选择器(重要)子选择器(重要)并集选择器(重要)**链接伪类选择器**focus伪类选…...