Valetudo 2025.03.0版本发布:机器人固件优化与功能改进
Valetudo是一个开源的机器人真空吸尘器控制平台,它允许用户完全控制自己的智能清洁设备,摆脱厂商云服务的依赖。本次发布的2025.03.0版本主要针对Dreame系列机器人进行了重要修复和功能优化。
固件更新重点
X40 Ultra和L10s Ultra的关键修复
最新版本解决了两个影响障碍物避障功能的严重问题,这些问题源于bootloader不匹配。具体表现为:
-
X40 Ultra(非Master版本)的线激光器无法正常工作,显著降低了避障性能。用户可以通过在黑暗环境中用手机摄像头观察机器人前方是否有红外线激光投影来验证此问题。
-
L10s Ultra的摄像头在较新机型上无法工作,导致Valetudo地图视图中无法显示障碍物。用户可以通过检查camerademo命令是否失败来判断是否受影响。
对于2025年3月2日后完成root的用户,这些问题已经自动修复。其他用户需要重新按照root流程操作,或者参考特定渠道发布的详细修复指南。
Dreame系列用户体验优化
新版本在固件构建过程中做了以下改进:
- 现在会将配置值以可读格式存储在固件的/dust_configvalue文件中,方便用户找回
- 新生成的固件会在密钥压缩包中包含公钥文件,简化SSH密钥管理
- 授权密钥文件现在可以在机器人上的/authorized_keys位置找到
L10s Pro Ultra Heat新固件支持
新增对L10s Pro Ultra Heat机型1571版本固件的支持,虽然功能变化不大,但用户可以通过实际使用体验来反馈差异。
X40 Ultra WiFi连接问题
部分用户在升级到1652固件后遇到WiFi连接不稳定问题。目前解决方案包括:
- 恢复出厂设置
- 重新安装Valetudo
- 重新加入WiFi网络
- 尝试更换不同的WiFi接入点
Valetudo功能改进
问题修复
- 修复了X/L40和Mova P10 Pro Ultra机型的"先吸尘后拖地"功能,现在可以正确清洁所有选定区域(L10s Pro Ultra Heat机型除外)
- 修正了Mova P10 Pro Ultra和美国版Mova S20 Ultra的型号自动检测
- 解决了地图UI中因触摸输入卡住导致的缩放/平移问题
- 优化了更新日志视图中链接在暗色主题下的可读性
功能增强
- 地图区域标签字体大小现在采用动态计算而非查找表,消除了视觉跳跃感
- 坞站控制界面新增了文字状态显示,与机器人状态显示风格一致
- 全面升级UI组件,将过时的MUI Grid迁移至Grid2组件
技术细节与用户建议
对于开发者而言,本次更新涉及多个底层组件的重构和优化,特别是UI部分的现代化改造。普通用户则应该重点关注固件兼容性问题和功能修复,特别是使用X40 Ultra和L10s Ultra机型的用户应及时检查避障功能是否正常。
对于遇到WiFi连接问题的用户,建议按照官方推荐的步骤进行排查,必要时可以考虑网络环境调整。所有用户都可以从改进后的地图交互体验和更直观的坞站状态显示中受益。
Valetudo项目持续致力于为用户提供更稳定、更可控的智能清洁体验,这个版本再次体现了社区驱动开发对产品质量的积极影响。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C086
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python057
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0137
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00