李占山 林笠 赵剑 姜云飞 赵相福 孙吉贵 欧阳丹彤

冲突集 最小碰集 数组 混合键合图 最小冲突集 判定 混合系统建模 集合枚举树 不确定前提条件 不确定测试 极小碰集 故障诊断 不确定因果理论 导出冲突集 环境模型