国际科技合作与交流专项项目(2011DFG13000)

作品数：26被引量：105H指数：6
导出分析报告
相关作者：关永李晓娟张杰王瑞施智平更多>>
相关机构：首都师范大学北京化工大学北京航空航天大学田纳西大学更多>>
相关期刊：《计算机工程与应用》《电子学报》《计算机仿真》《计算机工程与设计》更多>>
相关主题：形式化验证ROS定理证明概率模型检测UPPAAL更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于深度残差学习的自动驾驶道路场景理解被引量：6
《计算机应用研究》2019年第9期2825-2829,2871,共6页宋锐 施智平 渠瀛 邵振洲 关永 
国家自然科学基金资助项目(61702348,61772351,61572331,61472468,61602325);国家科技支撑计划资助项目(2015BAF13B01);国际科技合作计划项目(2011DFG13000);北京市科委项目(Z141100002014001);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)
随着道路场景理解技术的快速发展,自主驾驶领域取得了长足的进步。在相关任务中,包括道路分割、分类和车辆检测的实时性和准确性是安全性的一个关键问题。为此,提出了一个具有编/解码器网络结构的基于深度残差学习的方法。一方面,编码...
关键词：道路场景理解 深度残差学习 编/解码器结构 全卷积网络 
工业机器人模块化建模与验证被引量：5
《计算机工程与设计》2019年第1期209-217,共9页梁婷 王瑞 李晓娟 关永 
国家自然科学基金项目(61572331;61472468;61602325;61373034);国家科技支撑计划基金项目(2015BAF13B01);北京市科委基金项目(LJ201607);北京市教委科研基地建设基金项目(TJSHG201510028010);北京市属高等学校创新团队建设与教师职业发展计划基金项目(IDHT20150507);国际科技合作计划基金项目(2011DFG13000)
为降低对机器人系统的建模难度,提升建模效率,提出一种对工业机器人的任务控制系统和通信系统模块化建模与验证的方法。基于模型检测技术,将系统划分成相对独立的子模块,对各子模块分别用时间自动机建模,得到一系列模块化模型,模块化模...
关键词：模块化建模 工业机器人 模型检测 时间自动机 UPPAAL 
基于旋量理论和代数消元6R机器人逆解算法被引量：11
《传感器与微系统》2018年第12期114-117,121,共5页赵荣波 施智平 关永 邵振洲 王国辉 吴立峰 
国家自然科学基金资助项目(61572331;61472468;61602325;61373034);国家科技支撑计划资助项目(2015BAF13B01);北京市科委项目(LJ201607);北京市教委科研基地建设项目(TJSHG201510028010);北京市属高等学校创新团队建设与教师职业发展计划资助项目(IDHT20150507);国际科技合作计划资助项目(2011DFG13000)
为了解决6自由度后3关节轴线相交于一点的串联机器人逆运动学问题,采用指数积(POE)方法建立运动学模型,并采用几何、代数方法和Paden-Kahan子问题进行逆运动学求解。几何方法获得前3关节运动轨迹的交点,将求解转换成已知的Paden-Kahan...
关键词：旋量理论 指数积 Paden—Kahan子问题 逆运动学 
一种面向多模态手术轨迹的快速无监督分割方法被引量：1
《小型微型计算机系统》2018年第10期2296-2302,共7页邵振洲 赵红发 渠瀛 施智平 关永 袁慧梅 
北京市教委科研计划一般项目(KM201710028017)资助;北京市教委科研基地建设项目(TJSHG201310028014)资助;北京市优秀人才培养青年骨干个人项目(2014000020124G135)资助;国家自然科学基金项目(61702348;61772351;61572331;61472468;61602325;61373034)资助;国家科技支撑计划项目(2015BAF13B01)资助;国际科技合作计划项目(2011DFG13000)资助;北京市科委项目(Z141100002014001)资助;北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)资助.
基于视频和机器人运动学数据的多模态手术轨迹分割是机器人辅助微创手术中的一类基本任务,用于生成低复杂度的子任务进行学习和技能评估等.然而由于手术视频的高维特征空间,传统的特征提取方法存在效率低下、难以提取有效特征的缺陷.此...
关键词：机器人辅助微创手术 轨迹分割 堆叠卷积自编码 小波平滑 深度学习 
穿刺机器人运动安全性的形式化分析与建模
《计算机工程与应用》2018年第18期263-270,共8页孙浩然 施智平 关永 王瑞 
国际科技合作计划(No.2010DFB10930,No.2011DFG13000);国家自然科学基金(No.61170304,No.61104035,No.61373034,No.61303014,No.61472468,No.61572331);北京市科委项目(No.Z141100002014001);北京市教委科研基地建设项目(No.TJSHG201310028014);北京市属高等学校创新团队建设与教师职业发展计划项目(No.NoIDsHT20150507)。
混成系统是实时嵌入式系统的重要子类,其行为中存在连续变化和离散跳转混杂的情况,使得混成系统行为复杂,安全性难以掌握。近年来,混成系统在医疗环境中得到越来越广泛的应用。其中,医疗机器人的穿刺运动控制系统呈现高度复杂的混成性,...
关键词：混成系统 医疗机器人 微分动态逻辑 微分不变式 形式化验证 
Nuttx操作系统进程切换调度实时性的形式化验证被引量：3
《计算机应用与软件》2018年第7期15-20,51,共7页郝英华 王瑞 李晓娟 
国家自然科学基金项目(61572331,61472468); 国际科技合作计划项目(2011DFG13000); 国家科技支撑计划项目(2015BAF13B01)
随着工业机器人的发展,实时性操作系统在工业控制领域的地位越来越重要。实时调度对实时操作系统的实时性有重要影响,是提高系统实时性的关键技术。Nuttx操作系统就是一个实时操作系统,它有三种调度策略:先来先服务、时间片轮转法以及...
关键词：工业机器人 实时调度 Nuttx操作系统 切换 实时性 时间自动机Uppaal 
机器人关节通信总线系统的建模与验证被引量：7
《软件学报》2018年第6期1699-1715,共17页孟瑶 李晓娟 关永 王瑞 张杰 
国家自然科学基金(61373034;61572331;61472468;61602325);国家科技支撑计划(2015BAF13B01);国际科技合作计划(2011DFG13000);北京市科委项目(LJ201607);北京市教委科研基地建设项目(TJSHG201510028010);北京市属高等学校创新团队建设与教师职业发展计划(IDHT20150507)~~
高速串行现场总线(controller area network,简称CAN)被广泛部署到机器人通信系统中.而服务机器人任务具有并发性和高实时性的特点,因此,如何根据总线协议规范和应用需求精化设计模型,保证系统设计的正确性和实时性要求,避免设计阶段的...
关键词：形式化验证 实时性 时间自动机 CAN 动态优先级 
一种面向运动目标提取的对称交替方向RPCA算法被引量：1
《小型微型计算机系统》2018年第6期1349-1353,共5页吴高宇 邵振洲 渠瀛 施智平 关永 
北京市教委科研计划一般项目(KM201710028017)资助;北京市教委科研基地建设项目(TJSHG201310028014)资助;北京市优秀人才培养青年骨干个人项目(2014000020124G135)资助;国家自然科学基金项目(61572331;61472468;61602325;61373034)资助;国家科技支撑计划项目(2015BAF13B01)资助;国际科技合作计划项目(2011DFG13000)资助;北京市科委项目(Z141100002014001)资助;北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)资助
基于鲁棒主成分分析(RPCA)的运动目标提取对背景变化具有良好的鲁棒性,但传统的基于交替方向法(ADM)的鲁棒主成分分析方法存在计算量大、耗时长等缺陷.为了克服这些问题,一种对称交替方向法(SADM)被提出来,该方法优化了原ADM迭代策略,...
关键词：运动目标提取 鲁棒主成分分析 交替方向法 奇异值分解 停机准则 
Android与ROS交互通信的可靠性设计被引量：3
《计算机应用与软件》2018年第3期106-113,共8页李梦男 邵振洲 渠瀛 施智平 关永 魏洪兴 
国家自然科学基金项目(61572331;61472468;61602325;61373034);国家科技支撑计划项目(2015BAF13B01);国际科技合作计划项目(2011DFG13000);北京市教委科研计划一般项目(KM201710028017);北京市教委科研基地建设项目(TJSHG201310028014);北京市科委项目(Z141100002014001);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507);北京市优秀人才培养资助青年骨干个人项目(2014000020124G135)
目前,Google和Willow Garage已经为Android系统构建ROS(Robot Operating System)环境提供了基于rosjava的应用功能包集合android_core,便于Android移动终端和ROS进行互联互通。然而,当前的通信机制不能保证Android应用对基于ROS的机器...
关键词：ROS ANDROID Rosjava TCP/IP 
函数矩阵及其微积分的高阶逻辑形式化被引量：2
《计算机科学》2016年第11期24-29,共6页杨秀梅 关永 施智平 吴爱轩 张倩颖 张杰 
国际科技合作计划(2011DFG13000);国家自然科学基金项目(61170304;61472468;61572331);北京市科委项目(Z141100002014001);北京市教委科研基地建设项目(TJSHG201310028014);北京市属高等学校创新团队建设与教师职业发展计划项目(IDHT20150507)资助
函数矩阵广泛应用于动态系统的建模与分析。传统的函数矩阵分析主要采用纸笔演算、数值计算和符号推导的方法,这些方法不能保证提供精确或正确的结果。高阶逻辑定理证明作为一种高可靠的形式化验证方法,可以克服以上不足。在高阶逻辑定...
关键词：函数矩阵 微积分性质 形式化验证 高阶逻辑定理证明 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部