1) hitting set
碰集
1.
Finally,several methods proposed in this paper were compared,and they can all be used to generate all minimal hitting sets,and compute both prime implicants and prime implicates.
最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。
2.
Based on the comprehensively analyzing information of model-based fault diagnosis theory and development home and abroad, this thesis proposes a modified HS-tree method to solve the problems of HS-tree too large and calculation cost during the process of solving the minimum hitting set.
在分析了基于模型诊断技术的诊断原理和发展状况的基础上,针对目前求解最小碰集过程中,存在的产生结点数目多、计算代价太大的问题,提出了一种改进的HS树法。
2) Collision coagulation
碰撞聚集
3) minimal hitting set
极小碰集
1.
In this paper,an improved genetic algorithm (called MGA) is used to compute minimal hitting sets.
采用改进的遗传算法求解极小碰集问题。
2.
Furthermore, the computing procedure is formalized by combining SE-tree with closed nodes to generate all the minimal hitting sets.
提出一种利用与元素相关联的冲突集个数计算碰集的新方法,并结合带有终止节点的集合枚举树SE-tree形式化地表达计算过程,逐步生成所有的极小碰集。
4) minimal hitting set
最小碰集
1.
Computing minimal hitting sets with logic array in model-based diagnosis;
基于模型诊断中用逻辑数组计算最小碰集
2.
In the model-based diagnosis, a key step is to compute the minimal hitting sets from the minimal conflict sets, because the minimal hitting sets of all the conflict sets are the faults of an investigated system.
在基于模型的诊断中,利用冲突集计算最小碰集是其关键的步骤,因为所有冲突集的最小碰集就是所考察系统的诊断。
3.
This algorithm takes the minimal hitting sets of multi-fault state sets as fault states to generate the optimal single-fault strategy.
该算法以多故障状态集的最小碰集作为生成最优单故障策略的故障状态,生成最优单故障策略;以诊断决策树中各叶节点的多故障状态集为评判标准,确定系统的状态,完成多故障假设下的系统故障诊断;与连续使用单故障策略的方法相比,该方法提高了测试效率。
6) Possible collision set
可能碰撞集
补充资料：〖ZK(〗各证集说诸方备用并五脏六腑集论合抄〖ZK)〗
〖ZK(〗各证集说诸方备用并五脏六腑集论合抄〖ZK)〗
内科著作。1卷。原题清叶桂(天士)家传，撰年不详。此书汇集内科杂证70余种，方剂近200首。每证各为一论，阐明疾病性质、病因、症状、治则及方药。论后每引经说，概括病机。所列方药服法亦皆详备。又列“五脏六腑论”一章，引用《内经》、《难经》，逐一论述五脏六腑之形象、部位、表里关系、病症及治法。本书内容多录自《临证指南》，恐系后人伪托叶氏之作。现存抄本
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条