不确定环境下智能大厦空调系统调度策略评估

作     者：陈铭松 顾璠 徐思远 陈小红 CHEN Ming-Song;GU Fan;XU Si-Yuan;CHEN Xiao-Hong

作者机构：上海市高可信计算重点实验室(华东师范大学) 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2016年第27卷第3期

页      面：655-669页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(91418203 61202103 61202104) 上海市教委创新项目(14ZZ047) 上海市知识服务平台(ZF1213)~~ 

主　　题：不确定环境 智能大厦 价格时间自动机 策略评估 

摘      要：近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒适度.然而,由于智能大厦所处的环境具有许多不确定因素,极大地增加了空调系统调度策略设计与评估的复杂程度.因此,如何设计与评估不确定环境下空调系统的调度策略成为了智能大厦设计者面临的一大挑战.已有的方法主要针对智能大厦空调系统进行能耗与性能等方面的分析,但尚未有方法针对调度策略本身进行分析与评估.提出一种基于价格时间自动机的调度策略评估框架,支持对不确定环境下的智能大厦进行精确建模与定量评估.该框架使用UPPAAL-SMC作为属性查询引擎对模型进行随机模拟运行,根据模拟结果对不同调度策略下大厦的能耗及用户的舒适度进行定量分析.实验结果表明,该方法能够有效地帮助设计者进行策略的制定和选取.