您的位置： 专家智库 > >

张晓宇

作品数：1 被引量：1H指数：1
供职机构：中国电子科技集团公司第五十四研究所更多>>
发文基金：国际科技合作与交流专项项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 3个自动化与计算...
  • 3个文化科学
  • 2个电气工程
  • 1个经济管理
  • 1个天文地球
  • 1个矿业工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电子电信
  • 1个环境科学与工...
  • 1个军事
  • 1个理学

主题

  • 3个代数
  • 3个定理
  • 3个定理证明
  • 3个定理证明器
  • 3个形式化
  • 3个形式化建模
  • 3个形式化建模与...
  • 3个形式化描述
  • 3个形式化验证
  • 3个以太
  • 3个以太网
  • 3个音频
  • 2个等效串联电阻
  • 2个电流
  • 2个电流传感器
  • 2个电路
  • 2个电气
  • 2个电气特性
  • 2个电容
  • 1个大学教育

机构

  • 3个首都师范大学
  • 1个首钢工学院
  • 1个中国矿业大学...
  • 1个军事科学院
  • 1个内蒙古工学院

资助

  • 3个北京市自然科...
  • 3个国家自然科学...
  • 3个中央级公益性...
  • 3个国际科技合作...
  • 2个国家科技支撑...
  • 2个教育部科学技...
  • 2个北京市教委科...
  • 2个北京市教委科...
  • 2个北京市教委重...
  • 2个北京市教育委...
  • 2个北京市科委项...
  • 2个北京市重点实...
  • 2个国家重点实验...
  • 1个北京市科技新...
  • 1个北京市科委基...
  • 1个国家高技术研...
  • 1个国家科技攻关...
  • 1个中国博士后科...
  • 1个北京市科技计...
  • 1个北京市优秀人...

传媒

  • 3个计算机工程与...
  • 3个计算机工程
  • 3个小型微型计算...
  • 2个计算机应用与...
  • 2个电源技术
  • 2个软件学报
  • 2个测控技术
  • 2个计算机工程与...
  • 2个计算机工程与...
  • 2个电子元件与材...
  • 2个传感器与微系...
  • 1个中国图象图形...
  • 1个电子与信息学...
  • 1个物理学报
  • 1个电子技术应用
  • 1个电子学报
  • 1个科技创业月刊
  • 1个机床与液压
  • 1个计算机应用
  • 1个计算机应用研...

地区

  • 3个北京市
共 3 条 记 录，以下是 1-3
刘永梅
供职机构：首都师范大学信息工程学院
研究主题：高速通信 抗辐照 串行数据 错误校验 传输接口
发表作品相关人物供职机构所获资助研究领域
王国辉
供职机构：首都师范大学
研究主题：定理证明器 形式化验证 逻辑命题 机器人 定理证明
发表作品相关人物供职机构所获资助研究领域
关永
供职机构：首都师范大学
研究主题：形式化验证 定理证明 机器人 嵌入式系统 形式化
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0