您的位置： 专家智库 > >

吕关锋

作品数：12 被引量：65H指数：4
供职机构：北京工业大学计算机学院更多>>
发文基金：国家自然科学基金广东省自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术电子电信理学更多>>

合作作者

领域

  • 15个自动化与计算...
  • 8个电子电信
  • 7个文化科学
  • 7个理学
  • 3个天文地球
  • 2个生物学
  • 2个自然科学总论
  • 1个机械工程
  • 1个建筑科学
  • 1个交通运输工程
  • 1个语言文字
  • 1个艺术
  • 1个历史地理

主题

  • 9个网络
  • 8个BDD
  • 7个时态
  • 6个有界模型检测
  • 6个语义
  • 6个神经网
  • 6个神经网络
  • 5个递推
  • 5个递推公式
  • 5个形式化
  • 5个时态逻辑
  • 4个定理证明
  • 4个认知逻辑
  • 4个特征提取
  • 3个电子商务
  • 3个形式化验证
  • 2个代数
  • 2个调度
  • 2个调度算法
  • 2个动态内存

机构

  • 7个中山大学
  • 6个北京工业大学
  • 3个北京大学
  • 2个清华大学
  • 2个浙江师范大学
  • 1个桂林电子科技...
  • 1个北京建筑工程...
  • 1个南京大学
  • 1个华侨大学
  • 1个暨南大学
  • 1个河南科技大学
  • 1个华南师范大学
  • 1个北京航空航天...
  • 1个广东技术师范...
  • 1个西安邮电学院
  • 1个汕头大学
  • 1个北京计算机学...

资助

  • 13个国家自然科学...
  • 9个国家重点基础...
  • 7个广东省自然科...
  • 5个北京市自然科...
  • 5个广东省科技攻...
  • 5个教育部留学回...
  • 5个国家杰出青年...
  • 5个德国研究基金
  • 4个中国博士后科...
  • 4个北京市教育委...
  • 4个广东省科技计...
  • 4个中央高校基本...
  • 3个教育部“新世...
  • 2个福建省自然科...
  • 2个国家高技术研...
  • 2个北京市教委科...
  • 2个广东省高校优...
  • 2个广东省教育部...
  • 2个广西青年科学...
  • 2个国家教育部博...

传媒

  • 8个计算机学报
  • 8个计算机科学
  • 7个软件学报
  • 6个计算机应用与...
  • 6个计算机工程与...
  • 5个计算机研究与...
  • 5个计算机工程
  • 5个中山大学学报...
  • 5个小型微型计算...
  • 5个计算机科学与...
  • 4个北京工业大学...
  • 4个计算机工程与...
  • 4个计算机应用
  • 3个华中科技大学...
  • 3个现代计算机
  • 3个微电子学与计...
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个软件导刊
  • 3个计算机教育

地区

  • 7个北京市
  • 5个广东省
  • 2个浙江省
  • 1个福建省
共 15 条 记 录，以下是 1-10
苏开乐
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
陈清亮
供职机构：暨南大学
研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
发表作品相关人物供职机构所获资助研究领域
刘科
供职机构：北京工业大学
研究主题：XML XML_SCHEMA SCHEMA 逻辑公式 特征提取
发表作品相关人物供职机构所获资助研究领域
廖湖声
供职机构：北京工业大学
研究主题：XML XQUERY XQUERY语言 部分求值 模式查询
发表作品相关人物供职机构所获资助研究领域
杨红丽
供职机构：北京工业大学
研究主题：XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品相关人物供职机构所获资助研究领域
骆翔宇
供职机构：华侨大学计算机科学与技术学院
研究主题：WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
发表作品相关人物供职机构所获资助研究领域
岳伟亚
供职机构：中山大学信息科学与技术学院信息技术教育部重点实验室
研究主题：语义模型 形态小波 灰度形态学 模糊形态学 图像处理
发表作品相关人物供职机构所获资助研究领域
徐旭东
供职机构：北京工业大学
研究主题：基因表达数据 程序设计 MVC 基于STRUTS 基因表达
发表作品相关人物供职机构所获资助研究领域
高雁飞
供职机构：北京航空航天大学
研究主题：掺混 叶轮机 雷诺数 主流道 射流装置
发表作品相关人物供职机构所获资助研究领域
宋炯
供职机构：浙江师范大学
研究主题：布尔函数 BDD 二叉判定图 内存分配
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0