thompson的博客

原创 圆内接四边形的性质

是平行四边形, 所以。

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

λ-矩阵的多项式展开

原创 λ-矩阵知识点

补充证明

原创 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 “快速访问”显示近来使用的文件选项不能勾选

快速访问

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

第一纲集和第二纲集

原创 【泛函分析】距离空间的完备性

【泛函分析】距离空间的完备性

原创 【泛函分析】距离空间和赋范空间

赋范空间和距离空间

原创 【泛函分析】紧性

泛函分析——紧性

原创 牛顿定理和相关推论

平面几何牛顿定理

原创 python程序中变量和函数的作用域

Python中的迟绑定

原创 绘图软件veusz如何导出eps/ps格式的图片

如何导出eps/ps格式图片

原创 UAV运动学方面的约束

UAV运动学方面的约束

原创 圆极点和极线的性质

圆中的极点与极线

原创 定差幂线定理例题和练习题

例1. 在 △ABC\triangle ABC△ABC 中, AB=ACAB=ACAB=AC, DDD 是 BCBCBC 的中点, DE⊥ACDE \bot ACDE⊥AC, FFF 是 DEDEDE 的中点, 求证: AF⊥BEAF\bot BEAF⊥BE.例2. 在四边形 ABCDABCDABCD 中, ABABAB, CDCDCD 的中垂线相交于 PPP, ADADAD, BCBCBC 的中垂线相交于 QQQ, MMM, NNN 分别是 ACACAC, BDBDBD 的中点, 求证: PQ⊥MNPQ

原创 UAV和基站通信的天线模型

UAV和基站通信的天线模型

原创 Reviving a failed network through microscopic interventions 部分译文

从生物大灭绝到细胞死亡，复杂网络系统经常展现出在好与坏的状态之间突然的动态转化，这些变化经常是拓扑结构的扰动引起的（比如节点或边的去除，边强度的减弱）。恢复网络的拓扑破坏问题，比如重新得到丢掉的节点和边，强化减弱了的边，并不能保证自发恢复到理想的运行状态。实际上，许多相关的系统展现出了一个滞后现象，仍处于功能失调状态，尽管已经恢复了它们被破坏了的拓扑结构。为了解决这个挑战，我们创造了一个两步恢复策略............

原创 写作系列之contribution

一些范例