自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(29)
  • 收藏
  • 关注

原创 计算理论基础:3、可计算性

的平行带为双向无限的(双向纸带可被单带模拟,相差常数级),。以内都是半满的,所以需要移动这么多次才会再遇到。每个区域只有三个状态:空的,满的或者时半满的。根据引理3.9,我们知道一个多带图灵机可在。移动纸带,而不是移动指针。完成一次操作后,那么接下来的。内转化为一个单带图灵机。的每一步,UTM u 将。中的缓冲符号的数目只能为。​ 存在一个多带图灵机。的时间(移动纸带就需要。带标志组成的列向量,次的移动指标不会超过。操作),因此,最多有。

2024-04-18 21:55:27 900

原创 数据库引论:5、关系数据库设计理论

​ 没有冗余,例如indepindepIDnamesalarydeptnamebuildingbudget​ 表示instructor和department的关系上进行自然连接的结果,但实际上存在许多冗余,对于同一个院系的老师(例如CompSci),每一个元组都在building属性上冗余了。

2024-04-17 16:25:57 833

原创 代数结构:4、域

15.域​ 回顾一下域的定义,对于代数结构[F;+,⋅][F;+,\cdot][F;+,⋅],满足:+构成Abel群,⋅\cdot⋅构成半群⋅\cdot⋅关于+满足分配律 (至此构成环)如果⋅\cdot⋅满足交换律,有单位元,且无零因子,构成整环如果⋅\cdot⋅满足有单位元,无零因子,且非零元有逆,构成除环整环非零元有逆,或除环满足交换律,构成域15.1 扩域定义1 扩域​ 当FFF是域,F′⊆F,F′≠∅,F′F'\subseteq F,F'\ne \varno

2024-04-10 21:51:41 1429

原创 数据库引论:3、中级SQL

在SQL中通过使用命令来定义视图,且需要给视图一个名称,则格式为createviewvas查询表达式;create\ view\ v\ as\ ;createviewvas查询表达式;

2024-04-08 08:00:00 1138 1

原创 数据库引论:4、使用E-R模型的数据库设计

如果E1E2⋯EnE1​E2​⋯En​为实体集,那么联系集RRR是e1e2⋯en∣e1∈E1e2∈E2⋯en∈En{(e1​e2​⋯en​∣e1​∈E1​e2​∈E2​⋯en​∈En​的一个子集,其中e1e2⋯ene1​e2​⋯en​是一个联系实例联系集的属性在E-R图中通过未分割的矩形来表示。递归的联系集。

2024-04-07 20:10:18 959

原创 计算机体系结构:5、中央处理器

​ CPU的基本职能是周而复始地执行指令,但执行过程中可能会遇到一些异常情况和外部中断,故还要能发现和处理异常情况和中断请求。取指令。从PC指出的内存单元中取出指令送到指令寄存器(IR)对IR中的指令操作码译码并计算下条指令地址。不同指令的功能不同,即指令涉及的操作过程不同,因而需要不同的操作控制信号。计算源操作数地址并取源操作数。根据寻址方式确定源操作数地址计算方式,若源操作数是存储器数据,则需要一次或多次访存。例如,对于间接寻址或两个操作数都在存储器的指令,需多次访存;

2024-04-01 11:57:33 894

原创 MySQL的安装配置

mySQL的安装配置

2024-03-30 15:38:02 1169

原创 单调栈(C++)

单调栈,即栈中元素是单调递增的或是单调递减的,是一个比较好用的数据结构.

2024-03-28 08:00:00 1349

原创 32位ALU的代码设计及仿真结果(基于vivado)

实验要求是使用3位OP码,实现32位ALU的相关运算。

2024-03-27 16:07:13 703

原创 计算理论基础:2、丘奇-图灵论题

Def3.1Def\ 3.1Def3.1图灵机是一个7元组Q∑Γδq0qacceptqrejectQ∑Γδq0​qaccept​qreject​Q∑ΓQ∑Γ都是有穷集合,并且QQQ是状态集∑\sum∑是输入字母表,不包括特殊空白符号⊔\sqcup⊔Γ\GammaΓ是带子字母表,其中,⊔∈Γ⊳∈Γ∑⊆Γ⊔∈Γ⊳∈Γ∑⊆ΓδQ×Γ→Q×Γ×L。

2024-03-26 20:38:32 820

原创 数据库引论:3、中级SQL

​ 在SQL中通过使用命令来定义视图,且需要给视图一个名称,则格式为createviewvas查询表达式;create\ view\ v\ as\ <查询表达式>;createviewvas查询表达式;

2024-03-25 08:00:00 1359

原创 代数结构:3.环

环:代数系统R;;∗[R;*]R;;∗,其中+,*为定义在RRR上的二元运算,满足下述条件,对任意abc∈Ra,b,c\in Rabc∈R​ +可结合、交换,且有单位元、逆元;*可结合,且满足分配率,则称R∗[R,+,*]R∗为环即R;[R;+]R;为Abel群,[R,*]为半群零因子R;;⋅[R;\cdot]R;;⋅为环,ab∈Ra≠0b≠0ab∈Ra0b0,但a⋅b0。

2024-03-24 18:33:40 1105 1

原创 计算机体系结构:4.指令系统

一条指令必须明显或隐含包含的信息:操作码:指定操作类型(操作码长度:固定/可变)源操作数参照:一个或多个源操作数所在的地址(操作数来源:主(虚)存、寄存器、I/O端口、指令本身)结果值参照:产生的结果存放何处(目的操作数)(结果地址:主(虚)存、寄存器、I/O端口)下一条指令地址:下条指令存放何处(下条指令地址:主(虚)存,正常情况隐含在PC中,改变顺序时由指令给出)

2024-03-18 15:37:59 802 1

原创 数据库引论:2.SQL简介

char(n):具有用户指定长度n的固定长度的字符串,也可以使用全称形式charactervarchar(n):最大长度为n的可变长度的字符串int:整数smallint:小整数(依赖于机器的整数类型的子集)numeric(p,d):具有用户指定精度的定点数。这个数字有p位数(算上一个符号位),并且小数点右边有p位中的d位数字real,double precision:浮点数与双精度浮点数,精度依赖于机器float(n):精度至少为n位数字的浮点数使用createt。

2024-03-16 15:51:27 1646 1

原创 验证子序列(动态规划)

以上数量级的输入,则不可能遍历这么多次T字符串,为了节省时间,我们可以对T进行预处理,转而遍历较短的S串。那么我们需要知道,在T的某个位置i后的某一个字符j在哪个位置第一次出现,如此可以直接跳转到那个位置,继续匹配S串的下一个字符。在后续验证的时候,可以用start记录开始匹配的位置,每次匹配完成都要在匹配后的下一个位置开始,否则可能会无限循环,给出错误的判断。如果当前位置是字符j,则更新为当前位置,如果不是,则更新为后一位的j字符位置,这就是转移方程。亿,你需要依次检查它们是否为 T 的子序列。

2024-03-14 22:27:20 470 1

原创 计算机体系结构: 3. 运算方法和运算部件

参考教材请看栏目的1

2024-03-13 08:30:00 919

原创 计算机体系结构:2.数据的机器级表示

参考教材详见1

2024-03-12 08:30:00 580 1

原创 计算机体系结构:1.计算机系统概述

参考教材为:《计算机组成与系统结构》袁春风 第三版

2024-03-11 19:57:54 867

原创 计算理论基础:1、自动机与语言

计算理论基础中的自动机与语言部分,参考教材为计算理论导引

2024-03-08 08:00:00 1461 1

原创 数据库:1.关系模型与关系代数

数据库相关知识,参考教材为数据库系统概论

2024-03-07 16:36:37 930 1

原创 轮换数组(环形以及翻转)

原理是简单的,将所有元素向右移动k位,则末尾的k%n个元素就到了前端,则先整体翻转,再分别将。对于回到起点的情况就均自增1即可,不用管需要循环多少次,总之n个元素都要换一次。个人的解法是官方题解的方法二,就是环那个,但没有用数学简化。,将数组中的元素向右轮转。

2024-03-05 20:18:13 230

原创 Boyer–Moore投票算法

显而易见,如果一个人拥有的选票比其它所有人加起来的选票还要多的话,这个候选人将会赢得这场“战争”,当混乱结束,最后剩下的那个代表(可能会有多个)将会来自多数人所站的阵营。​ 更通俗的说,众数的性质决定了它的出现次数要多于其余数字,如果最终count为负数或为0,则说明不存在众数,在这种情况下,candidate是一个随机数。简化:只需要记住候选者的名字和目前票数,每遇到一个不同候选者,目前票数-1,反之则+1,当票数归0时,更换候选者为当前候选者,并将票数置为1。​ 减治的思想,即如果原集合。

2024-03-04 12:39:51 1191

原创 离散数学:1.代数系统预备

群相关知识的前置

2024-03-01 14:44:37 651

原创 离散数学:2.群

群的知识简介,参考教材为《离散数学》赵一鸣

2024-02-28 14:14:36 564

原创 Web前端新手入门系列:HTML5

HTML5的知识概要

2024-01-19 10:45:46 838 1

原创 博客园Markdown文件上传指南(2024年)

提供将md文件直接上传博客园的一个办法

2024-01-18 15:13:24 847 1

原创 Web前端新手入门系列:案例1 银行页面

一次比较复杂的网页设计(对初学者而言)效果图代码可能不太符合规范,但效果一样(HTML部分<!DOCTYPE html><html lang="en" xmlns="http://www.w3.org/1999/xhtml"><head> <meta charset="utf-8" /> <title>招商银行</title> <link rel="stylesheet" href="e

2024-01-18 14:40:04 424 3

原创 Web前端新手入门系列:2、CSS

CSS的知识概要

2024-01-18 14:37:56 332

原创 Web前端新手入门系列:1、HTML

对于初学者的HTML知识概要

2024-01-18 14:30:58 897 2

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除