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

摘要：压缩技术被广泛应用于数据存储和传输中,然而由于其内在的串行特性,大多数已有的基于字典的压缩与解压缩算法被设计在CPU上串行执行。为了探究使用图形处理器(graphic processing unit,GPU)对压缩与解压缩过程潜在性能的提升,结合合并内存访问与并行组装的技术,基于CUDA(compute unified device architecture)平台研究了两种并行压缩与解压缩方法:基于字典的无状态压缩和基于字典的LZW压缩。实验结果表明,与传统的单核实现比较,所提方法能够显著改善已有的基于字典的串行压缩与解压缩算法的性能。

摘要：利用激光层析技术和数字图像处理技术对对冲方式下湍流预混火焰的结构及熄火特性进行了试验研究。采用 PIV方法测量了冷态对冲面附近的速度场 ,获得了速度应变率作为衡量流场对锋面燃烧影响的参数。在不同射流工况配置下 (Reynolds数 ,全局应变率 ,燃料的化学混合当量 ,不对称动量 ) ,观察到随着湍流对冲强度的提高 ,在高度皱褶的火焰锋面上存在非连续突触和空洞 ,这是局部熄火的表现 ,这些局部熄火点影响的扩展会导致火焰的整体熄火。此观点通过局部火焰锋面曲率的概率统计分析得到支持。另外 ,获得的在火焰熄火的极限条件 ,对实际燃烧器的设计有指导意义。

摘要：基于建立的液固两相流相场模型,本文研究了不同物性参数对流体特性及其相边界的影响因素,计算和确定了流体动力黏度对文中液固两相流计算模拟的适用值,数值取1Pa?s。利用Comsol软件进行模拟,与石蜡熔化实验进行了对比,结果吻合良好。对NaCl-CaCl2二元相变系统进行了特性研究,随着壁温上升,蓄热槽内材料的熔尽时间减少,且上层对流区域熔化速度比下层导热区域快;相同周长时方管内的熔化时间比圆管短了46s,方管内传热受表面张力的影响更小。所得结论对相变材料的选择、相变蓄能器的设计有一定的理论参考意义。