parsifal_cc-CSDN博客

原创 A Survey of Deep Learning for Mathematical Reasoning综述阅读

这篇论文涉及各种类型的数学推理问题，如数学应用题，定理证明题，几何问题，数学简答问题，以及其他定量问题。此外，它也探索了数学推理的不同深度学习架构，包括神经网络，预训练语言模型，以及最近针对大型语言模型的上下文学习。最后讨论和发现，以及未来的工作重点。阅读了这篇综述后、了解了数学推理任务有那些，数学推理的数据集、利用神经网络证明定理的模型架构（包括一些机制）分析了不同神经网络训练方法的优缺点。还发现了现有数据集和方法中的一些差距。

2023-10-17 20:22:21 280

原创《计算机网络（第七版）-谢希仁》重点知识 - 网络层

网络层网络层网络协议IP（重要）分类的IP地址IP地址的表示方法地址解析协议 ARP协议要点应当注意的问题使用ARP的四种情况为什么要用MAC地址和IP地址？IP数据报的格式IP数据报的转发分组流程查找路由表特定主机路由默认路由路由表转发算法关于路由表划分子网基本思路子网掩码子网中的分组转发无分类编址CIDR（构造超网）CIDR的特点最长前缀匹配二叉线索查找路由表网际控制报文协议ICMPICMP报文的种类ICMP差错报告报文ICMP询问报文互联网的路由选择协议（重点）内部网关协议-RIP协议内部网关协议

2021-09-05 12:27:41 1765

原创《计算机网络（第七版）-谢希仁》重点知识 - 运输层

运输层运输层两种不同的运输协议运输层的端口用户数据报协议UDP面向报文的UDPUDP的部首格式传输控制协议TCP概述TCP连接可靠传输的工作原理停止等待协议自动重传请求APQ协议信道利用率连续ARQ协议累计确认Go-back-N（回退N）TCP可靠通信的具体实现TCP报文段的首部格式TCP可靠传输的实现以字节为单位的滑动窗口发送缓存和接收缓存滑动窗口需要注意接收方发送确认超时重传时间的选择加权平均往返时间超时重传时间RTOTCP的流量控制利用滑动窗口实现流量控制TCP的传输效率TCP的拥塞控制拥塞控制T

2021-09-05 12:22:56 1443

原创《计算机网络（第七版）-谢希仁》重点知识 - 数据链路层

数据链路层属于计算机网络的底层，使用的信道主要有两种类型:点对点信道。使用一对一的点对点通信方式广播信道。使用一对多的广播通信方式，过程比较复杂。广播信道上连接的主机很多，因此必须使用专用的共享信道协议来协调这些主机的数据发送点对点信道链路 (link) 是一条无源的点到点的物理线路段，中间没有任何其他的交换结点一条链路只是一条通路的一个组成部分数据链路 (data link) 除了物理线路外，还必须有通信协议来控制这些数据的传输。若把实现这些协议的硬件和软件加到链路上，就构成了数

2021-09-05 12:21:26 2401

原创《计算机网络（第七版）-谢希仁》重点知识 - 物理层

物理层基本概念：考虑在连接各种计算机的传输媒体上传输数据比特流，而不是指具体的传输媒体，尽可能的屏蔽掉不同传输媒体和通信手段的差异主要任务：机械特性：指明接口所用接线器的形状和尺寸、引线数目和排列、固定和锁定装置等电气特性：指明在接口电缆的各条线上出现的电压的范围功能特性：指明某条线上出现的某一电平的电压的意义过程特性：指明对于不同功能的各种可能事件的出现顺序数据通信系统模型一个数据通信系统包括三大部分：源系统（或发送端、发送方）、传输系统（或传输网络）和目的系统（或接受端、接受方）

2021-09-05 12:17:36 995

原创《计算机网络（第七版）-谢希仁》重点知识 - 计算机网络基础知识

计算机网络互联网概述互连网：指在局部范围互连起来的计算机网络互联网：指当今世界上最大的计算机网络网络的网络互联网 (Internet)特指Internet，起源于美国，现已发展成为世界上最大的、覆盖全球的计算机网络。计算机网络 (简称为网络)由若干结点(node)和连接这些结点的链路(link)组成。互连网 (internetwork 或 internet)可以通过路由器把网络互连起来，这就构成了一个覆盖范围更大的计算机网络，称之为互连网。“网络的网络”(network of netw

2021-09-05 12:17:02 2105

原创理解Spring IOC(依赖注入)，看这一个实例就好了！

————《java高级程序设计》深入反射的实例文章目录一、前提二、需求分析三、项目设计四、实例UML图五、源码（1）储存注册对象信息（2）IOC容器（3）注册器（4）测试实体与xml文件（4）测试实体与xml文件（5）测试（6）结果一、前提当我们使用对象B时，一般的情况是使用new B()

2021-05-09 16:02:07 4406

原创 java+mysql 实现实体的映射与翻译

文章目录一、定义注解二、注解处理器三、工具类四、测试类完善《java高级程序设计》中第四章注解的4.5实例通过扫描指定路径下的所有类，找到含有指定注解的实体，解析这些实体，并生成对应的SQL命令，在数据库中创建相应的表一、定义注解用于指明那些类需要映射成数据库的字段/** * @Auther: Parsifal * @Date: 2021/03/30/20:12 * @Description: 用于指明那些类需要映射成数据库的字段 */@Target(ElementType.FIELD

2021-04-01 20:11:28 5268 2

原创 Java8Lambda表达式和StreamAPI

Java8新特性之Lambda表达式与StreamAPI简介：在学习了Java8的新特性后整理了Lambda表达式和StreamAPI的一些常用的方法与技巧，可以使我们的代码更简洁。文章目录Java8新特性之Lambda表达式与StreamAPI一、Lambda表达式1.基本使用2.环绕执行模式3.四大函数式接口4.方法引用5.构造函数引用二、StreamAPI1.创建流2.流的中间操作（1）筛选与切片（2）映射3.终止操作（1）匹配和查找（2）规约（3）收集的基本使用（4）Optional类简介一、

2021-03-29 16:03:47 4484 1

原创 2021-03-28 数据库连接池（Druid，C3P0）与SpringTemplate需要的jar包

数据库连接池（Druid，C3P0）与SpringTemplate需要的jar包摘要：最近在学习JDBC与数据库连接池，学习到数据库连接池时需要这些jar包，去官网下载，半天打不开，有分享还需要付费，所有分享一下这些jar提供学习。包含 C3P0，SpringTemplate与两个Druid的版本（1.1.21与1.0.9）如果使用mysql8以上的建议用1.1.21，后者版本不兼容百度网盘：链接：https://pan.baidu.com/s/1ZJ4Ky2TZp9-U2lNf9i9Mpw提取

2021-03-28 20:44:33 4612

原创 2021-3-28 JDBC入门包含数据库连接池

文章目录一．概念:Java DataBase Connectivity二．具体流程:三. 代码实现四.详解各个对象:1.DriverManager :驱动管理对象（1）注册驱动：（2）获取数据库连接：2.Connection :数据库连接对象(1)获取执行中的sql对象(2)管理事务3.Statement :执行sql的对象4.Resultset :结果集对象5.Preparedstatement :执行sql的对象五、数据库连接池1.标准接口:DataSourcejavax.sql包下的2.数据库厂商实

2021-03-28 20:26:02 4675 3

m0_49647974的博客