您的位置: 专家智库 > >

国家自然科学基金(61003079)

作品数:8 被引量:16H指数:2
相关作者:张海宾周清雷朱维军陶敏丁求启更多>>
相关机构:西安电子科技大学郑州大学中国卫星海上测控部更多>>
发文基金:国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术电子电信更多>>

领域

  • 12个自动化与计算...
  • 9个电子电信
  • 5个金属学及工艺
  • 5个文化科学
  • 3个生物学
  • 3个机械工程
  • 3个交通运输工程
  • 3个一般工业技术
  • 2个经济管理
  • 2个天文地球
  • 2个电气工程
  • 2个航空宇航科学...
  • 2个医药卫生
  • 2个理学
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个农业科学
  • 1个社会学
  • 1个军事
  • 1个自然科学总论

主题

  • 7个调度
  • 6个多核
  • 6个信号
  • 5个代码
  • 5个等价
  • 4个等价性
  • 4个多核并行
  • 4个信息安全
  • 3个代码重用
  • 3个单点
  • 3个单点失效
  • 3个导航
  • 3个等位
  • 3个等位基因
  • 3个低效性
  • 3个点对点
  • 3个点对点网络
  • 3个迭代
  • 3个迭代次数
  • 3个迭代过程

机构

  • 8个西安电子科技...
  • 2个解放军信息工...
  • 2个郑州大学
  • 2个河南工业大学
  • 2个中国卫星海上...
  • 1个国防科学技术...
  • 1个清华大学
  • 1个武汉大学
  • 1个中国人民解放...

资助

  • 12个国家自然科学...
  • 11个国家教育部博...
  • 10个中央高校基本...
  • 9个国家重点基础...
  • 7个陕西省科技攻...
  • 6个国家高技术研...
  • 4个河南省科技攻...
  • 4个中国博士后科...
  • 4个中央级公益性...
  • 3个国防科技技术...
  • 3个河南省教育厅...
  • 3个国家重点实验...
  • 2个国家科技支撑...
  • 2个山东省自然科...
  • 2个河南省自然科...
  • 2个河南省基础与...
  • 2个河南省高等学...
  • 2个河南省教育厅...
  • 2个软件工程国家...
  • 2个陕西省自然科...

传媒

  • 7个华中科技大学...
  • 7个西安交通大学...
  • 6个电子科技大学...
  • 6个西安电子科技...
  • 6个计算机科学
  • 5个软件学报
  • 4个通信学报
  • 4个电子学报
  • 4个计算机学报
  • 4个计算机仿真
  • 4个四川大学学报...
  • 4个科学技术与工...
  • 4个电子设计工程
  • 3个计算机研究与...
  • 3个计算机工程与...
  • 3个华南理工大学...
  • 3个计算机应用
  • 3个系统仿真学报
  • 3个计算机教育
  • 2个制造技术与机...

地区

  • 6个陕西省
  • 3个河南省
  • 2个江苏省
  • 1个新疆
12 条 记 录,以下是 1-10
张海宾
供职机构:西安电子科技大学
研究主题:区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
发表作品相关人物供职机构所获资助研究领域
周清雷
供职机构:郑州大学
研究主题:时间自动机 FPGA 图形处理器 自动机 安全协议
发表作品相关人物供职机构所获资助研究领域
朱维军
供职机构:郑州大学
研究主题:自动机 防御 拟态 时间自动机 时序逻辑
发表作品相关人物供职机构所获资助研究领域
黄伯虎
供职机构:西安电子科技大学
研究主题:词法 工艺映射 逻辑优化 光突发交换 布线方法
发表作品相关人物供职机构所获资助研究领域
聂鹏程
供职机构:西安电子科技大学计算理论与技术研究所
研究主题:多核 调度 SKYLINE算法 多核并行 操作系统
发表作品相关人物供职机构所获资助研究领域
段振华
供职机构:西安电子科技大学
研究主题:时序逻辑 语句 形式化验证 命题投影时序逻辑 投影时序逻辑
发表作品相关人物供职机构所获资助研究领域
邓淼磊
供职机构:河南工业大学
研究主题:储粮 压强 结构类型 底面 传感器输出
发表作品相关人物供职机构所获资助研究领域
刘旭东
供职机构:中国人民解放军69023部队
研究主题:移动计算 移动环境 查询处理 轮廓查询 数据流
发表作品相关人物供职机构所获资助研究领域
张曼
供职机构:西安电子科技大学
研究主题:智能体 PETRI网 管理工具 主控计算机 标签
发表作品相关人物供职机构所获资助研究领域
丁求启
供职机构:中国卫星海上测控部
研究主题:伺服系统 船载 卡尔曼滤波 仿真 单脉冲雷达
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0