本报告提出了一种针对自动驾驶汽车的路径控制策略,通过控制一小部分的自动驾驶汽车即可实现交通网络的系统最优,即最小化出行总延误。基于该控制策略,我们可确定以最小化交通延误为目标的最低自动驾驶市场渗透率。基于多个真实的城市路网数据,我们发现该市场渗透率通常低于23%。在此基础上,我们结合道路拥堵收费策略来影响人工驾驶车辆的路线选择,进一步大幅降低了该市场渗透率。
已有48人学习
随着信息时代的来临,人类社会的数据基础和信息环境有了大幅提升,人工智能已经进入场景驱动阶段,深入到不同场景去解决实际问题,从专用智能迈向通用智能,进入了新的发展阶段。智能机器人可实现“感知-决策-行为-反馈”闭环工作流程,具备了不同程度类人智能,可协助人类生产、服务人类生活,主要包括智能工业机器人、智能服务机器人和智能特种机器人。提到人工智能与智能机器人,我们就会联想到科幻小说或者影片里的机器人,...
已有61人学习
本课程将首先介绍机器视觉技术在工业领域的应用和发展,并提出机器视觉技术在检测方面的应用瓶颈, 第二部分将简要介绍深度学习的基本概念和应用原理,第三部分将重点介绍基于深度学习的工业质检技术。
已有39人学习
1. 轨交行业介绍;
2. 智慧城轨纲要解读。
已有146人学习
开发过程使用形式化方法,可以检查系统规范,完善设计模型,且可大幅减少后续测试阶段发现的错误,从而显著提升工程质量与开发效率。列车信号及控制类系统是典型的安全苛求系统,任何潜在的系统行为缺陷都会给列车运营安全带来巨大风险。目前形式化验证方法与工具已经在轨交行业中得到较大范围的推广、使用。本次课程将通过概述形式化验证的原理,分析典型示例,简介形式化验证在开发流程的应用环节,以总结目前形式化验证应用面临...
已有172人学习
EN 50129中定义了对铁路信号领域中的安全相关电子系统的验收要求。
该标准关注于对安全相关系统的验收所需呈现的证据,并且由于它也涉及到对系统验收阶段之后计划执行的活动,因此也可以认为它覆盖了整个系统生命周期。本节课将为您深度解读EN 50129。
已有129人学习
在轨道交通系统自动化的发展过程中,安全性成为轨交软件开发所关注的一个重点。软件开发中存在着许多不可预测的因素,可能埋藏着不少重大风险,如何将风险控制在可接受的范围内,以保证轨交软件的安全可靠,是开发时所必须要解决的问题。轨交软件功能安全标准EN50128源自欧洲电工标准化委员会(CENELEC),是IEC61508在轨交行业的派生标准,通过规范轨交软件的开发过程,来保证轨交软件产品的质量和可靠性。
已有135人学习
1. 形式化开发方法与传统软件开发方法对比;
2. 自然语言需求的形式化;
3. 安全需求在各平台下的描述形式;
4. 水平验证与垂直验证。
已有150人学习
1. 轨交信号系统功能安全与信息安全背景;
2. 轨交信号系统功能安全与信息安全分析;
3. 轨交信号系统功能安全与信息安全案例。
已有87人学习
1. 探讨未来发展方向;
2. 分享前沿安全技术;
3. 信息安全未来展望。
已有156人学习
1. 信息安全认证背景;
2. CATARC标志认证内容介绍;
3. CATARC标志认证实践。
已有166人学习
1. 车载网络安全隐患;
2. 车载网络法规解读;
3. 车载网络WP.29合规准入。
已有264人学习
最小化交通延误的自动驾驶市场渗透率
机器人技术在工业领域的应用
基于深度学习的工业质检解决方案
智慧城轨发展纲要新解读
轨交功能安全之验证原理与示例分析
轨交功能安全之EN 50129标准解读
轨交功能安全之EN 50128标准解读
轨交功能安全之形式化方法与应用
轨交信号系统功能安全与信息安全探索
汽车信息安全的总结与未来展望
信息安全之安全认证
信息安全之WP29合规准入
已完成
数据加载中