期刊文献+

住宅小区大型地下车库智能灯光导航与用电节能系统 被引量:3

Intelligent Light Navigation and Energysaving System for Large Underground Garage of Residence Community
下载PDF
导出
摘要 本文提出了一套住宅小区的地下停车场智能管理系统,不仅能实现车牌的自动识别,为管理人员和住户带来方便和实现小区车辆的智能化管理,而且在此基础上提出了车辆的灯光导航系统,方便用户停车,节约能源。 This paper presents a set of intelligent parking management system of residen- tial community underground garage. The system realizes reeagniting license plate automati- cally, brings convenience for managers and tenants, and realizes the intelligent manage- ment of the vehicle. In addition, this system puts forward the light navigation system for vehicles, making parking convenient and energy saving.
出处 《智能建筑电气技术》 2014年第6期104-107,共4页 Electrical Technology of Intelligent Buildings
关键词 停车场管理 线性时序逻辑 灯光导航 parking management, LTL, light navigation
  • 相关文献

参考文献6

二级参考文献22

  • 1黎升洪,缪淮扣,张新林.线性时态逻辑中的特性模式[J].计算机应用,2006,26(8):1912-1915. 被引量:9
  • 2李刚,曾锐利,林凌.基于射频识别技术的智能交通系统[J].信息与控制,2006,35(5):555-559. 被引量:20
  • 3Richard Banach.Formal Methods[J].Journal of Universal Computer Science,2007,13(5):593-601.
  • 4Patrick Maier.Intuitionistic LTL and a New Characterization of Safety and Liveness[J].Berlin Heidelberg Springer-Verlag,2004,3210:295-309.
  • 5Alice M.,Alastair D.,Muffy C.Symmetry in Temporal Logic Model Checking[J].ACM Computer Surveys,2006,38(3):136-172.
  • 6Paulo Tabuada,George J.Pappas.Linear Time Logic Control of Discrete-Time Linear Systems[J].IEEE Transactions Automatic Control,2006,51(12):1862-1877.
  • 7Pu Fei,Zhang Wenhui.An improved cased-based approach to LTL model checking[C].Proceedings of the 2nd International Workshop on Rapid Integration of Software Engineering Techniques,2005,190-202.
  • 8V.Rybakov.Linear temporal logic with until and next,logical consecutions[J].Annals of Pure and Applied Logic,2008,155(1):32-45.
  • 9Conrad Bock.SysML and UML 2 Support for Activity Modeling[J].System Engineering,2006,9(2):160-186.
  • 10CLARKE EM,SCHLINGLOFF BH.Model Checking[A].Handbook of Automated Reasoning[C].Band Ⅱ,S.Elsevier,2001.1637 -1790.

共引文献14

同被引文献26

引证文献3

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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