基于SPIN的地下建筑设备监控系统软件验证

在地下建筑智能化系统中,设备监控系统是基本的组成部分,其软件设计的正确性十分重要。提出了一种基于SPIN的地下建筑设备监控系统软件正确性验证方法。构建了基于iFIX组态软件的设备控制系统软件Promela模型,利用SPIN模型检验方法对其安全性进行了验证。还利用简化模型进行反例追踪,找出了安全性规约中存在的错误。检验结果表明提出的验证方法是有效性。     

基于专家系统的建筑自动化系统故障诊断

针对建筑自动化系统(BAS)故障诊断日趋困难的问题,将专家系统与故障树分析法相结合,提出一种基于专家系统的BAS故障诊断方法。采用框架和规则相结合的知识表示法,建立相应的知识库。设计基于“框架规则+不确定性推理”的推理模式,给出专家诊断系统的实现方法。实验结果表明,该系统能提高推理结果的可用性。     

现有逆变器对PEMFC发电村适应性仿真与实验研究

本文在PEMFC（质子交换膜燃料电池）发电机运行电气模型的基础上，对比分析了现有逆变器的结构及特点，利用SIMULINK对现有逆变器进行适应性仿真，分析了加载和减载情况下的输入输出特性，得出了现有逆变器对PEMFC发电机不适应的结论。最后利用5kW级PEMFC发电机对研制的DC／AC变换器进行了适应性实验，验址了仿真结果的正确性。