CAJ | 학술논문

本文以与门电路为例，介绍电路故障诊断系统通信模块的实现方法。利用下位机将与门电路系统所构建 CNF 形式描述的系统行为描述，组件正常行为描述以及51单片机获取观测值以此建立的观测值描述文件上传到上位机。上位机采用Python 语言实现上下位机之间的串口通信，将所接收数据输入运行在Liunx 操作系统下的MiniSAT 求解器求解三元组，并将诊断结果反馈下位机。实验结果表明基于Python 的通信模块可以很好的实现51单片机与PC 机之间的串口通信。
본문이여문전로위례，개소전로고장진단계통통신모괴적실현방법。이용하위궤장여문전로계통소구건 CNF 형식묘술적계통행위묘술，조건정상행위묘술이급51단편궤획취관측치이차건립적관측치묘술문건상전도상위궤。상위궤채용Python 어언실현상하위궤지간적천구통신，장소접수수거수입운행재Liunx 조작계통하적MiniSAT 구해기구해삼원조，병장진단결과반궤하위궤。실험결과표명기우Python 적통신모괴가이흔호적실현51단편궤여PC 궤지간적천구통신。