- 博客(25)
- 收藏
- 关注
RSS订阅转载 python 代码规范
之前做过一些代码行数较多的项目，由于没有注意代码规范（如变量、函数命名的规范），导致项目代码非常混乱。如今也要逐渐步入科研生活，在科研生活代码实践的开始，我认为进行 python 代码规范的学习是非常有必要的（尤其是我有很严重的代码洁癖）。看到好的代码会让自己舒心，也会让别人舒心。本篇博客将会大幅度 copy中的内容，仅提取其中我认为比较重要的部分，手打一遍，增加印象。对于想要认真学习 python 代码规范的同学，还是建议转去进行学习，里边提供了非常详尽的规范以及样例。
2022-10-01 14:06:38
332
翻译 Out-of-Distribution Detection with Semantic Mismatch under Masking 论文阅读
使用基于 mask 机制以及语义级别不匹配来检测 OOD 样例
2022-08-14 15:16:39
1072
1
翻译 Standardized Max Logits: A Simple yet Effective Approach for Identifying Unexpected Road Obstacles i
处理异常物体检测问题中，常用的解决方法需要额外的数据库、重新训练网络或者建立生成模型，这些方法会引入额外的工作量、在推理时也会花费较大的时间。本文提出了一种方法，直接使用预训练网络的预测分数（logits）来检测未知物体。在使用预训练网络的预测分数的方法中，有三种基本方法。这些方法都使用了预测结果中不同类的分数，并设定阈值，进而判断样本是否属于OoD，或未知物体。比如当前阈值为0.7，网络对于某一样本的预测分数分别为，，不考虑未知物体，则我们预测该样本为输出分数中的最大值所对应的类，即苹果。......
2022-08-08 15:30:43
803
翻译 Distance-based Confidence Score for Neural Network Classifiers 论文阅读
使用特征空间中的距离向量来估计置信分数
2022-08-08 15:27:30
426
1
翻译 Pixel-wise Anomaly Detection in Complex Driving Scenes 论文阅读
基于像素差异的异常物体检测模型，结合了交叉熵、图像生成，使用深度模型进行异常物体检测
2022-08-08 15:12:57
647
3
翻译 A Survey on Transfer Learning 论文阅读笔记与总结
A Survey on Transfer Learning 论文的整理与总结
2022-08-08 15:07:44
686
1
原创 MIT 6.S081 xv6 调试指北
MIT 6.S081 xv6 调试指北前言： xv6 调试折磨了我整整一上午，在询问老师 + 谷歌之后，稍有心得，记录之运行 qemu 模拟器在 64 位(x86) 的电脑上模拟 RISC-V 架构的 CPU。在计组实验中，通过硬件电路设计 CPU，而 qemu 通过 C 语言来模拟 CPU 的取指、译码和执行操作。在 xv6-labs-2020 目录下输入 make qemu 并回车，随后出现单独窗口。qemu 的虚拟 BIOS 将从 xv6.img 文件中含有的虚拟硬盘映像加载引导文件，随后
2021-09-26 09:39:28
3373
8
原创 数理逻辑小结4——PC定理补充证明
PC 命题逻辑系统相关定理文章目录PC 命题逻辑系统相关定理PC 相关定义定义1 公式集的一致性定义2 公式集的完全性PC 相关定理定理1 演绎定理定理2 PC的合理性定理3 PC 的一致性定理4 PC 的不完全性定理5 PC 的完备性命题1命题2命题3命题4命题5定理6 公式集的一致性和可满足性写在前面我们首先拥有命题的概念，即判断一个句子为真或为假，随后通过对命题的符号化以及联结词的使用抽象了生活中的命题，构造出了符号化的复合命题。再往后，我们使用命题公式进一步抽象复合命题，递归地定义了命题公式
2021-06-16 17:04:32
4126
原创 数理逻辑小结3——一阶谓词逻辑演算
一阶谓词逻辑演算一 基本概念首先是基本单元的概念个体词：用来表示研究对象。分个体常元和个体变元。前者常用 a,b,c⋯a,b,c\cdotsa,b,c⋯ 表示，后者常用 x,y,z⋯x,y,z\cdotsx,y,z⋯ 表示个体域：个体变元的取值范围，用 DDD 表示谓词：用于表示研究对象的性质，或表示研究对象之间关系的词，用大写英文字母表示。n 元谓词指含有 n 个个体变元的谓词函词：用于描述个体域之间的映射，用 f,g,h,⋯f,g,h,\cdotsf,g,h,⋯ 表示。含有 nnn 个变元
2021-06-16 17:03:02
2151
原创 数理逻辑小结1——命题逻辑基本概念
数理逻辑（1）——命题逻辑基本概念一 命题与联结词命题符号化命题：可以判断真假的陈述句原子命题：不包含任何逻辑联结词的命题 or 无法分解为更简单陈述句的命题复合命题：由联结词和简单命题构成的命题联结词命题变元：若字母 PPP 未指定代表某一命题，其为命题变元，否则其为命题常元，拥有唯一真值命题联结词：¬\neg¬：非∧\wedge∧：与，常见于“既。。又。。”、“不仅。。而且。。”、“虽然。。但是。。”、“。。和。。”∨\vee∨：或，注意或与异或的区别→\to→：蕴含，P
2021-06-16 17:02:03
937
原创 数理逻辑小结2——命题演算形式逻辑系统
命题演算形式系统一 命题演算形式逻辑系统1 命题演算形式系统的组成略2 命题演算形式系统的公理以及定理公理A1:A→(B→A)A2:(A→(B→C))→((A→B)→(A→C))A3:(¬A→¬B)→(B→A)\begin{aligned}&A_1:A\to(B\to A)\\&A_2:(A\to(B\to C))\to((A\to B)\to(A\to C))\\&A_3:(\neg A\to\neg B)\to(B\to A)\end{aligned}A
2021-06-16 17:00:55
1542
翻译 Numpy 学习笔记
Numpy 学习笔记文章目录Numpy 学习笔记一 Numpy 数据类型1 Python 内部的整数2 Python 内部的列表(list)3 Python 内部的固定类型数组4 创建一个 ndarray 对象根据列表进行创建使用内置函数创建5 NumPy 标准数据类型二 NumPy 数组基础知识1 NumPy 数组的属性2 数组索引3 数组切片一维数组切片二维数组切片获取二维数组的某一行和某一列4 定义数组的形状5 数组的合并与分解数组的合并数组的分解三 NumPy 数组上的运算1 常见函数运算符的重载
2021-02-17 14:14:22
155
原创 背包九讲学习笔记
背包九讲学习笔记“失败不是什么丢人的事情， 从失败中全无收获才是。”——崔添翼1st_01背包问题f[i][j]f[i][j]f[i][j] 表示前 iii 件物品在容量为 jjj 的背包中所能获取到的最大价值。状态 f[i][j]f[i][j]f[i][j] 是由先前状态+决策得到的，先前状态是指我们已知前 i−1i-1i−1 件物品在容量为 0−j0-j0−j 的背包中取值的最优解(即得到最大价值)，决策是指我们从前 i−1i-1i−1 件物品的最优解到前 iii 件物品的最优解需要作出的选
2020-10-16 23:47:53
225
1
原创 从素数筛到欧拉函数
欧拉函数文章目录欧拉函数背景知识埃氏筛(Eratosthenes)欧拉筛欧拉函数(Euler's totient function)的定义欧拉函数的性质求出单个欧拉函数的值求出多个欧拉函数的值本来好好的刷着排列组合的题目鬼知道怎么蹦出来了一个欧拉函数的题，以前也没有接触过，那就只能学一学喽整理自oi-wiki-欧拉函数背景知识当需要求取多个数的欧拉函数时，需要借助埃氏筛和欧拉筛的相关思想。埃氏筛(Eratosthenes)时间复杂度为 O(nlglgn)O(nlglgn)O(nlglgn)
2020-09-30 18:09:43
191
1
原创 数据结构——关于图的小结
数据结构图小结数据机构之图的基本应用 传送门这篇小结中的所有题目均来自洛谷的"图的基本应用"题单。其中主要涉及到的相关知识有：dfs 和 bfs 的基本应用，根据 dfs 求有向无环图中最大路径、路径数量，根据拓扑排序判断图中是否有环的存在以及能否形成稳定的有序序列，找出图中的欧拉通路。文章目录数据结构图小结P5318_查找文献（dfs和bfs基本应用）P3916_图的遍历（dfs查找到达的最大顶点）P1113_杂务（dfs查找固定终点的最长路径）P1807_最长路（dfs查找固定起点和终点的最长
2020-09-12 22:24:31
464
翻译 IP 地址与内网外网
安卓与服务器学习预备知识文章目录安卓与服务器学习预备知识IP 地址IP 地址的前缀子网NAT——网络地址转换（内网与外网）安卓与服务器学习预备知识IP 地址IP 地址的前缀子网NAT——网络地址转换（内网与外网）IP 地址IPv4 是一个32位地址，Internet 上每台主机与路由器都有一个 IP 地址，用于 IP 数据包的源地址（Source Address）和目标地址字段（Destination Address）。IP 地址并不指明具体的主机，而是代表一个网络对外显示的接口。路由器由于连接多个
2020-08-24 11:52:32
723
原创 算法竞赛入门学习（篇一）
算法竞赛入门学习算法竞赛入门学习，本文习题来自牛客网教程。一、枚举与贪心优化枚举的基本思路，减少枚举次数选择合适的枚举对象选择合适的枚举方向——排除非法或不是最优的情况选择合适的数据维护方法——转化问题例一：在一个N*N(N<=100)矩阵中求一个最大的正方形使得该正方形的四个顶点都是由字符“#”构成。示例#*#*********#*#*#*******#********#**思路：枚举正方形的对角两个顶点即可。例二：给你一个数列{an}（1≤n≤100000
2020-05-22 12:59:59
1211
原创 C/C++字符与字符串的读取
一直以来就对C++的字符读入模模糊糊，下午总结了一下，顺便看了若干大神博客，就写了这篇东拼西凑的粗略总结，详细的请看文末的链接。不知道部分借鉴算不算侵权，侵删。字符篇scanf("%c", &ch)读入任意字符，包括回车在内的空白字符fgetc(FILE*)与getc(FILE*)两者从指定流读取一个字符，该字符可以是回车在内的空白字符。关于两者的区别，貌似是前者是函数，而后者是...
2020-02-20 20:45:45
2732
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人