首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室

研究主题：形式化验证形式化残差卷积解码器

研究学科：自动化类

被引量：10H指数：2北大核心: 4 CSCD: 3

检索结果分析

全选清除导出

排序方式：

共 4 条记录，以下是 1-4

基于深度残差学习的自动驾驶道路场景理解: 1; 《计算机应用研究》首都师范大学信息工程学院成像技术北京市高精尖创新中心;首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室;田纳西大学诺克斯维尔分校工程学院宋锐施智平渠瀛邵振洲关永出版年：2019; 国家自然科学基金资助项目(61702348,61772351,61572331,61472468,61602325);国家科技支撑计划资助项目(2015BAF13B01);国际科技合作计划项目(2011DFG13000);北京市科委项目(Z141100002014001);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507); 随着道路场景理解技术的快速发展,自主驾驶领域取得了长足的进步。在相关任务中,包括道路分割、分类和车辆检测的实时性和准确性是安全性的一个关键问题。为此,提出了一个具有编/解码器网络结构的基于深度残差学习的方法。一方面,编码...; 关键词：道路场景理解深度残差学习编/解码器结构全卷积网络

基于天空分割的去雾算法在目标检测中的应用: 2; 《计算机应用与软件》首都师范大学信息工程学院电子系统可靠性技术北京市重点实验室;首都师范大学成像技术北京市高精尖创新中心;首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室;首都师范大学电子系统可靠性与数理交叉国际科技合作基地朱晓霞施智平邵振洲关永任长娥出版年：2020; 国家自然科学基金项目(61702348,61772351,61602326,61602324);国家重点研发计划项目(2017YFB0806700);北京市科技委员会项目(LJ201607);科技创新服务能力建设-基本科研业务费项目(025185305000)。; 针对道路目标检测的准确率受雾霾环境影响的问题,提出一种基于雾检测与天空分割的自适应去雾算法。提取道路环境中的雾检测区域并对其进行通道相关性以及亮度和饱和度比值的计算,以判别场景类别;对图像进行天空非天空区域的分割并对不同...; 关键词：消失点检测天空分割暗通道自适应去雾道路目标检测 Yolo

函数矩阵及其微积分的高阶逻辑形式化: 3; 《计算机科学》首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室;北京化工大学信息科学与技术学院杨秀梅关永施智平吴爱轩张倩颖张杰出版年：2016; 国际科技合作计划(2011DFG13000);国家自然科学基金项目(61170304;61472468;61572331);北京市科委项目(Z141100002014001);北京市教委科研基地建设项目(TJSHG201310028014);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)资助; 函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定理...; 关键词：函数矩阵微积分性质形式化验证高阶逻辑定理证明

穿刺机器人运动安全性的形式化分析与建模: 4; 《计算机工程与应用》首都师范大学成像技术北京市高精尖创新中心;首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室;北京数学与信息交叉科学2011协同创新中心孙浩然施智平关永王瑞出版年：2018; 国际科技合作计划(No.2010DFB10930,No.2011DFG13000);国家自然科学基金(No.61170304,No.61104035,No.61373034,No.61303014,No.61472468,No.61572331);北京市科委项目(No.Z141100002014001);北京市教委科研基地建设项目(No.TJSHG201310028014);北京市属高等学校创新团队建设与教师职业发展计划项目(No.NoIDsHT20150507)。; 混成系统是实时嵌入式系统的重要子类,其行为中存在连续变化和离散跳转混杂的情况,使得混成系统行为复杂,安全性难以掌握。近年来,混成系统在医疗环境中得到越来越广泛的应用。其中,医疗机器人的穿刺运动控制系统呈现高度复杂的混成性...; 关键词：混成系统医疗机器人微分动态逻辑微分不变式形式化验证

全选清除导出

共1页<< <1> >>