摘要: DOCKER Docker概述帮助命令帮助命令镜像命令容器命令常用其他命令端口暴露的概念部署ES+kibana理解分层Commit镜像 容器数据卷使用数据卷尝试安装MySQL具名挂载和匿名挂载 DockerFileDockerFile指令 Docker 网络Docker0--link Docker概 阅读全文
posted @ 2024-06-07 16:48 一条咸得发慌的鱼 阅读(12) 评论(0) 推荐(0)
摘要: 面向计算机科学的数理逻辑:系统建模与推理 Chapter 1 命题逻辑 ——逻辑符号 ——证明规则 ——作为形式语言的命题逻辑 ——命题逻辑的语义 ——范式 Chapter 2 谓词逻辑 ——作为形式语言的谓词逻辑 ——谓词逻辑的证明论 ————自然演绎规则 ——谓词逻辑的语义 ——谓词逻辑的不可判 阅读全文
posted @ 2023-07-24 15:53 一条咸得发慌的鱼 阅读(110) 评论(0) 推荐(0)
摘要: 华为ATLAS200DK踩坑指北 连接200dk方式 200dk连接至网络 更改时间 虚拟机安装MindStudio 在gitee ascend/samples wiki找合设环境、下载最新版本进行sd卡烧录 连接200dk方式 预先安装vmware和ubuntu 用usb线将200dk和电脑连接, 阅读全文
posted @ 2023-06-24 13:00 一条咸得发慌的鱼 阅读(163) 评论(0) 推荐(0)
摘要: 数字电子技术基础B ​ ——从入门到入土 绪论 课程目的:掌握基本概念、基本设计和分析的方法、以及基本实验技能;具有能够继续深入学习和接受电子技术新发展的能力,以及将所学知识用于本专业的能力。 1.数字量和模拟量 ·数字量:在时间上和数量上都是离散、不连续的。(存在一个最小数量单位Δ) ·模拟量:数 阅读全文
posted @ 2022-01-08 23:05 一条咸得发慌的鱼 阅读(1001) 评论(0) 推荐(0)
摘要: 操作系统复习重点整理 1.死锁的概念和死锁的原因、死锁的必要条件 死锁的概念 死锁:是指两个或两个以上的进程在执行过程中,因争夺资源二造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。 称这些永远在互相等待的进程为死锁进程。 所占用的资源或者需要它 阅读全文
posted @ 2022-01-08 12:58 一条咸得发慌的鱼 阅读(38) 评论(0) 推荐(0)
摘要: 老何操作系统复习重点整理 1.死锁的概念和死锁的原因、死锁的必要条件 死锁的概念 死锁:是指两个或两个以上的进程在执行过程中,因争夺资源二造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。 称这些永远在互相等待的进程为死锁进程。 所占用的资源或者需 阅读全文
posted @ 2022-01-04 14:58 一条咸得发慌的鱼 阅读(554) 评论(0) 推荐(0)
摘要: 学生信息包括:姓名、学号、性别和英语、数学、程序设计、体育成绩。  从键盘输入数据,建立数据文件student.dat。  实现对学生或学号查询,显示信息。  对所有学生,按照班级计算平均成绩。  分别按照英语、数学、程序设计和体育成绩排序生成结果文件。 话不多说,上测试结果图 代码如下: 阅读全文
posted @ 2021-12-21 12:07 一条咸得发慌的鱼 阅读(62) 评论(0) 推荐(0)