摘要: 1.命题符号化及联结词 简单命题,命题常项,命题变项,复合命题。 否定联结词,合取联结词,析取联结词,蕴涵联结词,等价联结词 2.命题公式及分类 命题公式,永真式,永假式,可满足式 3.等值演算 若等价式A<->B是重言式,则称A与B是等值的。 24个重要的等值式。 阅读全文
posted @ 2019-04-13 21:27 ciel-coding杂记 阅读(379) 评论(0) 推荐(0) 编辑
摘要: 1.外存信息的存取 在磁盘上读写一块信息所需的时间由3部分组成: 寻查时间+等待时间+传输时间。花费主要在寻查时间上。 2.外部排序的方法 首先,按可用内存大小将外存上含n个记录的文件分成若干长度为l的子文件或段,依次读入内存进行排序,排序后重新写入外存,这些有序的子文件称为归并段或顺串, 然后将有 阅读全文
posted @ 2019-04-13 14:32 ciel-coding杂记 阅读(303) 评论(0) 推荐(0) 编辑
摘要: 1.假设Ri=Rj,若排序前的序列中Ri领先于Rj,排序后Ri仍领先于Rj,则称所用的排序方法是稳定的,否则称所用的排序方法是不稳定的。 由于待排序的记录数量不同,使得排序过程中涉及的存储器不同,将排序方法分为两大类: 1.内部排序:指待排序记录存放在计算机随机存储器中进行的排序过程。 2.外部排序 阅读全文
posted @ 2019-04-10 23:34 ciel-coding杂记 阅读(349) 评论(0) 推荐(0) 编辑
摘要: 1.静态查找表 折半查找 静态最优查找树 次优查找树 2.动态查找表 二叉排序树和平衡二叉树 二叉排序树是具有以下性质的二叉树: 1.若它的左子树不空,则左子树上所有结点的值均小于它的根结点的值 2.若它的右子树不空,则右子树上所有结点的值均大于它的根结点的值 3.它的左右子树也分别为二叉排序树 二 阅读全文
posted @ 2019-04-03 23:17 ciel-coding杂记 阅读(189) 评论(0) 推荐(0) 编辑
摘要: 1.可利用空间表及分配方法 两种结构的可利用空间表:目录表和链表 此仅讨论链表。 常用的三种分配策略: 1.首次拟合法:从表头指针开始查找可利用空间表,将找到的第一个大小不小于n的空闲块的一部分分配给用户。 2.最佳拟合法:将可利用空间表中一个不小于n且最接近n的空闲块的一部分分配给用户。 3.最差 阅读全文
posted @ 2019-03-28 23:47 ciel-coding杂记 阅读(451) 评论(0) 推荐(0) 编辑
摘要: 为了使中断处理程序的响应更加快速,Linux通过两种非紧迫的、可中断内核函数即所谓的可延迟函数(软中断和tasklet)和工作队列来实现。 tasklet是建立在软中断之上实现的。 中断上下文:表示内核当前正在执行一个中断处理程序或一个可延迟的函数(软中断和tasklet等)。 软中断的分配是静态的 阅读全文
posted @ 2019-03-26 17:39 ciel-coding杂记 阅读(175) 评论(0) 推荐(0) 编辑
摘要: 1.图的存储结构 数组表示法:用两个数组分别存储数据元素(顶点)的信息和数据元素之间的关系(边或弧)的信息。 以二维数组表示有n个顶点的图时,需存放n个顶点信息和n^2个弧信息的存储量。 对于无向图,顶点vi的度是邻接矩阵中第i行的元素之和。 对于有向图,第i行的元素之和为顶点vi的出度OD(vi) 阅读全文
posted @ 2019-03-21 22:51 ciel-coding杂记 阅读(261) 评论(0) 推荐(0) 编辑
摘要: 1.中断 同步中断:由当前CPU执行完一条指令之后产生,intel处理器手册也将同步中断称为异常。 异步中断:由其他硬件设备依照CPU时钟信号随机产生,intel处理器手册将异步中断称为中断。 中断处理需要满足的约束: 1.中断处理必须尽可能的快和短,关键紧急和跟硬件相关的操作内核应立即执行,其余推 阅读全文
posted @ 2019-03-21 17:15 ciel-coding杂记 阅读(593) 评论(0) 推荐(0) 编辑
摘要: 什么是赫夫曼树? 赫夫曼树:树的带权路径长度WPL最小的二叉树,又称最优二叉树。 阅读全文
posted @ 2019-03-20 21:25 ciel-coding杂记 阅读(143) 评论(0) 推荐(0) 编辑
摘要: 1.在Linux中轻量级进程就是线程,轻量级进程之间可以共享资源。 进程描述符:task_struct 存放一个进程相关的所有信息。可以说一个进程描述符就代表一个进程。 进程的七种状态:可运行状态、可中断等待状态、不可中断等待状态、暂停状态、跟踪状态、僵死状态、僵死撤销状态 进程标识符(PID) 进 阅读全文
posted @ 2019-03-20 12:07 ciel-coding杂记 阅读(290) 评论(0) 推荐(0) 编辑