PrusaSlicer 2.9.2-rc1版本发布:STEP文件导入优化与多项修复
PrusaSlicer是一款广受欢迎的开源3D打印切片软件,由Prusa Research公司开发维护。作为3D打印工作流程中的关键环节,PrusaSlicer负责将3D模型转换为打印机可执行的G-code指令。最新发布的2.9.2-rc1版本作为2.9.2的第一个候选版本,主要针对2.9.1版本中发现的问题进行了修复,并引入了一些功能改进。
STEP文件导入功能增强
在3D打印领域,STEP文件是一种常见的CAD模型交换格式。PrusaSlicer需要将这些精确的几何描述转换为三角网格才能进行后续处理。2.9.2-rc1版本对此进行了重要改进:
-
新增导入对话框:现在导入STEP文件时会显示一个配置对话框,允许用户选择三角化的精度级别。这个功能解决了之前版本中使用固定默认值的问题。
-
记忆用户选择:通过"记住我的选择"复选框,软件可以保存用户最后一次的选择设置,避免重复配置。
-
灵活配置:即使在选择了记忆选项后,用户仍可通过"偏好设置->其他"重新启用这个对话框,提供了充分的灵活性。
这项改进让用户能够在处理精度和性能之间找到最佳平衡点,特别是对于复杂CAD模型的处理尤为有用。
关键问题修复
2.9.2-rc1版本修复了多个影响用户体验和打印质量的问题:
SLA支撑生成相关
- 修复了新SLA支撑点生成器中的崩溃问题
- 解决了新SLA支撑点生成器可能导致的软件冻结问题
接缝处理
- 修复了在某些情况下完全不生成Scarf接缝的问题。Scarf接缝是一种特殊的接缝处理技术,能够使接缝处更加平滑,这个修复确保了接缝生成的可靠性。
顺序排列功能
顺序排列是PrusaSlicer中一项重要功能,它确保打印头不会碰撞已打印的物体。本次修复了多个相关问题:
- 修复了两类导致打印头可能碰撞已打印物体的情况
- 修复了顺序排列算法在存在多个模型实例时的崩溃问题
- 针对XL和CORE ONE打印机优化了输入数据
- 提高了MK4S的顺序排列精度,避免过于保守的排列
- 解决了顺序排列测试中的容差问题,减少了对有效位置的不必要拒绝
其他重要修复
- 修复了加载无效STL文件时的崩溃问题(一个存在已久的问题)
- 修正了平行对齐圆之间距离的测量问题
- 解决了仅包含配置不含几何体的3MF文件被错误拒绝的问题
国际化支持
PrusaSlicer一直重视多语言支持,本次更新:
- 更新了翻译模板文件(POT)
- 更新了捷克语(CS)、波兰语(PL)、德语(DE)、意大利语(IT)、西班牙语(ES)、法语(FR)和日语(JA)的词典
技术意义与用户影响
从技术角度看,2.9.2-rc1版本的改进主要集中在三个方面:CAD文件处理能力的提升、核心算法稳定性的增强以及用户体验的优化。STEP文件导入的改进特别值得关注,因为它直接影响到工程级3D打印的质量和效率。
对于普通用户而言,这些修复意味着更稳定的打印体验和更少的中途失败。特别是顺序排列功能的完善,将有效降低打印过程中发生碰撞的风险,这对于长时间的多对象打印尤为重要。
PrusaSlicer团队通过这种持续迭代的方式,不断优化软件性能,体现了开源项目响应社区反馈的敏捷性。候选版本的发布也遵循了稳健的软件开发流程,确保最终稳定版的质量。
对于3D打印爱好者来说,及时了解这些更新内容有助于充分利用软件功能,获得更好的打印效果。建议用户在测试环境中验证这个候选版本,特别是那些依赖STEP文件导入或顺序打印功能的用户。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C045
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0122
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00