55、电磁积分方程并行通信机制与边缘智能图像识别框架研究

电磁积分方程并行通信机制与边缘智能图像识别框架研究

电磁积分方程并行通信机制实验

在解决电磁散射积分方程时，为提高计算速度和效率，采用了并行通信方法。实验从三个方面展示结果：通信机制的形式验证、计算精度验证以及并行效率验证。

通信机制的形式验证

为验证所提出的并行算法的正确性，设计了线性时态逻辑（LTL）。将前一节提出的通信协议用Promela语言描述，并使用spin工具进行分析和模拟。通过设置断言来确定定义的LTL公式是否满足。状态转换的两个规则用LTL描述如下：
- (G(\text{waiting}) \to X(\text{ready}) \land (\text{ready} \to X(\text{send}) \lor \text{ready} \to X(\text{receive})))：此要求表明一个进程可以从其他进程发送或接收数据，并且其状态随时间序列变化。
- (G(\text{send}) \to F(\text{halt}) \land \text{receive} \to F(\text{halt}))：此规则表明进程在发送或接收数据后将完成三角形内外积分的点积。

通过图6(a)的LTL公式(p-><>q)描述了每个进程如何从所有其他进程获取数据并最终完成分配给每个进程的内外积分的数值计算。定义(#define p t7 > 0)，(#define q t3 > 0)，意味着(p)和(q)在不同的时间序列中获取令牌，该测试验证了通信机制。图6(b)显示了模拟过程中所有消息的传输和接收，模型评估未发现错误。