您的位置： 专家智库 > >

张华

作品数：2 被引量：3H指数：1
供职机构：西安邮电学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：电子电信更多>>

合作作者

领域

  • 2个电子电信
  • 2个自动化与计算...
  • 2个文化科学
  • 2个理学
  • 1个矿业工程
  • 1个机械工程
  • 1个电气工程
  • 1个交通运输工程

主题

  • 2个等价
  • 2个等价性验证
  • 2个电路
  • 2个形式化
  • 1个带通
  • 1个低功耗
  • 1个地址码
  • 1个递归
  • 1个递归调用
  • 1个电路功耗
  • 1个电路技术
  • 1个电路模块
  • 1个电路设计
  • 1个电路芯片
  • 1个调度
  • 1个调度表
  • 1个调度算法
  • 1个定理
  • 1个定理证明
  • 1个动态加载

机构

  • 2个西安邮电学院
  • 2个西安电子科技...
  • 1个华东师范大学
  • 1个山东师范大学
  • 1个西安邮电大学
  • 1个计算机软件新...

资助

  • 2个国家高技术研...
  • 2个国家重点基础...
  • 2个国家自然科学...
  • 2个国家科技重大...
  • 2个陕西省教育厅...
  • 1个国防科技技术...
  • 1个教育部科学技...
  • 1个上海市自然科...
  • 1个陕西省教育厅...
  • 1个陕西省“13...
  • 1个江苏省“六大...
  • 1个西安市科技计...
  • 1个高等理工教育...
  • 1个基金委创新研...
  • 1个江苏省高校自...
  • 1个陕西省科学技...
  • 1个陕西省重大科...
  • 1个陕西省自然科...
  • 1个上海市科学技...
  • 1个西安应用材料...

传媒

  • 2个计算机工程与...
  • 2个计算机工程
  • 2个计算机应用
  • 2个小型微型计算...
  • 2个软件学报
  • 2个计算机辅助设...
  • 2个计算机工程与...
  • 2个西安电子科技...
  • 2个西安邮电学院...
  • 2个计算机科学
  • 2个现代电子技术
  • 1个系统工程与电...
  • 1个电子科技
  • 1个西北工业大学...
  • 1个计算机研究与...
  • 1个电子技术应用
  • 1个计算机学报
  • 1个西北大学学报...
  • 1个微电子学与计...
  • 1个兰州大学学报...

地区

  • 1个陕西省
  • 1个上海市
共 2 条 记 录，以下是 1-2
韩俊刚
供职机构：西安邮电大学
研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：华东师范大学
研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0