《基于前后断言法的温度控制系统程序验证》PDF+DOC
作者:邓雪峰,葛跃,王建伟,冯灵清,侯思悦
单位:江苏省科技情报研究所
出版:《无线互联科技》2019年第11期
页数:3页 (PDF与DOC格式可能不同)
PDF编号:PDFWXHK2019110760
DOC编号:DOCWXHK2019110769
下载格式:PDF + Word/doc 文字可复制、可编辑
《基于单片机的温度控制系统的研究与实现》PDF+DOC2016年第10期 贺广治
《温度控制系统的设计与应用》PDF+DOC 陈华
《家用空调的单片机控制系统设计》PDF+DOC2012年第08期 黄浴梅
《数字温度传感器DS18B20在粮仓温度智能控制系统中的应用》PDF+DOC2009年第05期 王学梅,金广锋
《基于AD590的温度智能控制系统的设计》PDF+DOC2009年第08期 马玲官,张荣福,张军
《基于单片机的温度控制系统设计》PDF+DOC2015年第06期 霍坤明
《粒状粮食烘干塔温度控制系统设计》PDF+DOC2017年第07期 蔡有杰,范鹏灿,胡宏佳,王雪峰,王世刚,张金峰
《基于AT89S52单片机与DS18B20的温度监控系统》PDF+DOC2008年第29期 黄小波
《基于触摸屏的温控系统设计》PDF+DOC2008年第03期 钱晓菲,周根荣
《基于AT89S52单片机的水温控制系统设计》PDF+DOC 郑云水,杜丽霞
温度控制系统已经广泛地应用于各个领域,温度控制系统对可靠性要求较高,一般来说,温度控制系统的故障将导致灾难性的后果。温度系统的设计直接影响了系统的可靠性,文章利用前后断言法对温度控制系统的设计进行验证,结论表明,该方法可以保证温度控制系统设计的正确性,保证系统可靠运行。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。