论文标题
使用Raspberry Pi的智能运动检测系统
Smart Motion Detection System using Raspberry Pi
论文作者
论文摘要
本文阐明了现代房屋和企业面临的安全问题，并描述了使用Raspberry Pi实施运动检测系统，这可能是解决安全问题的有效解决方案。该解决方案的目的是提供一种使用PIR运动传感器进行运动检测并通过电子邮件将通知发送给用户的实现。此外，使用名为Uppaal的验证工具对系统进行验证。
This paper throws light on the security issues that modern day homes and businesses face and describes the implementation of a motion detection system using Raspberry Pi which could be an effective solution to address the security concerns. The goal of the solution is to provide an implementation that uses PIR motion sensors for motion detection and sends notifications to users via emails. Furthermore, the system is verified using a verification tool named UPPAAL.
