thompson的博客

原创 Office关闭安全提示

每次启动都要提示这个，怎么关？

原创 DataFrame的切片与索引表达式

摘自：《从Excel到Python数据分析:Pandas、xlwings、openpyxl、Matplotlib的交互与应用》DataFrame的切片与索引表达式。科大讯飞星火大模型帮助录入。

原创 Python中常见的转义字符

摘自：《从Excel到Python数据分析:Pandas、xlwings、openpyxl、Matplotlib的交互与应用》Python中常见的转义字符。科大讯飞星火大模型帮助录入。

原创 Python中各类常用内置转换函数

摘自：《从Excel到Python数据分析:Pandas、xlwings、openpyxl、Matplotlib的交互与应用》Python中各类常用内置转换函数。科大讯飞星火大模型帮助录入。

原创 Python中集合常用的方法

摘自：《从Excel到Python数据分析:Pandas、xlwings、openpyxl、Matplotlib的交互与应用》Python中集合常用的方法。科大讯飞星火大模型帮助录入。

原创 Python中常用的列表函数

摘自：《从Excel到Python数据分析:Pandas、xlwings、openpyxl、Matplotlib的交互与应用》Python中常用的列表函数。科大讯飞星火大模型帮助录入。

原创 Jupyter Notebook 常用快捷键和魔法命令

Jupyter Notebook常用快捷键见表1-1。1/2/...

原创 2023IMO预选题几何第7题

的外心. 进一步, 在线段。的对称点, 同理定义直线。. 设三条直线围成三角形。

原创 2023IMO预选题几何第6题

锐角 △ABC的外接圆为 ω, 圆 I与 ω内切于 A, 且与 BC切于点 D. 设直线 AB, AC分别与 I交于点 P, Q, 点 M, N在直线 BC上, 满足 B是 DM的中点, C是 DN的中点. 设直线 MP, NQ交于点 K, 且分别与 I交于点 I, J, 射线 KA与 △IJK的外接圆交于另一点 X. 求证: ∠BXP∠CXQ证明:证明 XM平行于 AB, XN平行于 AC易知 PQ//

原创 2023IMO预选题几何第5题

的外接圆有一个交点在直线。共圆. 同理, 也在。

原创 2023年IMO几何第一题

的交点, 因此为一个点.

原创 2024年全国一高考数学压轴题

PS: 本16届表示上学的时候压根没见过这样的题, 而且现在三选一怎么没了?综上, 尽管没求出可行取值的具体数目, 但可知其下界为。-可分的. 前推后显然, 我们考虑后推前, 在去掉第。的等差数列, 剩下的数相邻四个为一组可以分成长度为。个长为4的等差数列, 那么该分割方案也必然把。个长为4的等差数列, 因此二者等价., 就构成了当前的一个可行取值. 令。的若干等差数列, 所以此时的。时的可行取值数目至少为。-可分的等价于等差数列。个可行取值, 考虑当。的取值是可行的, 即。个长度为4的等差数列。

原创 圆内接四边形的性质

是平行四边形, 所以。

原创 λ-矩阵的多项式展开

λ-矩阵的多项式展开

原创 λ-矩阵知识点

补充证明

原创 Jordan标准形知识梳理补充证明

补充证明

原创 C++指针和数组

【代码】C++指针和数组。

原创 【平面几何】三角形的内心与内切圆（性质归纳）（下）

【平面几何】三角形的内心与内切圆（性质归纳）（下）

原创 【平面几何】三角形的内心与内切圆（性质归纳）（上）

【平面几何】三角形的内心与内切圆（性质归纳）（上）

原创 Smith标准形存在性

Smith标准形存在性

原创 Jordan标准形知识梳理

λ矩阵知识梳理

原创 【无法联网】电脑wifi列表为空的解决方案

找到"控制面板\所有控制面板项\网络和共享中心", 更改适配器设置, 找到wifi, 右键属性, 看看Internet版本协议是否勾选。找到网络适配器, 看看网卡前面是否有感叹号, 如果没有则说明网卡没问题, 有问题则重装驱动。如果勾选了说明不是协议的问题, 接下来尝试看看无线网服务是否开启, 参考。首先检查是不是网卡驱动有问题, cmd, devmgmt.msc。打开电脑, 发现wifi列表为空, 点击设置显示未连接。, 这两个改为自动启动, 我试到这里联网问题已解决.看看网络协议是否设置正确。

原创 联想电脑装系统无法按F9后无法从系统盘启动的解决方案

Legacy: 这里设置legacy boot的优先级, 插入系统盘后,这里会出现usb选项,将它上移至最顶端,即把usb作为legacy boot的首选方式.BOOT PRIORITY: Legacy First. Legacy方式作为首选的boot方式.BOOT MODE: Legacy Support.允许legacy方式boot.USB BOOT: ENABLED. 允许以usb方式boot.调整好后成功出现系统盘加载界面, 按提示重装系统即可.

原创 三角形的垂足三角形与内接三角形

未完待续...

原创 Anaconda如何导出虚拟环境所有包的列表

粘贴至markdown文件, 加个表头即可.先打开anaconda prompt, 输入。如果想以表格的形式呈现, 则对文件进行以下处理。, 将列表以txt文件的形式保存至指定路径.进入到虚拟环境, 输入。

原创 【泛函分析】区间上的单调有界函数必存在左右极限，间断点必为第一类间断点

证明: 充分性: 对于区间上任意一点, 若该点为连续点, 则该点处存在左右极限, 若该点为间断点, 则其为第一类间断点, 因而该点处存在左右极限.定理1. 函数在区间上存在左右极限等价于: 所有间断点(如果存在的话)都为第一类间断点.必要性: 在每一点处左右极限都存在, 因此若该点处是间断点, 必为第一类间断点.注: 这里仅以闭区间为例, 对于其他类型的区间上述结论亦成立.上每一点处存在右极限: 对于。上每一点处存在左极限: 对于。上的间断点必为第一类间断点.上每一点处存在左右极限.是单调递增的, 证明。

原创 【泛函分析】Riemann-Stieltjes 积分

泛函分析中的R-S积分, 一些个人思考

原创 一文读懂tensorflow 2求梯度

原创 【泛函分析】平衡集和吸收集

平衡集, 吸收集

原创 【泛函分析】Riemann积分与Lebesgue积分

4.4 Riemann 积分和 Lebesgue 积分4.4.1 Riemann 积分的可积性定义. 若闭区间 [a,b][a,b][a,b] 上有 n+1n+1n+1 个点:a=x0<x1<⋯<xn−1<xn=ba=x_{0}\lt x_{1}\lt \cdots\lt x_{n-1}\lt x_{n} =ba=x0​<x1​<⋯<xn−1​<xn​=b把区间分成 nnn 份, 记每个子区间为 Δi=[xi−1,xi]\Delta_{i}=[x_

原创 多智能体强化学习论文导读

Adaptive Value Decomposition with Greedy Marginal Contribution Computation for Cooperative Multi-Agent Reinforcement Learning

原创 【泛函分析】是否存在有界实值函数, 使得其在有理点上连续, 无理点上不连续?

是否存在有界实值函数, 使得其在有理点上连续, 无理点上不连续?, 这是可以办到的: 否则, 该区间内的有理数标号全部小于等于。, 这是可以办到的: 否则, 该区间内的有理数标号全部小于等于。, 说明该区间有理数个数为有限个, 显然不成立. 对于。, 说明该区间有理数个数为有限个, 显然不成立. 对于。在有理数点处连续, 则至少在一个无理数点处连续., 根据闭区间套定理, 可以推出其交集为一个点。. 这个点必然是无理数点, 否则, 设其编号为。, 这是一列嵌套的闭区间, 且区间长度趋于。

原创 【泛函分析】存在有可列个间断点的单调函数

上面列举的函数是无界的, 若定义。上具有可列个不连续点.

原创 【泛函分析】Thomae function

可以证明: 此函数在有理数点上连续的, 在无理数点上不连续的.的分点, 因此在此区间内的有理数点的取值范围为。

原创 Coach-Player Multi-Agent Reinforcement Learning for Dynamic Team Composition论文导读

coach agent 能够观测到global state, 并可以根据global state产生信息发送给agent, 信息是定长的, 文中称为strategy, 是一个vector, 记作。. agent采取策略的时候将会参考coach agent发送的strategy信息. coach agent并不是每个step都给agent发送信息, 而是每。的目标. 此目标函数第1项表示: 完成这项任务的agent中能力最大的agent的评分, 第2项表示: 1-被派去的agent的数量.

原创 矩阵的C++实现

由于C++中没有numpy, 所以自己编写了一个class以实现矩阵。

原创 创建单元素的tuple的注意事项

创建单元素的tuple一定要记得加,

原创 无人机通信信道模型实现代码

无人机通信信道模型实现

原创 win10 “快速访问”显示近来使用的文件选项不能勾选

快速访问

原创 【泛函分析】第一纲集和第二纲集

第一纲集和第二纲集