您的位置： 专家智库 > >

中央级公益性科研院所基本科研业务费专项(JY10000903014)

作品数：1 被引量：2H指数：1
相关作者：周清雷朱维军张海宾更多>>
相关机构：西安电子科技大学郑州大学更多>>
发文基金：陕西省科技攻关计划河南省科技攻关计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 3个生物学
  • 3个自动化与计算...
  • 2个天文地球
  • 2个电子电信
  • 2个文化科学
  • 1个经济管理
  • 1个交通运输工程
  • 1个医药卫生
  • 1个一般工业技术
  • 1个社会学
  • 1个自然科学总论
  • 1个理学

主题

  • 3个信息安全
  • 3个形式化
  • 3个优化算法
  • 3个有向图
  • 2个导出子图
  • 2个多核
  • 2个形式化验证
  • 1个代理
  • 1个代理体系结构
  • 1个代码
  • 1个代码加密
  • 1个蛋白
  • 1个蛋白质
  • 1个蛋白质序列
  • 1个道岔
  • 1个道路交通
  • 1个道路交通安全
  • 1个盗版
  • 1个等价
  • 1个等价关系

机构

  • 2个郑州大学
  • 2个西安电子科技...
  • 1个解放军信息工...
  • 1个河南工业大学

资助

  • 3个国家高技术研...
  • 3个国家重点基础...
  • 3个国家自然科学...
  • 3个河南省科技攻...
  • 3个陕西省科技攻...
  • 3个中国博士后科...
  • 3个中央级公益性...
  • 3个国家教育部博...
  • 3个中央高校基本...
  • 2个国家科技支撑...
  • 2个河南省教育厅...
  • 2个河南省自然科...
  • 2个河南省基础与...
  • 2个河南省高等学...
  • 1个山东省自然科...
  • 1个河南省教育厅...
  • 1个河南省教育厅...
  • 1个河南省杰出青...
  • 1个河南省科技发...
  • 1个山东省艺术科...

传媒

  • 3个电子学报
  • 3个华中科技大学...
  • 3个华南理工大学...
  • 3个电子科技大学...
  • 3个计算机科学
  • 2个计算机研究与...
  • 2个通信学报
  • 2个计算机学报
  • 2个信阳师范学院...
  • 2个河南师范大学...
  • 2个计算机应用与...
  • 2个微电子学与计...
  • 2个西安交通大学...
  • 2个小型微型计算...
  • 2个软件学报
  • 2个河南科学
  • 2个计算机工程与...
  • 2个微计算机信息
  • 2个西安电子科技...
  • 2个网络安全技术...

地区

  • 2个河南省
  • 1个陕西省
共 3 条 记 录，以下是 1-3
张海宾
供职机构：西安电子科技大学
研究主题：区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
发表作品相关人物供职机构所获资助研究领域
朱维军
供职机构：郑州大学
研究主题：自动机 防御 拟态 时间自动机 时序逻辑
发表作品相关人物供职机构所获资助研究领域
周清雷
供职机构：郑州大学
研究主题：时间自动机 FPGA 图形处理器 自动机 安全协议
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0