21、多智能体系统模拟与应用研究

多智能体系统模拟与应用研究

1. 节点物品概率分布

节点包含特定数量物品的概率分布情况是研究的基础。从相关图表可知，概率峰值对应平均值 6，且由于取值范围的不对称性，图表并非对称。节点处于 6±1 范围的概率情况以及处于 6±2 范围概率为 73.91%。

2. 达到平均值的时间测试

考虑之前的测试实例，如 ((A, 4), (B, 0), (C, 10), (D, 12), (E, 6), (F, 4))，评估初始值为 0 的节点 tB 达到平均值 6 的时间。因 CSL 无时间运算符，需从概率角度推理。查询公式“节点 tB 在 Y 时间步内等于 6 的概率是多少”，用 PRISM 语法表示为：

P=? [true U<=Y tB=6]

其中，P 是概率运算符，true U<=Y 表示在接下来的 Y 时间步内验证，Y 是无界常数。相关图表展示了 Y 在 [0..600] 范围以步长 10 进行模型检查的结果，虽仅适用于节点 tB，但为调优和深入性能评估提供了坚实基础。

3. 普通扩散调优

由于已建模的策略全局动态符合要求，调优主要针对性能。在模拟和验证阶段，基础速率（base_rate）参数假设为 100。若要保证部署条件，需考虑有意义的参数值。
- 设定要求 ：所有节点在特定工作负载条件下，T 时间单位内达到平均值的概率大于等于 90%。通过多次测试确定满足目标要求的 base_rate 参数实际值。
- 评估性能 <