您的位置： 专家智库 > >

关永

作品数：344 被引量：1,170H指数：16
供职机构：首都师范大学更多>>
发文基金：国家自然科学基金北京市自然科学基金国际科技合作与交流专项项目更多>>
相关领域：自动化与计算机技术电子电信电气工程文化科学更多>>

合作作者

领域

  • 154个自动化与计算...
  • 74个电子电信
  • 69个文化科学
  • 32个经济管理
  • 32个理学
  • 27个电气工程
  • 22个环境科学与工...
  • 21个机械工程
  • 19个天文地球
  • 18个交通运输工程
  • 15个农业科学
  • 14个医药卫生
  • 13个航空宇航科学...
  • 13个军事
  • 12个哲学宗教
  • 12个建筑科学
  • 12个政治法律
  • 11个生物学
  • 11个一般工业技术
  • 11个自然科学总论

主题

  • 76个网络
  • 67个通信
  • 67个嵌入式
  • 62个计算机
  • 61个图像
  • 49个总线
  • 47个机器人
  • 47个教学
  • 42个嵌入式系统
  • 42个课程
  • 40个数据传输
  • 40个接口
  • 39个视频
  • 37个数据库
  • 36个形式化
  • 36个冗余
  • 32个形式化验证
  • 31个电路
  • 31个定理
  • 29个定理证明

机构

  • 151个首都师范大学
  • 7个军事科学院
  • 6个中国科学院
  • 5个北京化工大学
  • 5个北京航空航天...
  • 5个中国科学院研...
  • 4个国家农业信息...
  • 4个北京工业大学
  • 4个北京理工大学
  • 4个中国农业大学
  • 3个清华大学
  • 3个中国矿业大学
  • 3个中国矿业大学...
  • 3个装备指挥技术...
  • 3个中国科学院软...
  • 3个中国科学院大...
  • 2个北京市农林科...
  • 2个北京大学
  • 2个北京师范大学
  • 2个锦州师范学院

资助

  • 119个国家自然科学...
  • 103个北京市自然科...
  • 44个北京市教委科...
  • 41个国家高技术研...
  • 41个国际科技合作...
  • 28个北京市科技新...
  • 28个北京市优秀人...
  • 25个北京市教委科...
  • 19个国家科技支撑...
  • 19个国家重点实验...
  • 18个国家重点基础...
  • 17个北京市高等学...
  • 17个北京市属高等...
  • 16个北京市教委重...
  • 16个北京市教育委...
  • 16个北京市科委项...
  • 14个北京市科技计...
  • 13个中国博士后科...
  • 13个中央级公益性...
  • 12个国家社会科学...

传媒

  • 59个计算机工程与...
  • 48个小型微型计算...
  • 44个微计算机信息
  • 36个计算机工程与...
  • 34个计算机工程
  • 32个计算机应用与...
  • 27个计算机应用研...
  • 27个首都师范大学...
  • 27个计算机科学
  • 19个计算机教育
  • 18个微电子学与计...
  • 18个计算机应用
  • 16个计算机工程与...
  • 15个电子学报
  • 14个软件学报
  • 14个计算机仿真
  • 13个电子技术应用
  • 11个系统仿真学报
  • 11个电子器件
  • 10个军事运筹与系...

地区

  • 164个北京市
  • 3个江苏省
  • 2个河南省
  • 1个安徽省
  • 1个重庆市
  • 1个广东省
  • 1个河北省
共 181 条 记 录，以下是 1-10
施智平
供职机构：首都师范大学
研究主题：形式化验证 定理证明 形式化 图像检索 定理证明器
发表作品相关人物供职机构所获资助研究领域
李晓娟
供职机构：首都师范大学
研究主题：形式化验证 定理证明 机器人 移动机器人 形式化方法
发表作品相关人物供职机构所获资助研究领域
张杰
供职机构：北京化工大学
研究主题：形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
发表作品相关人物供职机构所获资助研究领域
王瑞
供职机构：首都师范大学
研究主题：形式化验证 机器人 ROS 移动机器人 时间自动机
发表作品相关人物供职机构所获资助研究领域
王国辉
供职机构：首都师范大学
研究主题：定理证明器 形式化验证 定理证明 逻辑命题 机器人
发表作品相关人物供职机构所获资助研究领域
吴立锋
供职机构：首都师范大学
研究主题：锂电池 超级电容 锂离子电池 轴承故障 剩余寿命预测
发表作品相关人物供职机构所获资助研究领域
张倩颖
供职机构：首都师范大学
研究主题：定理证明器 逻辑命题 形式化验证 逻辑语言 形式化分析方法
发表作品相关人物供职机构所获资助研究领域
张伟功
供职机构：首都师范大学信息工程学院
研究主题：动态可重构 高速串行总线 流水线 高速缓存 M-BUS总线
发表作品相关人物供职机构所获资助研究领域
尚媛园
供职机构：首都师范大学
研究主题：图像 四元数 加密 图像加密 虚部
发表作品相关人物供职机构所获资助研究领域
袁慧梅
供职机构：首都师范大学
研究主题：锂离子电池 锂电池 FPGA 遗传算法 线损
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共19页<12345678910>
聚类工具0