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

来源 :无线互联科技 | 被引量 : 0次 | 上传用户:quchaolove
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
温度控制系统已经广泛地应用于各个领域,温度控制系统对可靠性要求较高,一般来说,温度控制系统的故障将导致灾难性的后果。温度系统的设计直接影响了系统的可靠性,文章利用前后断言法对温度控制系统的设计进行验证,结论表明,该方法可以保证温度控制系统设计的正确性,保证系统可靠运行。
其他文献
肾脏肿瘤90例临床分析刘忠国周荣祥侯成玉孟凡学迟玉友燕东亮尹洪山(附属医院泌尿外科滨州市256603)关键词肾脏肿瘤;诊断;治疗我院1980~1996年收治肾脏肿瘤住院病人90例,均经手术后病理证实。笔者就肾
原题回放阅读下面的材料,按要求作文。生活中有许多故事。你也许是故事的亲历者,也许是故事的聆听者,也许是故事的评说者……故事让你感动,故事给你启迪,你在故事中思考,在故事中成
期刊
文章主要针对当前“大学物理”在传统教学上存在的不足进行分析,并提出如何利用“互联网+”技术去推进教学改革,从而为“大学物理”课堂注入新的活力,为学生今后的学习与生活
研究了模糊数学原理应用于大系统决策的理论和方法。设计了相应的多用途智能化决策支持系统IDSS。
信息化教学是目前教学模式的新形态,着重打破原有的教学模式,充分利用信息化技术提升教学效果。高职教育中的"计算机基础"课程是一门信息化技术应用的基础课程,为了更好地促
摘要:本文立足于应用型本科院校人才培养体系建设思想,提出工科毕业设计阶段提高学生毕业设计质量的有效管理措施,构建科学有效的过程化质量管理体系,培养适应社会需求的高素质应用型专业人才。  关键词:应用型本科;毕业设计;过程化;质量管理体系  中图分类号:G642.0 文献标志码:A 文章编号:1674-9324(2015)25-0103-02   毕业设计是高等学校本科人才培养的重要组成部分
文章依托网络学习空间教学平台,建设“计算机网络技术”网络课程,将课堂理论教学、实验仿真教学和网络同步教学相结合,在混合式教学理论的指导下,开展混合式教学研究。