kksk43

摘要： 集合运算 等价 命题公式等价 谓词公式等价 推理 命题公式推理 谓词公式推理 阅读全文

摘要： 某日在扣扣群里见到的沙雕网友发的奇怪东西，稍微记录一下... 原问题 喂喂，这些牙白的组合真的是去旅游的吗？ 另外提问 这玩意看着挺绕但确实有解 但问题来了，有多少个不同的解？ 先规定一下嗷，一个解里面不能重复出现相同的状态，否则该解无效 这里的状态简单来说就是：某时刻船的位置（对岸还是本岸）+对岸 阅读全文

摘要： 谓词基本概念 谓词 个体词：分为个体常量（字母abc表示）、个体变量（字母xyz表示） 个体域：个体词的取值范围（常用D表示） 全总个体域：宇宙所有个体域构成的个体域 n元谓词：定义在$D^{n}$上取值于${0,1}$上的n元谓词，记为$P(x_{1},x_{2},...,x_{n})$ 0元谓词 阅读全文

摘要： 前面部分内容略 范式 析取范式和合取范式 文字：命题变元或变元的否定 短语$\wedge$（合取式）：有限个文字的合取（$文字\wedge ...\wedge 文字$，或$文字$） 子句$\vee$（析取式）：有限个文字的析取（$文字\vee ...\vee 文字$，或$文字$） 合取范式：有限个子 阅读全文

摘要： 图像特征-SIFT 概念 SIFT：即恒定尺度特征变换（Scale Invariant Feature Transform） 作用：从图像中提取关键点，再从每个关键点中提取特征向量 提取关键点 图像尺度空间 概念：考虑图像在不同的尺度下都存在的特点，使得机器对物体在不同尺度下有一个统一的认知 方法： 阅读全文

摘要： 图像特征-harris 概念 作用：对图像中的平滑区域、边界区域、角点进行检测 大致原理：使用一定大小的窗口在图像中的所有地方进行微小移动，对移动的差异值进行处理，判断是平滑区域、边界区域和角点 平滑区域： 边界区域： 角点区域： 相关数学推导 目标：计算图像中每个像素点的自相似性，由自相似性可以判 阅读全文

摘要： 分类与回归 分类：对数据集进行学习并构造一个拥有预测功能的分类模型，用于预测未知样本的类标号 回归：可以对预测变量和响应变量之间的联系建模（包括线性回归、非线性回归、逻辑回归等） 分类与回归的区别： 分类预测的输出为类标号，回归预测的输出为连续属性值 分类是监督学习，回归是无监督学习 分类算法有： 阅读全文

摘要： 支持向量机（SVM）的概念 主要思想：可以在逻辑回归的基础上修改，修改代价函数，去掉1/m，正则项去掉$\lambda$，代价项增加C；这些更改使得函数在保证算法性能的基础上减少运算量，同时直接给出预测结果而不是预测概率 1）修改代价函数： 原逻辑回归对针对一项样本的代价计算：\(-yln(h_{\ 阅读全文

摘要： #第13章 软件项目管理 ##13.1 估算软件规模 ###代码行技术 特点：比较简单的定量估算软件规模的方法 优点：代码是所有软件开发项目都有的“产品”，而且很容易计算代码行数 缺点： 1）仅是软件配置的一个成分，用它的规模代表整个软件的规模并不合理； 2）不同语言实现，代码行数不同 3）不适用于 阅读全文

摘要： #第11章 并发控制 并发概念：允许多个用户同时使用同一个数据库的数据库系统称为多用户数据库系统 事务执行方式： 串行执行：每个时刻只有一个事务运行 缺点：不能充分利用系统资源 交叉并发执行：事务并行操作，轮流交叉运行 特点：并没有真正地并行，但减少了处理机的空闲时间 同时并发执行：多个事务真正的并 阅读全文