您的位置: 专家智库 > >

蔡和熙

作品数:4 被引量:23H指数:2
供职机构:汕头大学计算机科学研究所更多>>
发文基金:国家自然科学基金国家高技术研究发展计划广东省自然科学基金更多>>
相关领域:理学建筑科学自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇理学
  • 1篇自动化与计算...
  • 1篇建筑科学

主题

  • 1篇语义
  • 1篇三值逻辑
  • 1篇人工智能
  • 1篇逻辑语义
  • 1篇块算法
  • 1篇货郎担问题
  • 1篇建筑
  • 1篇建筑设计
  • 1篇分块
  • 1篇分块算法
  • 1篇NP问题
  • 1篇TSP问题
  • 1篇CAD
  • 1篇LP
  • 1篇M

机构

  • 4篇汕头大学

作者

  • 4篇蔡和熙
  • 2篇陈沐天
  • 1篇林作铨

传媒

  • 1篇计算机工程与...
  • 1篇软件学报
  • 1篇计算机辅助工...
  • 1篇汕头大学学报...

年份

  • 1篇1999
  • 2篇1998
  • 1篇1997
4 条 记 录,以下是 1-4
排序方式:
LP_m逻辑语义的一种改进
1999年
本文指出LPm逻辑存在的一些问题,给出一种LPm的改进形式──LPmin逻辑,它能解决LPm逻辑存在的问题,并对LPmin以及它与LPm逻辑的关系作了初步分析.
蔡和熙林作铨陈沐天
关键词:三值逻辑
货郎担问题的几何分块算法及China TSP问题的最终解决被引量:17
1998年
本文提出了货郎担问题的一种新的求解方法,即几何分块算法,用该方法找到了ChinaTSP问题的最短路径,并分析了求解中的一些策略问题。
陈沐天蔡和熙
关键词:NP问题
超协调限制逻辑的计算复杂性分析
1998年
超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常识推理的形式化.给出了命题LPc的计算复杂性结果和算法实现,指出LPc是NP完全问题,并给出了将LPc转化为等价的优先限制逻辑的线性时间算法,由于限制逻辑具有实用的实现算法且可用归结方法实现,因而该算法为LPc的实现提供了新的途径.
蔡和熙林作铨
对高斯消元法的改进以及在工程上的应用被引量:6
1997年
传统的高斯消元法只能处理多元一次方程组满秩的情况,本文应用人工智能中非单调逻辑和超协调逻辑的思想,通过对高斯消元法的改进,使其对所有的多元一次方程组都能进行有效的处理,从而扩展了在工程上的应用范围。
蔡和熙陈沐天
关键词:人工智能建筑设计CAD
共1页<1>
聚类工具0