研究目的
聚焦于作为智慧城市重要组成部分的节能智能照明系统，从效率角度探讨高效系统。
[IEEE 2018年第十二届数学、精算科学、计算机科学与统计学国际会议（MACS） - 巴基斯坦卡拉奇（2018.11.24-2018.11.25）] 2018年第十二届数学、精算科学、计算机科学与统计学国际会议（MACS） - 基于物联网的智能照明系统确定性形式化建模
DOI：10.1109/MACS.2018.8628463
出版年份：2018
更新时间：2026-01-09 18:45:03
摘要：
由一组能够感知数据、处理信息并通过互联网在网络中相互通信的传感器和执行器构成的系统称为物联网（IoT）。智慧城市是将智能设备、传感器和执行器集成应用于网络中实时环境数据采集的系统。嵌入实际场景中的传感器与执行器能推动智能环境的转型。虽然许多研究者已开发出不同的智慧城市建模方案，但现有系统在能效方面尚未得到充分解决。我们重点研究了作为智慧城市重要组成部分的节能智能照明系统。在本模型中，我们将路灯能耗划分为三个等级：低（日间）、中（非高峰时段）和高（交通繁忙时段）。当车辆进入检测区域后，路灯会根据其驶入通道的情况自动开启。通道由一组能检测车辆并根据统一建模语言（UML）时序图点亮整段路灯的传感器构成。该时序图进一步转换为确定性有限自动机（DFA）进行模型验证，随后通过维也纳开发方法-规范语言（VDM-SL）将DFA模型转化为形式化模型，并利用VDM-SL工具箱完成正确性证明。
作者：
Saba Latif，Hamra Afzaal，Aniqa Rehman，Nazir Ahmad Zafar
AI智能分析
纠错
研究概述
实验方案
SCI高频之选
查看全部>
-
型号：ZEISS LSM 990 Spectral Multiplex
智能分析： ZEISS LSM 990 Spectral Multiplex是一款定位于高端科研机构的光谱成像系统，具有卓越的光谱分辨率和自动化功能，适用于复杂的生物、医学及材料科学实验。其高效的荧光标签分离能力和多功能自动化设计为用户提供了强大的实验支持。然而，高昂的价格和一定的学习曲线可能对中小型实验室构成挑战。总体而言，这是一款性能优越、适应性强的高端实验设备。获取实验方案 -
智能分析： Evolution 300紫外可见分光光度计是一款性能卓越的实验室光谱仪，适用于生命科学、材料科学、制药和光谱分析等多种应用领域。其高精度光学设计和宽广的波长范围使其在精密实验中表现出色，同时快速启动和智能附件提升了使用便利性。然而，其设备重量和技术维护需求可能对使用环境有一定限制。总体而言，这是一款可靠且高效的光谱分析工具，适合高要求的实验室应用。获取实验方案 -
智能分析： Nicolet iS50 FTIR光谱仪是一款高性能的多功能材料分析工作站，适用于材料科学、制药、化学研究等领域。其多种模块化扩展和高光学性能使其在复杂应用中表现出色，但较高的重量和潜在的高成本可能对某些用户造成限制。总体而言，该产品具备强大的性能和灵活性，是高端光谱分析的理想选择。获取实验方案 -
智能分析： Nicolet iS10傅立叶变换红外光谱仪是一款高性能、多功能的红外光谱分析仪，适用于材料验证、质量控制、故障分析等多种应用场景。其高光谱分辨率、优异的信噪比以及广泛的样品兼容性使其成为实验室分析的不二之选。同时，自动化功能和卓越的数据安全性增加了用户的便利性和可靠性。然而，其高成本和一定的学习曲线可能对部分用户产生影响。综合来看，这是一款性能优越且可靠的光谱分析设备，非常适合对精度和效率要求较高的用户。获取实验方案 -
智能分析： Cary 50分光光度计是一款由安捷伦科技公司推出的高性能光谱分析仪器，专注于实验室光谱分析、化学研究、生物领域等多种应用。其高精度检测能力、紧凑设计以及低功耗特性使其成为实验室的理想选择。然而，产品重量较重以及某些接口适配问题可能对运输和安装造成一定挑战。总体来说，Cary 50是一款性能优异、兼容性较强的分光光度计，适合对精确光谱分析有高需求的用户使用。获取实验方案 -
智能分析： Lambda 25紫外可见分光光度计是PerkinElmer公司推出的一款高性能光谱分析仪器，特别适合对精度和稳定性要求较高的实验室应用。其采用双光束光学设计和高品质光学元件，具备良好的波长准确度、光度重复性和光学稳定性，适用于化学、生物医学、环境监测等领域。尽管其重量较大且带宽固定，但这些缺点可被其卓越的性能所弥补。总体而言，Lambda 25 是一款功能强大且可靠的光谱仪器，非常适合需要高精度分析的用户。获取实验方案
立即咨询
加载中....
论文纠错
您正在对论文“[IEEE 2018年第十二届数学、精算科学、计算机科学与统计学国际会议（MACS） - 巴基斯坦卡拉奇（2018.11.24-2018.11.25）] 2018年第十二届数学、精算科学、计算机科学与统计学国际会议（MACS） - 基于物联网的智能照明系统确定性形式化建模”进行纠错
纠错内容
联系方式（选填）
设备询价
称呼
电话
+86
单位名称
用途
期望交货周期
产品预约
称呼
电话
+86
单位名称
用途
期望交货周期