您的位置: 专家智库 > >

国家高技术研究发展计划(2007AA010408)

作品数:27 被引量:73H指数:5
相关作者:周清雷张志鸿李学相朱维军张文宁更多>>
相关机构:郑州大学西安电子科技大学北京交通大学更多>>
发文基金:国家高技术研究发展计划陕西省科技攻关计划河南省科技攻关计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

领域

  • 29个自动化与计算...
  • 13个电子电信
  • 12个经济管理
  • 11个文化科学
  • 8个理学
  • 5个机械工程
  • 5个交通运输工程
  • 4个轻工技术与工...
  • 4个医药卫生
  • 3个生物学
  • 3个石油与天然气...
  • 3个电气工程
  • 3个建筑科学
  • 3个水利工程
  • 3个一般工业技术
  • 3个社会学
  • 3个政治法律
  • 2个天文地球
  • 2个矿业工程
  • 2个金属学及工艺

主题

  • 19个网络
  • 11个数据库
  • 11个通信
  • 11个图像
  • 11个计算机
  • 10个网络安全
  • 9个课程
  • 8个形式化
  • 8个自动化
  • 8个矩阵
  • 8个教学
  • 7个信息安全
  • 7个入侵
  • 7个入侵检测
  • 6个代理
  • 6个信息系统
  • 6个优化算法
  • 6个软件测试
  • 6个计算方法
  • 4个拟态

机构

  • 25个郑州大学
  • 3个解放军信息工...
  • 3个西安电子科技...
  • 2个北京交通大学
  • 2个西安交通大学
  • 2个郑州工业大学
  • 2个河南工业大学
  • 1个哈尔滨工程大...
  • 1个北方交通大学
  • 1个河南财经学院
  • 1个河南机电高等...
  • 1个华北水利水电...
  • 1个华中科技大学
  • 1个吉林大学
  • 1个华中科技大学...
  • 1个北京理工大学
  • 1个清华大学
  • 1个山东财政学院
  • 1个教育部
  • 1个石家庄经济学...

资助

  • 29个国家高技术研...
  • 17个国家自然科学...
  • 9个河南省科技攻...
  • 8个国家教育部博...
  • 7个河南省自然科...
  • 6个国家重点基础...
  • 6个中国博士后科...
  • 6个中央高校基本...
  • 5个河南省基础与...
  • 4个国家科技支撑...
  • 4个河南省教育厅...
  • 4个中央级公益性...
  • 3个陕西省科技攻...
  • 3个国家科技重大...
  • 3个河南省教育厅...
  • 3个郑州市科技攻...
  • 2个山东省自然科...
  • 2个河南省教育厅...
  • 2个河北省科技厅...
  • 2个河南省高等学...

传媒

  • 17个计算机工程与...
  • 15个计算机科学
  • 13个计算机工程
  • 9个计算机应用研...
  • 8个微计算机信息
  • 7个微电子学与计...
  • 7个计算机应用
  • 7个小型微型计算...
  • 6个计算机应用与...
  • 6个计算机工程与...
  • 6个郑州大学学报...
  • 6个计算机教育
  • 5个计算机研究与...
  • 5个电子学报
  • 5个华中科技大学...
  • 5个河南科学
  • 5个郑州大学学报...
  • 4个通信学报
  • 4个电子科技大学...
  • 3个计算机学报

地区

  • 24个河南省
  • 3个陕西省
  • 1个黑龙江省
  • 1个北京市
29 条 记 录,以下是 1-10
周清雷
供职机构:郑州大学
研究主题:时间自动机 FPGA 图形处理器 自动机 安全协议
发表作品相关人物供职机构所获资助研究领域
李学相
供职机构:郑州大学
研究主题:实训 截断数据 污染数据 任务驱动模式 程序设计
发表作品相关人物供职机构所获资助研究领域
张志鸿
供职机构:郑州大学
研究主题:交易 实时数据库 隐蔽通信 电子交易 FPGA
发表作品相关人物供职机构所获资助研究领域
朱维军
供职机构:郑州大学
研究主题:自动机 防御 拟态 时间自动机 时序逻辑
发表作品相关人物供职机构所获资助研究领域
张海宾
供职机构:西安电子科技大学
研究主题:区间时序逻辑 时序逻辑 可满足性判定 虚拟机 形式化验证
发表作品相关人物供职机构所获资助研究领域
张文宁
供职机构:中原工学院软件学院
研究主题:软件测试 测试数据生成 现场测试 测试数据自动生成 粒子群算法
发表作品相关人物供职机构所获资助研究领域
张兵
供职机构:郑州大学
研究主题:生存性分析 大粒径 表面积 TBM 粒径
发表作品相关人物供职机构所获资助研究领域
李喜艳
供职机构:郑州大学信息工程学院
研究主题:遗传算法 格雷码 黄金分割点 实数编码 软件测试
发表作品相关人物供职机构所获资助研究领域
毋晓英
供职机构:郑州大学信息工程学院
研究主题:串空间模型 TLS协议 安全协议 移动办公 网页
发表作品相关人物供职机构所获资助研究领域
席琳
供职机构:郑州大学信息工程学院
研究主题:形式化方法 公平 可追究性 相容性 实时系统
发表作品相关人物供职机构所获资助研究领域
共3页<123>
聚类工具0