基于模型诊断中用逻辑数组计算最小碰集

• 作者: 林笠
• 来源期刊: 暨南大学学报(自然科学与医学版)
• 学科: 工学
• 关键词: 基于模型诊断 最小冲突集 最小碰集 数组
• 年，卷（期）: 2002,（1）
• 页码范围: 24-27
• 页数: 4页
• 分类号: TP306
• 字数: 3173字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-9965.2002.01.004

摘要

在基于模型诊断中,冲突集的最小碰集就是诊断目标. 提出用二维逻辑型数组计算冲突集的最小碰集的一种新的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林笠	暨南大学数学系	13	247	9.0	13.0