登陆
注册
随着信息时代的来临，人类社会的数据基础和信息环境有了大幅提升，人工智能已经进入场景驱动阶段，深入到不同场景去解决实际问题，从专用智能迈向通用智能，进入了新的发展阶段。智能机器人可实现“感知-决策-行为-反馈”闭环工作流程，具备了不同程度类人智能，可协助人类生产、服务人类生活，主要包括智能工业机器人、智能服务机器人和智能特种机器人。提到人工智能与智能机器人，我们就会联想到科幻小说或者影片里的机器人，...
已有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人学习
1. 智能网联车安全发展现状和标准体系；
2. 车联网信息安全框架。
已有165人学习
已完成
数据加载中