退出
我的积分:
中文文献批量获取
外文文献批量获取
赵雷; 卫星; 张建军;
合肥工业大学计算机与信息学院;
时间自动机; UPPAAL工具; 模型检测; 矿井机车; 自主驾驶; 系统建模;
机译:在不同的轨道轨道条件下建模矿井柴油机车制动过程
机译:自主驾驶作为综合过程的模拟功能开发与验证
机译:粉煤灰处理环境中的矿井水和酸性矿井排水过程中去除的硫酸盐的命运:建模和实验方法
机译:马德里自主和驾驶自主和驾驶的验证经验
机译:迈向信息验证的新模型:为警察调查员的信息验证过程建模。
机译:基于概率不确定性建模的自主驾驶概率不确定性建模的语义点云映射
机译:多林约束系统建模与确保合作自主驾驶安全性的验证
机译:机车耐撞性研究:建模,仿真和验证
机译:矿井和矿井的通风和脱气过程建模方法
机译:使用可解释的人工智能来警告潜在风险情况来提供功能安全的学习方法和设备,以可解释的人工智能验证自动驾驶网络的检测过程,并使用它们。 Sting方法和测试装置{用于通过使用可解释的AI来提供关于潜在危险情况的警告驱动器提供功能安全的学习方法和学习设备,该方法验证自动驾驶网络的检测过程,以及使用相同的测试方法和测试设备}
机译:自主驾驶辅助装置,自主汽车,自主驾驶辅助方法以及自主驾驶辅助程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。