您的位置： 专家智库 > >

国家自然科学基金(60963010)

作品数：4 被引量：2H指数：1
相关作者：常亮古天龙肖坤李德波李雅楠更多>>
相关机构：桂林电子科技大学更多>>
发文基金：国家自然科学基金广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术更多>>

领域

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

主题

  • 5个可满足性
  • 5个可满足性判定
  • 5个OBDD
  • 4个一致性
  • 4个有序二叉决策...
  • 4个网络
  • 4个描述逻辑
  • 4个决策图
  • 4个二叉决策图
  • 4个CPDL
  • 2个登录
  • 2个等价
  • 2个低阶
  • 2个低维
  • 2个地磁传感器
  • 2个递归
  • 2个点蚀
  • 1个大众化
  • 1个大众化进程
  • 1个代理

机构

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

资助

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

传媒

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

地区

  • 7个广西
共 7 条 记 录，以下是 1-7
古天龙
供职机构：桂林电子科技大学
研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
发表作品相关人物供职机构所获资助研究领域
常亮
供职机构：桂林电子科技大学
研究主题：描述逻辑 三元组 谱表示 知识图 景点
发表作品相关人物供职机构所获资助研究领域
肖坤
供职机构：桂林电子科技大学计算机科学与工程学院
研究主题：HOC网络 AD_HOC AD 网络可生存性 拓扑结构
发表作品相关人物供职机构所获资助研究领域
覃凤萍
供职机构：桂林理工大学南宁分校
研究主题：HTML5 ITERATION CPDL 有序二叉决策图 移动WEB
发表作品相关人物供职机构所获资助研究领域
李雅楠
供职机构：桂林电子科技大学
研究主题：CPDL 装配序列规划 拆卸
发表作品相关人物供职机构所获资助研究领域
李德波
供职机构：桂林电子科技大学
研究主题：OBDD 描述逻辑 可满足性判定 有序二叉决策图 一致性
发表作品相关人物供职机构所获资助研究领域
高西
供职机构：桂林电子科技大学
研究主题：二元决策图 无线传感器网络 无线传感器 CTL UPPAAL
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0