修车大队一品楼qm论坛51一品茶楼论坛,栖凤楼品茶全国楼凤app软件 ,栖凤阁全国论坛入口,广州百花丛bhc论坛杭州百花坊妃子阁

oe1(光电查) - 科学论文

5 条数据
?? 中文（中国） ▾

  • 独立太阳能光伏系统的自动化形式化验证

    摘要： 随着成本下降和性能提升，可再生能源系统的部署速度正在加快。2017年无电人口数量首次降至10亿以下，但能源可及性趋势仍未达到全球目标。特别关注在电网延伸不可行的农村地区推广独立式太阳能光伏系统。虽然现有电力项目评估工具基于模拟方法，但未能覆盖设计空间的所有方面。实践证明，采用模型检测的自动化验证技术能有效验证复杂（状态转换）系统。本文首次将软件模型检测应用于独立式太阳能光伏系统设计的正式验证，涵盖太阳能板、充电控制器、蓄电池、逆变器和电力负载等组件。我们重点关注系统容量确定后（即采购设备与部署前）开展的项目验证工作，以此作为确保预期行为的可靠方法。通过五个案例研究评估该方案，并与专业模拟工具进行对比。同时评估不同验证工具以比较自动化验证器的性能与可靠性。将本方法的自动化验证结果与模拟工具数据，同已部署案例住户的实际数据进行比对，结果表明：只有自动化验证方法能详细揭示导致光伏系统故障的特定条件，从而验证了本方法的有效性。

    关键词： 模型检测、形式化验证、光伏发电系统

    更新于2025-09-19 17:13:59

  • [2019年IEEE第46届光伏专家会议(PVSC) - 美国伊利诺伊州芝加哥(2019.6.16-2019.6.21)] 2019年IEEE第46届光伏专家会议(PVSC) - 低成本GaSb N-on-P热光伏(TPV)电池

    摘要： 未来无线网络将利用多种无线技术，通过蜂窝网络、无线局域网和毫微微蜂窝等形式为移动设备提供无处不在的连接。这类网络本质上具有多样性，会采用多种不同技术来关联使用网络的移动终端设备。此外，移动用户在漫游于不同网络环境时追求无缝连接体验，这要求移动终端与无线网络在发现邻近外部网络时能够执行垂直切换。然而无论技术挑战如何，参与实体间的安全性、数据完整性及相互认证始终是异构网络中的重大关切。本文通过研究多种垂直切换解决方案探讨这些问题，并认定EAP重认证协议(ERP)作为技术无关的灵活垂直切换机制。该协议既满足未来移动终端的移动性需求，又保障了预期的安全特性。为深入研究EAP-ERP，本文采用Casper/FDR工具分析其在不同条件下的安全属性，结果表明：尽管存在初始认知偏差，该协议确实缺乏实体间相互认证，但其密钥材料的完整性得到了充分?；?。

    关键词： 安全验证，垂直切换，卡斯珀，形式化验证，异构网络

    更新于2025-09-19 17:13:59

  • [IEEE 2018第三届创新计算技术国际会议(ICICT) - 印度科因巴托尔(2018.11.15-2018.11.16)] 2018第三届创新计算技术国际会议(ICICT) - 矩形与L形波导截止波数数值计算的有限元网格生成技术

    摘要： 未来无线网络将利用多种无线技术，通过蜂窝网络、无线局域网和毫微微蜂窝等形式为移动设备提供无处不在的连接。这类网络本质上具有多样性，会采用多种不同技术来关联使用网络的移动终端设备。此外，移动用户在漫游于不同网络环境时追求无缝连接体验，这要求移动终端与无线网络在发现邻近外部网络时能够执行垂直切换。然而无论技术挑战如何，参与实体间的安全性、数据完整性及相互认证始终是异构网络中的重大关切。本文通过研究多种垂直切换解决方案探讨这些问题，并确认EAP重认证协议（ERP）是一种技术无关的灵活垂直切换机制。该协议既满足未来移动终端的移动性需求，又保障了预期的安全特性。为深入研究EAP-ERP，本文采用Casper/FDR工具分析其在不同条件下的安全属性，结果表明：尽管存在初始认知偏差，该协议确实缺乏实体间相互认证，但其密钥材料的完整性得到了充分?；?。

    关键词： 安全验证、形式化验证、垂直切换、异构网络、卡斯珀（Casper）

    更新于2025-09-19 17:13:59

  • [2019年IEEE光子学与电磁学研究春季研讨会（PIERS-Spring）- 意大利罗马（2019年6月17日-2019年6月20日）] 2019光子学与电磁学研究春季研讨会（PIERS-Spring）- 太赫兹应用：从加速器到激光脉冲与等离子体诊断

    摘要： 未来无线网络将利用多种无线技术，通过蜂窝网络、无线局域网和毫微微蜂窝等形式为移动设备提供无处不在的连接。这类网络本质上具有多样性，会采用多种不同技术来实现手持设备的接入。此外，移动用户在漫游于不同网络时追求无缝连接体验，这要求移动设备与无线网络在移动终端靠近外部网络时能够执行垂直切换。尽管存在技术挑战，但参与实体间的数据安全、完整性及相互认证仍是异构网络中的重大关切。本文通过研究多种垂直切换解决方案探讨这些问题，并确定EAP重认证协议（ERP）作为与技术无关的灵活垂直切换机制。该协议既满足未来手持设备的移动性需求，又保障了预期的安全特性。为深入研究EAP-ERP，本文采用Casper/FDR工具分析其在不同条件下的安全属性，结果表明：尽管存在初始认知偏差，该协议确实缺乏实体间相互认证，但其密钥材料的完整性得到了充分?；?。

    关键词： 安全验证、形式化验证、垂直切换、异构网络、卡斯珀（Casper）

    更新于2025-09-16 10:30:52

  • [2019年IEEE第25届电子封装设计与技术国际研讨会(SIITME) - 罗马尼亚克卢日-纳波卡(2019.10.23-2019.10.26)] 2019年IEEE第25届电子封装设计与技术国际研讨会(SIITME) - 染料敏化太阳能电池的对比性能分析

    摘要： 未来无线网络将利用多种无线技术，通过蜂窝网络、无线局域网和毫微微蜂窝等形式为移动设备提供泛在连接。这类网络本质上具有多样性特征，会采用多种不同技术实现手持设备的联网接入。此外，移动用户在跨网络漫游时追求无缝连接体验，这要求移动终端与无线网络能在发现邻近异构网络时执行垂直切换。然而无论技术如何演进，参与实体间的安全防护、数据完整性和双向认证始终是异构网络面临的重要挑战。本文通过研究多种垂直切换解决方案探讨这些关键问题，并确定EAP重认证协议（ERP）作为与技术无关的灵活垂直切换机制。该协议既能满足未来手持设备的移动性需求，又可保障预期的安全特性。为深入研究EAP-ERP，本文采用Casper/FDR工具分析其在不同场景下的安全属性，结果表明：尽管存在初始认知偏差，该协议确实缺乏实体间双向认证机制，但其密钥材料的完整性得到了充分?；?。

    关键词： 安全验证、形式化验证、垂直切换、异构网络、卡斯珀（Casper）

    更新于2025-09-16 10:30:52