62、节点链接图与矩阵转换及皮尔士逻辑证明研究

节点链接图与矩阵转换及皮尔士逻辑证明研究

1. 节点链接图与矩阵转换研究

在节点链接图与矩阵转换的研究中，研究人员为评估准备了两个测试用例，每个测试用例包含四种不同类型的节点链接图和矩阵示例：
- 类型 1 ：5 个节点，1 种连接类型。
- 类型 2 ：5 个节点，3 种不同连接类型。
- 类型 3 ：10 个节点，3 种不同连接类型。
- 类型 4 ：8 个节点，3 种不同连接类型且包含方向信息。

研究招募了 12 名具备矩阵和节点链接可视化基础知识的计算机科学学生参与实验。实验在安静的研讨室进行，参与者被分为两组以抵消学习效应。一组先根据矩阵绘制节点链接图，再根据节点链接图绘制矩阵；另一组顺序相反。实验平均耗时约 47 分钟。

实验结果如下：
| 指标 | 详情 |
| ---- | ---- |
| 正确性和效率 | 12 名参与者中 11 人共出现 32 处错误，1 人无错误。将节点链接图转换为矩阵时出现 17 处错误，反之出现 15 处错误。多数错误出现在类型 4（19 处），其次是类型 3（9 处）和类型 2（3 处）。32 处错误中，13 处为语义错误，19 处为语法错误。多数参与者（8 人）能正确进行转换，且将节点链接图转换为矩阵平均耗时 27 分钟，反之耗时 21 分钟。 |
| 解释偏好 | 5 人倾向将矩阵转换为节点链接图，7 人倾向将节点链接图转换为矩阵。倾向将节点链接图转换为矩阵的原因包括矩阵的光栅布局和清晰排列；倾向将矩阵