研究目的
聚焦于作为智慧城市重要组成部分的节能智能照明系统，从效率角度探讨高效系统。
[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高频之选
查看全部>
-
智能分析： AQ6370系列光谱分析仪是横河电机提供的高性能光学测试设备，具有高分辨率、宽动态范围和快速扫描能力，广泛应用于光通信、激光器测试和光纤传感等领域。其支持多种光纤类型和大芯径光纤输入，操作便捷，功能强大，是光谱分析领域的领先产品。但其重量较大，对便携性有一定影响，且高级功能对新用户可能有一定门槛。总体而言，此产品在技术性能和应用广度上表现出色，适合专业用户和实验室使用。获取实验方案 -
智能分析： Agilent Cary 7000是一款性能卓越的光谱测量设备，适用于科研和工业应用中复杂的光学分析需求。其多模式测量、高精度和自动化设计为用户提供了便捷的操作体验，同时显著节约了时间和成本。尽管其高端定位带来较高的价格，但其性能无疑是行业中的佼佼者，适合需要高精度和多功能性的用户。获取实验方案
-
智能分析： 蔡司Axioscope 5是一款专为提升实验室效率设计的智能显微镜，凭借其创新的智能操作、优异的成像质量以及广泛的适用领域，展现了其卓越的性能与实用价值。然而，目镜规格的不明确以及价格信息的缺失可能会对特定用户的选择造成一定影响。整体而言，该产品是高要求实验室和研究机构的理想选择。获取实验方案 -
智能分析： Ocean Insight的USB4000是一款性能优异的光纤光谱仪，集合了宽光谱范围、高灵敏度、高动态范围等特点，在吸收、反射以及发射光谱测量中表现出色。其紧凑轻便的设计和多种接口选项使其便于携带和集成，适合科研、工业检测和环境监测等多种应用场景。然而，其在最大积分时间和分辨率上的某些局限性可能会影响部分高精度或长时间测量的需求。总体而言，USB4000是一款极具性价比的光谱测量设备，适合广泛的用户群体使用。获取实验方案 -
型号：ZEISS LSM 990 Spectral Multiplex
智能分析： ZEISS LSM 990 Spectral Multiplex是一款定位于高端科研机构的光谱成像系统，具有卓越的光谱分辨率和自动化功能，适用于复杂的生物、医学及材料科学实验。其高效的荧光标签分离能力和多功能自动化设计为用户提供了强大的实验支持。然而，高昂的价格和一定的学习曲线可能对中小型实验室构成挑战。总体而言，这是一款性能优越、适应性强的高端实验设备。获取实验方案 -
智能分析： Evolution 300紫外可见分光光度计是一款性能卓越的实验室光谱仪，适用于生命科学、材料科学、制药和光谱分析等多种应用领域。其高精度光学设计和宽广的波长范围使其在精密实验中表现出色，同时快速启动和智能附件提升了使用便利性。然而，其设备重量和技术维护需求可能对使用环境有一定限制。总体而言，这是一款可靠且高效的光谱分析工具，适合高要求的实验室应用。获取实验方案
立即咨询
加载中....
论文纠错
您正在对论文“[IEEE 2018年第十二届数学、精算科学、计算机科学与统计学国际会议（MACS） - 巴基斯坦卡拉奇（2018.11.24-2018.11.25）] 2018年第十二届数学、精算科学、计算机科学与统计学国际会议（MACS） - 基于物联网的智能照明系统确定性形式化建模”进行纠错
纠错内容
联系方式（选填）
设备询价
称呼
电话
+86
单位名称
用途
期望交货周期
产品预约
称呼
电话
+86
单位名称
用途
期望交货周期
