- 博客(6)
- 收藏
- 关注
RSS订阅原创 AWS架构师
UserGroup:用户组下的用户继承该用户组所有权限Policy：Jason format：类似文字描述，指定object的类型。给user和group提供权限的最小单位Effect：允许/拒绝Action：行动列表Recource：执行action的主体Condition（可选）：实行条件Role：给不同的主题赋予不同的身份，可分配给多种主体。允许访问AWS的帽子。可在AWS service上，或者其他AWS账号：1.指定账号。2.另一个账号下的user需要有权限。
2024-06-07 16:57:11
764
原创 Docker学习
将jar包和环境一起打包，以降低项目部署的困难性跨平台需求！镜像（image）：docker如模板，通过该模板创建容器服务。tomcat镜像->run->tomcat1容器（提供服务器）。通过该镜像可创建多个容器，（最终服务运行或者项目运行在容器中）。容器（container）：Docker利用容器技术，独立运行一个或一个组应用，通过镜像来创建。命令：启动、停止、删除将容器理解为一个精简linux仓库（repository）：存放镜像的地方。公有仓库&私有仓库Docker Hub（国外）
2024-06-07 16:48:31
1375
原创 期末总结：面向计算机科学的数理逻辑：系统建模与推理
Chapter 1 命题逻辑——逻辑符号——证明规则——作为形式语言的命题逻辑——命题逻辑的语义——范式Chapter 2 谓词逻辑——作为形式语言的谓词逻辑——谓词逻辑的证明论————自然演绎规则——谓词逻辑的语义——谓词逻辑的不可判定性——谓词逻辑的表达能力Chapter 3 通过模型检测进行验证——模型检测——线性时态逻辑通过将证明规则(proof rules)应用于前提(premises)公式，推断(infer)出结论(conclusion)ϕ1,ϕ2,…,ϕn⊢ψ 称为矢列(sequent)，如果
2023-07-24 15:53:36
253
原创 操作系统重点复习
死锁：是指两个或两个以上的进程在执行过程中，因争夺资源二造成的一种互相等待的现象，若无外力作用，它们都将无法推进下去。称此时系统处于死锁状态或系统产生了死锁。称这些永远在互相等待的进程为死锁进程。所占用的资源或者需要它们进行某种合作的其他进程就会相继陷入死锁，最终可能导致整个系统处于瘫痪状态。产生死锁必须同时满足以下四个必要条件，缺一不可**互斥条件：**只有对必须互斥使用的资源的争抢才会导致死锁（如哲学家的筷子、打印机设备）。像内存、扬声器这样可以同时让多个进程使用的资源是不会导致死锁的（因为进程不用阻塞
2022-01-08 12:58:03
1652
原创 C++期末课程设计：设计一个学生学籍管理系统
学生信息包括：姓名、学号、性别和英语、数学、程序设计、体育成绩。 从键盘输入数据，建立数据文件student.dat。 实现对学生或学号查询，显示信息。 对所有学生，按照班级计算平均成绩。 分别按照英语、数学、程序设计和体育成绩排序生成结果文件。话不多说，上测试结果图代码如下：#include <iostream>#include <fstream>#include <Windows.h>using...
2021-12-21 12:07:29
3205
4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人