主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
陈铭松,顾璠,徐思远,陈小红.不确定环境下智能大厦空调系统调度策略评估.软件学报,2016,27(3):655-669
不确定环境下智能大厦空调系统调度策略评估
Formal Evaluation of Scheduling Strategies for Smart Building Air-Conditioning Systems under Uncertain Environment
投稿时间:2015-07-28  修订日期:2015-10-20
DOI:10.13328/j.cnki.jos.004987
中文关键词:  不确定环境  智能大厦  价格时间自动机  策略评估
英文关键词:uncertain environment  smart building  priced timed automata  strategy evaluation
基金项目:国家自然科学基金(91418203,61202103,61202104);上海市教委创新项目(14ZZ047);上海市知识服务平台(ZF1213)
作者单位E-mail
陈铭松 上海市高可信计算重点实验室(华东师范大学), 上海 200062  
顾璠 上海市高可信计算重点实验室(华东师范大学), 上海 200062  
徐思远 上海市高可信计算重点实验室(华东师范大学), 上海 200062  
陈小红 上海市高可信计算重点实验室(华东师范大学), 上海 200062 xhchen@sei.ecnu.edu.cn 
摘要点击次数: 2480
全文下载次数: 1462
中文摘要:
      近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒适度.然而,由于智能大厦所处的环境具有许多不确定因素,极大地增加了空调系统调度策略设计与评估的复杂程度.因此,如何设计与评估不确定环境下空调系统的调度策略成为了智能大厦设计者面临的一大挑战.已有的方法主要针对智能大厦空调系统进行能耗与性能等方面的分析,但尚未有方法针对调度策略本身进行分析与评估.提出一种基于价格时间自动机的调度策略评估框架,支持对不确定环境下的智能大厦进行精确建模与定量评估.该框架使用UPPAAL-SMC作为属性查询引擎对模型进行随机模拟运行,根据模拟结果对不同调度策略下大厦的能耗及用户的舒适度进行定量分析.实验结果表明,该方法能够有效地帮助设计者进行策略的制定和选取.
英文摘要:
      In recent years people have witnessed an increased worldwide attention to the concept of smart buildings.Compared with traditional counterpart, smart buildings are more energy efficient, comfortable and maintainable.Hence, smart buildings are becoming the mainstream of future building construction.As a key part of smart building ventilation systems, air conditioners highly impact the overall energy consumption of smart buildings as well as the experience of their occupants.Therefore, how to design and evaluate feasible scheduling strategies of air conditioning systems becomes a major challenge in the design of smart buildings.Especially when many uncertain factors caused by physical environment are involved, the complexity of strategy evaluation increases drastically.Although existing approaches allow the evaluation of smart buildings from the perspectives of energy consumption and performance, few of them consider the evaluation of the scheduling strategies themselves.Based on priced timed automata, this paper proposes an efficie framework that enables accurate modeling and evaluation of scheduling strategies of smart building air-conditioning systems with uncertain environment.This framework utilizes the statistical model checker UPPAAL-SMC as the engine to quantitatively analyze user-specified performance queries in the form of properties.Based on the underlying random simulation runs monitored by UPPAAL-SMC, the framework can automatically report the quantitative analysis results of energy consumption and user satisfaction under uncertain environment.Experimental results show that the proposed approach can effectively help smart building designers to make their decisions in the selection and optimization of scheduling strategies.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利