您的位置： 专家智库 > >

李德波

作品数：5 被引量：0H指数：0
供职机构：桂林电子科技大学更多>>
发文基金：国家自然科学基金广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 2个经济管理
  • 2个机械工程
  • 2个电子电信
  • 2个农业科学
  • 2个文化科学
  • 1个哲学宗教
  • 1个化学工程
  • 1个电气工程
  • 1个一般工业技术
  • 1个理学

主题

  • 4个一致性
  • 4个描述逻辑
  • 4个可满足性
  • 4个可满足性判定
  • 4个OBDD
  • 2个登录
  • 2个等价
  • 2个低阶
  • 2个低维
  • 2个地磁传感器
  • 2个递归
  • 2个点蚀
  • 1个大众化
  • 1个大众化进程
  • 1个代理
  • 1个代理签名
  • 1个单词
  • 1个单位增益
  • 1个单位增益带宽
  • 1个蛋白

机构

  • 4个桂林电子科技...
  • 1个桂林电子工业...
  • 1个清华大学
  • 1个武汉大学
  • 1个教育部
  • 1个浙江大学
  • 1个中国科学院
  • 1个西安电子科技...
  • 1个中国科学院研...

资助

  • 4个国家自然科学...
  • 3个广西壮族自治...
  • 3个广西研究生教...
  • 2个国家高技术研...
  • 2个国家重点基础...
  • 2个广西高等学校...
  • 2个广西可信软件...
  • 2个广西省自然科...
  • 2个广西研究生教...
  • 2个软件工程国家...
  • 2个新世纪广东省...
  • 1个福建省自然科...
  • 1个国防科技技术...
  • 1个国家科技支撑...
  • 1个教育部留学回...
  • 1个军事电子预研...
  • 1个广西高校优秀...
  • 1个NSFC-广...
  • 1个电科院预研基...
  • 1个广西教育科学...

传媒

  • 4个广西科学院学...
  • 4个桂林电子科技...
  • 3个广西计算机学...
  • 3个广西计算机学...
  • 2个计算机集成制...
  • 2个电子与信息学...
  • 2个中国大学教学
  • 2个计算机研究与...
  • 2个模式识别与人...
  • 2个电子学报
  • 2个计算机学报
  • 2个计算机工程
  • 2个小型微型计算...
  • 2个软件学报
  • 2个系统仿真学报
  • 2个计算机工程与...
  • 2个机械科学与技...
  • 2个桂林电子工业...
  • 2个计算机科学
  • 1个系统工程与电...

地区

  • 4个广西
共 4 条 记 录，以下是 1-4
古天龙
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
发表作品相关人物供职机构所获资助研究领域
常亮
供职机构：桂林电子科技大学
研究主题：描述逻辑 谱表示 知识图 三元组 景点
发表作品相关人物供职机构所获资助研究领域
高申
供职机构：桂林电子科技大学计算机科学与工程学院
研究主题：OBDD 描述逻辑 有序二叉决策图 本体 X模型
发表作品相关人物供职机构所获资助研究领域
高西
供职机构：桂林电子科技大学
研究主题：二元决策图 无线传感器网络 无线传感器 CTL UPPAAL
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0