-
公开(公告)号：CN111275871A
公开(公告)日：2020-06-12
申请号：CN202010192461.9
申请日：2020-03-18
Applicant: 福建工程学院
Abstract: 本发明公开了一种嵌入式门禁系统及其运行方法，系统包括电磁门锁和与电磁门锁连接的继电器；还包括：摄像头，用于获取人脸图像和监控区域的实时景象并生成人脸识别数据和监控场景数据；信息录入模块，用于录入预存信息和输入解锁密钥；红外探测器，用于侦测探测区域的生物温度特征并生成生物特征数据；服务器，用于接收且存储人脸识别数据和监控场景数据、预存信息和输入的解锁密钥、生物温度特征数据，服务器还与继电器电连接并对继电器输出高电平或低电平电信号，由继电器控制电磁门锁启闭；音频输出模块，与服务器连接并由服务器控制进行输出音频信息，该方案实施可靠，效率佳，安全性好。
-
公开(公告)号：CN103853559A
公开(公告)日：2014-06-11
申请号：CN201410089115.2
申请日：2014-03-12
Applicant: 福建工程学院
IPC: G06F9/44
Abstract: 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL-S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证；对OWL-S中的原子过程与组合过程的描述更具体完整，可以无差异地参加组合运算，支持逻辑公式和表达式，描述能力更强，提高了验证的效率。
-
公开(公告)号：CN103853559B
公开(公告)日：2017-04-12
申请号：CN201410089115.2
申请日：2014-03-12
Applicant: 福建工程学院
IPC: G06F9/44
Abstract: 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL‑S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容性要求，确定组合过程自动机的可接受位置集合；依据用户限定的有效性要求，确定逻辑公式CSV；将优化模型转换为UPPAAL的建模语言；将可接受位置集合和逻辑公式CSV表示为CTL公式；将建模语言描述的组合服务模型与CTL公式输入UPPAAL进行验证；对OWL‑S中的原子过程与组合过程的描述更具体完整，可以无差异地参加组合运算，支持逻辑公式和表达式，描述能力更强，提高了验证的效率。
-
公开(公告)号：CN211124184U
公开(公告)日：2020-07-28
申请号：CN202020348095.7
申请日：2020-03-18
Applicant: 福建工程学院
Abstract: 本实用新型公开了一种嵌入式门禁系统，系统包括电磁门锁和与电磁门锁连接的继电器；还包括：摄像头，用于获取人脸图像和监控区域的实时景象并生成人脸识别数据和监控场景数据；信息录入模块，用于录入预存信息和输入解锁密钥；红外探测器，用于侦测探测区域的生物温度特征并生成生物特征数据；服务器，用于接收且存储人脸识别数据和监控场景数据、预存信息和输入的解锁密钥、生物温度特征数据，服务器还与继电器电连接并对继电器输出高电平或低电平电信号，由继电器控制电磁门锁启闭；音频输出模块，与服务器连接并由服务器控制进行输出音频信息，该方案实施可靠，效率佳，安全性好。(ESM)同样的发明创造已同日申请发明专利
-
-
-
Search Results
4
records
(took 0.02 seconds)
