73、技术探索：GUI 状态聚类与带一级环境的强归约类型化 λ 演算

技术探索：GUI 状态聚类与带一级环境的强归约类型化 λ 演算

1. GUI 运行时状态聚类中的 XML 数据挖掘应用

1.1 故障检测分析

对 20 个数据集进行故障检测分析，结果如下表所示：
|数据集编号|状态|检测到的故障|数据集编号|状态|检测到的故障|
| ---- | ---- | ---- | ---- | ---- | ---- |
|1|254|26|11|254|46|
|2|254|18|12|254|24|
|3|254|17|13|254|32|
|4|254|19|14|254|16|
|5|254|29|15|254|25|
|6|254|34|16|254|13|
|7|254|28|17|254|15|
|8|254|42|18|254|23|
|9|254|23|19|254|17|
|10|254|25|20|270|35|

1.2 聚类质量评估

将 WK - Means 聚类算法应用于这 20 个数据集，其中 k 分别根据窗口类型数量和检测到的故障数量来确定。使用两种评估指标对聚类结果进行评估，结果如下：

表 3：根据窗口类型确定 K 的聚类结果

数据集编号	准确率	F 分数	数据集编号	准确率	F 分数