您的位置: 专家智库 > >

翟翠红

作品数:6 被引量:8H指数:2
供职机构:西南交通大学数学学院更多>>
发文基金:国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 3篇会议论文

领域

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

主题

  • 4篇矩阵
  • 4篇决策表
  • 3篇辨识矩阵
  • 2篇约简方法
  • 2篇冗余
  • 2篇子句
  • 2篇文字
  • 2篇可满足性
  • 1篇区分函数
  • 1篇区分矩阵
  • 1篇近似约简
  • 1篇函数

机构

  • 6篇西南交通大学

作者

  • 6篇秦克云
  • 6篇翟翠红

传媒

  • 2篇计算机科学
  • 1篇计算机科学与...
  • 1篇中国计算机学...

年份

  • 2篇2014
  • 3篇2013
  • 1篇2012
6 条 记 录,以下是 1-6
排序方式:
决策表中基于对象的μ-约简方法研究
研究不协调决策表中基于对象的μ-约简问题。给出了μ-约简的一些性质及等价定义,得到了μ-约简的判定定理和相应的可辨识矩阵及辨识公式,从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约...
翟翠红秦克云
关键词:辨识矩阵
不协调决策表中基于对象的近似约简被引量:2
2014年
对不协调决策表中基于对象的近似约简问题展开研究。首先,给出近似约简的判定定理;其次,通过区分矩阵与区分函数给出约简的计算方法;最后,通过实例验证,决策表中基于对象的近似约简与整体约简相比,不仅可以获得更简洁的知识,并且在实际生活中具有较好的应用价值。
翟翠红秦克云
关键词:决策表近似约简区分矩阵区分函数
命题逻辑公式中的冗余子句及冗余文字
翟翠红秦克云
关键词:可满足性
文献传递
命题逻辑公式中的冗余子句及冗余文字被引量:4
2013年
主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。
翟翠红秦克云
关键词:可满足性
不协调决策表中基于对象的可能性约简
研究不协调决策表中基于对象的可能性约简问题。首先,给出可能性约简的等价定义和判定定理,及相应的辨识矩阵及辨识公式。从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约简进行对比,验证前...
翟翠红秦克云
关键词:辨识矩阵
决策表中基于对象的μ-约简方法研究被引量:2
2014年
研究了不协调决策表中基于对象的μ-约简问题,给出了μ-约简的一些性质及等价定义,得到了μ-约简的判定定理和相应的可辨识矩阵及辨识公式,从而提供了不协调目标信息系统知识约简的新方法。并通过实例将决策表中基于对象的约简与整体约简进行了对比,结果表明前者可以得到更简洁的知识。该方法也适用于协调目标信息系统。
翟翠红秦克云
关键词:辨识矩阵
共1页<1>
聚类工具0