您的位置： 专家智库 > >

贺锦敖

作品数：3 被引量：1H指数：1
供职机构：电子科技大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学电子电信更多>>

合作作者

文献类型

  • 2篇学位论文
  • 1篇期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电子电信
  • 1篇理学

主题

  • 1篇电子回旋共振
  • 1篇定理
  • 1篇定理证明
  • 1篇独立分量分析
  • 1篇信号
  • 1篇信号处理
  • 1篇生物学
  • 1篇数据挖掘
  • 1篇人工智能
  • 1篇密码子
  • 1篇科学数据挖掘
  • 1篇基于本体
  • 1篇计算生物学
  • 1篇本体
  • 1篇PROLOG

机构

  • 3篇电子科技大学

作者

  • 3篇贺锦敖
  • 1篇丁盘苹

传媒

  • 1篇计算机仿真

年份

  • 2篇2014
  • 1篇2007
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于本体的平面几何规则自动生成方法的研究被引量：1
2014年
平面几何领域规则生成主要是对领域内的内在联系进行提取或进行问题求解。关键规则目前主要依赖领域专家的编写,不具有扩展性和可持续性。通过对自然语言描述的平面几何定理的分析,构建其对应的对象和关系模型,提出了一种自动提取和生成几何关系模型对应规则的方法,以平面几何定理的机器证明为例,验证了此方法的可行性。改进方法还可进一步扩展至其它领域规则的自动生成。
贺锦敖丁盘苹
关键词：定理证明
独立分量分析及其在科学数据挖掘中的应用
技术的革新使科学家能够以不断增加的步速，从试验、仿真及观测中收集数据，数据容量已从近来的十亿字节、千兆字节，达到现在的万亿字节。我们产生数据的能力已经远远超过了我们对它们的研究、分析和理解的能力。 数据挖掘(D...
贺锦敖
关键词：独立分量分析数据挖掘信号处理电子回旋共振
文献传递
符号计算及其在计算生物学中的应用
符号计算是传统逻辑消解和数值计算的补充和完善,在非线性代数方程组求解、几何定理证明、密码分析、机器人、生物信息等方面有广泛的应用。我国吴文俊院士提出的吴方法、张景中院士提出的不变量方法在几何定理机器证明方面都取得了里程碑...
贺锦敖
关键词：计算生物学人工智能
文献传递
全选 清除 导出
共1页<1>
聚类工具0