期刊文献+

大型公共地下停车场智能管理系统 被引量:2

Intelligent Management System of Large Public Underground Garage
下载PDF
导出
摘要 提出了一套大型公共地下停车场智能管理系统,并从系统架构、工作过程、通信方式、灯光导航等方面进行了详细阐述。通过对车库环境合理建模,系统能自动识别车牌,对车辆提供光导航服务,为管理人员和住户带来方便,实现车辆的智能化管理。 This paper proposed a set of intelligent parking management system of large public underground garage.The system framework,working process,communication mode and light navigation system were presented in detail. The system can recognite the license-plate automatically,and can provide the light navigation service for the vehicle,which bring the convenience for managers and temants to realize the intelligent management of the vehicle.
出处 《现代建筑电气》 2015年第2期50-53,共4页 Modern Architecture Electric
关键词 停车场管理 线性时序逻辑 灯光导航 车牌识别系统 parking management linear temporal logic(LTL) light navigation license-plate recognition
  • 相关文献

参考文献5

二级参考文献14

  • 1李刚,曾锐利,林凌.基于射频识别技术的智能交通系统[J].信息与控制,2006,35(5):555-559. 被引量:20
  • 2CLARKE EM,SCHLINGLOFF BH.Model Checking[A].Handbook of Automated Reasoning[C].Band Ⅱ,S.Elsevier,2001.1637 -1790.
  • 3BERARD B,BIDOIT M,FINKEL A.Systems and Software Verification:Model-Checking Techniques and Tools[M].Berlin:Springer,1999.
  • 4KRIPKE SA.Semantical considerations on modal logic[J].Acta Philosophica Fennica,1963,16:83-94.
  • 5PNUELI A.The Temporal Semantics of Concurrent Programs[A].Proceedings of the International Sympoisum on Semantics of Concurrent Computation,Lecture Notes In Computer Science[C].SpringerVerlag,1979,Vol 70.
  • 6BEN-ARI M,PNUELI A,MANNA Z.The Temporal Logic of Branching Time[J].Acta Informatica,1983,20(3):207-226.
  • 7EMERSON EA,HALPERN JY."Sometimes" and "Not Never" revisited:on branching versus linear time temporal logic[J].Journal of the ACM,1986,33(1):151-178.
  • 8HOLZMANN GJ.Spin Model Checker:The Primer and Reference Manual[M].New York:Addison Wesley,2003.608.
  • 9HOLZMANN GJ.Design and validation of computer protocols[M].London:PRENTICE-HALL,1991.22 -78.
  • 10HOLZMANN GJ.The Model Checker SPIN[J].IEEE transactions on software engineering,1997,23(5).

共引文献14

同被引文献4

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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