- 博客(27)
- 收藏
- 关注
RSS订阅原创 CH4 上下文无关文法与下推自动机
文章目录知识点重难点上下文无关文法的简化无用符号杂项知识点推导最左推导（只变换最左边的非终结符）与最右推导归约n步推导符号：*推导树（语法树，语法分析树）根：文法的起始非终结符非叶子结点：文法的非终结符叶子结点：文法的终结符和ϵ\epsilonϵ边缘：文法可以推导出的句子文法从起始非终结符可以n步推导出一个句子，当且仅当至少存在一个以该句子为边缘的推导树同样...
2020-04-30 16:28:22
2008
1
原创 计算机网络：CH5 The Network Layer
文章目录知识点易错点AddressRoutingSwitching杂项知识点位置和功能Internetworking：连接实现技术、包格式、协议等不同的网络（如WIFI与ETHERNET）Packetizing：组包AddressingRoutingFragmenting提供给传输层的服务：只有以下两种Connection-Oriented Service：虚电路 Vi...
2020-04-22 08:27:21
475
原创 CSS学习笔记
CSS入门学习教程网上遍地都是。该笔记只用来记录学习过程中自己的一些理解和思考，包括对一些属性的探讨等等。(未完待续）文章目录常用属性margin border padding属性辨析tipsmargin常用属性paddingbordermarginwidth: 元素宽度background-color: 背景颜色color: 元素颜色text-shadow: 文字阴影...
2020-04-15 20:16:09
233
原创 bash实现/python实现：将带音频ppt中的音频和ppt分离（1: bash 方法）
最近上《形式语言与自动机》的网课，老师会提前给带音频的ppt。我发现不能自由操作音频（比如快进，或者拉动进度条），只好将音频和ppt分开。这里用bash和python两种方式实现将带音频ppt中的音频分离出来。windows系统可以使用python的方法。bash方法Sublime text3 new build system 配置方法之前一直在ubuntu下用vim写bash，...
2020-04-10 09:40:09
397
原创 计算机网络：CH4 The MAC Sublayer
知识点关注重点部分，非重点了解即可多种访问策略sa:static allocation, da:dynamic allocationFDM(sa)TDMSTDM(sa)PCMATDM(da)Random accessALOHApure ALOHAslotted ALOHACSMA（protocol)persistent CSMA1-per...
2020-04-09 16:35:51
981
原创 大学物理：CH2-电磁学
文章目录知识点易错点电通量知识点库仑定律静电力的叠加原理电场强度场强叠加原理电偶极子与电偶极矩连续带电体的场强求解的关键：建立坐标系，微分，积分导线延长线处的场强有限长、半有限长、无限长、半无限长导线x轴上的场强有限长：仰角范围是[−θdown,θup][-\theta_{down},\theta_{up}][−θdown,θup]，线密度为λ\lambdaλ，则x...
2020-04-08 17:44:08
2063
原创 一些和python有关的tips
文章目录工具相关pycharm小白：新建工程与pycharm配置详细流程工具相关pycharm之前一直在用console和spyder写python，最近想试试pycharm效果如何小白：新建工程与pycharm配置详细流程本模块详细描述新建工程与pycharm配置的流程，且解答了新手初次使用pycharm时常会遇到的问题：如新建工程由于新建虚拟环境而时间超长，如第一次运行pyth...
2020-04-08 08:47:06
177
原创 Linux学习笔记：文件与文件夹操作
Linux文件与文件夹操作The structure of the file system of LINUX is a treeSome info/: root directory~: substitute of the main directoryDistinguish the root dir and main dir. Generally the main dir is ...
2020-04-07 20:25:07
137
原创 Linux学习笔记：使用help documents/manuals
文章目录Linux帮助文档man pageinfo pagedocumentall help documentsLinux帮助文档man pageman command: enter the reference manual of commandman 1 man: enter the section 1 of man to refer to specified information o...
2020-04-07 20:23:32
248
原创 Linux学习笔记：一些utilities
LINUX_APPspecial characters\: escape characterClick control+v before all kinds of control+ to transfer the meaning of control+ to constang stringtoolsls: display the names of files in the curr...
2020-04-07 20:21:50
522
原创 Linux学习笔记：入门概要
Linux概要CPU的32位表示数据的最大读取量有 2322^{32}232 大约4GBLINUX的文件名需要写好后缀名click double tab: complete the commands or name of filescontrol+c: force to stop the processcontrol+c: end of filecontrol+w: delete...
2020-04-07 20:16:57
121
原创 LATEX学习笔记：查缺补漏，非入门笔记
文章目录逻辑运算符号数字运算符号比较符号集合运算符号逻辑运算符号写法表示存在$\exists$∃\exists∃任意$\forall$∀\forall∀or$\bigvee$⋁\bigvee⋁and$\bigwedge$⋀\bigwedge⋀异或$\bigoplus$⨁\bigoplus⨁数字运算符号写法表示求和...
2020-04-07 20:14:11
278
原创 MATLAB学习笔记：符号运算
文章目录MATLAB符号运算符号运算入门常用函数数学运算微分积分代数方程求解微分方程求解MATLAB符号运算符号运算入门a=sym(b): 建立符号变量 赋值为bsyms a b c: 建立多个符号变量class(a): 返回变量数据类型符号变量也可以存储多个符号变量复合而成的符号表达式常用函数collect(P ,var): 将符号表达式P根据var合并同指数阶项 并按...
2020-04-07 19:26:44
441
原创 MATLAB学习笔记：矩阵运算进阶
文章目录矩阵操作特殊生成矩阵特征值 特征向量 特征多项式矩阵操作A=flipud(A):将A上下翻转A=fliplr(A):将A左右翻转特殊生成矩阵A=eye(n):生成n阶单位矩阵特征值 特征向量 特征多项式p=poly(A):获取矩阵A的特征多项式的系数（从高到低 最后一项是常数项）poly2str(p ,'x'):将p存储的多项式系数转化为关于x的多项式p本质...
2020-04-07 19:24:50
445
原创 MATLAB学习笔记：绘图
文章目录MATLAB绘图MATLAB二维绘图二维绘图步骤离散绘图连续绘图方程式绘图图像填色MATLAB绘图大多数绘图函数都有handle设置property,大多数颜色、线条等property都可以被设置点型只能用于plot stem设置每次生成新图都要用handle接受 方便后期修改ezplot()如何设置数据点型?如何删除曲线?MATLAB二维绘图注意要先制定x ,y的取...
2020-04-07 19:21:25
374
原创 MATALB学习笔记：基础操作
文章目录MATLAB基础操作数据类型操作函数数值类型强制转换取整复数数值类型显示格式矩阵/数组/向量基本运算向量/数组生成方式向量运算矩阵操作文件操作MATLAB基础操作数据类型操作函数数值类型强制转换init8; uint8; ...; int64; uint64single(); double(); char()取整MATLAB的浮点数类型只有 single 和 doubl...
2020-04-07 19:19:44
244
原创 git基础学习笔记：常用指令与命令、难点与易错点、概念辨析与git使用一般流程
文章目录Create a local git in a folderClone a remote git into a local gitSome operations on files in gitSome commandsGeneral processCreate a remote git of mineCommit changesConfigure ssh keysParticipate i...
2020-04-07 18:36:09
414
原创 STL基础学习笔记：入门、易错点与查缺补漏
文章目录STL notessequence container`typedef basic_string string``template STL notesAllocator is specified in Chapter 23What is end iterator?If the interval is [first ,last), the end iterator is th...
2020-04-07 18:22:15
465
原创 python基础学习笔记：入门、易错点与查缺补漏
Fallibilityrange(n) is from 0 through n-1A dict and list can be nested in both a dict and a listBe careful when calling the elemens of nested dict and listA non-empty string would be regarded...
2020-04-06 10:35:46
366
原创 CH3 右线性文法与有限自动机
文章目录知识点重难易错点DFA NFA ϵ−NFA\epsilon-NFAϵ−NFA正则集、正则表达式、右线性文法、有限自动机 关系DFA最小化泵浦定理详解（pumping定理)杂项有限性文法产生正则语言，该语言可以被有限自动机识别pumping定理逻辑较为复杂，本文在pumping定理详解部分用逻辑语言梳理并阐述pumping定理与该必要条件取反的情况，给出了用pumping定理证明L...
2020-04-06 10:25:18
996
1
原创 CH2 形式语言
知识点基本概念字母表，字符串（句子）字符串的运算：连接（concentation）取逆（倒置）字母表的运算*闭包，+闭包语言语言的运算：积（得到一个新的集合）幂（得到一个新的集合）文法元语言 ——BNF文法是一种 产生语言的数学模型（数学规则，数学方法）故本质上文法是描述语言的语言因此 文法是一种元语言Chomskey文法体系 —...
2020-04-06 09:59:03
337
原创 CH1 INTRO
知识点形式语言定义自动机定义形式语言与自动机的关系：自动机如何识别形式语言重难点易错点形式语言：某个字符表（集合）上的字符串的集合（集合），字符集合元素构成的另外一个字符串集合。注意：形式语言是一个集合！（字符串集合）自动机：具有离散输入输出的数学模型注意：自动机是一个数学模型！若有一个没有状态的箭头指向一个状态A，则状态A是初始状态若状态A有两圈画起来...
2020-04-06 09:51:52
126
原创 vim拓展学习：实现vim内快速打开浏览器显示html效果
文章目录阅前须知实现方法.vimrc文件vim键盘映射vim自动命令vimscript编程vim键盘映射+vimscript 案例一些常见的特殊摁键一些常见的通配符tips:目的：在ubuntu上用vim编写html，并且在vim中可以用快捷键在浏览器firefox中打开.html文件直接观察效果。实现这个功能其实非常简单 但涉及到的知识每一块都可以展开很大篇幅 官方文档对每部分都给出详...
2020-04-06 01:18:14
3745
原创 CH4：指令系统
知识点（非重点部分可跳过）指令系统概念机器指令微指令宏指令指令格式指令字（指令本身）操作码操作类型操作码类型等长操作码可变长度操作码地址码（操作数）n操作数指令或n地址指令(n=0 1 2 3)源操作数目标操作数下一条指令的存放地址双操作数指令运算的三种类型SSRR（CPU内部数据寄存器）RS扩展操作码指令字长与（机...
2020-04-04 15:49:01
220
原创 CH3：存储系统
知识点（非重点部分了解即可）存储系统层次结构两级存储系统CPU（不属于存储层次结构）内部寄存器内存cache主存外存三级存储系统CPU（不属于存储层次结构）指令寄存器数据寄存器Cache主存Cache+主存=内存外存存储系统编址方式存储器访问存储容量存储字数存储字长存取速度指标相似概念不必严格区分访问时间...
2020-04-04 14:55:30
152
原创 Data link layer：选择重传协议(A Protocol Using Selective Repeat)源码分析：protocol6.c
不得不惊讶于前人的智慧和protocal6实现代码中大量巧妙地处理技巧。这部分代码是《Computer Networks, Andrew S.Tanenbaum (5th)》中对选择重传协议的实现代码的描述，其中充斥了大量可供学习、聪明的处理方法。能从头到尾彻彻底底地分析代码的实现机制，不仅有利于提高对protocol6的理解，还能很好地学习到前人设计协议、实现协议的智慧。/* Protoc...
2020-04-04 12:22:20
1114
4
原创 Data link layer：选择重传协议(A Protocol Using Selective Repeat)源码分析：protocol.h
#define MAX_PKT 1024 /* determines packet size in bytes */typedef enum {false, true} boolean; /* boolean type */typedef unsigned int seq_nr; /* sequence or ack numbers */typedef struct {unsigned c...
2020-04-04 11:28:23
281
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人