您的位置： 专家智库 > >

北京市自然科学基金(4122017)

作品数：9 被引量：39H指数：4
相关作者：李晓娟张杰关永魏洪兴王瑞更多>>
相关机构：首都师范大学北京化工大学北京航空航天大学更多>>
发文基金：北京市自然科学基金国家自然科学基金国际科技合作与交流专项项目更多>>
相关领域：自动化与计算机技术更多>>

领域

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

主题

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

机构

  • 15个首都师范大学
  • 13个北京化工大学
  • 13个中国科学院研...
  • 12个北京航空航天...
  • 9个中国科学院软...
  • 8个北京师范大学
  • 7个哈尔滨工业大...
  • 7个中国科学院
  • 6个清华大学
  • 5个北京工商大学
  • 5个北京中医药大...
  • 5个北京电子科技...
  • 5个北京联合大学
  • 5个田纳西大学
  • 4个安徽工业大学
  • 4个北方工业大学
  • 4个北京印刷学院
  • 3个安徽医科大学
  • 2个安徽省农业科...
  • 2个北方民族大学

作者

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

传媒

  • 14个小型微型计算...
  • 12个计算机工程与...
  • 8个计算机工程
  • 8个计算机科学
  • 7个计算机应用研...
  • 7个软件学报
  • 7个计算机工程与...
  • 6个电子与信息学...
  • 6个计算机应用与...
  • 6个计算机应用
  • 6个计算机仿真
  • 6个传感器与微系...
  • 5个生态学报
  • 4个分析化学
  • 4个植物学通报
  • 4个林业科学
  • 3个化工科技
  • 3个工业安全与环...
  • 2个分子科学学报
  • 2个吉林蔬菜
共 15 条 记 录，以下是 1-10
国家自然科学基金
相关领域：医药卫生 理学 自动化与计算机技术 经济管理 农业科学
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2011DFG13000)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目
相关领域：农业科学 医药卫生 自动化与计算机技术 天文地球 环境科学与工程
相关作品相关人物相关机构相关资助相关领域
北京市教委科学研究与科研基地建设项目
相关领域：自动化与计算机技术 机械工程 交通运输工程 农业科学 经济管理
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(61170304)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
北京市自然科学基金(KZ201210028036)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国际科技合作与交流专项项目(2010DFB10930)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
国家自然科学基金(60873006)
相关领域：自动化与计算机技术 电子电信 机械工程
相关作品相关人物相关机构相关资助相关领域
北京市教委科技发展计划
相关领域：自动化与计算机技术 医药卫生 理学 电子电信 机械工程
相关作品相关人物相关机构相关资助相关领域
北京市教委科技发展计划(KZ201210028036)
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共2页<12>
聚类工具0