期刊文献+

污水处理泵站智能节能控制方法研究与仿真 被引量:1

Sewage Pumping Station Intelligent Energy-Saving Control Method and Simulation
下载PDF
导出
摘要 研究的污水处理降低泵站运行能耗问题。污水排放量随着季节和时段变化非常大,大范围、高强度的降雨会让排水量在短时间内产生较大幅度的变化,短时强度变化,使系统存在非线性,造成提升泵工作功率和时间模型不稳定,传统的调度方法多是采用调度模型完成调度,调度的不稳定会造成提升泵频繁的启停,消耗大量电能。提出一种利用扩展时间自动机的泵站节能控制算法,通过集水井液位变化控制泵站的工作状态。对传统的时间自动机进行语义扩展,可包含连续变量和变量约束,并组成扩展时间自动机ETA,使用ETA对泵站控制进行建模和验证;实验表明,改进方法能减少提升泵频繁启停,可降低泵能耗。 Research low energy operation of sewage pumping station. Wastewater discharge process is complex and has many changes. This paper put forward a pump station energy saving control algorithm based on extended time automaton. According to the changes in collector well water level, the working state of the pumping station was controlled. The semantic of traditional time automaton was expanded to ETA time automation. The experiment results show that the improved algorithm can reduce energy consumption.
出处 《计算机仿真》 CSCD 北大核心 2012年第12期270-273,共4页 Computer Simulation
关键词 时间自动机 泵站 智能控制 Timed automata Pump station Intelligent control
  • 相关文献

参考文献6

二级参考文献15

  • 1汪雄海,周旭强,张利华.污水泵站系统的节能机理及控制策略[J].浙江大学学报(工学版),2005,39(7):1068-1071. 被引量:15
  • 2全薛定宇,陈阳泉.给予Matlab/Simulink的系统仿真技术与应用[M].北京:清华大学出版,2003,6.
  • 3王建南,刘德君.基于模糊自适应PID控制的吊车防摆定位系统[J].微计算机信息,2007,23(22):35-36. 被引量:12
  • 4Alur R, Dill DL. A theory of timed automata[J]. Theoretical Computer Science, 1994,126(2):183-235.
  • 5Alur R. Timed Automata[A]. NATO-AST 1998 Summer School on Verification of Digital and Hybrid Systems[C], 1998.
  • 6David A, Yi W. Hierarchical Timed Automata for UPPAAL[A]. 10th Nordic Workshop on Programming Theory (NWPT'98)[C]. Turku Centre for Computer Science (TUCS), Finland,1998.
  • 7Gu Z, Shin KG. An Integrated Aproach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets[A]. Proceeding of 23rd International Conference on Disributed Computing Systems (ICDCS'03)[C], 2003.
  • 8Manna Z, Pnueli A. Models for reactivity[J] . Acta Informatica , 1993, 30(7):609-678.
  • 9Alur R, Dill DL. Automata for Modeling Real-Time Systems[A]. Proc 17th International Colloquium on Automata,Languages and Programming, 443 of Lecture Notes in Computer Science[C],1990.322-335.
  • 10Bengtsson J, Larsson F, Larson F, et al. UPPAAL─a Tool for Automatic Verification of Real-time Systems[A]. Proceedings of Workshop on Verification and Control of Hybrid Systems III[C], 1995.232-243.

共引文献82

同被引文献4

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部