共有
7 篇文献引用了这篇文献
代树武,
控制理论与应用, 2003, 20(4), 630-632 被引 7 次
|
检索结果分布(7)
|
|
题名
|
作者
|
来源
|
被引频次
|
|
1
|
结合问题特征利用SE-Tree反向深度求解冲突集的方法
详细信息
|
欧阳丹彤;
刘伯文;
周建华
显示更多作者
|
电子学报, 2017, 45(5), 1175-1181 |
3
|
|
2
|
基于模型诊断和专家系统的牵引变压器故障诊断研究
详细信息
|
高松;
刘志刚;
徐建芳
显示更多作者
|
铁道学报, 2013, 35(7), 42-49 |
13
|
|
3
|
基于模型和案例推理的混合故障诊断方法
详细信息
|
董磊;
任章;
李清东
|
系统工程与电子技术, 2012, 34(11), 2339-2343 |
3
|
|
4
|
使用SAT求解器产生所有极小冲突部件集
详细信息
|
赵相福;
欧阳丹彤
|
电子学报, 2009, 37(4), 804-810 |
13
|
|
5
|
一种基于ATMS的求解所有极小冲突集的新方法
详细信息
|
张立明;
欧阳丹彤;
赵相福
|
计算机工程与科学, 2007, 29(11), 127-130 |
4
|
|