Jason's blog

摘要： printf格式化字符串 基础知识 printf常见用法,前面是format，后面是匹配的参数。printf本身可以输入无限参数，即printf不知道参数个数，有格式化字符串%s,%d,%c等就到栈中去取参数。 printf("%s",s); 有一个特殊的格式化字符串%n,将前面的字符数量输入到参数 阅读全文

摘要： 备注：BUUCTF在线评测 (buuoj.cn) rip checksec 使用,查看文件的加固机制 checksec filename#老版 checksec --file=filename #新版 **Arch:**程序架构信息 RELRO（relocation read-only)：主要针对G 阅读全文

摘要： 简介 n-gram是自然语言处理NLP中一种词组序列预测和评估模型。 n-gram将日常中的一句话切分成不同单元的序列，通过前$n-1$个单元(词组)评估第n个单元的合理性。 切分单元和n数量的选择非常重要，往往决定着模型的效果。 评估语句是否合理 假设一个句子由词组序列$w_1,w_2,w_3,\ 阅读全文

摘要： 简介 现代优化算法是 80 年代初兴起的启发式算法。这些算法包括禁忌搜索（tabu search），模拟退火（simulated annealing），遗传算法（genetic algorithms），人工神经网 络（neural networks）。它们主要用于解决大量的实际应用问题。目前，这些算 阅读全文

摘要： 概念 在一组等式或不等式的约束下，求一个函数的最大值（或最小值）问题，其中至少有一个非线性函数，这类问题称之为非线性规划问题。可概括为一般形式 \[ \begin{aligned} & \min f(x) \\ \text { s.t. } & h_{j}(x) \leq 0, \quad j=1, 阅读全文

摘要： 简介 遗传算法模拟了自然界物竞天择、适者生存的的进化过程，保留好的物种。 遗传算法是从代表问题可能潜在的解集的一个种群（population）开始的，而一个种群则由经过基因（gene）编码的一定数目的个体(individual)组成。每个个体实际上是染色体(chromosome)带有特征的实体。 是 阅读全文

摘要： **支持向量机（support vector machines, SVM）**是一种**二分类模型**，它的基本模型是定义在特征空间上的**间隔最大的线性分类器**，间隔最大使它有别于感知机；SVM还包括**核技巧**，这使它成为实质上的非线性分类器。 阅读全文

摘要： PE即Portable Executable，是Windows OS下使用的可执行文件格式。PE文件是指32位的可执行文件，亦称为PE32。64位的可执行文件称为PE+或PE32+，是PE文件的一种扩展形式。 阅读全文

摘要： KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware 检测嵌入式设备固件中不安全的多二进制交互 摘要 嵌入式设备（例如路由器和物联网设备），软件依赖于硬件，通常在具有非标准配置的独特的最小环境中执行。许多 阅读全文

摘要： 线性规划 概念 线性规划的Matlab标准形式 数学标准型 可行解 满足约束条件的解$x=(x_1,x_2,\cdots,x_n)$，称为线性规划问题的可行解. 而使目标函数达到最大值的可行解叫最优解。 可行域 所有可行解构成的集合称为问题的可行域，记为R。 解决方法 图解法 简单直观，有助于了解线 阅读全文