论文部分内容阅读
本文以与门电路为例,介绍电路故障诊断系统通信模块的实现方法。利用下位机将与门电路系统所构建CNF形式描述的系统行为描述,组件正常行为描述以及51单片机获取观测值以此建立的观测值描述文件上传到上位机。上位机采用Python语言实现上下位机之间的串口通信,将所接收数据输入运行在Liunx操作系统下的MiniSAT求解器求解三元组,并将诊断结果反馈下位机。实验结果表明基于Python的通信模块可以很好的实现51单片机与PC机之间的串口通信。