基于前后断言法的温度控制系统程序验证

作     者：邓雪峰 葛跃 王建伟 冯灵清 侯思悦 Deng Xuefeng;Ge Yue;Wang Jianwei;Feng Lingqing;Hou Siyue

作者机构：山西农业大学信息科学与工程学院 

基　　金：山西农业大学博士科研启动项目 项目名称:农业物联网模型检测技术研究 项目编号:2017YJ30 

出 版 物：《无线互联科技》 (Wireless Internet Technology)

年 卷 期：2019年第16卷第11期

页      码：164-166页

摘      要：温度控制系统已经广泛地应用于各个领域,温度控制系统对可靠性要求较高,一般来说,温度控制系统的故障将导致灾难性的后果。温度系统的设计直接影响了系统的可靠性,文章利用前后断言法对温度控制系统的设计进行验证,结论表明,该方法可以保证温度控制系统设计的正确性,保证系统可靠运行。

主 题 词：温度控制系统 程序验证 前后断言 

学科分类：08[工学] 0835[0835] 0802[工学-机械学] 080201[080201] 

馆 藏 号：203697758...