EVCC项目0.203.2版本更新解析:智能充电控制系统的功能增强与优化
EVCC是一个开源的电动汽车充电控制系统,它能够智能地管理家庭或商业场所的电动汽车充电过程,通过与太阳能发电系统、电网和电池储能系统的集成,实现最优化的充电策略。该系统支持多种硬件设备和协议,为用户提供高效、经济的充电解决方案。
核心功能更新
SunSpec电表支持
本次更新新增了对SunSpec协议电表的支持。SunSpec是光伏和储能系统中广泛采用的通信标准,这一改进使得EVCC能够更好地与光伏逆变器和储能系统进行数据交互,为智能充电提供更精确的发电和用电数据。
Easee充电桩功能优化
开发团队对Easee充电桩的支持进行了多项改进:
- 移除了基于不稳定lifetime_energy数据的自定义逻辑,提高了数据可靠性
- 取消了过时的SessionEnergy特殊处理逻辑
- 增加了启动时对关键状态的等待机制,确保系统稳定运行
- 新增了更多单元测试,提升了代码质量
负载管理优化
系统改进了负载点(Loadpoint)管理,防止绕过光伏定时器的行为,确保充电过程严格遵守用户设定的太阳能优先策略。同时修正了负负载显示问题,并使用实际充电电流而非提供的电流进行计算,提高了控制精度。
设备支持增强
LG ESS多实例支持
新版本增加了对多个LG ESS(Energy Storage System)实例的支持,这对于拥有多个储能系统的用户来说是个重要改进,可以更灵活地管理分布式储能资源。
HomeWizard和Shelly设备
- HomeWizard设备新增了充电使用量统计功能
- Shelly设备增加了使用量统计和缓存功能,移除了Gen1系列的能量偏移问题
Niu电动车
为Niu电动车用户新增了里程表(odometer)功能,可以更直观地查看车辆行驶数据。
用户体验改进
用户界面优化
- 新增充电完成时间显示,让用户更清楚充电进度
- 当功率为0W时不再显示小数位,界面更加简洁
预测功能增强
Solcast天气预报服务增加了按时间段限制API调用的功能,避免在不必要的时间段(如夜间)调用API,既提高了效率又减少了不必要的网络流量。
技术细节调整
Modbus通信
提高了Modbus通信的超时时间和退避机制,增强了在复杂网络环境下的通信稳定性。
验证逻辑简化
回滚了之前对电路验证逻辑的多次修改,采用了更稳定可靠的验证方式。
其他设备支持
- 修正了华为EMMA光伏系统的能量缩放问题
- 移除了对单相电表的支持,专注于三相电表
- 为Polestar电动车改进了授权路径的正则表达式匹配
- Vaillant系统增加了领域自定义功能,并实现了每15分钟自动重新加热热水的功能
总结
EVCC 0.203.2版本带来了多项功能增强和稳定性改进,特别是在设备兼容性、数据准确性和用户体验方面有了显著提升。这些改进使得EVCC作为一个开源充电控制系统更加成熟可靠,能够满足不同用户在各种场景下的智能充电需求。对于已经使用EVCC的用户,建议及时升级以获得更好的使用体验;对于新用户,这个版本也提供了更完善的功能集作为入门选择。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C051
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0126
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00