隐藏OEM分区的解决办法和推荐的清理磁盘的方法

article/2025/10/21 13:14:36

前言:在以前我想瘦身c盘,并扩展c盘的时候,发现自己的oem分区 ,也就是恢复分区,当时想删除合并到C盘上,胆子小,没敢试,当时还把oem分区显现出来了,所以这里需要来进行隐藏。

升级Win10后,“此电脑”中出现一个新的分区(约500M),并且系统中总是提示该分区磁盘不够用的干扰信息。右键单击“此电脑”——>管理——>磁盘管理,发现这是一个名叫OEM的分区,再扩展了一下这个概念,原来还有恢复分区、OEM分区、EFI系统分区,它们之间的区别和联系如下:

  • OEM分区里有厂商预装的一键还原程序,恢复分区(image,也是OEM分区)装有厂商系统还原的镜像文件;
  • OEM分区和恢复分区主要是用于一键还原 可以将电脑系统恢复到初始状态
  • EFI系统分区含有引导文件删了就无法启动和修复系统
  • 这几个分区中若有一个损坏或丢失 就无法还原系统 

根据以上信息,这个分区最好还是不要删除了,以防系统恢复出现问题,转而找其它解决出现干扰信息的问题。首先想到的是扩展分区的空间,但发现不能做这个操作。经过查找资料发现可以将这个分区隐藏,隐藏后就不会出现干扰信息了。

说实话,我更想删了它,因为它在我的c盘和d盘之间,我就不能扩展C盘了。隐藏步骤如下:

  • 打开命令提示符:Win键+R,搜索cmd
  • 输入diskpart,进入磁盘管理工具
  • 找到OEM分区的盘符

 

C盘以饱满,软件太多,东西太多不适合重做系统,等毕业了在做吧,文档,环境都不能动,今天删了好多软件,已经尽量删了,也不知道window系统怎么慢慢涨了100多G,是用了快两年的缘故吗?

CCleanner软件 是我除了正常360 软件管家等大众软件外,个人因为比较好用的软件;

个人观点360真的不好用,同时按照多个杀毒清理软件,留一个就好,在安装或破解一些软件的时候要退出,容易自动删除插件等,导致安装失败。

目前我知道的C盘那些文件可以删除:

系统临时文件:C:\Windows\Temp

C:\Windows\SoftwareDistribution\Download

C:\Windows\文件夹中以$开头和结尾的隐藏文件(安装系统补丁后的临时文件)、以KB开头的.log文件如KB873339.log等,这些都是安装系统补丁后的日志文件; 

等等;

一些临时文件夹,有些杀毒软件是可以清楚的,一部分是删不干净的就要手动,比如你有些软件已经卸载,但是其文件夹还在,就可以删除;

adobe 旗下的一些软件有的即使删除了或者卸载不了或者注册表还有,可以用它的专用清理工具清除;AdobeCreativeCloudCleanerTool.exe

在C盘路径下,我更改环境变量,path的路径,这样有一大部分临时文件放在指定的文件夹,就不会散乱在C盘;


http://chatgpt.dhexx.cn/article/F43fPZk5.shtml

相关文章

【中科大软院-形式化课程】PartA:More Coq Tactics

Negation: tactic unfold Coq用符号~表示命题的否定。~ P是P -> False的一个语法,我们可以用像下面这样的否定来建立定理: Theorem example_1: forall P: Prop,~(P /\ ~P).Proof.unfold not.intros.inversion H.apply H1.apply H0.Qed. Exercise1:~…

【coq】函数语言设计 笔记 07 - indProp

参考博客:https://www.cnblogs.com/TheFutureIsNow/p/11993851.html Inductively Defined Propositions ( IndProp ) Inductively Defined Propositions Inductive Definition of Evenness Using Evidence in Proofs Inversion on Evidence Induction …

离散数学——coq学习笔记(二)

Proof Proof By SimplificationProof By RewritingProof by Case Analysisdestruct例1例2多重析构 参考书目练习答案basic部分 这部分内容写了快两个星期了,期末考试越来越近,紧张紧张 Proof By Simplification 之前的代码中出现过 Proof. simpl. refle…

【Coq学习】Formal Reasoning About Programs 阅读笔记第一章第二章

《Formal Reasoning About Programs》是MIT的一个计算机科学的教授Adam Chlipala写的,是一本非常经典的关于程序形式化推理的书,阅读本书需要一定的数学和计算机科学基础。此外,这本书是使用 Coq 作为主要的形式化推理工具,因此在…

coq程序编写好用的IDE推荐

编写coq程序需要一个后台coq库(负责证明过程推导等所有功能,提供coq的所有服务),一个界面编辑器组成。 可以编写coq的开发环境大概有3个: 1、coqIDE 这个是coq官方的,下载地址 Install Coq | The Coq Pr…

coq 的一点体会

用coq做了一个作业&#xff0c;所以现在会一点点证明了。不过这只是coq中的很小很小的一部分&#xff0c;现在把我的理解写出来。 首先隆重介绍命题逻辑的5种基本连接词&#xff1a; ~ 非 /\ 合取 \/ 析取 -> 蕴含 <-> 等价 每种连接都有两种基本规则&#xff1a; int…

形式化方法 | Proof Engineering in Coq——Coq tatics 在命题逻辑证明中的应用

一、Coq的安装与使用 1、Coq简介 Coq是一款交互式证明辅助工具&#xff0c;提供一套证明系统&#xff0c;可以编写证明、检查证明&#xff1b;也提供一套形式化语言&#xff0c;可编写数学算法、定义、定理&#xff1b;它还可以用于程序的正确性证明。 2、Coq的安装 Coq-8.1…

coq学习笔记

coq在设置里把这些都勾选上&#xff0c;写代码会好用很多 Check关键字输出待测类型的&#xff0c;可以输出一个十进制数&#xff0c;但是还是类型的显示罢了 Compute计算定义的函数的输出值 simpl关键字是为了化简的可视化罢了&#xff0c;即显示化简的中间过程&#xff0c;不…

coq使用笔记

Coq 使用笔记 Coq中可分三部分&#xff1a; 1、vernacular&#xff1a;用来处理定义&#xff0c;使用大写字母开头&#xff0c;例如Theorem、Proof、Qed 2、tactics&#xff1a;用作证明过程&#xff0c;以小写字母开头&#xff0c;例如intros、exact 3、Gallina&#xff1a;用…

【coq】函数语言设计 笔记 06 -logic

参考博客&#xff1a;https://www.cnblogs.com/TheFutureIsNow/p/11993851.html Coq中的命题类型语句 Coq是一种类型化语言&#xff0c;这意味着它的世界中的每个合理表达式都有一个相关的类型。逻辑声明也不例外&#xff0c;任何一个可以证明的语句都有一个类型&#xff0c…

离散数学——coq学习笔记(一)

Coq学习笔记&#xff08;一&#xff09; BASICS函数编程枚举类型引例&#xff1a;Days of the week&#xff08;定义一个类型&#xff09; 一些基础语法定义TypeCheck命令多元组ModulesCompute命令定义一个新常量 BOOLEANS布尔表达式的构造相关定义布尔表达式的相关运算律用Exa…

求网络号、子网号、主机号、子网网络地址、子网广播地址

例题&#xff1a;某计算机的IP地址为10.38.51.21&#xff0c;子网掩码为255.255.0.0&#xff0c;写出该计算机的网络号、子网号、主机号以及子网网络地址、子网广播地址。 网络号&#xff1a;10子网号&#xff1a;38主机号&#xff1a;51.21子网网络地址&#xff1a;10.38.0.0子…

根据子网掩码算出 IP 地址 的网络号和主机号

我们如何根据子网掩码算出 IP 地址 的网络号和主机号呢&#xff1f; 举个例子&#xff0c;比如 10.100.122.0/24&#xff0c;后面的/24表示就是 255.255.255.0 子网掩码&#xff0c;255.255.255.0 二进制是「11111111-11111111-11111111-00000000」&#xff0c;大家数数一共多…

关于IP地址、网络号、主机号、子网掩码之间的关系

IP地址类似于我们的身份证号码 国家为了唯一确定我们每个人的身份&#xff0c;会为我们每个人分配一个唯一确定身份的号码&#xff0c;同理&#xff1a; 为了确切地标识Internet&#xff08;互联网&#xff09;中的每一台主机和路由器&#xff0c;TCP/IP建立了一套编址方案&a…

关于IP网络号和主机号的原理

网络号和主机号具体怎么弄出来的? ? ? ? 1、标准分类的ip地址的网络号是&#xff0c; A类是前8位 B类是前16位 C类是前24位 举一个例子 如172.16.10.2&#xff0c;因为172.16.10.2是B类地址&#xff0c;所以172.16所代表的位就是网络号的位&#xff0c;后面10.2代表的…

子网划分以及网络号的计算

目录 一、子网划分的作用 1.计算网络号&#xff0c;通过网络号选择正确的网络设备连接终端设备 2.根据网络的规模&#xff0c;可以对局域网(内网)进行网络地址规划 二、IP地址 1.IP地址的组成部分 2.IP地址的版本 三、IP地址的分类 1.IP地址分类 2.IP地址分类总结思维…

网络号,网络标识,广播地址,有效主机范围计算

网络计算 IP 地址计算网络号&#xff0c;网络标识&#xff0c;有效主机范围IP地址分类 IP 地址 IP地址&#xff1a;网络部分主机部分 网络部分&#xff1a;确定终端是不是在同一网段 主机部分&#xff1a;用来确定终端的容量大小&#xff08;最多可以容纳多少台&#xff09; 同…

网络号、主机号、子网号--例题

已知 IP&#xff1a;195.169.20.50 子网掩码&#xff1a;255.255.255.224 求网络号 子网号 主机号。答&#xff1a; IP为C类&#xff0c;一知道子网掩码值是224 所以网络被划分为8个子网网络号是用将你的IP和子网掩码255.255.255.224的二进制进行逻辑与运算得到转换为十进制为…

计算机网络:根据IP和子网掩码计算网络号

题目感觉有误&#xff0c;但是解题思路是正确的。 已知B类地址的子网掩码为255.255.0.0&#xff0c;假设某B类地址为127.24.36.55&#xff0c;那么它的网络号为&#xff1a;&#xff08;&#xff09; A、127.24.0.0 B、0.0.36.55 C、255.255.36.55 D、127.24.36.55 解题思路&…

网络号和主机号具体计算原理-ipv4篇

来自之前163网易博客&#xff0c;因博客倒闭&#xff0c;放CSDN供 大家学习。 1、标准分类的ip地址的网络号是&#xff0c; A类是前8位 B类是前16位 C类是前24位 举一个例子 如172.16.10.2&#xff0c;因为172.16.10.2是B类地址&#xff0c;所以172.16所代表的位就是网络号的位…