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