您的位置: 专家智库 > >

陈敏

作品数:2 被引量:0H指数:0
供职机构:天津大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇函数
  • 2篇布尔函数

机构

  • 2篇天津大学
  • 2篇天津理工学院

作者

  • 2篇陈国章
  • 2篇何丕廉
  • 2篇陈敏

传媒

  • 1篇天津大学学报...
  • 1篇天津师范大学...

年份

  • 2篇2001
2 条 记 录,以下是 1-2
排序方式:
一种新的布尔函数求补算法
2001年
研究了 SOP(积的和型 )布尔函数的求补算法 ,分析了已有的求补算法之间的深层联系 ,给出了否定树的概念 .证明了单边求补算法、Sharp算法与德·摩根律是等效的、不相交的 .Sharp算法是递归算法的一个特例 .提出了以否定树为基础的解决 SOP型函数求补运算的新算法 .
陈国章何丕廉陈敏
关键词:布尔函数
一种新的求补算法
2001年
阐述了已有的求补运算算法的潜在统一性 ,证明了单边求补算法、sharp算法与德·摩根律是等效的算法 ;不相交的sharp算法是递归算法的一个特例 ;提出了否定树的概念 ;给出了以否定树为基础的解决SOP型函数求补运算的更快的算法 .
陈国章何丕廉陈敏
关键词:布尔函数
共1页<1>
聚类工具0