VANET信息广播模型定量验证方法

针对车用自组网络(VANET)中信息的发送与接收具有随机性和不确定性,且VAENT节点具有高速移动、拓扑变化快的特点,提出一种基于模型检测的定量验证方法.采用区间概率实时自动机(IPTA)模型表示VANET中的节点,使用区间概率表示自动机状态转换的概率,以提高VANET广播协议信息传递的可靠性,并对VANET中信息广播发送与接收的成功概率进行验证,证明该方法的可行性.     

电动汽车空调系统随机模型预测控制算法研究

为提高电动汽车空调系统的能量效率,提出一种基于马尔可夫链的随机模型预测控制算法. 热负荷扰动对空调系统的温度性能和能量效率存在较大影响,因此文中采用移动边界和集总参数方法,逐步建立了压缩制冷循环和车舱热负荷的动力学模型,建立的空调系统控制模型中包含了热负荷信息.采用马尔可夫链随机方法预测热负荷干扰,提出随机模型预测控制算法. 仿真结果表明,该算法提升了空调系统的温度性能和能量效率.      

电动汽车空调的发展现状及解决方案

为了保证电动汽车的舒适性,本文通过研究纯电动汽车空调的特点、发展趋势并通过对热电制冷、余热制冷、电动压缩制冷进行比较,来选择适合纯电动汽车采用的节能高效的空调系统。     

制药车间空调节能改造方案探讨

根据我国制药行业空调系统的运行现状,本文分析了节能改造的空间,从两方面结合现实提出了一些可行的节能改造方案。     

动态平衡型电动阀在卷烟厂空调水系统中的应用

对卷烟厂空调系统的应用现状进行了分析，主要存在着水力系统不平衡、水泵电耗浪费、制冷机等设备大马拉小车等问题，由此造成空调水系统电耗浪费严重。通过对动态平衡电动阀的性能分析，提出使用不受管网压力波动的流量控制阀即动态平衡型电动阀来控制水量，既可实时调节水量，又可实时保证所调水量恒定，保证水系统的迅速稳定，并达到节能目的。     

暖通空调施工中常见问题及解决方案

本文笔者主要根据多年来的工作经验,就暖通空调安装施工中的一些常见问题进行了分析,并针对问题提出了相应的解决措施和建议。     

丰田皇冠3.0轿车空调冷气不足故障的诊断排除

<正>汽车空调不制冷或冷气不足,是空调系统的常见故障,对其基本的检修方法一般维修工都能掌握。一种是从容易部位入手,通过眼观耳听找到原因,我们称之为感官检查法;而另一种检测方法是仪表检测法,容易被大家忽视,该方法往往能帮助我们准确快捷地查找故障原因。一、故障分析1.故障车型。丰田皇冠(CROWN)3.0,JZSI33-2JZ豪华版,     

公共建筑空调系统的运行管理措施

结合目前我国公共建筑中空调系统在运行管理中的实际情况,针对其中广泛存在的典型问题提出了建议,以求达到节能减排及健康卫生的效果。     

浅谈南京地铁二号线的系统设备

本文从系统设备的分类组成、系统功能等方面阐述了南京地铁二号线工程的系统设备。     

浅析空调水系统压力分布

本文通过空调水系统阻力的组成、定压点及空调水系统的压力分布的阐述,说明了空调水系统压力分布的情况以及设计中应注意的关键。