🪴 Cyril
搜索
Search
暗色模式
亮色模式
探索
00 个人
学校杂项
图灵计划宣讲会
科研经验分享
网络空间安全专业
日记
2024-01-17
2024-01-18
2024-01-20
2024-01-21
2024-02-04
2024-02-05
2024-02-06
2024-02-07
2024-02-08
2024-02-09
2024-02-10
2024-02-23
2024-02-26
2024-03-24
2024-04-12
2024-05-04
2024-06-29
2024-08-31
日记的三种写法
个人
01 数学
微积分
Abel 定理
P级数
wallis公式
x 型区域
y 型区域
一元函数可微
一元函数微分学
一元函数的极值
一元函数积分学
一阶全微分的形式不变性
一阶线性微分方程
三角函数求导公式
三角函数积分结论
三重积分在柱坐标系下的计算
三重积分在球坐标系下的计算
三重积分在直角坐标系下的计算
三重积分的计算
两个曲线积分的转化
二元函数的泰勒展开
二次极限
二重极限
二重极限和二次极限的关系
二重极限的求法
二重积分在极坐标系中的计算
二重积分在直角坐标系中的计算
二重积分的几何意义
二重积分的定义求极限
二阶偏导数
二阶常系数微分方程
二阶重偏导数
二项展开式
交错级数
交错级数的敛散性
介值定理
任意项级数
估值定理
余项
偏导函数
偏导函数的存在性
偏导数
偏导数的几何应用
偏导数的几何意义
偏导数的求法
傅立叶级数
傅立叶级数收敛定理
全微分
全微分的积分
内点
最值定理
几何级数
函数 极限与连续
函数展开为幂级数
函数展开成正弦级数或余弦级数
函数极值的充分条件
函数极值的必要条件
函数的偏导数与函数连续性的关系
函数项级数
分析运算
切向量
判断二元函数在原点可微性的步骤
判断泰勒级数是否能展开
利用傅立叶级数求级数的和
区域
区域可加性
区域联通性
单调有界原理
双侧曲面
可微的性质
含参变量的积分求导
周期一般化的傅立叶级数展开
和函数
和差化积
外点
多元函数
多元函数微分学
多元函数极值的定义
多元函数的极值
多元函数的极限
多元函数的第一类换元法
多元函数的连续性
多元向量值函数积分学
多元复合函数求导的链式法则
多元复合函数的求导法则
多元数量值函数积分学
多元数量值函数积分学引入
多元数量值函数积分概念
定义区域
常微分方程
常数项级数
常用二重极限
常用极限
常用的泰勒公式
常见的全微分表达式
常见的级数
幂级数
幂级数展开的唯一性
幂级数的运算性质
开集
弧微分向量
弧长微元
形心
微分的几何意义
微积分
微积分基本定理的推广
微积分感悟
拉格朗日乘数法
指向外侧的法向量
收敛区间
收敛半径
改变积分次序
敛散性
散度
斯托克斯公式
斯托克斯公式的应用
方向导数
方向导数和梯度
方向导数存在充分条件
旋度
无条件极值
无法写出解析表达式的积分
无穷级数
曲线L正方向的确定
曲线积分与路径的无关性
曲面的单连通区域
曲面面积微元
曲面面积微元向量
有向曲线
有条件极值
有界区域
有界性定理
有界闭区域上多元函数的最值
有界闭区域上多元连续函数的性质
条件收敛
极值点和驻点的关系
柯西乘积
格林公式
格林公式的运用
梯度
欧拉-傅立叶系数公式
正交
正项级数
正项级数的判别法
求全微分的方法
求复合函数的高阶偏导数方法
求多元函数极值的方法
求收敛半径
求方向导数的方法
求有界闭区域上的最值方法
求泰勒级数的方法
法向和切向的关系
法向量
泰勒展开
泰勒级数
流量问题
点与点集的位置关系
牛顿-莱布尼茨公式
狄利克雷充分条件
环流量
直径
积分中值定理
积分在物理上的运用
积分的保序性
积分的对称性
积分的性质
积分的线性性质
积化和差
空间曲线的切线与法平面
空间曲线的切线方程
空间曲线的法平面
空间曲面的切平面
空间曲面的法线
空间曲面的法线和切平面
第一类曲线积分
第一类曲面积分
第一类间断点
第二类曲线积分
第二类曲线积分的计算
第二类曲面积分
第二类曲面积分的性质
第二类曲面积分的计算
等值线
等值线族
级数的性质
绝对收敛
绝对收敛与条件收敛
绝对收敛级数的性质
联通
聚点
莱布尼茨定理
裂项
规则几何体形心坐标公式
解驻点的方法
证明二重极限不存在
调和级数
边界点
连续函数
通量
邻域
部分和
闭集
隐函数存在定理
隐函数求导法
雅可比行列式
驻点
高斯公式
高斯公式的运用
高阶偏导数
齐次函数切平面相交于原点
概率论与数理统计
不可能事件
全概率公式
古典概型
古典概率的性质
必然事件
条件概率
样本空间
概率
概率加法定理
概率的公理化定义
概率论与数理统计
概率论序言
贝叶斯公式
随机事件
随机事件的关系及运算
随机实验
随机实验与随机变量
频率
离散数学
bfs求生成树
Dijkstra 算法
Fleury算法
Floyd 算法
Hierholzer 算法
kruskal算法求最小生成树
k元完全树
k元树
N元组
n元谓词
n阶图
Prim算法求最小生成树
Skolem变量
上界
上确界
下界
下确界
不可数集合
个体常量
个体词
主合取范式
主析取范式
二元关系
二元组
二元组相等
二分图
交换律
交集
传递性
值域
偏序关系
全序关系
全总个体域
全集
公式的等价
公式等价的充要条件
关系性质的保守性
关系性质的定义
关系的复合运算
关系的定义
关系的表示法
关系的运算
关系的逆运算
关系的闭包运算
关系矩阵
关系矩阵的运算
典型映射
内点
最优树
最优树与哈夫曼算法
最大元
最小元
最小生成树
几个特殊的集合
函数
函数的复合运算
函数的类型
函数的运算
函数的逆运算
分情形证明
分配率
划分块
判断有效结论的方法
判断邻接矩阵同构
前束范式
前缀码
割点
半哈密顿图
半欧拉图
单向连通分支
单向连通图
单射
原子公式
原子命题
双射
反对称
反自反性
变换
叙述法
可判定性
可数集合
可数集合和不可数集合
可满足公式
可达
合取联结词
合取范式
合式公式
同余关系
同构
否定率
否定联结词
吸收率
命题
命题公式
命题公式的分类
命题变量
命题联结词
命题逻辑
命题逻辑的推理理论
哈密顿回路
哈密顿图
哈密顿通路
哈斯图
商集
回路
图
图的分类
图的删除操作
图的同构
图的表示
圆排列
基数
基本回路
基本等价关系
基本通路
复合命题
外延性原理
多重图
子句
子图
子树
存在性证明
孤立结点
完全二分图
完全匹配
完全图
定义域
对称差集
对称性
导出子图
属于关系
差集
布尔积
常值命题
幂等律
幂集
平凡图
平凡证明
平行边
平面图
并发、并行和分布式
并集
库拉托夫斯基图
库拉托夫斯基定理
度数
度数序列
弱连通
弱连通分支
强连通分支
强连通图
归谬证明
德摩根律
恒等关系
悬挂结点
拓扑排序
拟序关系
握手定理
收缩
数学归纳法
文字
无向图
无向赋权图的最短通路
有向图
有向图的连通性
有向树
极大元
极大项
极小元
极小项
析取联结词
析取范式
枚举法
树
树的性质
根树的遍历
次数
欧拉公式
欧拉回路
欧拉图
欧拉图的判定
欧拉通路
永假公式
永真公式
求生成树的方法
波兰符号法
渡河问题
满射
点割集
特殊元素
特殊图
生成子图
生成树
用邻接矩阵判断可达
皮亚诺公理
直接证明
真值
真值表
短程线
短语
破圈法
离散数学
空证明
空集
笛卡尔积
等价关系
等价关系的划分构造
等价性证明
等价类
等价联结词
等势
简单回路
简单图
简单通路
约束变元
线图
结合律
自反性
自然数集的定义
自环
自由变元
良序关系
范式
范式存在定理
蕴含联结词
补图
补集
解释
计数问题
证明定理的方法
证明技术
谓词
谓词公式
谓词公式的规则
谓词逻辑
谓词逻辑基本概念
谓词逻辑的推理理论
距离
边割集
连通分支
连通图
连通度
通路
通路、回路和连通性
通路上界定理
避圈法
邻接点
邻接矩阵
邻接边
酒桶均分问题
量词
闭式
间接证明
集合有关证明题思路
集合的划分
集合的包含关系
集合的相等关系
集合的运算
集合论
零图
零律
霍尔定理
项
鸽笼原理
线性代数
01 线性方程组
同解方程组
矩阵和转置矩阵相乘为0则矩阵为0
线性方程组
线性方程组的初等变换
线性方程组的向量表示形式
线性方程组的矩阵表示形式
自由未知量
通解
非齐次线性方程组
高斯-若尔当消元法
高斯消元法
齐次线性方程组
齐次线性方程组的系数矩阵左乘它的转置是同解变换
02 矩阵
三角矩阵
反对称矩阵
实对称矩阵
对称矩阵
矩阵
矩阵的秩
矩阵的秩的性质
西尔维斯特不等式
转置矩阵的性质
03 行列式
三对角行列式
加边法和爪形行列式
奇排列和偶排列
将行列式化为上（下）三角形行列式进行计算
爪形行列式
特殊行列式
行列式
行列式的展开
行列式的性质
04 几何空间
几何空间
可达性矩阵
向量的乘法
基向量
平面
平面束
方向余弦
方向角
柯西-施瓦兹不等式
直线与平面位置关系
直线与直线位置关系
直线在平面上的投影
空间直线
05 n维向量空间
n维向量空间
向量的线性运算
向量相关性的定义
向量空间
向量组
标准正交向量组
正交向量组
求极大线性无关组
求正交基的表出系数
空间的基
空间的维数
等价向量组
线性相关性质
线性表出
线性表出结论
过渡矩阵
06 特征值与特征向量
代数重数
准三角矩阵的特征值规律
几何重数
实对称矩阵的对角化
已知特征值求矩阵参数
已知矩阵方程求特征值
施密特正交化
特征值与特征向量
特征多项式
矩阵变换对应的特征值与特征向量的变换
矩阵的相似对角化
矩阵的秩大于等于非零特征值的个数
矩阵相似
秩1矩阵的特征值规律
行和或者列和相等的矩阵的特征值与特征向量规律
07 二次型与二次曲面
二次型与二次曲面
二次型的标准型
二次曲面
单叶双曲面
双叶双曲面
双曲抛物面
双曲面
可逆线性变换
惯性定理
抛物面
旋转曲面
柱面
正交变换法
正定二次型
正定矩阵
正负惯性指数
矩阵合同
矩阵等价
空间曲线
负定矩阵
线性代数
线性代数感悟
数学
02 物理
万有引力
不同偏振方向简谐振动合成
介质的几种典型模量
伽利略变换
伽利略变换公式
位移
位置矢量
体变模量
保守力
偏振产生的方式
光学绪论
光强时空分布计算公式
光栅
光栅光谱
光栅常数
光栅方程
光栅衍射
光波
光源
光的偏振
光的分类
光的干涉
光的衍射
光矢量
光程和光程差
典型的坐标系
内力
内力做功的特点
最概然速率
冲量
冲量矩
几种常见的力
分子动理论
切变模量
刚体
刚体力学
刚体动力学
刚体定轴转动定理
刚体运动学
劈尖干涉
力心点模型
力矩
力臂
功
功率
加速度
动能定理
动量
动量定理的应用
势能
势能定理
半波损失
单缝的夫琅禾费衍射
压强单位
参照物
参考系
受迫振动
可见光中心波长
同偏振方向、不同频率简谐振动合成
同偏振方向、同频率简谐振动合成
同时的相对性
周期定律
周期振动分解
品质因素
圆偏振光
圆周运动中角量和线量的关系
圆孔的夫琅禾费衍射
坐标系
垂直轴定理
外力
多普勒效应
大学物理
大学物理绪论
夫琅禾费衍射
对称性原理
尺缩效应
已知分布函数求平均值
布儒斯特角
平动系
平均值
平均加速度
平均能流密度矢量
平均速度
平均速率
平行轴定理
平衡态
平面平行运动
平面波
平面简谐波的动力学方程
平面简谐行波的波动方程
开普勒定律
引力质量
微振动系统的简谐近似
恢复系数
惠更斯-菲涅尔原理
惠更斯原理
惯性力
惯性系和非惯性系
拍频
振动的合成和分解
描述质点运动的物理量
旋转矢量方法
时空图
时间相关性
时间累计效应
机械振动
机械波的能量
杨氏双缝实验
杨氏模量
极坐标系
椭圆定律
气体分子的自由度
气体动理论
波动
波的叠加
波的周期
波速
波面
洛伦兹变换
洛埃镜
温标单位
激光
热力学系统
热学
牛顿三定律
牛顿环
物理数学技巧
状态参量
狭义相对论
玻尔兹曼常量
理想气体模型
理想气体状态方程
理想气体的微观模型和统计假设
瑞利判据
相对论动力学
相对论的动量和质量
相对论的速度变换
相对运动
相干波
相干长度
相长干涉
瞬时加速度
瞬时效应
瞬时速度
瞬时速率
科里奥利力
空间相干性
空间累计效应
等倾干涉
等厚干涉
简正模式
简正频率
简谐振动
简谐运动例子
累计效应
线偏振光
绝对时空观
能量按自由度均分定理
能量按自由度均分定理的应用
自然光
自然坐标系
自由度
苏则朗模型
获得相干光的方法
菲涅尔半波带方法
菲涅尔双面镜
葛正权实验
薄膜干涉
薄透镜不产生附加程差
衍射的分类
角位移
角加速度
角动量
角动量守恒
角速度
角频率
证明简谐振动
质心与质心坐标系
质心坐标
质心坐标系
质心坐标系性质
质心运动定理
质点动力学
质点系动量定理
质点系角动量定理
质点运动学
路程
轨道方程
转动惯量
转动系
转动部分做题技巧
迈克尔逊干涉仪
迈克尔逊莫雷实验
运动方程
透镜
速度
速率
部分偏振光
重力势能
钟慢效应
阻尼振动
阻尼振动周期
非周期振动分解
面积定律
马吕斯定理
驻波
麦克斯韦方程组
麦克斯韦气体分子速率分布律
03 计算机组成原理
1-out-of-10 Code
38译码器
2421编码
Amdahl定律
AOI
ASCII码
BCD码加减法
BCD编码
CMOS动态电器特性
CMOS电阻性负载的电器特性
CMOS稳态电器特性
CMOS逻辑
CPI
digital device
D触发器
Excess-3编码
gates
ISA
JK触发器
MFLOPS
MIPS数
MOS晶体管
NAND
NMOS
NOR
N沟道
OAI
One-hot
PMOS
PN 结
P沟道
R-S触发器
T'触发器
TTL逻辑
T触发器
XOR
一致电路
三态输出
与非门
主从JK触发器
主从R-S触发器
二五混合码
二进制减法
二进制加法
二进制加法减法真值表
二进制数
代入规则
代码检测器
代码转换器
优先编码器
传播延迟
传输门
低电压CMOS逻辑和接口
全减器
全加器
冗余律
函数变换
功率损耗
加法器
化简或与式方法
半加器
卡诺图
原码
双极逻辑
反演规则
反码
反码的运算
反转器
只读存储器 (ROM)
可编程逻辑器件PLD概述
同步时序状态化简
同步时序电路的描述方法
同步时序电路的设计
同步时序逻辑电路
基尔霍夫电路定律
复用器
多路复用器
奇偶校验码
存储器和FPGA
寄存器
对偶规则
展开规则
序列发生器
序列检测器
异或
或非门
戴维南定理
扇入
扇出
数制
数制与码制
数字信号
数字电路
数字电路课程设计
数字门电路
数据的表示
施密特触发器输入
无关项
时分复用
时序电路的分类
机器数的加减运算
格雷码
正数符号系统
比较器
消去律
漏极开路输出
理想开关
电压定律
电流定律
电路竞争
真值与机器数
硬件描述语言 Verilog HDL
移码表示
空翻现象
组合逻辑电路
组合逻辑电路的险象
维持阻塞D触发器
编码
编码器
补码
补码的运算
解复器
触发器
计数器
计算机性能评价
计算机系统概论
计算机组成原理
计组第一节作业
设计电路
译码器
诺顿等效电源
负数的表示
超前进位加法器
转换时间
边缘JK触发器
逻辑代数基础
逻辑代数规则
钟控R-S触发器
险象
随机存储器 (RAM)
集成D触发器
集成JK触发器
集成寄存器
集成触发器
集成计数器
非反相缓冲
高阻态
04 历史
三三制的民主政权建设
三民主义
三湾改编
世界文明史
东北易帜
中体西用
中华民族的抗日战争
中国人民奋起抗击日本侵略者
中国先进分子举起马克思主义旗帜
中国共产党成立以后中国革命的新局面
中国共产党成立和中国革命新局面
中国共产党的创建
中国同盟会
中国近代史概述
中国革命在曲折中前进
中英南京条约
中英虎门条约
临时约法
为建立新中国而奋斗
乌托邦
九一八事变
二七惨案
二十一条
五四运动
从争取和平民主到击退国民党的军事进攻
伏尔泰
会党
佐藤信渊
保路运动
信息安全简史
信息安全简史引入
光荣革命
八七会议
军阀混战
十月革命的影响
半无产阶级
半殖民地半封建社会
华北事变
南京国民党政府的覆灭
南昌起义
卡贝
卢梭
卢沟桥事变（七七事变）
历史
反侵略战争的失败
反对本本主义
古田会议
右派
各民族党派的历史发展
四一二反革命政变
圣西门
基督教
夏尔·傅里叶
大宪章
大数据隐私
大革命后国民党性质的变化和统治性质
大革命失败的原因
天京事变
太平天国农民战争
太平天国失败原因
太平天国的启示
太平天国起义的历史意义
孙中山
孟德斯鸠
对中国革命新道路的探索
对国家出路的早期探索
封建民主制度
工农武装割据思想
左派
左派和右派
巴贝夫
巴黎和会
希腊哲学
帝国主义经济掠夺造成的严重后果
广州起义
建立人民民主专政的新中国
戊戌变法
戊戌变法的历史启示
戊戌变法的意义
托马斯·康帕内拉
托马斯·莫尔
托马斯·闵采尔
技术退步主义情结
抗战时期中国共产党自身建设
抗日战争的中流砥柱
抗日战争的胜利及其意义
摩莱里
新文化运动
新民主主义理论
新青年
日本发动企图灭亡中国的侵略战争
早期的欧洲——古典时期到中世纪
明治维新
梅叶
欧文
武昌和谈
民族意识的觉醒
法国大革命
洋务运动
洋务运动为什么失败
洋务运动的历史作用
洋务运动的启示
洋务运动的思想交锋
洋务运动的起因
温斯坦莱
湖北新军
特洛伊战争
瑷珲条约
白话文运动
皇姑屯事变
社会主义发展史
秋收起义
空想社会主义的产生和发展
红色政权为什么存在
莫里 航海
蔡元培
西安事变
西方列强对中国的侵略
西柏坡土地会议
论持久战
资政新篇
资政院
轴心时代
辛丑条约
辛亥革命与君主专制制度的终结
辛亥革命失败的原因
辛亥革命的历史条件
辛亥革命的历史评价
辛亥革命的失败
辛亥革命的过程
近代中国两大历史任务及其关系
近代史选择题
近代外国军事侵略
近现代史
通商行船条约
邹容
长征精神
长征胜利的意义
马克思主义
马布利
鸦片战争前后的中国与世界
鸦片战争战败原因
05 创业管理
MVP思想
TRIZ
企业愿景
企业成长的原因
企业成长的途经
企业的社会责任
倾听的五个层次
公司创业
最小可行性产品
决策的三种模式
创业企业的战略选择
创业企业的融资
创业团队
创业团队的组建
创业导向的三个维度
创业机会
创业机会的来源
创业机会的特点
创业机会识别
创业概论
创业的8个理念
创业的两种思维
创业的定义
创业的本质
创业的条件
创业的过程
创业管理
创业管理课程复习主要知识点
创业者与创业团队
创业者的能力特质
创业资源与市场启动
创意
创新思维
利基市场
发明、创新和创业
和田十二法
商业模式
商业计划书
四次创业浪潮
团队
团队的角色
大学生创业关注类型
大学生创业动机
天使投资
头脑风暴法
奥斯本检核表
强连接和弱连接
归因模型
影响创业资源获取的因素
思维定势
成就需要理论
我的创业想法
新企业建立与管理
新企业股权设置
新公司的控制权
新创企业失败
无形资产
有形资产
机会可行性分析
沈南鹏
焦点小组法
生存型创业与机会性创业的比较
痛点
管理创业团队
管理创业失败的负面情绪
精益创业
组织形式的选择
蒙牛借力
融资方式
设计思维
资源整合原则
需求
领导的概念
风险
风险和不确定性的区别
06 固件安全
BIOS
MBR
RAID控制器
UEFI
固件在系统中的位置
固件安全
固件安全其他分组
固件安全概念和硬件框架
固件安全的概念
固件安全项目
固件的功能
固件的概念
固件的设计分析
固件的运行
就业情况
指令集
计算机体系结构
非易失性内存
07 pwn
BUU rip
BUU test_your_nc
checksec
gdb
leave 汇编指令
linux 系统调用号
nc
objdump
pwn
PWN WP
pwn 工具
pwnable
pwnable CVE-2018-1160
pwnable orw
pwnable start
pwntools
readelf
ret 汇编指令
warmup_csaw_2016
栈区对齐
栈溢出
07 逆向
2019红帽杯 childRE
2019红帽杯 easyRE
2019红帽杯 xx
ABI
ACTF 新生赛 2020 SoulLike
ACTF新生赛2020 Oruga
ACTF新生赛2020 Universe_final_answer
ACTF新生赛2020 usualCrypt
AES加密
angr
angr hook函数
angr hook地址
angr hook静态库函数
angr Veritesting
angr 使用函数来确定探索边界
angr 使用符号化栈上的值
angr 对于动态库的符号执行
angr 添加约束条件
angr 符号化动态分配内存
angr 符号化寄存器
angr 符号化文件
angr 缓解路径爆炸的手段
ascii
AST 抽象语法树
atexit 函数
badtraveller
base 58 加密
base64加密
BFD库
BJDCTF2020 BJD hamburger competition
callable 对象
CFI-CTF 2018 IntroToPE
ciscn apk so
ciscn asm re
CNSS 2024 Re出题
COFF 文件结构
COFF格式
COMMON块
C函数符号名称修饰方式
d810
dill
dll 函数序号
dll 显式运行时链接
dll 简单介绍
dll 绑定
docker学习
dynamic 段
ELF 文件头
ELF 文件类型
ELF 文件结构
equation
exp 文件
FlareOn1 Bob Doge
FlareOn3 Challenge1
FlareOn4 IgniteMe
FlareOn4 login
FlareOn5 Minesweeper Championship Registration
FlareOn5 Ultimate Minesweeper
FlareOn6 Overlong
GCC 内联汇编
GCC 自定义储存段
Glibc 入口函数实现
glibc 启动文件
GUET-CTF2019 number_game
GUET-CTF2019 re
GWCTF 2019 re3
GWCTF 02019 xxor
GXYCTF2019 simple CPP
IDA python
IDA 分析错误原因
IDA 技巧
IDA反汇编原理
interp 段
Java class 文件结构
java 逆向
Linux 动态链接器的实现
Linux 进程堆管理
linux内核装载ELF过程
LLVM
MD5加密
MRCTF2020 hello_world_go
MRCTF2020 PixelShooter
MRCTF2020 Transform
MRCTF2020 Xor
MSVC CRT 入口函数
NET逆向
NPUCTF2020 你好 sao 啊
OLLVM
ollvm BCF 反混淆
ollvm FLA 反混淆
ollvm SUB 反混淆
PAE
PE 文件类型
PE拓展头部结构
PIE
PIN
Ponce
pyc文件结构
python asm
Python 的变量生存周期
Python序列化和反序列化
QCTF2018 Xman-babymips
QQQQT
retdec
Re招新入门
rot加密
RSA加密
Segment
SHA 加密
SMC
stdio
SUCTF2019 SignIn
SWPU2019 ReverseMe
Tea加密
TimidRabbit
uncompyle6 安装和使用
Unity 3D 逆向
Unity 逆向
UTCTF2020 babymips
UTCTF2020 basic-re
VEH+硬件断点hook
VMA
VM虚拟机
Windows 进程堆管理
Windows异常处理机制
windows断点处理
WUSTCTF2020 Cr0ssfun
WUSTCTF2020 level1
WUSTCTF2020 level2
WUSTCTF2020 level3
WUSTCTF2020 level4
z3约束求解
Zer0pts2020 easy strcmp
为什么要动态链接
乐健逆向分析
从操作系统角度看可执行文件的装载
入口函数和初始化
全局偏移表
全局符号表
共享模块的全局变量问题
内存模型
内存装载
函数调用
函数调用规范
函数返回值传递
分层存储
动态共享对象
动态符号表
动态链接与装载
动态链接器自举
动态链接时堆栈初始化信息
动态链接的步骤和实现
动态链接相关结构
动态链接重定位表
反编译失败
变长参数
变长参数宏
可变参数
同步与锁
在pycharm里编写ida脚本
在vscode里编写ida脚本
地址引用方式（动态链接情况）
地址无关代码
基本类型数据大小
堆与内存管理
堆分配算法
如何区分一个DSO是否为PIC
安卓逆向
导入表
导出重定向
局部性原理
左右移
延迟绑定
弱引用和强引用
强符号和弱符号
找到关键函数
控制流平坦化
数据段地址无关性
数组变换
新手教程：断点和异常
显式运行时链接
栈与函数调用
模块定义文件
段表
目标文件的结构
程序头表
窗口句柄
符号导出导入表
符号解析和重定位
网鼎杯2020青龙组 jocker
羊城杯 2020 login
花指令
装载共享对象
装载的方式
覆盖装入
调试jar包
运行库与IO
进程栈初始化
进程虚拟内存空间分布
进程虚拟地址空间
逆向
逆向WP
重定位和初始化
重定位基地址
重定位表
链接、装载与库
链接器脚本
防止反编译jar方法
静态共享库
静态库与链接
静态链接
非局部跳转
页映射
页错误
08 英语
大一上 通用英语
From Legacy to Discovery, The Journey of Four Kansas Women
U4 HW
U6HW
英语pair work
英语team work
通用英语
大一下 文化传播英语
Pairwork 饺子
U1 Chinese Festival
W3 Chinese Dietary Culture
W4 Diet and Health
W5 Chinese Tea
W6 Chinese Clothes
W9 Ancient Chinese Architecture
W13 Chinese Painting
文化传播英语
六级备考
英语目录
09 思政
军事理论
军事理论
思想道德与法制
00 绪论
01 人生
02 理想信念
03 精神
04 价值
05 道德
06 法制
思想道德与法治
思政
10 rust
Box
cargo
rust
rust 最小文件
rust获取命令行参数
wasm
并发
智能指针
智能指针的分类
状态设计模式
11 心理
心理
情绪管理
非暴力沟通
12 语文
小王子改编
小王子 v1
小王子 v2
小王子 v3
小王子改编
小王子改编大纲
语文
13 AI
AI
alpha-beta 剪枝
14 网络安全
GrIdDS恶意代码检测
二战中典型的密码系统
公钥密码学算法类型综述
典型恶意代码和病毒
基于PLD硬件的检测防御
基于属性的访问策略
密码学
密码学基本概念和二战中的密码破译
密码学的历史
密码学的概念
常见网络欺骗和攻击
环签名
生活中的身份认证
盲签名
网络安全
网络安全新生研讨课目录
网络空间安全课程论文
群签名
零知识证明
15 obsidian
Contribution Graph
Latex Suite
obsidian
Quartz 4
16 tech
joshuto
linux
makefile
virtualenvwrapper 配置与使用
zshrc 配置
17 misc tech
Android
Android 应用程序组件
Android 服务
Android 活动
Android 资源访问
matlab
misc tech
ntfs 数据流
unicode 编码
图片超分
成电 Mooc 油猴脚本
数学实验论文
柚子厨蒸鹅心 WP
解包
17 数据结构与算法
NP-hard问题
NPC问题
NP问题
P问题
图结构
常见的时间复杂度
数据结构与算法
数据结构基本概念
树形结构
渐进分析符号
空间复杂度
算法效率衡量
线性结构
顺序存储
18 java
GC
java
java class语句
java package语句
java 关键字
java 发展历史
Java 核心机制
Java 概论
Java 程序基本结构
Java开发工具
java的语言特点
Java虚拟机
标识符命名规则
信息安全数学基础
Abel 群
互素
互素的性质
信息安全数学基础
最大公因子
最大公因子定理
最大公因子性质
最小公倍数
最小公倍数和最大公因子的关系
同余
同余的性质
埃氏筛法
左逆元
带余除法
整除
整除和同余
整除的性质
标准因子分解式
模
欧几里得除法
求解最大公因子
算数基本定理
素数
群
群的性质
群的阶
友链
Home
❯
01 数学
❯
离散数学
❯
析取范式
析取范式
2024年5月02日
1分钟阅读
有限个
短语
的
析取式
称为析取范式
(
P
∧
Q
)
∨
(
¬
P
∧
Q
)
P
∧
Q
¬
P
关系图谱
反向链接
范式
范式存在定理