导入包:

<dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-amqp</artifactId>
</dependency>

application.yml 

springrabbitmq:host: localhostport: 5672username: guestpassword: guestvirtual-host: /  # 默认虚拟主机listener:simple:acknowledge-mode: manual # 可根据需要设置为autopublisher-confirm-type: correlated

RabbitMQConfig.java
package com.example.dyreportapi.config;import org.springframework.amqp.rabbit.core.RabbitTemplate;
import org.springframework.context.annotation.Bean;
import org.springframework.context.annotation.Configuration;
import org.springframework.amqp.core.Queue;
import org.springframework.amqp.rabbit.connection.ConnectionFactory;
@Configuration
public class RabbitMQConfig {public static final String DECLARE_QUEUE = "*****替换正式队列名***"; // 申报队列public static final String RESPONSE_QUEUE = "***替换正式队列名**"; // 回执队列public static final String RK_QUEUE = "***替换正式队列名**"; // 出入库队列@Beanpublic Queue declareQueue() {return new Queue(DECLARE_QUEUE, true); // durable}@Beanpublic Queue responseQueue() {return new Queue(RESPONSE_QUEUE, true);}public Queue rkQUEUE() {return new Queue(RK_QUEUE, true);}@Beanpublic RabbitTemplate rabbitTemplate(ConnectionFactory connectionFactory) {RabbitTemplate template = new RabbitTemplate(connectionFactory);template.setConfirmCallback((correlationData, ack, cause) -> {if (ack) {System.out.println("消息成功投递至 RabbitMQ Broker");} else {System.out.println("消息未投递成功:" + cause);}});return template;}}

ResponseMessageListener.java 

import com.example.dyreportapi.config.RabbitMQConfig;
import org.springframework.amqp.rabbit.annotation.RabbitListener;
import org.springframework.stereotype.Component;
import com.rabbitmq.client.Channel;
import org.springframework.amqp.core.Message;
import javax.xml.parsers.DocumentBuilder;
import javax.xml.parsers.DocumentBuilderFactory;
import org.w3c.dom.Document;
import org.w3c.dom.Element;
import org.w3c.dom.NodeList;
import java.io.ByteArrayInputStream;
import java.io.IOException;
import javax.xml.parsers.ParserConfigurationException;
import org.xml.sax.SAXException;@Component
public class ResponseMessageListener {@RabbitListener(queues = RabbitMQConfig.RESPONSE_QUEUE)public void receiveMessage(String message, Channel channel, Message amqpMessage) throws IOException {System.out.println("接收到回执消息: " + message);long deliveryTag = amqpMessage.getMessageProperties().getDeliveryTag();try {// 解析XML消息if (isXmlMessage(message)) {parseXmlMessage(message);}// 判断是否是某个业务消息的回执if (message.contains("03355813-a4c0-49b8-955b-edd0e2934275") || message.contains("LT072303")) {System.out.println("✅ 匹配到本次发送的车辆备案回执!");// 正常确认消息channel.basicAck(deliveryTag, false);} else {// 不匹配的消息,拒绝并重新入队给其他消费者处理channel.basicNack(deliveryTag, false, true); // requeue=true}} catch (Exception e) {System.err.println("处理消息时发生错误: " + e.getMessage());// 处理异常时,可以选择重新入队或不重新入队channel.basicNack(deliveryTag, false, true);}}/*** 判断消息是否为XML格式*/private boolean isXmlMessage(String message) {return message.trim().startsWith("<") && message.trim().endsWith(">");}/*** 解析XML消息并提取关键标签*/private void parseXmlMessage(String xmlMessage) {try {DocumentBuilderFactory factory = DocumentBuilderFactory.newInstance();DocumentBuilder builder = factory.newDocumentBuilder();Document document = builder.parse(new ByteArrayInputStream(xmlMessage.getBytes("UTF-8")));// 获取根元素Element root = document.getDocumentElement();System.out.println("根元素: " + root.getNodeName());// 解析常见的回执标签示例parseCommonResponseTags(document);} catch (ParserConfigurationException | SAXException | IOException e) {System.err.println("XML解析失败: " + e.getMessage());}}/*** 解析常见的回执标签*/private void parseCommonResponseTags(Document document) {// 解析PRE_NO标签NodeList preNoNodes = document.getElementsByTagName("PRE_NO");if (preNoNodes.getLength() > 0) {String preNo = preNoNodes.item(0).getTextContent();System.out.println("PRE_NO: " + preNo);}// 解析MESSAGE_ID标签NodeList messageIdNodes = document.getElementsByTagName("MESSAGE_ID");if (messageIdNodes.getLength() > 0) {String messageId = messageIdNodes.item(0).getTextContent();System.out.println("MESSAGE_ID: " + messageId);}// 解析RESPONSE_CODE标签NodeList responseCodeNodes = document.getElementsByTagName("RESPONSE_CODE");if (responseCodeNodes.getLength() > 0) {String responseCode = responseCodeNodes.item(0).getTextContent();System.out.println("RESPONSE_CODE: " + responseCode);}// 解析RESPONSE_MESSAGE标签NodeList responseMessageNodes = document.getElementsByTagName("RESPONSE_MESSAGE");if (responseMessageNodes.getLength() > 0) {String responseMessage = responseMessageNodes.item(0).getTextContent();System.out.println("RESPONSE_MESSAGE: " + responseMessage);}// 解析NK_STATUS标签NodeList nkStatusNodes = document.getElementsByTagName("NK_STATUS");if (nkStatusNodes.getLength() > 0) {String nkStatus = nkStatusNodes.item(0).getTextContent();System.out.println("NK_STATUS: " + nkStatus);}}
}
package com.example.dyreportapi.controller;import com.example.dyreportapi.service.VehicleDeclareSender;
import org.springframework.beans.factory.annotation.Autowired;
import org.springframework.web.bind.annotation.GetMapping;
import org.springframework.web.bind.annotation.RestController;@RestController
public class VehicleDeclareController {@Autowiredprivate VehicleDeclareSender sender;@GetMapping("/sendVehicle")public String sendVehicleDeclare() {sender.sendVehicleDeclareMessage();return "车辆备案报文已发送";}@GetMapping("/sendVehicleOut")public String sendVehicleOut() {sender.sendVehicleHfdMessage();return "车辆出厂报文已发送";}
}
package com.example.dyreportapi.service;import com.example.dyreportapi.config.RabbitMQConfig;
import org.springframework.amqp.rabbit.core.RabbitTemplate;
import org.springframework.beans.factory.annotation.Autowired;
import org.springframework.stereotype.Service;import java.time.LocalDateTime;
import java.time.format.DateTimeFormatter;
import java.util.UUID;@Service
public class VehicleDeclareSender {@Autowiredprivate RabbitTemplate rabbitTemplate;/*** 车辆备案报文*/public void sendVehicleDeclareMessage() {String messageId = UUID.randomUUID().toString();String messageDate = LocalDateTime.now().format(DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss"));System.out.println(messageId);System.out.println(messageDate);String xml = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n" +"<DECLARE_DATA>\n" +"  <MESSAGE_HEAD>\n" +"    <MESSAGE_TYPE>VEH101</MESSAGE_TYPE>\n" +// 报文类型"    <MESSAGE_ID>" + messageId + "</MESSAGE_ID>\n" +// 报文ID"    <MESSAGE_TYPE>VEH101</MESSAGE_TYPE>\n" +// 报文类型"    <PRE_NO>LT072303</PRE_NO>\n" +// 预录入编号"    <B2B_NO>LT072303</B2B_NO>\n" +// 预录入编号"    <MESSAGE_DATE>" + messageDate + "</MESSAGE_DATE>\n" +// 报文时间"    <SENDER_ID>3408660A06</SENDER_ID>\n" +// 发送方ID
//                "    <SEND_ADDRESS>安庆</SEND_ADDRESS>\n" +// 发送方地址"    <RECEIVER_ID>3329</RECEIVER_ID>\n" +// 接收方ID"  </MESSAGE_HEAD>\n" +"  <VEH101>\n" +"    <VEH_BSC>\n" +"      <VEHICLE_NO>皖A12345</VEHICLE_NO>\n" +// 车牌号"      <B2B_NO>皖A12345</B2B_NO>\n" +// 车牌号"      <VEHICLE_TYPE>3</VEHICLE_TYPE>\n" +// 车辆类型"      <VEHICLE_WT>12345.67</VEHICLE_WT>\n" +// 车辆重量"      <CUSTOMS_CODE>3329</CUSTOMS_CODE>\n" +// 关区代码 备注:3329安庆综保
//                "      <NOTE>测试车辆备案</NOTE>\n" +// 备注"      <DCL_TYPECD>1</DCL_TYPECD>\n" +// 申报类型 1:备案;2:变更;
//                "      <STEP_ID></STEP_ID>\n" +// 当前环节"      <DECLARE_CODE>3408660A06</DECLARE_CODE>\n" + // 申报公司编号"      <DECLARE_NAME>安庆振新汽车有限公司</DECLARE_NAME>\n" +// 申报公司名称"      <CREATE_BY>admin</CREATE_BY>\n" +// 创建人"      <CREATE_TIME>" + messageDate + "</CREATE_TIME>\n" +// 创建时间"      <DECLARE_BY>admin</DECLARE_BY>\n" +// 申报人"      <DECLARE_TIME>" + messageDate + "</DECLARE_TIME>\n" +// 申报时间
//                "      <APPROVE_TIME></APPROVE_TIME>\n" +// 审核时间"    </VEH_BSC>\n" +"  </VEH101>\n" +"</DECLARE_DATA>";System.out.println("已发送车辆备案报文:" + xml);rabbitTemplate.convertAndSend(RabbitMQConfig.DECLARE_QUEUE, xml);System.out.println("已发送车辆备案报文至队列:" + RabbitMQConfig.DECLARE_QUEUE);}/*** 整车出厂报文*/public void sendVehicleHfdMessage() {String messageId = UUID.randomUUID().toString();String messageDate = LocalDateTime.now().format(DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss"));System.out.println(messageId);System.out.println(messageDate);/*** <?xml version="1.0" encoding="UTF-8" standalone="yes"?>* <JEERP_BZ>*     <MESSAGE_HEAD>*         <MESSAGE_TYPE>HFDB2B</MESSAGE_TYPE>*         <MESSAGE_ID>232ab09e-75d0-4fbe-a94e-c02f752c6cf6-20250729101240</MESSAGE_ID>*         <MESSAGE_TIME>2025-07-29T10:12:40</MESSAGE_TIME>*         <SENDER_ADDRESS></SENDER_ADDRESS>*         <RECEIVER_ID>JGEQ</RECEIVER_ID>*         <RECEIVER_ADDRESS></RECEIVER_ADDRESS>*         <CUSTOM_CODE>3329</CUSTOM_CODE>*         <SEQNO>HFD202507297719</SEQNO>*         <NOTE></NOTE>*         <POCKET_ID>null232ab09e-75d0-4fbe-a94e-c02f752c6cf6-20250729101240</POCKET_ID>*         <TOTAL_POCKET_QTY>1</TOTAL_POCKET_QTY>*         <CUR_POCKET_NO>1</CUR_POCKET_NO>*         <ROUTE_CODE></ROUTE_CODE>*     </MESSAGE_HEAD>*     <MESSAGE_BODY>*         <JG_HFD_HEAD_B2B>*             <ERP_NO>HFD202507297719</ERP_NO>*             <DCL_TYPECD>1</DCL_TYPECD>*             <PASSPORT_TYPECD>5</PASSPORT_TYPECD>*             <IO_TYPECD>I</IO_TYPECD>*             <MASTER_CUSCD>3329</MASTER_CUSCD>*             <AREAIN_ETPSNO>3408660A06</AREAIN_ETPSNO>*             <DCL_ETPSNO>3408660A06</DCL_ETPSNO>*             <INPUT_CODE>3408660A06</INPUT_CODE>*             <CREATE_USER>hxy0154</CREATE_USER>*             <VEHICLE_NO>LT072302</VEHICLE_NO>*             <VEHICLE_WT>10000</VEHICLE_WT>*             <TOTAL_GROSS_WT>560</TOTAL_GROSS_WT>*             <TOTAL_NET_WT>510</TOTAL_NET_WT>*             <CREATE_DATE>2025-07-29T10:12:40</CREATE_DATE>*             <TRAILER_NO>LT072302</TRAILER_NO>*             <PLAT_TYPECD>0</PLAT_TYPECD>*             <COL1>0</COL1>*             <IS_PP>0</IS_PP>*             <ETPS_PREENT_NO>HFD202507297719</ETPS_PREENT_NO>*         </JG_HFD_HEAD_B2B>*         <JG_HFD_LIST_B2B>*             <GUID_L>HFD202507297719_1</GUID_L>*             <PASSPORT_SEQNO>1</PASSPORT_SEQNO>*             <GDECD>LLDB1</GDECD>*             <GDS_NM>领料调拨</GDS_NM>*             <DCL_UNITCD>007</DCL_UNITCD>*             <DCL_QTY>30</DCL_QTY>*             <GROSS_WT>560</GROSS_WT>*             <NET_WT>510</NET_WT>*             <IS_GOODS>0</IS_GOODS>*         </JG_HFD_LIST_B2B>*     </MESSAGE_BODY>* </JEERP_BZ>*/// 构建基础的XML头部和尾部StringBuilder xmlBuilder = new StringBuilder();xmlBuilder.append("<?xml version=\"1.0\" encoding=\"UTF-8\"  standalone=\"yes\" ?>\n").append("<JEERP_BZ>\n").append("  <MESSAGE_HEAD>\n")//报文类型.append("    <MESSAGE_TYPE>HFDB2B</MESSAGE_TYPE>\n")//报文ID.append("    <MESSAGE_ID>").append(messageId).append("</MESSAGE_ID>\n")//报文发送时间.append("    <MESSAGE_TIME>").append(messageDate).append("</MESSAGE_TIME>\n")//发送方地址.append("    <SENDER_ADDRESS></SENDER_ADDRESS>\n")//申报公司编号.append("    <RECEIVER_ID>JGEQ</RECEIVER_ID>\n")//接收方地址.append("    <RECEIVER_ADDRESS></RECEIVER_ADDRESS>\n")//使用您提供的安庆关区代码.append("    <CUSTOM_CODE>3329</CUSTOM_CODE>\n")//业务单号,唯一.append("    <SEQNO>HFD202507245559</SEQNO>\n")//备注.append("    <NOTE></NOTE>\n").append("    <POCKET_ID>").append(messageId).append("</POCKET_ID>\n").append("    <TOTAL_POCKET_QTY>1</TOTAL_POCKET_QTY>\n").append("    <CUR_POCKET_NO>1</CUR_POCKET_NO>\n").append("    <ROUTE_CODE></ROUTE_CODE>\n").append("  </MESSAGE_HEAD>\n").append("  <MESSAGE_BODY>\n").append("  <JG_HFD_HEAD_B2B>\n")//业务单号,唯一.append("    <ERP_NO>HFD202507245559</ERP_NO>\n")//申报类型 1备案  3作废.append("    <DCL_TYPECD>1</DCL_TYPECD>\n")//核放单类型 5-卡口登记货物 6-空车进出区.append("    <PASSPORT_TYPECD>5</PASSPORT_TYPECD>\n")//进出标志 I-进区,E-出区.append("    <IO_TYPECD>E</IO_TYPECD>\n")//主管海关.append("    <MASTER_CUSCD>3329</MASTER_CUSCD>\n")//国内企业编码.append("    <AREAIN_ETPSNO>3408660A06</AREAIN_ETPSNO>\n")//申报单位代码.append("    <DCL_ETPSNO>3408660A06</DCL_ETPSNO>\n")//录入单位代码.append("    <INPUT_CODE>3408660A06</INPUT_CODE>\n")//创建.append("    <CREATE_USER>hxy0154</CREATE_USER>\n")//车牌号.append("    <VEHICLE_NO>YQY99999</VEHICLE_NO>\n")//车自重.append("    <VEHICLE_WT>1000.19</VEHICLE_WT>\n")//货物总毛重.append("    <TOTAL_GROSS_WT>560</TOTAL_GROSS_WT>\n")//货物总净重.append("    <TOTAL_NET_WT>510</TOTAL_NET_WT>\n")//创建时间.append("    <CREATE_DATE>").append(messageDate).append("</CREATE_DATE>\n")//挂车车牌号.append("    <TRAILER_NO>YQY99999</TRAILER_NO>\n")//是否无车辆运输货物 0 否 1是.append("    <PLAT_TYPECD>0</PLAT_TYPECD>\n")//到货确认标记.append("    <COL1>0</COL1>\n")//是否拼票业务.append("    <IS_PP>0</IS_PP>\n")//企业内部编号.append("    <ETPS_PREENT_NO>HFD202507245559</ETPS_PREENT_NO>\n").append("  </JG_HFD_HEAD_B2B>\n");// 使用for循环生成多个JG_HFD_LIST_B2B项for (int i = 1; i <= 1; i++) {xmlBuilder.append("  <JG_HFD_LIST_B2B>\n")// 报文ID.append("    <GUID_L>HFD202507245559_").append(i).append("</GUID_L>\n")// 序号 从1开始递增的正整数.append("    <PASSPORT_SEQNO>1</PASSPORT_SEQNO>\n")// 商品编码.append("    <GDECD>LLDB1</GDECD>\n")// 商品名称.append("    <GDS_NM>车辆1</GDS_NM>\n")// 申报计量单位.append("    <DCL_UNITCD>007</DCL_UNITCD>\n")// 申报数量.append("    <DCL_QTY>3</DCL_QTY>\n")// 申报毛重.append("    <GROSS_WT>560</GROSS_WT>\n")// 申报净重.append("    <NET_WT>510</NET_WT>\n")// 是否商品.append("    <IS_GOODS>0</IS_GOODS>\n").append("  </JG_HFD_LIST_B2B>\n");}// 添加XML尾部xmlBuilder.append("  </MESSAGE_BODY>\n").append("</JEERP_BZ>");String xml = xmlBuilder.toString();System.out.println("已生成金关核放单报文:" + xml);rabbitTemplate.convertAndSend(RabbitMQConfig.RK_QUEUE, xml);System.out.println("已发送车辆出入库消息:" + RabbitMQConfig.RK_QUEUE);}
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如若转载,请注明出处:http://www.pswp.cn/diannao/93534.shtml
繁体地址,请注明出处:http://hk.pswp.cn/diannao/93534.shtml
英文地址,请注明出处:http://en.pswp.cn/diannao/93534.shtml

如若内容造成侵权/违法违规/事实不符,请联系英文站点网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

外网访问文档编辑器Docsify(Windows版本),内网穿透技术应用简便方法

如果你正在为项目写文档&#xff0c;但又不想折腾复杂的构建流程&#xff0c;也不想维护一堆静态 HTML 文件&#xff0c;那你一定要试试 docsify。docsify 是一个基于 JavaScript 的开源文档生成工具&#xff0c;它最大的特点就是“无构建”&#xff1a;你只需要写 Markdown 文…

第4章唯一ID生成器——4.5 美团点评开源方案Leaf

Leaf是美团点评公司基础研发平台推出的一个唯一ID生成器服务&#xff0c;其具备高可靠性、低延迟、全局唯一等特点&#xff0c;目前已经被广泛应用于美团金融、美团外卖、美团酒旅等多个部门。Leaf根据不同业务的需求分别实现了Leaf-segment和Leaf-snowflake两种方案&#xff0…

分布式搜索和分析引擎Elasticsearch实战指南

ES 介绍与安装 Elasticsearch&#xff0c; 简称 ES&#xff0c;它是个开源分布式搜索引擎&#xff0c;它的特点有&#xff1a;分布式&#xff0c;零配置&#xff0c;自动发现&#xff0c;索引自动分片&#xff0c;索引副本机制&#xff0c;restful 风格接口&#xff0c;多数据源…

【13】C# 窗体应用WinForm——.NET Framework、WinForm、工程创建、工具箱简介、窗体属性及创建

文章目录1. WinForm工程创建 及 界面介绍1.1 WinForm工程创建1.2 窗体 Form1.cs “查看代码”1.3 打开窗体设计器2. 工具箱3. 窗体属性及创建3.1 窗体属性3.2 实例&#xff1a;创建一个新窗体3.2.1 添加新Windows窗体3.2.2 窗体属性配置3.2.3 设置该窗体为启动窗体WinForm 是 W…

论文阅读-IGEV

文章目录1 概述2 模块2.1 总体说明2.2 特征抽取器2.3 CGEV2.4 基于Conv-GRU的更新算子2.5 空间上采样2.6 损失函数3 效果参考文献1 概述 在双目深度估计中&#xff0c;有一类是基于3D卷积的方法&#xff0c;代表就是PSMNet&#xff0c;它应用 3D 卷积编码器-解码器来聚合和正则…

[2025CVPR-图象分类方向]SPARC:用于视觉语言模型中零样本多标签识别的分数提示和自适应融合

1. ​背景与问题定义​ 视觉语言模型&#xff08;如CLIP&#xff09;在单标签识别中表现出色&#xff0c;但在零样本多标签识别&#xff08;MLR&#xff09;任务中表现不佳。MLR要求模型识别图像中多个对象&#xff08;例如&#xff0c;图像包含“猫”和“沙发”&#xff09;&…

2025创始人IP如何破局?

内容持续更新却无人点赞&#xff0c;课程精心打磨却无人报名&#xff0c;直播卖力讲解却无人停留 —— 明明有内容、有经验、有成果&#xff0c;却始终难以打动用户。问题的核心&#xff0c;或许在于你尚未打造出真正的 “创始人IP”。‌一、创始人IP&#xff1a;不止标签&…

告别配置混乱!Spring Boot 中 Properties 与 YAML 的深度解析与最佳实践

一、Spring配置文件 1.1、什么是Spring配置 Spring配置指的是在Spring框架中定义和管理应用程序组件&#xff08;如Bean&#xff09;及其依赖关系的过程 作用&#xff1a; 配置文件主要用于解决硬编码问题&#xff0c;它将可能变更的信息集中存放。程序启动时&#xff0c;会从…

无人机喷洒系统技术要点与难点解析

一、 模块运行方式1. 任务规划与加载模块&#xff1a;输入&#xff1a;农田边界、障碍物信息、作物类型、病虫害信息、所需喷洒量、天气条件。运行&#xff1a;利用地面站软件或移动APP&#xff0c;规划最优飞行路径&#xff0c;设定飞行高度、速度、喷洒参数、作业区域。将规…

mongodb源代码分析createCollection命令创建Collection流程分析

MongoDB 提供两种方式创建集合&#xff1a;隐式创建 和 显式创建。方式 1&#xff1a;隐式创建&#xff08;推荐&#xff09;当你向不存在的集合中插入文档时&#xff0c;MongoDB 会自动创建该集合。示例在 db中隐式创建 users 集合&#xff1a;javascriptdb.users.insertOne({…

c++注意点(13)----设计模式(抽象工厂)

创建型模式抽象工厂模式&#xff08;Abstract Factory Pattern&#xff09;是一种创建型设计模式&#xff0c;它提供一个接口&#xff0c;用于创建一系列相关或相互依赖的对象&#xff0c;而无需指定它们具体的类。简单说&#xff0c;它就像一个 "超级工厂"&#xff…

【大语言模型入门】—— Transformer 如何工作:Transformer 架构的详细探索

Transformer 如何工作&#xff1a;Transformer 架构的详细探索Transformer 如何工作&#xff1a;Transformer 架构的详细探索什么是 Transformer&#xff1f;什么是 Transformer 模型&#xff1f;历史背景从 RNN 模型&#xff08;如 LSTM&#xff09;到 Transformer 模型在 NLP…

iOS安全和逆向系列教程 第20篇:Objective-C运行时机制深度解析与Hook技术

iOS安全和逆向系列教程 第20篇:Objective-C运行时机制深度解析与Hook技术 引言 在上一篇文章中,我们深入学习了ARM64汇编语言的基础知识,掌握了从寄存器操作到指令分析的完整技能体系。现在,我们将把这些底层知识与iOS应用的高层逻辑联系起来,深入探讨Objective-C运行时…

IDEA中全局搜索快捷键Ctrl+Shift+F为何失灵?探寻原因与修复指南

在软件开发中&#xff0c;高效地查找和管理代码是提升生产力的关键。IntelliJ IDEA&#xff0c;作为一款功能强大的集成开发环境&#xff08;IDE&#xff09;&#xff0c;提供了丰富的搜索功能&#xff0c;帮助开发者迅速定位代码、资源、甚至是IDE功能本身。 在 IntelliJ IDE…

【学习笔记】Lean4 定理证明 ing

文章目录概述Lean4 定理证明初探示例&#xff1a;证明 1 1 2示例&#xff1a;证明 2 * (x y) 2 * x 2 * yLean4 定理证明基础命题与定理命题&#xff08;Proposition&#xff09;定理&#xff08;Theorem&#xff09;量词策略概述 Lean证明是指在Lean环境中&#xff0c;通…

墨者:SQL注入漏洞测试(HTTP头注入)

墨者学院&#xff1a;SQL注入漏洞测试(HTTP头注入)&#x1f680; 1. 什么是HTTP头注入&#xff1f;&#x1f50d; HTTP头注入是指攻击者通过篡改HTTP请求头部的字段&#xff08;如User-Agent、Referer、Cookie、Host等&#xff09;&#xff0c;将恶意SQL代码插入到后端数据库查…

linux_前台,后台进程

*在用户访问端口时&#xff0c;操作系统会形成对应的session,在其的内部进一步形成bash等进程 *一个会话只有一个前台进程&#xff0c;可以有多个后台进程&#xff0c;前台与后台进程的区别在于谁拥有键盘的使用权*前台与后台进程都可以访问显示器但是后台无法访问标准输入获取…

spring data mongodb 入门使用手册

<!--pom.xml引入依赖--><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-data-mongodb</artifactId></dependency>文档映射类Student.java import lombok.Data; import lombok.NoArgsCons…

Fastjson2常用操作大全:对象、字符串、集合、数组、Map与JSON互转实战

高性能&#xff1a; 核心解析器和生成器经过深度优化&#xff0c;性能远超许多同类库。 功能丰富&#xff1a; 支持标准JSON、JSONPath查询、泛型处理、日期格式化、自定义序列化/反序列化等。 易用性&#xff1a; API 设计简洁直观&#xff0c;JSON 工具类提供了最常用的 toJS…

大模型——字节Coze重磅开源!Dify何去何从

大模型——字节Coze重磅开源!Dify何去何从 想必很多人盼了很久,就在昨晚,字节Coze终于开源了!Coze Studio 是字节跳动新一代 AI Agent 开发平台扣子(Coze)的开源版本。 提供 AI Agent 开发所需的全部核心技术:Prompt、RAG、Plugin、Workflow,使得开发者可以聚焦创造 A…