您的位置： 专家智库 > >

国家自然科学基金(61104035)

作品数：10 被引量：31H指数：3
相关作者：施智平关永袁晓红张杰赵春娜更多>>
相关机构：首都师范大学北京化工大学北京石油化工学院更多>>
发文基金：国家自然科学基金国际科技合作与交流专项项目北京市优秀人才培养资助更多>>
相关领域：自动化与计算机技术冶金工程理学自然科学总论更多>>

领域

  • 14个自动化与计算...
  • 8个电子电信
  • 8个理学
  • 7个经济管理
  • 7个机械工程
  • 7个动力工程及工...
  • 7个电气工程
  • 7个交通运输工程
  • 7个环境科学与工...
  • 7个医药卫生
  • 7个自然科学总论
  • 6个生物学
  • 6个化学工程
  • 6个冶金工程
  • 6个建筑科学
  • 6个水利工程
  • 6个轻工技术与工...
  • 6个农业科学
  • 6个一般工业技术
  • 6个政治法律

主题

  • 14个定理
  • 14个机器人
  • 13个形式化
  • 12个定理证明
  • 12个形式化验证
  • 12个HOL
  • 11个ROS
  • 10个形式化方法
  • 10个运动学
  • 9个雅可比
  • 9个雅可比矩阵
  • 9个机器人运动
  • 9个机器人运动学
  • 9个几何代数
  • 9个高阶逻辑
  • 8个共形几何代数
  • 8个反解
  • 7个有界模型检测
  • 7个运动学反解
  • 7个XML-RP...

机构

  • 15个首都师范大学
  • 13个北京化工大学
  • 13个北京航空航天...
  • 13个中国科学院研...
  • 10个中国科学院软...
  • 8个北京师范大学
  • 8个清华大学
  • 7个北京工商大学
  • 7个北京联合大学
  • 6个北京中医药大...
  • 5个北方工业大学
  • 5个北京印刷学院
  • 5个长春理工大学
  • 5个大连海洋大学
  • 5个东北财经大学
  • 4个安徽工业大学
  • 4个安徽医科大学
  • 3个安徽省农业科...
  • 3个北方民族大学
  • 3个北京应用物理...

作者

  • 13个李晓娟
  • 12个施智平
  • 12个魏洪兴
  • 12个张杰
  • 11个关永
  • 11个叶世伟
  • 9个李黎明
  • 8个王瑞
  • 8个杨秀梅
  • 8个马莎
  • 7个李勇坚
  • 7个贾娟娟
  • 6个袁慧梅
  • 6个华伟
  • 6个董玲玲
  • 5个赵刚
  • 5个渠瀛
  • 4个崔玲丽
  • 2个丁春华
  • 2个董萍萍

传媒

  • 13个小型微型计算...
  • 11个计算机工程与...
  • 8个计算机工程
  • 8个计算机仿真
  • 8个计算机工程与...
  • 6个林业科学
  • 6个北京林业大学...
  • 5个分析化学
  • 5个工业安全与环...
  • 5个中国科技论坛
  • 5个中国药物依赖...
  • 5个中国计划生育...
  • 5个生态学报
  • 5个中国康复理论...
  • 5个环境工程
  • 5个现代科学仪器
  • 5个现代化工
  • 5个植物营养与肥...
  • 5个中国骨质疏松...
  • 5个中国农业科技...
共 15 条 记 录，以下是 1-10
国际科技合作与交流专项项目
相关领域：农业科学 医药卫生 自动化与计算机技术 天文地球 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2010DFB10930)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2011DFG13000)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61170304)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61070049)
相关领域：自动化与计算机技术 电气工程
相关作品相关人物相关机构相关资助相关领域
北京市优秀人才培养资助
相关领域：医药卫生 经济管理 自动化与计算机技术 农业科学 文化科学
相关作品相关人物相关机构相关资助相关领域
北京市教委科学研究与科研基地建设项目
相关领域：自动化与计算机技术 机械工程 交通运输工程 农业科学 经济管理
相关作品相关人物相关机构相关资助相关领域
北京市自然科学基金(KZ201210028036)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60873006)
相关领域：自动化与计算机技术 电子电信 机械工程
相关作品相关人物相关机构相关资助相关领域
辽宁省自然科学基金
相关领域：医药卫生 自动化与计算机技术 理学 农业科学 金属学及工艺
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共2页<12>
聚类工具0