编号 zgly0000889260
文献类型 期刊论文
文献题名 基于GSM的网络环境监测系统的设计与实现
作者单位 海南软件职业技术学院电子工程系
母体文献 网络安全技术与应用
年卷期 2014(7)
页码 43-44
年份 2014
关键词 电路故障诊断系统 MiniSAT Python 串口通信
文摘内容 本文以与门电路为例,介绍电路故障诊断系统通信模块的实现方法。利用下位机将与门电路系统所构建CNF形式描述的系统行为描述,组件正常行为描述以及51单片机获取观测值以此建立的观测值描述文件上传到上位机。上位机采用Python语言实现上下位机之间的串口通信,将所接收数据输入运行在Liunx操作系统下的MiniSAT求解器求解三元组,并将诊断结果反馈下位机。实验结果表明基于Python的通信模块可以很好的实现51单片机与PC机之间的串口通信。