一张核销码为什么不能用两次：幂等表、分布式锁与状态机的配合-低调大师

一张核销码为什么不能用两次：幂等表、分布式锁与状态机的配合

2026-09-13 3

把 MES 设备手册做成 RAG 友好语料——长文档切片的工程实践

在 MES（制造执行系统）实施项目里，现场工程师最常提的一类需求是："这台设备的换型参数在哪份手册里""某个工单的报工逻辑为什么和 SOP 对不上"。他们希望直接把问题抛给内部的检索/问答系统，而不是在几十页 PDF 里翻。但现实是：设备手册、BOM 清单、工单模板、SOP 文档动辄上百页，直接整篇向量化后再检索，召回结果要么太碎、要么把表格从中间切断，答案质量很差。这篇文章分享我们在制造业知识库项目里沉淀的长文档切片方法，以及踩过的几个坑。

2026-09-13

3

大部分电商都允许"先逛后登录"：用户没登录时把商品加进本地购物车，登录或注册后要把这辆"游客购物车"和账号里已有的"登录购物车"合成一辆。听起来简单，做起来全是边界：同一件商品两边都有怎么办、规格不同算不算同一件、游客选中的状态要不要保留、合并失败如何回滚。本文讲清一套可直接落地的购物车合并方案：先定数据模型，再定合并算法，最后处理冲突和一致性。

2026-09-13

2

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。