- 博客(20)
- 收藏
- 关注
RSS订阅原创 全托管的小程序开发（一）——目录结构介绍
小程序组件小程序基本介绍目录结构介绍组件今日碎碎念：今天是建党一百周年，想到建党九十周年的时候我上小学参加了手抄报比赛，那个时候还分不清党和新中国有什么区别，第一稿做的是新中国成立，后来改了好几遍，查资料的过程中了解了什么是党，最后拿了一等奖（小时候创新能力好强，现在完全是死脑筋），十年都过去了，现在还能记得我在姥姥家的茶几上蹲着赶最后一遍稿的情景，希望祖国越来越好，我与祖国同发展，努力努力再努力。以下是本次教程的学习路线和预计目标，这个部分完结时代码会放在我的github上，最后一篇会附上链接。小程序
2021-07-01 17:06:36
245
2
原创 可编程计数器/定时器8253、8254
计数器/定时器引言工作原理8253内部结构和引脚信号初始化编程及门控信号8253工作方式8253应用产生定时波形LED灯的点亮和熄灭计数功能8254拓展功能——读回命令引言计算机中的定时功能DRAM的定时刷新扬声器发声对外部事件计数基本原理给计数器设置一个初始值（通过软件实现），初始值按照时钟的频率进行减一，为0时产生中断，转入中断服务程序实现对应功能工作原理8253内部结构和引脚信号数据总线缓冲器CPU用IN、OUT指令对8253进行读写的信息，都经D7~D0传送，包括:
2021-05-01 18:57:34
5327
原创 存储器——虚拟内存概述及发展历史
虚拟存储器概述及发展历史虚拟内存引言早期分页存储器管理虚拟地址空间段式和段页式虚拟存储管理虚拟内存引言早期分页存储器管理早期：内存有限，程序员自己管理主存虚拟地址空间段式和段页式虚拟存储管理...
2021-04-18 01:07:48
1013
原创 8086数据段汇编语言格式
数据段汇编语言格式基本概念练习碎碎念：这部分内容是对8086数据段汇编语言格式的总结，网上的资源较少，书上的讲解也过于零散，所以就结合网络资源和课本总结了一下这部分内容。最近发博客会比较频繁，本周要完成的内容也很多。不重要的文字：本周第一次通宵改代码，正好那天晚上小鬼在写歌，我与小鬼同在hhh基本概念伪指令：伪指令没有对应的机器码，CPU不能直接执行，需要由汇编程序处理。数据定义伪指令为变量申请固定长度的存储空间，并将对应的存储单元初始化。在数据段中标识的助记符都为数据定义伪指令在汇编语言程
2021-04-16 11:32:18
3179
原创 计算机组成原理与设计——层次化存储（一）
层次化存储（一）这部分内容我更倾向于记笔记，但是总想通过写博客的方式说一些最近的经历，表达自己想说的话，所以决定直接把笔记贴上来。最近看《棋魂》，动漫里最喜欢的一段表达：——爸爸，你说我有下围棋的天赋吗？——我不知道，但是我看到了你的其他天赋。——是什么呢？——坚持不懈以及比别人更热爱围棋的天赋塔矢亮真的是人生的理想状态。...
2020-11-29 23:30:18
169
原创 自然语言处理实战笔记——2.简单的聊天机器人
实战练习——简单的聊天机器人计算机眼中的语言不管是怎样的语言，在计算机中都会被认定为0101的二进制序列，一般情况下，我们会使用最简单的按位匹配去让计算机认定我们想表达的意思，比如：Lil ghost被指定为0101，那么在计算机中就会使用一个叫有限状态自动机（数电中的状态转移图一样的东西）按位去识别，嗯，第一位是0，如果第二位是1，就继续识别，如果第二位是0就停止识别（实际情况下有那么多二进制位串情况，到这肯定是会转移到另一种状态，这里仅仅针对了0101这个例子）但这也太麻烦了吧！我说hello和h
2020-11-21 23:00:28
508
1
原创 自然语言处理实战笔记——1.NLP概述
NLP概述什么是NLP机器翻译系统案例分析时隔n个月后回归！人工智能大作业突然布置了分词，想想去年没有完成的主观题批改项目，留下了不学无术的泪水（本来有无数个作业能拿这个冒充的呜呜呜）。现在是晚上11点，估摸着小鬼也在练舞，那就冲冲冲！周四面试，好紧张，拿到钱就可以毫无顾虑见小鬼啦！什么是NLP???? 自然语言和编程语言看见这个标题就想起来上学期学离散中形式化语言的痛苦经历，编程语言其实已经把自然语言变成了一个符号集合，但是自然语言很麻烦啊，我连英语都学不会！但是现在我们要教计算机学会自然语言
2020-11-21 20:43:07
324
原创 C++学习笔记——类和对象（今天是521，你有对象了吗）（一）
类和对象面向对象程序类和对象二级目录三级目录这一章开始进入真正OOP的世界刚刚接到期末考试通知心里很慌，发现自己好多东西还没学会，趁晚上睡不着开始复习，希望这次考试考好（然后可以去看小鬼的演唱会）这一章开始进入真正OOP的世界对象：对现实生活中对象的抽象，具有属性和行为，我们对具有相似属性和行为的对象进行抽象就形成了类，对象是类的实例类：对一类对象的封装，提供对外接口，隐藏内部细节，创建类...
2020-05-21 21:59:33
178
原创 程序的静态链接——链接和目标文件格式
链接概述和目标文件格式可执行文件生成概述可执行文件的生成链接链接发展史链接操作的步骤链接的好处目标文件格式三类目标文件ELF目标文件格式概述ELF可重定位目标文件格式ELF可执行目标文件格式今天，手机坏了，这部分的课后题忘交了，没心情学习怎么办，那就听《Artist》吧，小鬼在加油，鬼姐姐也得加油首先我们提到了链接这个词，链接器是将多个可重定位目标文件合成一个可执行文件的工具。可执行文件生成概述这部分内容主要讲述如何从.c文件转化为可执行目标文件，以及链接器的主要功能可执行文件的生成前三种文件
2020-05-15 15:50:25
1044
原创 离散数学——coq学习笔记（二）
ProofProof By Simplification二级目录三级目录Proof By Simplification之前的代码中出现过Proof. simpl. reflexivity. Qed.simpl是将方程的两边简化，reflexivity使用自反性检查两边是否包含相同的值例如：二级目录三级目录...
2020-05-07 19:33:03
1369
原创 模块化思想——C++函数的魅力（一）
C++函数（一）函数的定义和使用函数的定义函数的调用嵌套调用递归调用函数的参数传递内联函数含可变参数的函数带默认参数值的函数或许有一天c++系列能全部更新完，但是这里才是我写c++笔记的起点，本人也是边学边写，理解方面肯定会有很多问题存在，会尽量慢慢琢磨修改，有问题的地方也希望大家批评指出。参考书目《C++ primer plus》《C++语言程序设计 郑莉》《C++语言描述，数据结构与算...
2020-05-06 00:30:01
544
原创 探索归纳的奥秘
Induction集合论中的归纳法集合的构造coq：InductionRequire exportProof by Induction应用举例：list的构造从初中开始我们就使用数学归纳法证明数学题，我们首先需要确定归纳的基础，在n=1或n=1，n=2时式子成立，然后在此基础上假设n=k-1时所证内容成立，从而推导出n=k时成立，命题得证，实际上归纳是数学的基础之一，我们利用归纳定义了自然数，定...
2020-05-05 11:18:18
338
原创 复杂数据类型的机器级表示（一）
复杂数据类型的机器级表示数组和指针数组的分配和访问数组的地址数组在内存的存放静态区数组auto型数组的初始化和访问数组和指针的关系指针数组和多维指针基本概念实例结构和联合数据结构体数据的分配和访问基础知识结构体数据作为入口参数联合类型的分配和访问数据的对齐存放越界访问和缓冲下周要交线代和数逻的作业，问题这两门课我落了很多，感觉这个星期头发不保了反正小鬼能两天写一首歌，那我也能两天学一门课！努力...
2020-05-01 11:54:23
324
原创 离散数学——集合论（二）
集合论（二）集合上的运算（续）无限交和无限并集合的构造幂集合自然数集合的构造序偶n元组乘积集合集合论知识图谱（以下主要是考试内容）今天结束集合论的部分，然后再去啃coq，想想刚开学还妄想把MIT的课程跟着看完…希望我欠的东西在期末考试前都能学完吧…希望小鬼来武汉开演唱会集合上的运算（续）无限交和无限并指标集（Index）I是一个集合，并且对∀i∈I都有一个集合Si与之对应，称这样的集...
2020-04-25 23:14:08
2335
1
原创 程序的机器级表示（三）——C语言的相关语句
过程和选择过程（函数）调用过程概述寄存器使用约定（分配寄存器的规则）入口参数的位置实例递归函数的实现三级目录不说那么多鬼言鬼语，直接开始。过程（函数）调用概述：存放参数→调用add（add函数首地址）→add取出参数，执行相关过程→存放返回结果→返回main过程概述1 参数的传递-参数通过stack传递P将入口参数（实参）存储在Q能访问到的地方2 转移指令P保存返回地址（c...
2020-04-22 19:23:22
290
原创 程序的机器级表示（一）——概述
程序的机器级表示（一）指令系统概述程序转换概述IA-32指令系统三级目录闲聊：这即将是一个非常非常重要的系列，参考mooc上南京大学的计算机系统基础和经典书目《深入理解计算机系统》，也是我每次上新课都得返回去学旧知识的课，周而复始，感触颇深，我还是没记住 这周还要准备其他科目期中考试，但是不总结一下我后边的课又听不懂了，所以这周注定是多个不眠之夜，想想小鬼经常熬夜写歌还是觉得自己应该再努力一点，...
2020-04-20 11:03:05
851
原创 离散数学——coq学习笔记（一）
Coq学习笔记（一）BASICS函数编程枚举类型引例：Days of the week（定义一个类型）一些基础语法定义TypeCheck命令多元组Compute命令定义一个新常量BOOLEANS布尔表达式的构造相关定义布尔表达式的相关运算律用Example检查计算结果是否符合预期课堂实例自然数和链表的递归构造自然数链表的构造参考书目课后题答案OMG,没学离散数学之前觉得这就是门数学，学了之后被逻...
2020-04-19 01:15:39
2994
原创 离散数学——集合论（一）
集合论（一）基本概念集合上的运算运算的定义（部分简单内容跳过，逻辑公式可自己写出）文氏图和范式 [Venn diagram](https://en.wikipedia.org/wiki/Venn_diagram)这部分内容因为高中接触过，这种熟悉感就会降低心里对新知识难度的畏惧感，难点还是利用coq语言证明相关结论，文末贴了一些编辑时用到的链接。关于coq语言会在后边发一些学习笔记，算是加深...
2020-04-12 17:36:57
1424
原创 λ演算简介及coq实现λ演算
目录λ演算简介及coq实现λ演算什么是λ演算λ的文法（语法和符号表示规则）有关λ表达式的一些运算形式化λ演算系统和计算（使用coq）λ演算简介及coq实现λ演算离散数学开课后感觉很多东西需要更深探索，老师也教授了一些coq证明系统的内容，感觉λ演算不太好理解，打算用这种方式加深自己的理解，第一篇博客，内容来自对网上一些解释和老师讲解内容的理解，随后会推出自然推理系统和coq证明系统的基本使用方...
2020-04-10 18:00:48
1136
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人