Nocobase v1.6.33版本发布:工作流优化与性能提升
Nocobase是一个开源的低代码开发平台,它提供了丰富的功能模块和灵活的扩展能力,帮助开发者快速构建企业级应用。最新发布的v1.6.33版本带来了多项重要改进,主要集中在工作流系统的优化、性能提升以及bug修复等方面。
工作流系统增强
本次更新对Nocobase的工作流模块进行了多项功能增强和问题修复。在自定义动作事件方面,开发团队基于中文语言包完善了英文本地化内容,确保国际用户获得一致的体验。同时修复了按钮多次点击后可能出现的异常问题,以及错误处理器无法匹配类的问题。
审批工作流也获得了重要改进。现在系统支持在任务中心一次性处理所有待办事项,大大提升了批量操作的效率。此外,开发团队还修复了关联数据追加计算的问题,确保审批流程中关联数据的准确性和完整性。
邮件通知节点也得到了优化,系统现在能够更好地处理收件人字段为空的情况,并改进了邮件接收者的处理逻辑,使工作流通知更加可靠。
客户端性能优化
针对用户反馈的页面随着使用逐渐变慢的问题,开发团队进行了深入优化。通过改进渲染机制和数据处理逻辑,显著提升了客户端的响应速度和整体性能。
在关联字段方面,修复了添加关联字段时因样式格式无效导致的渲染错误问题。同时修正了多对多关联字段在联动规则中的空值检查逻辑,确保条件判断的准确性。
功能改进与问题修复
日历组件现在支持配置刷新按钮,为用户提供了更灵活的操作方式。树形集合的路径更新逻辑也得到了改进,避免了相似路径前缀的错误更新。
文件管理器模块进行了多项修复,包括预览匹配规则、客户端集合注入和上传参数等问题。特别值得注意的是,现在非图片文件的预览URL能够正确显示了,提升了文件管理的用户体验。
Markdown编辑器(Vditor)现在能够自适应主题设置,解决了之前在不同主题下显示不一致的问题。
容器化部署改进
在部署方面,本次更新构建了完整的Docker镜像,简化了Nocobase的容器化部署流程,为使用Docker环境的用户提供了更好的支持。
总体而言,Nocobase v1.6.33版本通过一系列优化和改进,提升了系统的稳定性、性能和用户体验,特别是在工作流和客户端性能方面取得了显著进展。这些改进使得Nocobase作为一个低代码平台更加成熟可靠,能够更好地满足企业级应用开发的需求。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C032
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00