徐思远
- 作品数:5 被引量:4H指数:1
- 供职机构:华东师范大学更多>>
- 发文基金:上海市教育委员会创新基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 不确定环境下智能大厦空调系统调度策略评估被引量:4
- 2016年
- 近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒适度.然而,由于智能大厦所处的环境具有许多不确定因素,极大地增加了空调系统调度策略设计与评估的复杂程度.因此,如何设计与评估不确定环境下空调系统的调度策略成为了智能大厦设计者面临的一大挑战.已有的方法主要针对智能大厦空调系统进行能耗与性能等方面的分析,但尚未有方法针对调度策略本身进行分析与评估.提出一种基于价格时间自动机的调度策略评估框架,支持对不确定环境下的智能大厦进行精确建模与定量评估.该框架使用UPPAAL-SMC作为属性查询引擎对模型进行随机模拟运行,根据模拟结果对不同调度策略下大厦的能耗及用户的舒适度进行定量分析.实验结果表明,该方法能够有效地帮助设计者进行策略的制定和选取.
- 陈铭松顾璠徐思远陈小红
- 关键词:不确定环境智能大厦
- 不确定环境下ThingML设计量化分析与寻优框架
- 随着传感器技术、通讯技术、嵌入式计算等的发展,物联网如今已经能够被广泛应用于各个领域。ThingML作为一种建模与规约语言,可以对资源约束的物联网应用进行快速高效地开发,因而被受到关注。由于物联网应用通常被部署在开放的物...
- 徐思远
- 关键词:物联网
- 文献传递
- 不确定性环境下ThingML模型的量化分析方法
- 本发明公开了一种不确定性环境下ThingML模型的量化分析方法,包括以下步骤:步骤一:对ThingML的语法与语义进行扩展,使得ThingML能够对环境中存在不确定性进行建模,用户提供所需的服务质量要求;步骤二:利用Ja...
- 陈铭松徐思远王红祥
- 一种基于流体运动矢量场的并行分析方法
- 本发明提供了一种基于流体运动矢量场的并行分析方法,具体步骤包括:将图像序列的各图像分解为同等大小的若干块小区域;构建灰度分布矩阵;并行化获取图像序列的初始运动矢量场;通过新的平滑性约束项对初始运动矢量场进行并行化处理去噪...
- 陈铭松王红祥庄涵徐思远宋进忠
- 文献传递
- 不确定性环境下ThingML模型的量化分析方法
- 本发明公开了一种不确定性环境下ThingML模型的量化分析方法,包括以下步骤:步骤一:对ThingML的语法与语义进行扩展,使得ThingML能够对环境中存在不确定性进行建模,用户提供所需的服务质量要求;步骤二:利用Ja...
- 陈铭松徐思远王红祥
- 文献传递